X op-numeric-subtractint2args-1:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-numeric-subtractint2args-2:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-numeric-subtractint2args-3:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-numeric-subtractint2args-4:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-numeric-subtractint2args-5:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:int("-1") - xs:int("2147483647")

 X op-numeric-subtractintg2args-1:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-numeric-subtractintg2args-2:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-numeric-subtractintg2args-3:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-numeric-subtractintg2args-4:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:integer("-169006502882975695") - xs:integer("830993497117024304")

 X op-numeric-subtractintg2args-5:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-numeric-subtractdec2args-1:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-numeric-subtractdec2args-2:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-numeric-subtractdec2args-3:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-numeric-subtractdec2args-4:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:decimal("-382624808391485160") - xs:decimal("617375191608514839")

 X op-numeric-subtractdec2args-5:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-numeric-subtractdbl2args-1:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-numeric-subtractdbl2args-2:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-numeric-subtractdbl2args-3:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-numeric-subtractdbl2args-4:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-numeric-subtractdbl2args-5:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-numeric-subtractflt2args-1:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-numeric-subtractflt2args-2:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-numeric-subtractflt2args-3:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-numeric-subtractflt2args-4:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-numeric-subtractflt2args-5:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-numeric-subtractlng2args-1:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-numeric-subtractlng2args-2:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-numeric-subtractlng2args-3:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-numeric-subtractlng2args-4:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-numeric-subtractlng2args-5:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-numeric-subtractusht2args-1:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:unsignedShort("0") - xs:unsignedShort("0")

 X op-numeric-subtractusht2args-2:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-numeric-subtractusht2args-3:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-numeric-subtractusht2args-4:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:unsignedShort("44633") - xs:unsignedShort("44633")

 X op-numeric-subtractusht2args-5:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:unsignedShort("65535") - xs:unsignedShort("65535")

 X op-numeric-subtractnint2args-1:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-numeric-subtractnint2args-2:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-numeric-subtractpint2args-1:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-numeric-subtractpint2args-2:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-numeric-subtractpint2args-3:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:positiveInteger("52704602390610034") - xs:positiveInteger("52704602390610033")

 X op-numeric-subtractulng2args-1:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:unsignedLong("0") - xs:unsignedLong("0")

 X op-numeric-subtractulng2args-2:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-numeric-subtractulng2args-3:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-numeric-subtractulng2args-4:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:unsignedLong("130747108607674654") - xs:unsignedLong("130747108607674654")

 X op-numeric-subtractulng2args-5:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:unsignedLong("184467440737095516") - xs:unsignedLong("184467440737095516")

 X op-numeric-subtractnpi2args-1:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-numeric-subtractnpi2args-2:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-numeric-subtractnpi2args-3:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-numeric-subtractnpi2args-4:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-numeric-subtractnpi2args-5:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-numeric-subtractnni2args-1:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:nonNegativeInteger("0") - xs:nonNegativeInteger("0")

 X op-numeric-subtractnni2args-2:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-numeric-subtractnni2args-3:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-numeric-subtractnni2args-4:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:nonNegativeInteger("303884545991464527") - xs:nonNegativeInteger("303884545991464527")

 X op-numeric-subtractnni2args-5:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:nonNegativeInteger("999999999999999999") - xs:nonNegativeInteger("999999999999999999")

 X op-numeric-subtractsht2args-1:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-numeric-subtractsht2args-2:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-numeric-subtractsht2args-3:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-numeric-subtractsht2args-4:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-numeric-subtractsht2args-5:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:short("-1") - xs:short("32767")

 X op-numeric-subtractmix2args-1:

Created on: 2004-12-13
Spec Dependencies:

Test: 1 - ()

 X op-numeric-subtractmix2args-2:

Created on: 2004-12-13
Spec Dependencies:

Test: 1 - '1'

 X op-numeric-subtractmix2args-3:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-numeric-subtractmix2args-4:

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

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

 X op-numeric-subtractmix2args-5:

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

Test: 3 - <a> <b> 2 </b> </a>

 X op-numeric-subtractmix2args-6:

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

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

 X op-numeric-subtractmix2args-7:

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

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

 X op-numeric-subtractmix2args-8:

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

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

 X op-numeric-subtractmix2args-9:

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

Test: 1 - <a/>

 X K-NumericSubtract-1:

Created on: 2007-11-26
Spec Dependencies:

Test: xs:double(6) - xs:double(2) eq 4

 X K-NumericSubtract-2:

Created on: 2007-11-26
Spec Dependencies:

Test: xs:decimal(6) - xs:decimal(2) eq 4

 X K-NumericSubtract-3:

Created on: 2007-11-26
Spec Dependencies:

Test: xs:integer(6) - xs:integer(2) eq 4

 X K-NumericSubtract-4:

Created on: 2007-11-26
Spec Dependencies:

Test: xs:float(5) - xs:float(1) eq 4

 X K-NumericSubtract-5:

Created on: 2007-11-26
Spec Dependencies:

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

 X K-NumericSubtract-6:

Created on: 2007-11-26
Spec Dependencies:

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

 X K-NumericSubtract-7:

Created on: 2007-11-26
Spec Dependencies:

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

 X K-NumericSubtract-8:

Created on: 2007-11-26
Spec Dependencies:

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

 X K-NumericSubtract-9:

Created on: 2007-11-26
Spec Dependencies:

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

 X K-NumericSubtract-10:

Created on: 2007-11-26
Spec Dependencies:

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

 X K-NumericSubtract-11:

Created on: 2007-11-26
Spec Dependencies:

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

 X K-NumericSubtract-12:

Created on: 2007-11-26
Spec Dependencies:

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

 X K-NumericSubtract-13:

Created on: 2007-11-26
Spec Dependencies:

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

 X K-NumericSubtract-14:

Created on: 2007-11-26
Spec Dependencies:

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

 X K-NumericSubtract-15:

Created on: 2007-11-26
Spec Dependencies:

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

 X K-NumericSubtract-16:

Created on: 2007-11-26
Spec Dependencies:

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

 X K-NumericSubtract-17:

Created on: 2007-11-26
Spec Dependencies:

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

 X K-NumericSubtract-18:

Created on: 2007-11-26
Spec Dependencies:

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

 X K-NumericSubtract-19:

Created on: 2007-11-26
Spec Dependencies:

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

 X K-NumericSubtract-20:

Created on: 2007-11-26
Spec Dependencies:

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

 X K-NumericSubtract-21:

Created on: 2007-11-26
Spec Dependencies:

Test: string(xs:float("NaN") - 3) eq "NaN"

 X K-NumericSubtract-22:

Created on: 2007-11-26
Spec Dependencies:

Test: string(xs:double("NaN") - 3) eq "NaN"

 X K-NumericSubtract-23:

Created on: 2007-11-26
Spec Dependencies:

Test: string(3 - xs:float("NaN")) eq "NaN"

 X K-NumericSubtract-24:

Created on: 2007-11-26
Spec Dependencies:

Test: string(3 - xs:double("NaN")) eq "NaN"

 X K-NumericSubtract-25:

Created on: 2007-11-26
Spec Dependencies:

Test: "3" - "3"

 X K-NumericSubtract-26:

Created on: 2007-11-26
Spec Dependencies:

Test: xs:untypedAtomic("3") - "3"

 X K-NumericSubtract-27:

Created on: 2007-11-26
Spec Dependencies:

Test: (xs:untypedAtomic("3") - 3) eq 0

 X K-NumericSubtract-28:

Created on: 2007-11-26
Spec Dependencies:

Test: (3 - xs:untypedAtomic("3")) eq 0

 X K-NumericSubtract-29:

Created on: 2007-11-26
Spec Dependencies:

Test: empty(() - ())

 X K-NumericSubtract-30:

Created on: 2007-11-26
Spec Dependencies:

Test: empty(() - xs:float(3))

 X K-NumericSubtract-31:

Created on: 2007-11-26
Spec Dependencies:

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

 X K-NumericSubtract-32:

Created on: 2007-11-26
Spec Dependencies:

Test: (xs:untypedAtomic("3") - xs:untypedAtomic("3")) eq 0

 X K-NumericSubtract-33:

Created on: 2007-11-26
Spec Dependencies:

Test: (xs:untypedAtomic("3") - xs:untypedAtomic("3")) instance of xs:double

 X K-NumericSubtract-34:

Created on: 2007-11-26
Spec Dependencies:

Test: (xs:untypedAtomic("3") - 1.1) instance of xs:double

 X K-NumericSubtract-35:

Created on: 2007-11-26
Spec Dependencies:

Test: (1.1 - xs:untypedAtomic("3")) instance of xs:double

 X K-NumericSubtract-36:

Created on: 2007-11-26
Spec Dependencies:

Test: 1 eq (remove((current-time(), 1), 1) - 0)

 X K-NumericSubtract-37:

Created on: 2007-11-26
Spec Dependencies:

Test: 1 eq (remove((current-time(), 1), 1) + 0)

 X K-NumericSubtract-38:

Created on: 2007-11-26
Spec Dependencies:

Test: 1 eq (0 + remove((current-time(), 1), 1))

 X K2-NumericSubtract-1:

Created on: 2007-12-28
Spec Dependencies:

Test: 0 - xs:double(0)

 X K2-NumericSubtract-2:

Created on: 2007-12-28
Spec Dependencies:

Test: 0 - xs:float(0)

 X op-numeric-subtract-1:

Created on: 2010-03-16
Spec Dependencies:
spec = XQ10+

Test: for $x in (1, xs:decimal(2), xs:float(3), xs:double(4), xs:untypedAtomic(5)) for $y in (1, xs:decimal(2), xs:float(3), xs:double(4), xs:untypedAtomic(5)) return ($x - $y)

 X cbcl-numeric-subtract-001:

Created on: 2008-05-14
Spec Dependencies:

Test: -79228162514264337593543950335.0 - 1.0 lt 0.0

 X cbcl-numeric-subtract-002:

Created on: 2008-05-14
Spec Dependencies:

Test: -79228162514264337593543950335 - 1 lt 0

 X cbcl-numeric-subtract-003:

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.5) - 0.0

 X cbcl-numeric-subtract-004:

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) - 0

 X cbcl-numeric-subtract-005:

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) - local:integer(2)) instance of xs:integer

 X cbcl-numeric-subtract-006:

Created on: 2008-07-01
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)) - -(local:integer(4))

 X cbcl-numeric-subtract-007:

Created on: 2008-07-01
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) - -(local:integer(4))

 X cbcl-numeric-subtract-008:

Created on: 2008-07-01
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)) - local:integer(4)

 X op-numeric-subtract-big-01:

Created on: 2012-10-31
Spec Dependencies:

Test: (-79228162514264337593543950335.0 - 1.0) cast as xs:string