	Implementations
op-numeric-multiply	107/107	107/107	73/73	107/107	73/73	107/107	104/107	73/73	107/107	107/107	73/73	107/107	107/107	107/107	107/107	2/15
op-numeric-multiplydec2args-1 [+] X op-numeric-multiplydec2args-1: xs:decimal("-1.0000000000") * xs:decimal("-999999999999999999")	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass
op-numeric-multiplydec2args-2 [+] X op-numeric-multiplydec2args-2: xs:decimal("617375191608514839") * xs:decimal("0")	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass
op-numeric-multiplydec2args-3 [+] X op-numeric-multiplydec2args-3: xs:decimal("999999999999999999") * xs:decimal("-1.0000000000")	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass
op-numeric-multiplydec2args-4 [+] X op-numeric-multiplydec2args-4: xs:decimal("0") * xs:decimal("617375191608514839")	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass
op-numeric-multiplydec2args-5 [+] X op-numeric-multiplydec2args-5: xs:decimal("-1.0000000000") * xs:decimal("999999999999999999")	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass
op-numeric-multiplydbl2args-1 [+] X op-numeric-multiplydbl2args-1: xs:double("-1.0000000000") * xs:double("-1.7976931348623157E308")	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass
op-numeric-multiplydbl2args-2 [+] X op-numeric-multiplydbl2args-2: xs:double("0") * xs:double("-1.7976931348623157E308")	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass
op-numeric-multiplydbl2args-3 [+] X op-numeric-multiplydbl2args-3: xs:double("1.7976931348623157E308") * xs:double("-1.0000000000")	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass
op-numeric-multiplydbl2args-4 [+] X op-numeric-multiplydbl2args-4: xs:double("-1.7976931348623157E308") * xs:double("0")	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass
op-numeric-multiplydbl2args-5 [+] X op-numeric-multiplydbl2args-5: xs:double("-1.0000000000") * xs:double("1.7976931348623157E308")	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass
op-numeric-multiplyflt2args-1 [+] X op-numeric-multiplyflt2args-1: xs:float("-1.0000000000") * xs:float("-3.4028235E38")	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass
op-numeric-multiplyflt2args-2 [+] X op-numeric-multiplyflt2args-2: xs:float("0") * xs:float("-3.4028235E38")	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass
op-numeric-multiplyflt2args-3 [+] X op-numeric-multiplyflt2args-3: xs:float("3.4028235E38") * xs:float("-1.0000000000")	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass
op-numeric-multiplyflt2args-4 [+] X op-numeric-multiplyflt2args-4: xs:float("-3.4028235E38") * xs:float("0")	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass
op-numeric-multiplyflt2args-5 [+] X op-numeric-multiplyflt2args-5: xs:float("-1.0000000000") * xs:float("3.4028235E38")	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass
op-numeric-multiplyusht2args-1 [+] X op-numeric-multiplyusht2args-1: xs:unsignedShort("0") * xs:unsignedShort("0")	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass
op-numeric-multiplyusht2args-2 [+] X op-numeric-multiplyusht2args-2: xs:unsignedShort("44633") * xs:unsignedShort("0")	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass
op-numeric-multiplyusht2args-3 [+] X op-numeric-multiplyusht2args-3: xs:unsignedShort("65535") * xs:unsignedShort("0")	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass
op-numeric-multiplyusht2args-4 [+] X op-numeric-multiplyusht2args-4: xs:unsignedShort("0") * xs:unsignedShort("44633")	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass
op-numeric-multiplyusht2args-5 [+] X op-numeric-multiplyusht2args-5: xs:unsignedShort("0") * xs:unsignedShort("65535")	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass
op-numeric-multiplypint2args-1 [+] X op-numeric-multiplypint2args-1: xs:positiveInteger("1") * xs:positiveInteger("1")	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass
op-numeric-multiplypint2args-2 [+] X op-numeric-multiplypint2args-2: xs:positiveInteger("52704602390610033") * xs:positiveInteger("1")	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass
op-numeric-multiplypint2args-3 [+] X op-numeric-multiplypint2args-3: xs:positiveInteger("999999999999999999") * xs:positiveInteger("1")	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass
op-numeric-multiplypint2args-4 [+] X op-numeric-multiplypint2args-4: xs:positiveInteger("1") * xs:positiveInteger("52704602390610033")	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass
op-numeric-multiplypint2args-5 [+] X op-numeric-multiplypint2args-5: xs:positiveInteger("1") * xs:positiveInteger("999999999999999999")	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass
op-numeric-multiplyulng2args-1 [+] X op-numeric-multiplyulng2args-1: xs:unsignedLong("0") * xs:unsignedLong("0")	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass
op-numeric-multiplyulng2args-2 [+] X op-numeric-multiplyulng2args-2: xs:unsignedLong("130747108607674654") * xs:unsignedLong("0")	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass
op-numeric-multiplyulng2args-3 [+] X op-numeric-multiplyulng2args-3: xs:unsignedLong("184467440737095516") * xs:unsignedLong("0")	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass
op-numeric-multiplyulng2args-4 [+] X op-numeric-multiplyulng2args-4: xs:unsignedLong("0") * xs:unsignedLong("130747108607674654")	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass
op-numeric-multiplyulng2args-5 [+] X op-numeric-multiplyulng2args-5: xs:unsignedLong("0") * xs:unsignedLong("184467440737095516")	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass
op-numeric-multiplynpi2args-1 [+] X op-numeric-multiplynpi2args-1: xs:nonPositiveInteger("0") * xs:nonPositiveInteger("-999999999999999999")	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass
op-numeric-multiplynpi2args-2 [+] X op-numeric-multiplynpi2args-2: xs:nonPositiveInteger("-999999999999999999") * xs:nonPositiveInteger("0")	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass
op-numeric-multiplynni2args-1 [+] X op-numeric-multiplynni2args-1: xs:nonNegativeInteger("0") * xs:nonNegativeInteger("0")	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass
op-numeric-multiplynni2args-2 [+] X op-numeric-multiplynni2args-2: xs:nonNegativeInteger("303884545991464527") * xs:nonNegativeInteger("0")	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass
op-numeric-multiplynni2args-3 [+] X op-numeric-multiplynni2args-3: xs:nonNegativeInteger("999999999999999999") * xs:nonNegativeInteger("0")	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass
op-numeric-multiplynni2args-4 [+] X op-numeric-multiplynni2args-4: xs:nonNegativeInteger("0") * xs:nonNegativeInteger("303884545991464527")	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass
op-numeric-multiplynni2args-5 [+] X op-numeric-multiplynni2args-5: xs:nonNegativeInteger("0") * xs:nonNegativeInteger("999999999999999999")	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass
op-numeric-multiplymix2args-1 [+] X op-numeric-multiplymix2args-1: 1 * ()	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass
op-numeric-multiplymix2args-2 [+] X op-numeric-multiplymix2args-2: 1 * '1'	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass
op-numeric-multiplymix2args-3 [+] X op-numeric-multiplymix2args-3: 1 * xs:integer('1')	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass
op-numeric-multiplymix2args-4 [+] X op-numeric-multiplymix2args-4: 1 * <a> 2 </a>	pass	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	pass	pass
op-numeric-multiplymix2args-5 [+] X op-numeric-multiplymix2args-5: 1 * <a> <b> 2 </b> </a>	pass	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	pass	pass
op-numeric-multiplymix2args-6 [+] X op-numeric-multiplymix2args-6: 1 * <a> <b> 2</b> <c> 2</c> </a>	pass	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	pass	pass
op-numeric-multiplymix2args-7 [+] X op-numeric-multiplymix2args-7: <a> 1 </a> * <b> 2 </b>	pass	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	pass	pass
op-numeric-multiplymix2args-8 [+] X op-numeric-multiplymix2args-8: 1 * <a> x </a>	pass	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	pass	pass
op-numeric-multiplymix2args-9 [+] X op-numeric-multiplymix2args-9: 1 * <a/>	pass	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	pass	pass
K-NumericMultiply-1 [+] X K-NumericMultiply-1: xs:double(6) * xs:double(2) eq 12	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass
K-NumericMultiply-2 [+] X K-NumericMultiply-2: xs:decimal(6) * xs:decimal(2) eq 12	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass
K-NumericMultiply-3 [+] X K-NumericMultiply-3: xs:integer(6) * xs:integer(2) eq 12	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass
K-NumericMultiply-4 [+] X K-NumericMultiply-4: xs:float(6) * xs:float(2) eq 12	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass
K-NumericMultiply-5 [+] X K-NumericMultiply-5: (xs:decimal(6) * xs:integer(2)) instance of xs:decimal	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass
K-NumericMultiply-6 [+] X K-NumericMultiply-6: (xs:integer(6) * xs:decimal(2)) instance of xs:decimal	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass
K-NumericMultiply-7 [+] X K-NumericMultiply-7: (xs:integer(6) * xs:integer(2)) instance of xs:integer	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass
K-NumericMultiply-8 [+] X K-NumericMultiply-8: (xs:decimal(6) * xs:decimal(2)) instance of xs:decimal	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass
K-NumericMultiply-9 [+] X K-NumericMultiply-9: (xs:decimal(6) * xs:float(2)) instance of xs:float	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass
K-NumericMultiply-10 [+] X K-NumericMultiply-10: (xs:float(6) * xs:decimal(2)) instance of xs:float	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass
K-NumericMultiply-11 [+] X K-NumericMultiply-11: (xs:float(6) * xs:integer(2)) instance of xs:float	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass
K-NumericMultiply-12 [+] X K-NumericMultiply-12: (xs:integer(6) * xs:float(2)) instance of xs:float	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass
K-NumericMultiply-13 [+] X K-NumericMultiply-13: (xs:float(6) * xs:float(2)) instance of xs:float	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass
K-NumericMultiply-14 [+] X K-NumericMultiply-14: (xs:decimal(6) * xs:double(2)) instance of xs:double	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass
K-NumericMultiply-15 [+] X K-NumericMultiply-15: (xs:double(6) * xs:decimal(2)) instance of xs:double	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass
K-NumericMultiply-16 [+] X K-NumericMultiply-16: (xs:double(6) * xs:float(2)) instance of xs:double	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass
K-NumericMultiply-17 [+] X K-NumericMultiply-17: (xs:float(6) * xs:double(2)) instance of xs:double	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass
K-NumericMultiply-18 [+] X K-NumericMultiply-18: (xs:double(6) * xs:integer(2)) instance of xs:double	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass
K-NumericMultiply-19 [+] X K-NumericMultiply-19: (xs:integer(6) * xs:double(2)) instance of xs:double	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass
K-NumericMultiply-20 [+] X K-NumericMultiply-20: (xs:double(6) * xs:double(2)) instance of xs:double	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass
K-NumericMultiply-21 [+] X K-NumericMultiply-21: string(xs:float("NaN") * 3) eq "NaN"	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass
K-NumericMultiply-22 [+] X K-NumericMultiply-22: string(xs:double("NaN") * 3) eq "NaN"	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass
K-NumericMultiply-23 [+] X K-NumericMultiply-23: string(3 * xs:float("NaN")) eq "NaN"	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass
K-NumericMultiply-24 [+] X K-NumericMultiply-24: string(3 * xs:double("NaN")) eq "NaN"	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass
K-NumericMultiply-25 [+] X K-NumericMultiply-25: /*5	pass	pass	no result	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass
K-NumericMultiply-26 [+] X K-NumericMultiply-26: / * 5	pass	pass	no result	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass
K-NumericMultiply-27 [+] X K-NumericMultiply-27: 4 + / * 5	pass	pass	no result	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass
K-NumericMultiply-28 [+] X K-NumericMultiply-28: "3" * "3"	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass
K-NumericMultiply-29 [+] X K-NumericMultiply-29: 1 * "3"	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass
K-NumericMultiply-30 [+] X K-NumericMultiply-30: (3 * xs:untypedAtomic(3)) eq 9	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass
K-NumericMultiply-31 [+] X K-NumericMultiply-31: (xs:untypedAtomic(3) * 3) eq 9	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass
K-NumericMultiply-32 [+] X K-NumericMultiply-32: empty(() * ())	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass
K-NumericMultiply-33 [+] X K-NumericMultiply-33: empty(() * 1)	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass	pass
op-numeric-multiply-1 [+] X op-numeric-multiply-1: 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 typeswitch ($x * $y) case xs:integer return "integer" case xs:decimal return "decimal" case xs:float return "float" case xs:double return "double" default return error()	pass	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	pass	pass
cbcl-numeric-multiply-001 [+] X cbcl-numeric-multiply-001: declare function local:square($arg as xs:double) as xs:double { $arg * $arg }; xs:double('NaN') * local:square(7)	pass	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	pass	pass
cbcl-numeric-multiply-002 [+] X cbcl-numeric-multiply-002: declare function local:square($arg as xs:double) as xs:double { $arg * $arg }; local:square(7) * xs:double('NaN')	pass	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	pass	pass
cbcl-numeric-multiply-003 [+] X cbcl-numeric-multiply-003: declare function local:square($arg as xs:double) as xs:double { $arg * $arg }; local:square(7) * 1e0	pass	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	pass	pass
cbcl-numeric-multiply-004 [+] X cbcl-numeric-multiply-004: declare function local:square($arg as xs:double) as xs:double { $arg * $arg }; 1e0 * local:square(7)	pass	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	pass	pass
cbcl-numeric-multiply-005 [+] X cbcl-numeric-multiply-005: declare function local:square($arg as xs:double) as xs:double { $arg * $arg }; local:square(7) * -1e0	pass	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	pass	pass
cbcl-numeric-multiply-006 [+] X cbcl-numeric-multiply-006: declare function local:square($arg as xs:double) as xs:double { $arg * $arg }; -1e0 * local:square(7)	pass	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	pass	pass
cbcl-numeric-multiply-007 [+] X cbcl-numeric-multiply-007: declare function local:square($arg as xs:float) as xs:float { $arg * $arg }; xs:float('NaN') * local:square(7)	pass	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	pass	pass
cbcl-numeric-multiply-008 [+] X cbcl-numeric-multiply-008: declare function local:square($arg as xs:float) as xs:float { $arg * $arg }; local:square(7) * xs:float('NaN')	pass	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	pass	pass
cbcl-numeric-multiply-009 [+] X cbcl-numeric-multiply-009: declare function local:square($arg as xs:float) as xs:float { $arg * $arg }; local:square(7) * xs:float(1)	pass	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	pass	pass
cbcl-numeric-multiply-010 [+] X cbcl-numeric-multiply-010: declare function local:square($arg as xs:float) as xs:float { $arg * $arg }; xs:float(1) * local:square(7)	pass	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	pass	pass
cbcl-numeric-multiply-011 [+] X cbcl-numeric-multiply-011: declare function local:square($arg as xs:float) as xs:float { $arg * $arg }; local:square(7) * xs:float(-1)	pass	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	pass	pass
cbcl-numeric-multiply-012 [+] X cbcl-numeric-multiply-012: declare function local:square($arg as xs:float) as xs:float { $arg * $arg }; xs:float(-1) * local:square(7)	pass	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	pass	pass
cbcl-numeric-multiply-013 [+] X cbcl-numeric-multiply-013: declare function local:square($arg as xs:decimal) as xs:decimal { $arg * $arg }; local:square(2.0) * 0.0	pass	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	pass	pass
cbcl-numeric-multiply-014 [+] X cbcl-numeric-multiply-014: declare function local:square($arg as xs:decimal) as xs:decimal { $arg * $arg }; 0.0 * local:square(7.0)	pass	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	pass	pass
cbcl-numeric-multiply-015 [+] X cbcl-numeric-multiply-015: declare function local:square($arg as xs:decimal) as xs:decimal { $arg * $arg }; local:square(7.0) * 1.0	pass	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	pass	pass
cbcl-numeric-multiply-016 [+] X cbcl-numeric-multiply-016: declare function local:square($arg as xs:decimal) as xs:decimal { $arg * $arg }; 1.0 * local:square(7.0)	pass	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	pass	pass
cbcl-numeric-multiply-017 [+] X cbcl-numeric-multiply-017: declare function local:square($arg as xs:decimal) as xs:decimal { $arg * $arg }; local:square(7.0) * -1.0	pass	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	pass	pass
cbcl-numeric-multiply-018 [+] X cbcl-numeric-multiply-018: declare function local:square($arg as xs:decimal) as xs:decimal { $arg * $arg }; -1.0 * local:square(7.0)	pass	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	pass	pass
cbcl-numeric-multiply-019 [+] X cbcl-numeric-multiply-019: declare function local:square($arg as xs:integer) as xs:integer { $arg * $arg }; local:square(2) * 0	pass	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	pass	pass
cbcl-numeric-multiply-020 [+] X cbcl-numeric-multiply-020: declare function local:square($arg as xs:integer) as xs:integer { $arg * $arg }; 0 * local:square(2)	pass	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	pass	pass
cbcl-numeric-multiply-021 [+] X cbcl-numeric-multiply-021: declare function local:square($arg as xs:integer) as xs:integer { $arg * $arg }; local:square(7) * 1	pass	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	pass	pass
cbcl-numeric-multiply-022 [+] X cbcl-numeric-multiply-022: declare function local:square($arg as xs:integer) as xs:integer { $arg * $arg }; 1 * local:square(7)	pass	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	pass	pass
cbcl-numeric-multiply-023 [+] X cbcl-numeric-multiply-023: declare function local:square($arg as xs:integer) as xs:integer { $arg * $arg }; local:square(7) * -1	pass	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	pass	pass
cbcl-numeric-multiply-024 [+] X cbcl-numeric-multiply-024: declare function local:square($arg as xs:integer) as xs:integer { $arg * $arg }; -1 * local:square(7)	pass	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	pass	pass
cbcl-numeric-multiply-025 [+] X cbcl-numeric-multiply-025: declare function local:square($arg as xs:decimal) as xs:decimal { $arg * $arg }; local:square(9223372036854775808.1) gt 0	pass	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	pass	pass
cbcl-numeric-multiply-026 [+] X cbcl-numeric-multiply-026: declare function local:square($arg as xs:integer) as xs:integer { $arg * $arg }; local:square(9223372036854775808) gt 0	pass	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	pass	pass
cbcl-numeric-multiply-027 [+] X cbcl-numeric-multiply-027: 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	pass	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	pass	pass

Implementations

Tests

BaseX 7.7
XQ30

EMC/xDB xDB_main_r2411365
XQ30

Saxon-EE 9.5.1.1
XP20

Saxon-EE 9.5.1.1
XQ10

Saxon-EE 9.5.1.1
XP30

Saxon-EE 9.5.1.1
XQ30

Saxon-EE 9.5.1.4
XQX30
(QT3 v1.1)

XmlPrime 3.0.0.0
XP30
(QT3 vCVS)

XmlPrime 3.0.0.0
XQ30
(QT3 vCVS)

XmlPrime 3.0.0.0
XQX30
(QT3 vCVS)

XmlPrime 3.0.0.0
XP20
(QT3 vCVS)

XmlPrime 3.0.0.0
XQX10
(QT3 vCVS)

XmlPrime 3.0.0.0
XQ10
(QT3 vCVS)

Zorba 2.9
XQ10
(QT3 vCVS)

Zorba 2.9
XQ30
(QT3 vCVS)

op-numeric-multiply

107/107

73/73

107/107

73/73

107/107

104/107

73/73

107/107

73/73

107/107

2/15

op-numeric-multiplydec2args-1 [+]

X op-numeric-multiplydec2args-1:

xs:decimal("-1.0000000000") * xs:decimal("-999999999999999999")

pass

op-numeric-multiplydec2args-2 [+]

X op-numeric-multiplydec2args-2:

xs:decimal("617375191608514839") * xs:decimal("0")

pass

op-numeric-multiplydec2args-3 [+]

X op-numeric-multiplydec2args-3:

xs:decimal("999999999999999999") * xs:decimal("-1.0000000000")

pass

op-numeric-multiplydec2args-4 [+]

X op-numeric-multiplydec2args-4:

xs:decimal("0") * xs:decimal("617375191608514839")

pass

op-numeric-multiplydec2args-5 [+]

X op-numeric-multiplydec2args-5:

xs:decimal("-1.0000000000") * xs:decimal("999999999999999999")

pass

op-numeric-multiplydbl2args-1 [+]

X op-numeric-multiplydbl2args-1:

xs:double("-1.0000000000") * xs:double("-1.7976931348623157E308")

pass

op-numeric-multiplydbl2args-2 [+]

X op-numeric-multiplydbl2args-2:

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

pass

op-numeric-multiplydbl2args-3 [+]

X op-numeric-multiplydbl2args-3:

xs:double("1.7976931348623157E308") * xs:double("-1.0000000000")

pass

op-numeric-multiplydbl2args-4 [+]

X op-numeric-multiplydbl2args-4:

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

pass

op-numeric-multiplydbl2args-5 [+]

X op-numeric-multiplydbl2args-5:

xs:double("-1.0000000000") * xs:double("1.7976931348623157E308")

pass

op-numeric-multiplyflt2args-1 [+]

X op-numeric-multiplyflt2args-1:

xs:float("-1.0000000000") * xs:float("-3.4028235E38")

pass

op-numeric-multiplyflt2args-2 [+]

X op-numeric-multiplyflt2args-2:

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

pass

op-numeric-multiplyflt2args-3 [+]

X op-numeric-multiplyflt2args-3:

xs:float("3.4028235E38") * xs:float("-1.0000000000")

pass

op-numeric-multiplyflt2args-4 [+]

X op-numeric-multiplyflt2args-4:

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

pass

op-numeric-multiplyflt2args-5 [+]

X op-numeric-multiplyflt2args-5:

xs:float("-1.0000000000") * xs:float("3.4028235E38")

pass

op-numeric-multiplyusht2args-1 [+]

X op-numeric-multiplyusht2args-1:

xs:unsignedShort("0") * xs:unsignedShort("0")

pass

op-numeric-multiplyusht2args-2 [+]

X op-numeric-multiplyusht2args-2:

xs:unsignedShort("44633") * xs:unsignedShort("0")

pass

op-numeric-multiplyusht2args-3 [+]

X op-numeric-multiplyusht2args-3:

xs:unsignedShort("65535") * xs:unsignedShort("0")

pass

op-numeric-multiplyusht2args-4 [+]

X op-numeric-multiplyusht2args-4:

xs:unsignedShort("0") * xs:unsignedShort("44633")

pass

op-numeric-multiplyusht2args-5 [+]

X op-numeric-multiplyusht2args-5:

xs:unsignedShort("0") * xs:unsignedShort("65535")

pass

op-numeric-multiplypint2args-1 [+]

X op-numeric-multiplypint2args-1:

xs:positiveInteger("1") * xs:positiveInteger("1")

pass

op-numeric-multiplypint2args-2 [+]

X op-numeric-multiplypint2args-2:

xs:positiveInteger("52704602390610033") * xs:positiveInteger("1")

pass

op-numeric-multiplypint2args-3 [+]

X op-numeric-multiplypint2args-3:

xs:positiveInteger("999999999999999999") * xs:positiveInteger("1")

pass

op-numeric-multiplypint2args-4 [+]

X op-numeric-multiplypint2args-4:

xs:positiveInteger("1") * xs:positiveInteger("52704602390610033")

pass

op-numeric-multiplypint2args-5 [+]

X op-numeric-multiplypint2args-5:

xs:positiveInteger("1") * xs:positiveInteger("999999999999999999")

pass

op-numeric-multiplyulng2args-1 [+]

X op-numeric-multiplyulng2args-1:

xs:unsignedLong("0") * xs:unsignedLong("0")

pass

op-numeric-multiplyulng2args-2 [+]

X op-numeric-multiplyulng2args-2:

xs:unsignedLong("130747108607674654") * xs:unsignedLong("0")

pass

op-numeric-multiplyulng2args-3 [+]

X op-numeric-multiplyulng2args-3:

xs:unsignedLong("184467440737095516") * xs:unsignedLong("0")

pass

op-numeric-multiplyulng2args-4 [+]

X op-numeric-multiplyulng2args-4:

xs:unsignedLong("0") * xs:unsignedLong("130747108607674654")

pass

op-numeric-multiplyulng2args-5 [+]

X op-numeric-multiplyulng2args-5:

xs:unsignedLong("0") * xs:unsignedLong("184467440737095516")

pass

op-numeric-multiplynpi2args-1 [+]

X op-numeric-multiplynpi2args-1:

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

pass

op-numeric-multiplynpi2args-2 [+]

X op-numeric-multiplynpi2args-2:

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

pass

op-numeric-multiplynni2args-1 [+]

X op-numeric-multiplynni2args-1:

xs:nonNegativeInteger("0") * xs:nonNegativeInteger("0")

pass

op-numeric-multiplynni2args-2 [+]

X op-numeric-multiplynni2args-2:

xs:nonNegativeInteger("303884545991464527") * xs:nonNegativeInteger("0")

pass

op-numeric-multiplynni2args-3 [+]

X op-numeric-multiplynni2args-3:

xs:nonNegativeInteger("999999999999999999") * xs:nonNegativeInteger("0")

pass

op-numeric-multiplynni2args-4 [+]

X op-numeric-multiplynni2args-4:

xs:nonNegativeInteger("0") * xs:nonNegativeInteger("303884545991464527")

pass

op-numeric-multiplynni2args-5 [+]

X op-numeric-multiplynni2args-5:

xs:nonNegativeInteger("0") * xs:nonNegativeInteger("999999999999999999")

pass

op-numeric-multiplymix2args-1 [+]

X op-numeric-multiplymix2args-1:

1 * ()

pass

op-numeric-multiplymix2args-2 [+]

X op-numeric-multiplymix2args-2:

1 * '1'

pass

op-numeric-multiplymix2args-3 [+]

X op-numeric-multiplymix2args-3:

1 * xs:integer('1')

pass

op-numeric-multiplymix2args-4 [+]

X op-numeric-multiplymix2args-4:

1 * <a> 2 </a>

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

op-numeric-multiplymix2args-5 [+]

X op-numeric-multiplymix2args-5:

1 * <a> 2 </a>

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

op-numeric-multiplymix2args-6 [+]

X op-numeric-multiplymix2args-6:

1 * <a> 2 <c> 2</c> </a>

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

op-numeric-multiplymix2args-7 [+]

X op-numeric-multiplymix2args-7:

<a> 1 </a> * 2

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

op-numeric-multiplymix2args-8 [+]

X op-numeric-multiplymix2args-8:

1 * <a> x </a>

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

op-numeric-multiplymix2args-9 [+]

X op-numeric-multiplymix2args-9:

1 * <a/>

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

K-NumericMultiply-1 [+]

X K-NumericMultiply-1:

xs:double(6) * xs:double(2) eq 12

pass

K-NumericMultiply-2 [+]

X K-NumericMultiply-2:

xs:decimal(6) * xs:decimal(2) eq 12

pass

K-NumericMultiply-3 [+]

X K-NumericMultiply-3:

xs:integer(6) * xs:integer(2) eq 12

pass

K-NumericMultiply-4 [+]

X K-NumericMultiply-4:

xs:float(6) * xs:float(2) eq 12

pass

K-NumericMultiply-5 [+]

X K-NumericMultiply-5:

(xs:decimal(6) * xs:integer(2)) instance of xs:decimal

pass

K-NumericMultiply-6 [+]

X K-NumericMultiply-6:

(xs:integer(6) * xs:decimal(2)) instance of xs:decimal

pass

K-NumericMultiply-7 [+]

X K-NumericMultiply-7:

(xs:integer(6) * xs:integer(2)) instance of xs:integer

pass

K-NumericMultiply-8 [+]

X K-NumericMultiply-8:

(xs:decimal(6) * xs:decimal(2)) instance of xs:decimal

pass

K-NumericMultiply-9 [+]

X K-NumericMultiply-9:

(xs:decimal(6) * xs:float(2)) instance of xs:float

pass

K-NumericMultiply-10 [+]

X K-NumericMultiply-10:

(xs:float(6) * xs:decimal(2)) instance of xs:float

pass

K-NumericMultiply-11 [+]

X K-NumericMultiply-11:

(xs:float(6) * xs:integer(2)) instance of xs:float

pass

K-NumericMultiply-12 [+]

X K-NumericMultiply-12:

(xs:integer(6) * xs:float(2)) instance of xs:float

pass

K-NumericMultiply-13 [+]

X K-NumericMultiply-13:

(xs:float(6) * xs:float(2)) instance of xs:float

pass

K-NumericMultiply-14 [+]

X K-NumericMultiply-14:

(xs:decimal(6) * xs:double(2)) instance of xs:double

pass

K-NumericMultiply-15 [+]

X K-NumericMultiply-15:

(xs:double(6) * xs:decimal(2)) instance of xs:double

pass

K-NumericMultiply-16 [+]

X K-NumericMultiply-16:

(xs:double(6) * xs:float(2)) instance of xs:double

pass

K-NumericMultiply-17 [+]

X K-NumericMultiply-17:

(xs:float(6) * xs:double(2)) instance of xs:double

pass

K-NumericMultiply-18 [+]

X K-NumericMultiply-18:

(xs:double(6) * xs:integer(2)) instance of xs:double

pass

K-NumericMultiply-19 [+]

X K-NumericMultiply-19:

(xs:integer(6) * xs:double(2)) instance of xs:double

pass

K-NumericMultiply-20 [+]

X K-NumericMultiply-20:

(xs:double(6) * xs:double(2)) instance of xs:double

pass

K-NumericMultiply-21 [+]

X K-NumericMultiply-21:

string(xs:float("NaN") * 3) eq "NaN"

pass

K-NumericMultiply-22 [+]

X K-NumericMultiply-22:

string(xs:double("NaN") * 3) eq "NaN"

pass

K-NumericMultiply-23 [+]

X K-NumericMultiply-23:

string(3 * xs:float("NaN")) eq "NaN"

pass

K-NumericMultiply-24 [+]

X K-NumericMultiply-24:

string(3 * xs:double("NaN")) eq "NaN"

pass

K-NumericMultiply-25 [+]

X K-NumericMultiply-25:

/*5

pass

no result

pass

K-NumericMultiply-26 [+]

X K-NumericMultiply-26:

/ * 5

pass

no result

pass

K-NumericMultiply-27 [+]

X K-NumericMultiply-27:

4 + / * 5

pass

no result

pass

K-NumericMultiply-28 [+]

X K-NumericMultiply-28:

"3" * "3"

pass

K-NumericMultiply-29 [+]

X K-NumericMultiply-29:

1 * "3"

pass

K-NumericMultiply-30 [+]

X K-NumericMultiply-30:

(3 * xs:untypedAtomic(3)) eq 9

pass

K-NumericMultiply-31 [+]

X K-NumericMultiply-31:

(xs:untypedAtomic(3) * 3) eq 9

pass

K-NumericMultiply-32 [+]

X K-NumericMultiply-32:

empty(() * ())

pass

K-NumericMultiply-33 [+]

X K-NumericMultiply-33:

empty(() * 1)

pass

op-numeric-multiply-1 [+]

X op-numeric-multiply-1:

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 typeswitch ($x * $y) case xs:integer return "integer" case xs:decimal return "decimal" case xs:float return "float" case xs:double return "double" default return error()

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

cbcl-numeric-multiply-001 [+]

X cbcl-numeric-multiply-001:

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

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

cbcl-numeric-multiply-002 [+]

X cbcl-numeric-multiply-002:

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

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

cbcl-numeric-multiply-003 [+]

X cbcl-numeric-multiply-003:

declare function local:square($arg as xs:double) as xs:double { $arg * $arg }; local:square(7) * 1e0

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

cbcl-numeric-multiply-004 [+]

X cbcl-numeric-multiply-004:

declare function local:square($arg as xs:double) as xs:double { $arg * $arg }; 1e0 * local:square(7)

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

cbcl-numeric-multiply-005 [+]

X cbcl-numeric-multiply-005:

declare function local:square($arg as xs:double) as xs:double { $arg * $arg }; local:square(7) * -1e0

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

cbcl-numeric-multiply-006 [+]

X cbcl-numeric-multiply-006:

declare function local:square($arg as xs:double) as xs:double { $arg * $arg }; -1e0 * local:square(7)

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

cbcl-numeric-multiply-007 [+]

X cbcl-numeric-multiply-007:

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

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

cbcl-numeric-multiply-008 [+]

X cbcl-numeric-multiply-008:

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

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

cbcl-numeric-multiply-009 [+]

X cbcl-numeric-multiply-009:

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

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

cbcl-numeric-multiply-010 [+]

X cbcl-numeric-multiply-010:

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

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

cbcl-numeric-multiply-011 [+]

X cbcl-numeric-multiply-011:

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

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

cbcl-numeric-multiply-012 [+]

X cbcl-numeric-multiply-012:

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

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

cbcl-numeric-multiply-013 [+]

X cbcl-numeric-multiply-013:

declare function local:square($arg as xs:decimal) as xs:decimal { $arg * $arg }; local:square(2.0) * 0.0

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

cbcl-numeric-multiply-014 [+]

X cbcl-numeric-multiply-014:

declare function local:square($arg as xs:decimal) as xs:decimal { $arg * $arg }; 0.0 * local:square(7.0)

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

cbcl-numeric-multiply-015 [+]

X cbcl-numeric-multiply-015:

declare function local:square($arg as xs:decimal) as xs:decimal { $arg * $arg }; local:square(7.0) * 1.0

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

cbcl-numeric-multiply-016 [+]

X cbcl-numeric-multiply-016:

declare function local:square($arg as xs:decimal) as xs:decimal { $arg * $arg }; 1.0 * local:square(7.0)

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

cbcl-numeric-multiply-017 [+]

X cbcl-numeric-multiply-017:

declare function local:square($arg as xs:decimal) as xs:decimal { $arg * $arg }; local:square(7.0) * -1.0

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

cbcl-numeric-multiply-018 [+]

X cbcl-numeric-multiply-018:

declare function local:square($arg as xs:decimal) as xs:decimal { $arg * $arg }; -1.0 * local:square(7.0)

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

cbcl-numeric-multiply-019 [+]

X cbcl-numeric-multiply-019:

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

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

cbcl-numeric-multiply-020 [+]

X cbcl-numeric-multiply-020:

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

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

cbcl-numeric-multiply-021 [+]

X cbcl-numeric-multiply-021:

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

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

cbcl-numeric-multiply-022 [+]

X cbcl-numeric-multiply-022:

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

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

cbcl-numeric-multiply-023 [+]

X cbcl-numeric-multiply-023:

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

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

cbcl-numeric-multiply-024 [+]

X cbcl-numeric-multiply-024:

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

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

cbcl-numeric-multiply-025 [+]

X cbcl-numeric-multiply-025:

declare function local:square($arg as xs:decimal) as xs:decimal { $arg * $arg }; local:square(9223372036854775808.1) gt 0

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

cbcl-numeric-multiply-026 [+]

X cbcl-numeric-multiply-026:

declare function local:square($arg as xs:integer) as xs:integer { $arg * $arg }; local:square(9223372036854775808) gt 0

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

cbcl-numeric-multiply-027 [+]

X cbcl-numeric-multiply-027:

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

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass