|
| 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-divide | 140/140 | 138/140 | 119/119 | 140/140 | 119/119 | 140/140 | 137/140 | 119/119 | 140/140 | 140/140 | 119/119 | 140/140 | 140/140 | 140/140 | 140/140 | 2/15 |
| op-numeric-divideint2args-1[+]
X op-numeric-divideint2args-1: xs:int("-2147483648") div xs:int("-2147483648") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-divideint2args-2[+]
X op-numeric-divideint2args-2: fn:round-half-to-even((xs:int("-1873914410") div xs:int("-2147483648")),10) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-divideint2args-3[+]
X op-numeric-divideint2args-3: fn:round-half-to-even((xs:int("2147483647") div xs:int("-2147483648")),10) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-divideint2args-4[+]
X op-numeric-divideint2args-4: fn:round-half-to-even((xs:int("-2147483648") div xs:int("-1873914410")),10) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-divideint2args-5[+]
X op-numeric-divideint2args-5: fn:round-half-to-even((xs:int("-2147483648") div xs:int("2147483647")),10) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-divideintg2args-1[+]
X op-numeric-divideintg2args-1: xs:integer("-999999999999999999") div xs:integer("-999999999999999999") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-divideintg2args-2[+]
X op-numeric-divideintg2args-2: fn:round-half-to-even((xs:integer("830993497117024304") div xs:integer("-999999999999999999")),18) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-divideintg2args-3[+]
X op-numeric-divideintg2args-3: xs:integer("999999999999999999") div xs:integer("-999999999999999999") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-divideintg2args-4[+]
X op-numeric-divideintg2args-4: fn:round-half-to-even((xs:integer("-999999999999999999") div xs:integer("830993497117024304")),18) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-divideintg2args-5[+]
X op-numeric-divideintg2args-5: xs:integer("-999999999999999999") div xs:integer("999999999999999999") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-divideintg2args-6[+]
X op-numeric-divideintg2args-6: (xs:integer("-999999999999999999") div xs:integer("999999999999999999")) instance of xs:decimal |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-dividedec2args-1[+]
X op-numeric-dividedec2args-1: xs:decimal("-999999999999999999") div xs:decimal("-999999999999999999") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-dividedec2args-2[+]
X op-numeric-dividedec2args-2: fn:round-half-to-even((xs:decimal("617375191608514839") div xs:decimal("-999999999999999999")),18) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-dividedec2args-3[+]
X op-numeric-dividedec2args-3: xs:decimal("999999999999999999") div xs:decimal("-999999999999999999") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-dividedec2args-4[+]
X op-numeric-dividedec2args-4: fn:round-half-to-even((xs:decimal("-999999999999999999") div xs:decimal("617375191608514839")),18) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-dividedec2args-5[+]
X op-numeric-dividedec2args-5: xs:decimal("-999999999999999999") div xs:decimal("999999999999999999") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-dividedbl2args-1[+]
X op-numeric-dividedbl2args-1: xs:double("-1.7976931348623157E308") div xs:double("-1.7976931348623157E308") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-dividedbl2args-2[+]
X op-numeric-dividedbl2args-2: xs:double("0") div xs:double("-1.7976931348623157E308") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-dividedbl2args-3[+]
X op-numeric-dividedbl2args-3: xs:double("1.7976931348623157E308") div xs:double("-1.7976931348623157E308") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-dividedbl2args-4[+]
X op-numeric-dividedbl2args-4: xs:double("-1.7976931348623157E308") div xs:double("1.7976931348623157E308") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-divideflt2args-1[+]
X op-numeric-divideflt2args-1: xs:float("-3.4028235E38") div xs:float("-3.4028235E38") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-divideflt2args-2[+]
X op-numeric-divideflt2args-2: xs:float("0") div xs:float("-3.4028235E38") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-divideflt2args-3[+]
X op-numeric-divideflt2args-3: xs:float("3.4028235E38") div xs:float("-3.4028235E38") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-divideflt2args-4[+]
X op-numeric-divideflt2args-4: xs:float("-3.4028235E38") div xs:float("3.4028235E38") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-dividelng2args-1[+]
X op-numeric-dividelng2args-1: xs:long("-92233720368547758") div xs:long("-92233720368547758") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-dividelng2args-2[+]
X op-numeric-dividelng2args-2: fn:round-half-to-even((xs:long("-47175562203048468") div xs:long("-92233720368547758")),17) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-dividelng2args-3[+]
X op-numeric-dividelng2args-3: xs:long("92233720368547758") div xs:long("-92233720368547758") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-dividelng2args-4[+]
X op-numeric-dividelng2args-4: fn:round-half-to-even((xs:long("-92233720368547758") div xs:long("-47175562203048468")),17) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-dividelng2args-5[+]
X op-numeric-dividelng2args-5: xs:long("-92233720368547758") div xs:long("92233720368547758") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-divideusht2args-1[+]
X op-numeric-divideusht2args-1: xs:unsignedShort("0") div xs:unsignedShort("44633") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-divideusht2args-2[+]
X op-numeric-divideusht2args-2: xs:unsignedShort("0") div xs:unsignedShort("65535") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-dividenint2args-1[+]
X op-numeric-dividenint2args-1: xs:negativeInteger("-999999999999999999") div xs:negativeInteger("-999999999999999999") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-dividenint2args-2[+]
X op-numeric-dividenint2args-2: fn:round-half-to-even((xs:negativeInteger("-297014075999096793") div xs:negativeInteger("-999999999999999999")),18) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-dividenint2args-3[+]
X op-numeric-dividenint2args-3: xs:negativeInteger("-1") div xs:negativeInteger("-999999999999999999") |
pass | fail | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-dividenint2args-4[+]
X op-numeric-dividenint2args-4: fn:round-half-to-even((xs:negativeInteger("-999999999999999999") div xs:negativeInteger("-297014075999096793")),18) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-dividenint2args-5[+]
X op-numeric-dividenint2args-5: xs:negativeInteger("-999999999999999999") div xs:negativeInteger("-1") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-dividepint2args-1[+]
X op-numeric-dividepint2args-1: xs:positiveInteger("1") div xs:positiveInteger("1") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-dividepint2args-2[+]
X op-numeric-dividepint2args-2: xs:positiveInteger("52704602390610033") div xs:positiveInteger("1") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-dividepint2args-3[+]
X op-numeric-dividepint2args-3: xs:positiveInteger("999999999999999999") div xs:positiveInteger("1") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-dividepint2args-4[+]
X op-numeric-dividepint2args-4: fn:round-half-to-even((xs:positiveInteger("1") div xs:positiveInteger("52704602390610033")),17) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-dividepint2args-5[+]
X op-numeric-dividepint2args-5: xs:positiveInteger("1") div xs:positiveInteger("999999999999999999") |
pass | fail | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-divideulng2args-1[+]
X op-numeric-divideulng2args-1: xs:unsignedLong("0") div xs:unsignedLong("130747108607674654") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-divideulng2args-2[+]
X op-numeric-divideulng2args-2: xs:unsignedLong("0") div xs:unsignedLong("184467440737095516") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-dividenpi2args-1[+]
X op-numeric-dividenpi2args-1: xs:nonPositiveInteger("-999999999999999999") div xs:nonPositiveInteger("-999999999999999999") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-dividenpi2args-2[+]
X op-numeric-dividenpi2args-2: fn:round-half-to-even((xs:nonPositiveInteger("-475688437271870490") div xs:nonPositiveInteger("-999999999999999999")),18) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-dividenpi2args-3[+]
X op-numeric-dividenpi2args-3: xs:nonPositiveInteger("0") div xs:nonPositiveInteger("-999999999999999999") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-dividenpi2args-4[+]
X op-numeric-dividenpi2args-4: fn:round-half-to-even((xs:nonPositiveInteger("-999999999999999999") div xs:nonPositiveInteger("-475688437271870490")),18) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-dividenni2args-1[+]
X op-numeric-dividenni2args-1: xs:nonNegativeInteger("0") div xs:nonNegativeInteger("303884545991464527") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-dividenni2args-2[+]
X op-numeric-dividenni2args-2: xs:nonNegativeInteger("0") div xs:nonNegativeInteger("999999999999999999") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-dividesht2args-1[+]
X op-numeric-dividesht2args-1: xs:short("-32768") div xs:short("-32768") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-dividesht2args-2[+]
X op-numeric-dividesht2args-2: fn:round-half-to-even((xs:short("-5324") div xs:short("-32768")),5) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-dividesht2args-3[+]
X op-numeric-dividesht2args-3: xs:short("32767") div xs:short("-32768") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-dividesht2args-4[+]
X op-numeric-dividesht2args-4: fn:round-half-to-even((xs:short("-32768") div xs:short("-5324")),5) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-dividesht2args-5[+]
X op-numeric-dividesht2args-5: xs:short("-32768") div xs:short("32767") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-dividemix2args-1[+]
X op-numeric-dividemix2args-1: () div 1 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-dividemix2args-2[+]
X op-numeric-dividemix2args-2: 1 div '1' |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-dividemix2args-3[+]
X op-numeric-dividemix2args-3: 1 div xs:integer('1') |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-dividemix2args-4[+]
X op-numeric-dividemix2args-4: 1 div <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-dividemix2args-5[+]
X op-numeric-dividemix2args-5: 1 div <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-dividemix2args-6[+]
X op-numeric-dividemix2args-6: 1 div <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-dividemix2args-7[+]
X op-numeric-dividemix2args-7: <a> 1 </a> div <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-dividemix2args-8[+]
X op-numeric-dividemix2args-8: 1 div <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-dividemix2args-9[+]
X op-numeric-dividemix2args-9: 1 div <a/> |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-NumericDivide-1[+]
X K-NumericDivide-1: xs:double(6) div xs:double(2) eq 3 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericDivide-2[+]
X K-NumericDivide-2: xs:decimal(6) div xs:decimal(2) eq 3 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericDivide-3[+]
X K-NumericDivide-3: xs:integer(6) div xs:integer(2) eq 3 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericDivide-4[+]
X K-NumericDivide-4: xs:float(6) div xs:float(2) eq 3 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericDivide-5[+]
X K-NumericDivide-5: xs:double(5) div xs:double(2) eq 2.5 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericDivide-6[+]
X K-NumericDivide-6: xs:double(5) div xs:double(2) ne 2.6 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericDivide-7[+]
X K-NumericDivide-7: xs:float(5) div xs:float(2) eq 2.5 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericDivide-8[+]
X K-NumericDivide-8: xs:float(5) div xs:float(2) ne 2.6 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericDivide-9[+]
X K-NumericDivide-9: xs:integer(5) div xs:integer(2) eq 2.5 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericDivide-10[+]
X K-NumericDivide-10: xs:integer(5) div xs:integer(2) ne 2.6 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericDivide-11[+]
X K-NumericDivide-11: xs:decimal(5) div xs:decimal(2) eq 2.5 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericDivide-12[+]
X K-NumericDivide-12: xs:decimal(5) div xs:decimal(2) ne 2.6 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericDivide-13[+]
X K-NumericDivide-13: 5 div 2 ne 2.6 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericDivide-14[+]
X K-NumericDivide-14: 5.0 div 2.0 eq 2.5 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericDivide-15[+]
X K-NumericDivide-15: 5.0 div 2.0 ne 2.6 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericDivide-16[+]
X K-NumericDivide-16: (xs:decimal(6) div xs:integer(2)) instance of xs:decimal |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericDivide-17[+]
X K-NumericDivide-17: (xs:integer(6) div xs:decimal(2)) instance of xs:decimal |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericDivide-18[+]
X K-NumericDivide-18: (xs:integer(6) div xs:integer(2)) instance of xs:decimal |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericDivide-19[+]
X K-NumericDivide-19: (xs:decimal(6) div xs:decimal(2)) instance of xs:decimal |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericDivide-20[+]
X K-NumericDivide-20: (xs:float(6) div xs:decimal(2)) instance of xs:float |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericDivide-21[+]
X K-NumericDivide-21: (xs:decimal(6) div xs:float(2)) instance of xs:float |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericDivide-22[+]
X K-NumericDivide-22: (xs:float(6) div xs:integer(2)) instance of xs:float |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericDivide-23[+]
X K-NumericDivide-23: (xs:integer(6) div xs:float(2)) instance of xs:float |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericDivide-24[+]
X K-NumericDivide-24: (xs:float(6) div xs:float(2)) instance of xs:float |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericDivide-25[+]
X K-NumericDivide-25: (xs:decimal(6) div xs:double(2)) instance of xs:double |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericDivide-26[+]
X K-NumericDivide-26: (xs:double(6) div xs:decimal(2)) instance of xs:double |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericDivide-27[+]
X K-NumericDivide-27: (xs:double(6) div xs:float(2)) instance of xs:double |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericDivide-28[+]
X K-NumericDivide-28: (xs:float(6) div xs:double(2)) instance of xs:double |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericDivide-29[+]
X K-NumericDivide-29: (xs:double(6) div xs:integer(2)) instance of xs:double |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericDivide-30[+]
X K-NumericDivide-30: (xs:integer(6) div xs:double(2)) instance of xs:double |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericDivide-31[+]
X K-NumericDivide-31: (xs:double(6) div xs:double(2)) instance of xs:double |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericDivide-32[+]
X K-NumericDivide-32: "3" div "3" |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericDivide-33[+]
X K-NumericDivide-33: xs:double(3) div "3" |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericDivide-34[+]
X K-NumericDivide-34: (xs:double(3) div xs:untypedAtomic("3")) eq 1 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericDivide-35[+]
X K-NumericDivide-35: (xs:untypedAtomic("3") div xs:double(3)) eq 1 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericDivide-36[+]
X K-NumericDivide-36: 10 div3 |
pass | pass | no result | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericDivide-37[+]
X K-NumericDivide-37: 10div 3 |
pass | pass | no result | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericDivide-38[+]
X K-NumericDivide-38: 10div3 |
pass | pass | no result | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericDivide-39[+]
X K-NumericDivide-39: empty(() div ()) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericDivide-40[+]
X K-NumericDivide-40: empty(1 div ()) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericDivide-41[+]
X K-NumericDivide-41: empty(() div 1) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericDivide-42[+]
X K-NumericDivide-42: empty(xs:double(3) div ()) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericDivide-43[+]
X K-NumericDivide-43: empty(() div xs:decimal(1)) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericDivide-1[+]
X K2-NumericDivide-1: 1 div 0 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericDivide-2[+]
X K2-NumericDivide-2: 1 div 0.0 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericDivide-3[+]
X K2-NumericDivide-3: 1 div +0.0 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericDivide-4[+]
X K2-NumericDivide-4: 1 div -0.0 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericDivide-5[+]
X K2-NumericDivide-5: 1 div 0e0 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericDivide-6[+]
X K2-NumericDivide-6: -1 div 0e0 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericDivide-7[+]
X K2-NumericDivide-7: 1 div xs:float(0) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericDivide-8[+]
X K2-NumericDivide-8: -1 div xs:float(0) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericDivide-9[+]
X K2-NumericDivide-9: +0e0 div -0e0 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericDivide-10[+]
X K2-NumericDivide-10: +0e0 div +0e0 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericDivide-11[+]
X K2-NumericDivide-11: -0e0 div -0e0 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericDivide-12[+]
X K2-NumericDivide-12: -0e0 div +0e0 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericDivide-13[+]
X K2-NumericDivide-13: +3 div +0e0 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericDivide-14[+]
X K2-NumericDivide-14: -3 div +0e0 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericDivide-15[+]
X K2-NumericDivide-15: +3 div -0e0 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericDivide-16[+]
X K2-NumericDivide-16: -3 div -0e0 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericDivide-17[+]
X K2-NumericDivide-17: empty(<e/>/(div div div)) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| op-numeric-divide-1[+]
X op-numeric-divide-1: 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() |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| cbcl-numeric-divide-001[+]
X cbcl-numeric-divide-001: declare function local:square($arg as xs:double) as xs:double { $arg * $arg }; xs:double('NaN') div 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-divide-002[+]
X cbcl-numeric-divide-002: declare function local:square($arg as xs:double) as xs:double { $arg * $arg }; local:square(7) div 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-divide-003[+]
X cbcl-numeric-divide-003: declare function local:square($arg as xs:double) as xs:double { $arg * $arg }; local:square(7) div 1e0 |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-numeric-divide-004[+]
X cbcl-numeric-divide-004: declare function local:square($arg as xs:double) as xs:double { $arg * $arg }; local:square(7) div -1e0 |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-numeric-divide-005[+]
X cbcl-numeric-divide-005: declare function local:square($arg as xs:float) as xs:float { $arg * $arg }; xs:float('NaN') div 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-divide-006[+]
X cbcl-numeric-divide-006: declare function local:square($arg as xs:float) as xs:float { $arg * $arg }; local:square(7) div 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-divide-007[+]
X cbcl-numeric-divide-007: declare function local:square($arg as xs:float) as xs:float { $arg * $arg }; local:square(7) div 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-divide-008[+]
X cbcl-numeric-divide-008: declare function local:square($arg as xs:float) as xs:float { $arg * $arg }; local:square(7) div 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-divide-009[+]
X cbcl-numeric-divide-009: declare function local:square($arg as xs:decimal) as xs:decimal { $arg * $arg }; local:square(2.0) div 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-divide-010[+]
X cbcl-numeric-divide-010: declare function local:square($arg as xs:decimal) as xs:decimal { $arg * $arg }; local:square(7.0) div 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-divide-011[+]
X cbcl-numeric-divide-011: declare function local:square($arg as xs:decimal) as xs:decimal { $arg * $arg }; local:square(7.0) div -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-divide-012[+]
X cbcl-numeric-divide-012: declare function local:square($arg as xs:integer) as xs:integer { $arg * $arg }; local:square(2) div 0 |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-numeric-divide-013[+]
X cbcl-numeric-divide-013: declare function local:square($arg as xs:integer) as xs:integer { $arg * $arg }; local:square(7) div 1 |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-numeric-divide-014[+]
X cbcl-numeric-divide-014: declare function local:square($arg as xs:integer) as xs:integer { $arg * $arg }; local:square(7) div -1 |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-numeric-divide-015[+]
X cbcl-numeric-divide-015: 10000000000000000000000000000.0 div 0.1 gt 0 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-divide-big-01[+]
X op-numeric-divide-big-01: (10000000000000000000000000000.0 div 0.1) cast as xs:string |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |