X op-numeric-integer-divideint2args-1:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:int("-2147483648") idiv xs:int("-2147483648")

 X op-numeric-integer-divideint2args-2:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:int("-1873914410") idiv xs:int("-2147483648")

 X op-numeric-integer-divideint2args-3:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:int("2147483647") idiv xs:int("-2147483648")

 X op-numeric-integer-divideint2args-4:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:int("-2147483648") idiv xs:int("-1873914410")

 X op-numeric-integer-divideint2args-5:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:int("-2147483648") idiv xs:int("2147483647")

 X op-numeric-integer-divideintg2args-1:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:integer("-999999999999999999") idiv xs:integer("-999999999999999999")

 X op-numeric-integer-divideintg2args-2:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:integer("830993497117024304") idiv xs:integer("-999999999999999999")

 X op-numeric-integer-divideintg2args-3:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:integer("999999999999999999") idiv xs:integer("-999999999999999999")

 X op-numeric-integer-divideintg2args-4:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:integer("-999999999999999999") idiv xs:integer("830993497117024304")

 X op-numeric-integer-divideintg2args-5:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:integer("-999999999999999999") idiv xs:integer("999999999999999999")

 X op-numeric-integer-dividedec2args-1:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:decimal("-999999999999999999") idiv xs:decimal("-999999999999999999")

 X op-numeric-integer-dividedec2args-2:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:decimal("617375191608514839") idiv xs:decimal("-999999999999999999")

 X op-numeric-integer-dividedec2args-3:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:decimal("999999999999999999") idiv xs:decimal("-999999999999999999")

 X op-numeric-integer-dividedec2args-4:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:decimal("-999999999999999999") idiv xs:decimal("617375191608514839")

 X op-numeric-integer-dividedec2args-5:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:decimal("-999999999999999999") idiv xs:decimal("999999999999999999")

 X op-numeric-integer-dividelng2args-1:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:long("-92233720368547758") idiv xs:long("-92233720368547758")

 X op-numeric-integer-dividelng2args-2:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:long("-47175562203048468") idiv xs:long("-92233720368547758")

 X op-numeric-integer-dividelng2args-3:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:long("92233720368547758") idiv xs:long("-92233720368547758")

 X op-numeric-integer-dividelng2args-4:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:long("-92233720368547758") idiv xs:long("-47175562203048468")

 X op-numeric-integer-dividelng2args-5:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:long("-92233720368547758") idiv xs:long("92233720368547758")

 X op-numeric-integer-divideusht2args-1:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:unsignedShort("0") idiv xs:unsignedShort("44633")

 X op-numeric-integer-divideusht2args-2:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:unsignedShort("0") idiv xs:unsignedShort("65535")

 X op-numeric-integer-dividenint2args-1:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:negativeInteger("-999999999999999999") idiv xs:negativeInteger("-999999999999999999")

 X op-numeric-integer-dividenint2args-2:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:negativeInteger("-297014075999096793") idiv xs:negativeInteger("-999999999999999999")

 X op-numeric-integer-dividenint2args-3:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:negativeInteger("-1") idiv xs:negativeInteger("-999999999999999999")

 X op-numeric-integer-dividenint2args-4:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:negativeInteger("-999999999999999999") idiv xs:negativeInteger("-297014075999096793")

 X op-numeric-integer-dividenint2args-5:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:negativeInteger("-999999999999999999") idiv xs:negativeInteger("-1")

 X op-numeric-integer-dividepint2args-1:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:positiveInteger("1") idiv xs:positiveInteger("1")

 X op-numeric-integer-dividepint2args-2:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:positiveInteger("52704602390610033") idiv xs:positiveInteger("1")

 X op-numeric-integer-dividepint2args-3:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:positiveInteger("999999999999999999") idiv xs:positiveInteger("1")

 X op-numeric-integer-dividepint2args-4:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:positiveInteger("1") idiv xs:positiveInteger("52704602390610033")

 X op-numeric-integer-dividepint2args-5:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:positiveInteger("1") idiv xs:positiveInteger("999999999999999999")

 X op-numeric-integer-divideulng2args-1:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:unsignedLong("0") idiv xs:unsignedLong("130747108607674654")

 X op-numeric-integer-divideulng2args-2:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:unsignedLong("0") idiv xs:unsignedLong("184467440737095516")

 X op-numeric-integer-dividenpi2args-1:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:nonPositiveInteger("-999999999999999999") idiv xs:nonPositiveInteger("-999999999999999999")

 X op-numeric-integer-dividenpi2args-2:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:nonPositiveInteger("-475688437271870490") idiv xs:nonPositiveInteger("-999999999999999999")

 X op-numeric-integer-dividenpi2args-3:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:nonPositiveInteger("0") idiv xs:nonPositiveInteger("-999999999999999999")

 X op-numeric-integer-dividenpi2args-4:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:nonPositiveInteger("-999999999999999999") idiv xs:nonPositiveInteger("-475688437271870490")

 X op-numeric-integer-dividenni2args-1:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:nonNegativeInteger("0") idiv xs:nonNegativeInteger("303884545991464527")

 X op-numeric-integer-dividenni2args-2:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:nonNegativeInteger("0") idiv xs:nonNegativeInteger("999999999999999999")

 X op-numeric-integer-dividesht2args-1:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:short("-32768") idiv xs:short("-32768")

 X op-numeric-integer-dividesht2args-2:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:short("-5324") idiv xs:short("-32768")

 X op-numeric-integer-dividesht2args-3:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:short("32767") idiv xs:short("-32768")

 X op-numeric-integer-dividesht2args-4:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:short("-32768") idiv xs:short("-5324")

 X op-numeric-integer-dividesht2args-5:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:short("-32768") idiv xs:short("32767")

 X op-numeric-integer-dividemix2args-1:

Created on: 2004-12-13
Spec Dependencies:

Test: () idiv 1

 X op-numeric-integer-dividemix2args-2:

Created on: 2004-12-13
Spec Dependencies:

Test: 1 idiv '1'

 X op-numeric-integer-dividemix2args-3:

Created on: 2004-12-13
Spec Dependencies:

Test: 1 idiv xs:integer('1')

 X op-numeric-integer-dividemix2args-4:

Created on: 2004-12-13
Spec Dependencies:
spec = XQ10+

Test: 3 idiv <a> 2 </a>

 X op-numeric-integer-dividemix2args-5:

Created on: 2004-12-13
Spec Dependencies:
spec = XQ10+

Test: 1 idiv <a> <b> 2 </b> </a>

 X op-numeric-integer-dividemix2args-6:

Created on: 2004-12-13
Spec Dependencies:
spec = XQ10+

Test: 3 idiv <a> <b> 2</b> <c> 2</c> </a>

 X op-numeric-integer-dividemix2args-7:

Created on: 2004-12-13
Spec Dependencies:
spec = XQ10+

Test: <a> 1 </a> idiv <b> 2 </b>

 X op-numeric-integer-dividemix2args-8:

Created on: 2004-12-13
Spec Dependencies:
spec = XQ10+

Test: 1 idiv <a> x </a>

 X op-numeric-integer-dividemix2args-9:

Created on: 2004-12-13
Spec Dependencies:
spec = XQ10+

Test: 1 idiv <a/>

 X op-numeric-integer-dividemix2args-10:

Created on: 2004-12-13
Spec Dependencies:

Test: 1 idiv 0

 X op-numeric-integer-divide-1:

Created on: 2006-02-06
Spec Dependencies:

Test: (0 div 0E0) idiv xs:integer(2)

 X K-NumericIntegerDivide-1:

Created on: 2007-11-26
Spec Dependencies:

Test: (xs:decimal(6) idiv xs:integer(2)) instance of xs:integer

 X K-NumericIntegerDivide-2:

Created on: 2007-11-26
Spec Dependencies:

Test: (xs:integer(6) idiv xs:decimal(2)) instance of xs:integer

 X K-NumericIntegerDivide-3:

Created on: 2007-11-26
Spec Dependencies:

Test: (xs:integer(6) idiv xs:integer(2)) instance of xs:integer

 X K-NumericIntegerDivide-4:

Created on: 2007-11-26
Spec Dependencies:

Test: (xs:decimal(6) idiv xs:decimal(2)) instance of xs:integer

 X K-NumericIntegerDivide-5:

Created on: 2007-11-26
Spec Dependencies:

Test: (xs:decimal(6) idiv xs:decimal(2)) instance of xs:integer

 X K-NumericIntegerDivide-6:

Created on: 2007-11-26
Spec Dependencies:

Test: (xs:float(6) idiv xs:decimal(2)) instance of xs:integer

 X K-NumericIntegerDivide-7:

Created on: 2007-11-26
Spec Dependencies:

Test: (xs:decimal(6) idiv xs:float(2)) instance of xs:integer

 X K-NumericIntegerDivide-8:

Created on: 2007-11-26
Spec Dependencies:

Test: (xs:float(6) idiv xs:integer(2)) instance of xs:integer

 X K-NumericIntegerDivide-9:

Created on: 2007-11-26
Spec Dependencies:

Test: (xs:integer(6) idiv xs:float(2)) instance of xs:integer

 X K-NumericIntegerDivide-10:

Created on: 2007-11-26
Spec Dependencies:

Test: (xs:float(6) idiv xs:float(2)) instance of xs:integer

 X K-NumericIntegerDivide-11:

Created on: 2007-11-26
Spec Dependencies:

Test: (xs:decimal(6) idiv xs:double(2)) instance of xs:integer

 X K-NumericIntegerDivide-12:

Created on: 2007-11-26
Spec Dependencies:

Test: (xs:double(6) idiv xs:decimal(2)) instance of xs:integer

 X K-NumericIntegerDivide-13:

Created on: 2007-11-26
Spec Dependencies:

Test: (xs:double(6) idiv xs:float(2)) instance of xs:integer

 X K-NumericIntegerDivide-14:

Created on: 2007-11-26
Spec Dependencies:

Test: (xs:float(6) idiv xs:double(2)) instance of xs:integer

 X K-NumericIntegerDivide-15:

Created on: 2007-11-26
Spec Dependencies:

Test: (xs:double(6) idiv xs:integer(2)) instance of xs:integer

 X K-NumericIntegerDivide-16:

Created on: 2007-11-26
Spec Dependencies:

Test: (xs:integer(6) idiv xs:double(2)) instance of xs:integer

 X K-NumericIntegerDivide-17:

Created on: 2007-11-26
Spec Dependencies:

Test: (xs:double(6) idiv xs:double(2)) instance of xs:integer

 X K-NumericIntegerDivide-18:

Created on: 2007-11-26
Spec Dependencies:

Test: 10 idiv 3 eq 3

 X K-NumericIntegerDivide-19:

Created on: 2007-11-26
Spec Dependencies:

Test: 3 idiv -2 eq -1

 X K-NumericIntegerDivide-20:

Created on: 2007-11-26
Spec Dependencies:

Test: -3 idiv 2 eq -1

 X K-NumericIntegerDivide-21:

Created on: 2007-11-26
Spec Dependencies:

Test: -3 idiv -2 eq 1

 X K-NumericIntegerDivide-22:

Created on: 2007-11-26
Spec Dependencies:

Test: 5.0 idiv 2.0 eq 2

 X K-NumericIntegerDivide-23:

Created on: 2007-11-26
Spec Dependencies:

Test: 9.0 idiv 3 eq 3

 X K-NumericIntegerDivide-24:

Created on: 2007-11-26
Spec Dependencies:

Test: -3.5 idiv 3 eq -1

 X K-NumericIntegerDivide-25:

Created on: 2007-11-26
Spec Dependencies:

Test: 3.0 idiv 4 eq 0

 X K-NumericIntegerDivide-26:

Created on: 2007-11-26
Spec Dependencies:

Test: 3.1E1 idiv 6 eq 5

 X K-NumericIntegerDivide-27:

Created on: 2007-11-26
Spec Dependencies:

Test: 3.1E1 idiv 7 eq 4

 X K-NumericIntegerDivide-28:

Created on: 2007-11-26
Spec Dependencies:

Test: (1.1 idiv 1) instance of xs:integer

 X K-NumericIntegerDivide-29:

Created on: 2007-11-26
Spec Dependencies:

Test: (xs:double(1.1) idiv 1.1) instance of xs:integer

 X K-NumericIntegerDivide-30:

Created on: 2007-11-26
Spec Dependencies:

Test: 3 idiv 1.1 eq 2

 X K-NumericIntegerDivide-31:

Created on: 2007-11-26
Spec Dependencies:

Test: 1 idiv xs:float("NaN")

 X K-NumericIntegerDivide-32:

Created on: 2007-11-26
Spec Dependencies:

Test: xs:float("NaN") idiv 1

 X K-NumericIntegerDivide-33:

Created on: 2007-11-26
Spec Dependencies:

Test: xs:float("INF") idiv xs:float(3)

 X K-NumericIntegerDivide-34:

Created on: 2007-11-26
Spec Dependencies:

Test: xs:float("-INF") idiv xs:float(3)

 X K-NumericIntegerDivide-35:

Created on: 2007-11-26
Spec Dependencies:

Test: xs:float("3") idiv xs:float("INF") eq xs:float(0)

 X K-NumericIntegerDivide-36:

Created on: 2007-11-26
Spec Dependencies:

Test: xs:float("3") idiv xs:float("-INF") eq xs:float(0)

 X K-NumericIntegerDivide-37:

Created on: 2007-11-26
Spec Dependencies:

Test: 1 idiv xs:double("NaN")

 X K-NumericIntegerDivide-38:

Created on: 2007-11-26
Spec Dependencies:

Test: xs:double("NaN") idiv 1

 X K-NumericIntegerDivide-39:

Created on: 2007-11-26
Spec Dependencies:

Test: xs:double("INF") idiv xs:double(3)

 X K-NumericIntegerDivide-40:

Created on: 2007-11-26
Spec Dependencies:

Test: xs:double("-INF") idiv xs:double(3)

 X K-NumericIntegerDivide-41:

Created on: 2007-11-26
Spec Dependencies:

Test: xs:double("3") idiv xs:double("INF") eq xs:double(0)

 X K-NumericIntegerDivide-42:

Created on: 2007-11-26
Spec Dependencies:

Test: xs:double("3") idiv xs:double("-INF") eq xs:double(0)

 X K-NumericIntegerDivide-43:

Created on: 2007-11-26
Spec Dependencies:

Test: 10idiv 3

 X K-NumericIntegerDivide-44:

Created on: 2007-11-26
Spec Dependencies:

Test: 10 idiv3

 X K-NumericIntegerDivide-45:

Created on: 2007-11-26
Spec Dependencies:

Test: 10idiv3

 X K-NumericIntegerDivide-46:

Created on: 2007-11-26
Spec Dependencies:

Test: "3" idiv "3"

 X K-NumericIntegerDivide-47:

Created on: 2007-11-26
Spec Dependencies:

Test: "3" idiv xs:float(3)

 X K-NumericIntegerDivide-48:

Created on: 2007-11-26
Spec Dependencies:

Test: (xs:untypedAtomic("9") idiv xs:float(5)) eq 1

 X K-NumericIntegerDivide-49:

Created on: 2007-11-26
Spec Dependencies:

Test: (xs:float(9) idiv xs:untypedAtomic("5")) eq 1

 X K-NumericIntegerDivide-50:

Created on: 2007-11-26
Spec Dependencies:

Test: (xs:untypedAtomic("nine") idiv xs:float(5)) eq 1

 X K-NumericIntegerDivide-51:

Created on: 2007-11-26
Spec Dependencies:

Test: (xs:float(9) idiv xs:untypedAtomic("five")) eq 1

 X K-NumericIntegerDivide-52:

Created on: 2007-11-26
Spec Dependencies:

Test: empty(() idiv ())

 X K-NumericIntegerDivide-53:

Created on: 2007-11-26
Spec Dependencies:

Test: empty(() idiv xs:decimal(1))

 X K2-NumericIntegerDivide-1:

Created on: 2007-11-26
Spec Dependencies:

Test: 1 idiv 0

 X K2-NumericIntegerDivide-2:

Created on: 2007-11-26
Spec Dependencies:

Test: 1 idiv 0.0

 X K2-NumericIntegerDivide-3:

Created on: 2007-11-26
Spec Dependencies:

Test: 1 idiv +0.0

 X K2-NumericIntegerDivide-4:

Created on: 2007-11-26
Spec Dependencies:

Test: 1 idiv -0.0

 X K2-NumericIntegerDivide-5:

Created on: 2007-11-26
Spec Dependencies:

Test: 1 idiv 0e0

 X K2-NumericIntegerDivide-6:

Created on: 2007-11-26
Spec Dependencies:

Test: -1 idiv 0e0

 X K2-NumericIntegerDivide-7:

Created on: 2007-11-26
Spec Dependencies:

Test: 1 idiv xs:float(0)

 X K2-NumericIntegerDivide-8:

Created on: 2007-11-26
Spec Dependencies:

Test: -1 idiv xs:float(0)

 X op-numeric-integer-dividefloat2args-1:

Created on: 2009-04-01
Spec Dependencies:

Test: xs:float("-INF") idiv xs:float("1")

 X op-numeric-integer-dividefloat2args-2:

Created on: 2009-04-01
Spec Dependencies:

Test: xs:float("1") idiv xs:float("NaN")

 X op-numeric-integer-dividefloat2args-3:

Created on: 2009-04-01
Spec Dependencies:

Test: xs:float("1") idiv xs:float("0")

 X op-numeric-integer-dividefloat2args-4:

Created on: 2009-04-01
Spec Dependencies:

Test: xs:float("INF") idiv xs:float("0")

 X op-numeric-integer-dividefloat2args-5:

Created on: 2009-04-01
Spec Dependencies:

Test: xs:float("-3.5") idiv xs:float("3")

 X op-numeric-integer-dividedouble2args-1:

Created on: 2009-04-01
Spec Dependencies:

Test: xs:double("-INF") idiv xs:double("1")

 X op-numeric-integer-dividedouble2args-2:

Created on: 2009-04-01
Spec Dependencies:

Test: xs:double("1") idiv xs:double("NaN")

 X op-numeric-integer-dividedouble2args-3:

Created on: 2009-04-01
Spec Dependencies:

Test: xs:double("1") idiv xs:double("0.0E0")

 X op-numeric-integer-dividedouble2args-4:

Created on: 2009-04-01
Spec Dependencies:

Test: xs:double("INF") idiv xs:double("0")

 X op-numeric-integer-dividedouble2args-5:

Created on: 2009-04-01
Spec Dependencies:

Test: xs:double("12.78e-2") idiv xs:double("3")

 X cbcl-numeric-idivide-001:

Created on: 2008-05-14
Spec Dependencies:
spec = XQ10+

Test: declare function local:square($arg as xs:decimal) as xs:decimal { $arg * $arg }; local:square(4294967296.0) idiv 0.0000000000005 gt 0

 X cbcl-numeric-idivide-002:

Created on: 2008-05-14
Spec Dependencies:
spec = XQ10+

Test: declare function local:square($arg as xs:double) as xs:double { $arg * $arg }; local:square(1e100) idiv 5e-100

 X cbcl-numeric-idivide-003:

Created on: 2008-05-14
Spec Dependencies:
spec = XQ10+

Test: declare function local:square($arg as xs:float) as xs:float { $arg * $arg }; local:square(xs:float(1e30)) idiv xs:float(5e-30)

 X cbcl-numeric-idivide-004:

Created on: 2008-05-29
Spec Dependencies:
spec = XQ10+

Test: declare function local:integer($x as xs:decimal) { if ($x mod 1 eq 0) then xs:integer($x) else $x }; (local:integer(2) idiv local:integer(2)) instance of xs:integer

 X cbcl-numeric-idivide-005:

Created on: 2008-05-30
Spec Dependencies:

Test: xs:integer(2) idiv xs:decimal(1)

 X cbcl-numeric-idivide-006:

Created on: 2008-05-30
Spec Dependencies:

Test: xs:float(1.5) idiv xs:decimal(1)

 X cbcl-numeric-idivide-007:

Created on: 2008-05-30
Spec Dependencies:

Test: xs:double(1.5) idiv xs:decimal(1)

 X cbcl-numeric-idivide-008:

Created on: 2008-06-17
Spec Dependencies:

Test: xs:float('1e38') idiv xs:float('1e-37')

 X cbcl-numeric-idivide-009:

Created on: 2008-06-17
Spec Dependencies:
spec = XQ10+

Test: declare function local:value($number as xs:boolean) { if ($number) then 1 else xs:string('1') }; local:value(true()) idiv local:value(true())