X op-numeric-divideint2args-1:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-numeric-divideint2args-2:

Created on: 2004-12-13
Spec Dependencies:

Test: fn:round-half-to-even((xs:int("-1873914410") div xs:int("-2147483648")),10)

 X op-numeric-divideint2args-3:

Created on: 2004-12-13
Spec Dependencies:

Test: fn:round-half-to-even((xs:int("2147483647") div xs:int("-2147483648")),10)

 X op-numeric-divideint2args-4:

Created on: 2004-12-13
Spec Dependencies:

Test: fn:round-half-to-even((xs:int("-2147483648") div xs:int("-1873914410")),10)

 X op-numeric-divideint2args-5:

Created on: 2004-12-13
Spec Dependencies:

Test: fn:round-half-to-even((xs:int("-2147483648") div xs:int("2147483647")),10)

 X op-numeric-divideintg2args-1:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-numeric-divideintg2args-2:

Created on: 2004-12-13
Spec Dependencies:

Test: fn:round-half-to-even((xs:integer("830993497117024304") div xs:integer("-999999999999999999")),18)

 X op-numeric-divideintg2args-3:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-numeric-divideintg2args-4:

Created on: 2004-12-13
Spec Dependencies:

Test: fn:round-half-to-even((xs:integer("-999999999999999999") div xs:integer("830993497117024304")),18)

 X op-numeric-divideintg2args-5:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-numeric-divideintg2args-6:

Created on: 2009-04-01
Spec Dependencies:

Test: (xs:integer("-999999999999999999") div xs:integer("999999999999999999")) instance of xs:decimal

 X op-numeric-dividedec2args-1:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-numeric-dividedec2args-2:

Created on: 2004-12-13
Spec Dependencies:

Test: fn:round-half-to-even((xs:decimal("617375191608514839") div xs:decimal("-999999999999999999")),18)

 X op-numeric-dividedec2args-3:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-numeric-dividedec2args-4:

Created on: 2004-12-13
Spec Dependencies:

Test: fn:round-half-to-even((xs:decimal("-999999999999999999") div xs:decimal("617375191608514839")),18)

 X op-numeric-dividedec2args-5:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-numeric-dividedbl2args-1:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:double("-1.7976931348623157E308") div xs:double("-1.7976931348623157E308")

 X op-numeric-dividedbl2args-2:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:double("0") div xs:double("-1.7976931348623157E308")

 X op-numeric-dividedbl2args-3:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:double("1.7976931348623157E308") div xs:double("-1.7976931348623157E308")

 X op-numeric-dividedbl2args-4:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:double("-1.7976931348623157E308") div xs:double("1.7976931348623157E308")

 X op-numeric-divideflt2args-1:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:float("-3.4028235E38") div xs:float("-3.4028235E38")

 X op-numeric-divideflt2args-2:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:float("0") div xs:float("-3.4028235E38")

 X op-numeric-divideflt2args-3:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:float("3.4028235E38") div xs:float("-3.4028235E38")

 X op-numeric-divideflt2args-4:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:float("-3.4028235E38") div xs:float("3.4028235E38")

 X op-numeric-dividelng2args-1:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-numeric-dividelng2args-2:

Created on: 2004-12-13
Spec Dependencies:

Test: fn:round-half-to-even((xs:long("-47175562203048468") div xs:long("-92233720368547758")),17)

 X op-numeric-dividelng2args-3:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-numeric-dividelng2args-4:

Created on: 2004-12-13
Spec Dependencies:

Test: fn:round-half-to-even((xs:long("-92233720368547758") div xs:long("-47175562203048468")),17)

 X op-numeric-dividelng2args-5:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-numeric-divideusht2args-1:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-numeric-divideusht2args-2:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-numeric-dividenint2args-1:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-numeric-dividenint2args-2:

Created on: 2004-12-13
Spec Dependencies:

Test: fn:round-half-to-even((xs:negativeInteger("-297014075999096793") div xs:negativeInteger("-999999999999999999")),18)

 X op-numeric-dividenint2args-3:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-numeric-dividenint2args-4:

Created on: 2004-12-13
Spec Dependencies:

Test: fn:round-half-to-even((xs:negativeInteger("-999999999999999999") div xs:negativeInteger("-297014075999096793")),18)

 X op-numeric-dividenint2args-5:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-numeric-dividepint2args-1:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-numeric-dividepint2args-2:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-numeric-dividepint2args-3:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-numeric-dividepint2args-4:

Created on: 2004-12-13
Spec Dependencies:

Test: fn:round-half-to-even((xs:positiveInteger("1") div xs:positiveInteger("52704602390610033")),17)

 X op-numeric-dividepint2args-5:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-numeric-divideulng2args-1:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-numeric-divideulng2args-2:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-numeric-dividenpi2args-1:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-numeric-dividenpi2args-2:

Created on: 2004-12-13
Spec Dependencies:

Test: fn:round-half-to-even((xs:nonPositiveInteger("-475688437271870490") div xs:nonPositiveInteger("-999999999999999999")),18)

 X op-numeric-dividenpi2args-3:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-numeric-dividenpi2args-4:

Created on: 2004-12-13
Spec Dependencies:

Test: fn:round-half-to-even((xs:nonPositiveInteger("-999999999999999999") div xs:nonPositiveInteger("-475688437271870490")),18)

 X op-numeric-dividenni2args-1:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-numeric-dividenni2args-2:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-numeric-dividesht2args-1:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-numeric-dividesht2args-2:

Created on: 2004-12-13
Spec Dependencies:

Test: fn:round-half-to-even((xs:short("-5324") div xs:short("-32768")),5)

 X op-numeric-dividesht2args-3:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-numeric-dividesht2args-4:

Created on: 2004-12-13
Spec Dependencies:

Test: fn:round-half-to-even((xs:short("-32768") div xs:short("-5324")),5)

 X op-numeric-dividesht2args-5:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-numeric-dividemix2args-1:

Created on: 2004-12-13
Spec Dependencies:

Test: () div 1

 X op-numeric-dividemix2args-2:

Created on: 2004-12-13
Spec Dependencies:

Test: 1 div '1'

 X op-numeric-dividemix2args-3:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-numeric-dividemix2args-4:

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

Test: 1 div <a> 2 </a>

 X op-numeric-dividemix2args-5:

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

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

 X op-numeric-dividemix2args-6:

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

Test: 1 div <a> <b> 2</b> <c> 2</c> </a>

 X op-numeric-dividemix2args-7:

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

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

 X op-numeric-dividemix2args-8:

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

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

 X op-numeric-dividemix2args-9:

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

Test: 1 div <a/>

 X K-NumericDivide-1:

Created on: 2007-11-26
Spec Dependencies:

Test: xs:double(6) div xs:double(2) eq 3

 X K-NumericDivide-2:

Created on: 2007-11-26
Spec Dependencies:

Test: xs:decimal(6) div xs:decimal(2) eq 3

 X K-NumericDivide-3:

Created on: 2007-11-26
Spec Dependencies:

Test: xs:integer(6) div xs:integer(2) eq 3

 X K-NumericDivide-4:

Created on: 2007-11-26
Spec Dependencies:

Test: xs:float(6) div xs:float(2) eq 3

 X K-NumericDivide-5:

Created on: 2007-11-26
Spec Dependencies:

Test: xs:double(5) div xs:double(2) eq 2.5

 X K-NumericDivide-6:

Created on: 2007-11-26
Spec Dependencies:

Test: xs:double(5) div xs:double(2) ne 2.6

 X K-NumericDivide-7:

Created on: 2007-11-26
Spec Dependencies:

Test: xs:float(5) div xs:float(2) eq 2.5

 X K-NumericDivide-8:

Created on: 2007-11-26
Spec Dependencies:

Test: xs:float(5) div xs:float(2) ne 2.6

 X K-NumericDivide-9:

Created on: 2007-11-26
Spec Dependencies:

Test: xs:integer(5) div xs:integer(2) eq 2.5

 X K-NumericDivide-10:

Created on: 2007-11-26
Spec Dependencies:

Test: xs:integer(5) div xs:integer(2) ne 2.6

 X K-NumericDivide-11:

Created on: 2007-11-26
Spec Dependencies:

Test: xs:decimal(5) div xs:decimal(2) eq 2.5

 X K-NumericDivide-12:

Created on: 2007-11-26
Spec Dependencies:

Test: xs:decimal(5) div xs:decimal(2) ne 2.6

 X K-NumericDivide-13:

Created on: 2007-11-26
Spec Dependencies:

Test: 5 div 2 ne 2.6

 X K-NumericDivide-14:

Created on: 2007-11-26
Spec Dependencies:

Test: 5.0 div 2.0 eq 2.5

 X K-NumericDivide-15:

Created on: 2007-11-26
Spec Dependencies:

Test: 5.0 div 2.0 ne 2.6

 X K-NumericDivide-16:

Created on: 2007-11-26
Spec Dependencies:

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

 X K-NumericDivide-17:

Created on: 2007-11-26
Spec Dependencies:

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

 X K-NumericDivide-18:

Created on: 2007-11-26
Spec Dependencies:

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

 X K-NumericDivide-19:

Created on: 2007-11-26
Spec Dependencies:

Test: (xs:decimal(6) div xs:decimal(2)) instance of xs:decimal

 X K-NumericDivide-20:

Created on: 2007-11-26
Spec Dependencies:

Test: (xs:float(6) div xs:decimal(2)) instance of xs:float

 X K-NumericDivide-21:

Created on: 2007-11-26
Spec Dependencies:

Test: (xs:decimal(6) div xs:float(2)) instance of xs:float

 X K-NumericDivide-22:

Created on: 2007-11-26
Spec Dependencies:

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

 X K-NumericDivide-23:

Created on: 2007-11-26
Spec Dependencies:

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

 X K-NumericDivide-24:

Created on: 2007-11-26
Spec Dependencies:

Test: (xs:float(6) div xs:float(2)) instance of xs:float

 X K-NumericDivide-25:

Created on: 2007-11-26
Spec Dependencies:

Test: (xs:decimal(6) div xs:double(2)) instance of xs:double

 X K-NumericDivide-26:

Created on: 2007-11-26
Spec Dependencies:

Test: (xs:double(6) div xs:decimal(2)) instance of xs:double

 X K-NumericDivide-27:

Created on: 2007-11-26
Spec Dependencies:

Test: (xs:double(6) div xs:float(2)) instance of xs:double

 X K-NumericDivide-28:

Created on: 2007-11-26
Spec Dependencies:

Test: (xs:float(6) div xs:double(2)) instance of xs:double

 X K-NumericDivide-29:

Created on: 2007-11-26
Spec Dependencies:

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

 X K-NumericDivide-30:

Created on: 2007-11-26
Spec Dependencies:

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

 X K-NumericDivide-31:

Created on: 2007-11-26
Spec Dependencies:

Test: (xs:double(6) div xs:double(2)) instance of xs:double

 X K-NumericDivide-32:

Created on: 2007-11-26
Spec Dependencies:

Test: "3" div "3"

 X K-NumericDivide-33:

Created on: 2007-11-26
Spec Dependencies:

Test: xs:double(3) div "3"

 X K-NumericDivide-34:

Created on: 2007-11-26
Spec Dependencies:

Test: (xs:double(3) div xs:untypedAtomic("3")) eq 1

 X K-NumericDivide-35:

Created on: 2007-11-26
Spec Dependencies:

Test: (xs:untypedAtomic("3") div xs:double(3)) eq 1

 X K-NumericDivide-36:

Created on: 2007-11-26
Spec Dependencies:

Test: 10 div3

 X K-NumericDivide-37:

Created on: 2007-11-26
Spec Dependencies:

Test: 10div 3

 X K-NumericDivide-38:

Created on: 2007-11-26
Spec Dependencies:

Test: 10div3

 X K-NumericDivide-39:

Created on: 2007-11-26
Spec Dependencies:

Test: empty(() div ())

 X K-NumericDivide-40:

Created on: 2007-11-26
Spec Dependencies:

Test: empty(1 div ())

 X K-NumericDivide-41:

Created on: 2007-11-26
Spec Dependencies:

Test: empty(() div 1)

 X K-NumericDivide-42:

Created on: 2007-11-26
Spec Dependencies:

Test: empty(xs:double(3) div ())

 X K-NumericDivide-43:

Created on: 2007-11-26
Spec Dependencies:

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

 X K2-NumericDivide-1:

Created on: 2007-11-26
Spec Dependencies:

Test: 1 div 0

 X K2-NumericDivide-2:

Created on: 2007-11-26
Spec Dependencies:

Test: 1 div 0.0

 X K2-NumericDivide-3:

Created on: 2007-11-26
Spec Dependencies:

Test: 1 div +0.0

 X K2-NumericDivide-4:

Created on: 2007-11-26
Spec Dependencies:

Test: 1 div -0.0

 X K2-NumericDivide-5:

Created on: 2007-11-26
Spec Dependencies:

Test: 1 div 0e0

 X K2-NumericDivide-6:

Created on: 2007-11-26
Spec Dependencies:

Test: -1 div 0e0

 X K2-NumericDivide-7:

Created on: 2007-11-26
Spec Dependencies:

Test: 1 div xs:float(0)

 X K2-NumericDivide-8:

Created on: 2007-11-26
Spec Dependencies:

Test: -1 div xs:float(0)

 X K2-NumericDivide-9:

Created on: 2007-11-26
Spec Dependencies:

Test: +0e0 div -0e0

 X K2-NumericDivide-10:

Created on: 2007-11-26
Spec Dependencies:

Test: +0e0 div +0e0

 X K2-NumericDivide-11:

Created on: 2007-11-26
Spec Dependencies:

Test: -0e0 div -0e0

 X K2-NumericDivide-12:

Created on: 2007-11-26
Spec Dependencies:

Test: -0e0 div +0e0

 X K2-NumericDivide-13:

Created on: 2007-11-26
Spec Dependencies:

Test: +3 div +0e0

 X K2-NumericDivide-14:

Created on: 2007-11-26
Spec Dependencies:

Test: -3 div +0e0

 X K2-NumericDivide-15:

Created on: 2007-11-26
Spec Dependencies:

Test: +3 div -0e0

 X K2-NumericDivide-16:

Created on: 2007-11-26
Spec Dependencies:

Test: -3 div -0e0

 X K2-NumericDivide-17:

Created on: 2007-11-26
Spec Dependencies:
spec = XQ10+

Test: empty(<e/>/(div div div))

 X op-numeric-divide-1:

Created on: 2010-03-16
Spec Dependencies:

Test: for $x in (1, xs:decimal(2), xs:float(3), xs:double(4), xs:untypedAtomic(5)), $y in (6, xs:decimal(6), xs:float(6), xs:double(6), xs:untypedAtomic(6)), $result in ($x div $y) return if ($result instance of xs:integer) then "integer" else if ($result instance of xs:decimal) then "decimal" else if ($result instance of xs:double) then "double" else if ($result instance of xs:float) then "float" else error()

 X cbcl-numeric-divide-001:

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

Test: declare function local:square($arg as xs:double) as xs:double { $arg * $arg }; xs:double('NaN') div local:square(7)

 X cbcl-numeric-divide-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(7) div xs:double('NaN')

 X cbcl-numeric-divide-003:

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(7) div 1e0

 X cbcl-numeric-divide-004:

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(7) div -1e0

 X cbcl-numeric-divide-005:

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

Test: declare function local:square($arg as xs:float) as xs:float { $arg * $arg }; xs:float('NaN') div local:square(7)

 X cbcl-numeric-divide-006:

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(7) div xs:float('NaN')

 X cbcl-numeric-divide-007:

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(7) div xs:float(1)

 X cbcl-numeric-divide-008:

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(7) div xs:float(-1)

 X cbcl-numeric-divide-009:

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(2.0) div 0.0

 X cbcl-numeric-divide-010:

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(7.0) div 1.0

 X cbcl-numeric-divide-011:

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(7.0) div -1.0

 X cbcl-numeric-divide-012:

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

Test: declare function local:square($arg as xs:integer) as xs:integer { $arg * $arg }; local:square(2) div 0

 X cbcl-numeric-divide-013:

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

Test: declare function local:square($arg as xs:integer) as xs:integer { $arg * $arg }; local:square(7) div 1

 X cbcl-numeric-divide-014:

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

Test: declare function local:square($arg as xs:integer) as xs:integer { $arg * $arg }; local:square(7) div -1

 X cbcl-numeric-divide-015:

Created on: 2008-05-30
Spec Dependencies:

Test: 10000000000000000000000000000.0 div 0.1 gt 0

 X op-numeric-divide-big-01:

Created on: 2012-10-31
Spec Dependencies:

Test: (10000000000000000000000000000.0 div 0.1) cast as xs:string