|
| 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-mod | 124/124 | 124/124 | 113/113 | 124/124 | 113/113 | 124/124 | 121/124 | 113/113 | 124/124 | 124/124 | 113/113 | 124/124 | 124/124 | 124/124 | 124/124 | 2/15 |
| op-numeric-modint2args-1[+]
X op-numeric-modint2args-1: xs:int("-2147483648") mod xs:int("2147483647") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-modintg2args-1[+]
X op-numeric-modintg2args-1: xs:integer("-999999999999999999") mod xs:integer("830993497117024304") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-modintg2args-2[+]
X op-numeric-modintg2args-2: xs:integer("-999999999999999999") mod xs:integer("999999999999999999") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-moddec2args-1[+]
X op-numeric-moddec2args-1: xs:decimal("-999999999999999999") mod xs:decimal("617375191608514839") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-moddec2args-2[+]
X op-numeric-moddec2args-2: xs:decimal("-999999999999999999") mod xs:decimal("999999999999999999") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-moddbl2args-1[+]
X op-numeric-moddbl2args-1: xs:double("-1.7976931348623157E308") mod xs:double("1.7976931348623157E308") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-modflt2args-1[+]
X op-numeric-modflt2args-1: xs:float("-3.4028235E38") mod xs:float("3.4028235E38") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-modlng2args-1[+]
X op-numeric-modlng2args-1: xs:long("-92233720368547758") mod xs:long("92233720368547758") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-modusht2args-1[+]
X op-numeric-modusht2args-1: xs:unsignedShort("0") mod xs:unsignedShort("44633") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-modusht2args-2[+]
X op-numeric-modusht2args-2: xs:unsignedShort("0") mod xs:unsignedShort("65535") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-modpint2args-1[+]
X op-numeric-modpint2args-1: xs:positiveInteger("1") mod xs:positiveInteger("1") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-modpint2args-2[+]
X op-numeric-modpint2args-2: xs:positiveInteger("52704602390610033") mod xs:positiveInteger("1") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-modpint2args-3[+]
X op-numeric-modpint2args-3: xs:positiveInteger("999999999999999999") mod xs:positiveInteger("1") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-modpint2args-4[+]
X op-numeric-modpint2args-4: xs:positiveInteger("1") mod xs:positiveInteger("52704602390610033") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-modpint2args-5[+]
X op-numeric-modpint2args-5: xs:positiveInteger("1") mod xs:positiveInteger("999999999999999999") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-modulng2args-1[+]
X op-numeric-modulng2args-1: xs:unsignedLong("0") mod xs:unsignedLong("130747108607674654") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-modulng2args-2[+]
X op-numeric-modulng2args-2: xs:unsignedLong("0") mod xs:unsignedLong("184467440737095516") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-modnni2args-1[+]
X op-numeric-modnni2args-1: xs:nonNegativeInteger("0") mod xs:nonNegativeInteger("303884545991464527") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-modnni2args-2[+]
X op-numeric-modnni2args-2: xs:nonNegativeInteger("0") mod xs:nonNegativeInteger("999999999999999999") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-modsht2args-1[+]
X op-numeric-modsht2args-1: xs:short("-32768") mod xs:short("32767") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-modmix2args-1[+]
X op-numeric-modmix2args-1: () mod 1 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-modmix2args-2[+]
X op-numeric-modmix2args-2: 1 mod '1' |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-modmix2args-3[+]
X op-numeric-modmix2args-3: 1 mod xs:integer('1') |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-modmix2args-4[+]
X op-numeric-modmix2args-4: 1 mod <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-modmix2args-5[+]
X op-numeric-modmix2args-5: 1 mod <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-modmix2args-6[+]
X op-numeric-modmix2args-6: 1 mod <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-modmix2args-7[+]
X op-numeric-modmix2args-7: <a> 1 </a> mod <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-modmix2args-8[+]
X op-numeric-modmix2args-8: 1 mod <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-modmix2args-9[+]
X op-numeric-modmix2args-9: 1 mod <a/> |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-NumericMod-1[+]
X K-NumericMod-1: (xs:decimal(6) mod xs:integer(2)) instance of xs:decimal |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericMod-2[+]
X K-NumericMod-2: (xs:integer(6) mod xs:decimal(2)) instance of xs:decimal |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericMod-3[+]
X K-NumericMod-3: (xs:integer(6) mod xs:integer(2)) instance of xs:integer |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericMod-4[+]
X K-NumericMod-4: (xs:decimal(6) mod xs:decimal(2)) instance of xs:decimal |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericMod-5[+]
X K-NumericMod-5: (xs:decimal(6) mod xs:float(2)) instance of xs:float |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericMod-6[+]
X K-NumericMod-6: (xs:float(6) mod xs:decimal(2)) instance of xs:float |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericMod-7[+]
X K-NumericMod-7: (xs:float(6) mod xs:integer(2)) instance of xs:float |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericMod-8[+]
X K-NumericMod-8: (xs:integer(6) mod xs:float(2)) instance of xs:float |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericMod-9[+]
X K-NumericMod-9: (xs:float(6) mod xs:float(2)) instance of xs:float |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericMod-10[+]
X K-NumericMod-10: (xs:decimal(6) mod xs:double(2)) instance of xs:double |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericMod-11[+]
X K-NumericMod-11: (xs:double(6) mod xs:decimal(2)) instance of xs:double |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericMod-12[+]
X K-NumericMod-12: (xs:double(6) mod xs:float(2)) instance of xs:double |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericMod-13[+]
X K-NumericMod-13: (xs:float(6) mod xs:double(2)) instance of xs:double |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericMod-14[+]
X K-NumericMod-14: (xs:double(6) mod xs:integer(2)) instance of xs:double |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericMod-15[+]
X K-NumericMod-15: (xs:integer(6) mod xs:double(2)) instance of xs:double |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericMod-16[+]
X K-NumericMod-16: (xs:double(6) mod xs:double(2)) instance of xs:double |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericMod-17[+]
X K-NumericMod-17: 10 mod 3 eq 1 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericMod-18[+]
X K-NumericMod-18: 6 mod -2 eq 0 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericMod-19[+]
X K-NumericMod-19: 4.5 mod 1.2 eq 0.9 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericMod-20[+]
X K-NumericMod-20: 1.23E2 mod 0.6E1 eq 3.0E0 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericMod-21[+]
X K-NumericMod-21: 10 mod3 |
pass | pass | no result | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericMod-22[+]
X K-NumericMod-22: 10mod 3 |
pass | pass | no result | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericMod-23[+]
X K-NumericMod-23: 10mod3 |
pass | pass | no result | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericMod-24[+]
X K-NumericMod-24: "3" mod "3" |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericMod-25[+]
X K-NumericMod-25: "3" mod 1.1 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericMod-26[+]
X K-NumericMod-26: (xs:untypedAtomic("5") mod xs:double(3)) eq 2 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericMod-27[+]
X K-NumericMod-27: (xs:decimal(5) mod xs:untypedAtomic("3")) eq 2 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericMod-28[+]
X K-NumericMod-28: empty(() mod ()) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericMod-29[+]
X K-NumericMod-29: empty(xs:float(3) mod ()) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericMod-1[+]
X K2-NumericMod-1: -1 mod -1 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericMod-2[+]
X K2-NumericMod-2: -1.0 mod -1.0 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericMod-3[+]
X K2-NumericMod-3: -1.0e0 mod -1.0e0 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericMod-4[+]
X K2-NumericMod-4: -1.0e0 mod xs:float(-1.0e0) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericMod-5[+]
X K2-NumericMod-5: -1 mod -9223372036854775808 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericMod-6[+]
X K2-NumericMod-6: -1.0 mod -9223372036854775808.0 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericMod-7[+]
X K2-NumericMod-7: -1.0e0 mod xs:double(-9223372036854775808) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericMod-8[+]
X K2-NumericMod-8: xs:float(-1.0e0) mod xs:float(-9223372036854775808) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericMod-9[+]
X K2-NumericMod-9: xs:float("NaN") mod 3 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericMod-10[+]
X K2-NumericMod-10: 3 mod xs:float("NaN") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericMod-11[+]
X K2-NumericMod-11: xs:float("NaN") mod xs:float("NaN") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericMod-12[+]
X K2-NumericMod-12: xs:double("NaN") mod 3 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericMod-13[+]
X K2-NumericMod-13: 3 mod xs:double("NaN") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericMod-14[+]
X K2-NumericMod-14: xs:double("NaN") mod xs:double("NaN") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericMod-15[+]
X K2-NumericMod-15: xs:double("INF") mod 3 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericMod-16[+]
X K2-NumericMod-16: 3 mod xs:double("INF") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericMod-17[+]
X K2-NumericMod-17: xs:double("INF") mod xs:double("INF") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericMod-18[+]
X K2-NumericMod-18: xs:double("-INF") mod 3 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericMod-19[+]
X K2-NumericMod-19: 3 mod xs:double("-INF") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericMod-20[+]
X K2-NumericMod-20: xs:double("-INF") mod xs:double("-INF") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericMod-21[+]
X K2-NumericMod-21: xs:double("0") mod 3 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericMod-22[+]
X K2-NumericMod-22: 3 mod xs:double("0") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericMod-23[+]
X K2-NumericMod-23: xs:double("0") mod xs:double("INF") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericMod-24[+]
X K2-NumericMod-24: xs:double("-0") mod 3 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericMod-25[+]
X K2-NumericMod-25: 3 mod xs:double("-0") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericMod-26[+]
X K2-NumericMod-26: xs:double("-0") mod xs:double("-0") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericMod-27[+]
X K2-NumericMod-27: xs:float("INF") mod 3 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericMod-28[+]
X K2-NumericMod-28: 3 mod xs:float("INF") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericMod-29[+]
X K2-NumericMod-29: xs:float("INF") mod xs:float("INF") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericMod-30[+]
X K2-NumericMod-30: xs:float("-INF") mod 3 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericMod-31[+]
X K2-NumericMod-31: 3 mod xs:float("-INF") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericMod-32[+]
X K2-NumericMod-32: xs:float("-INF") mod xs:float("-INF") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericMod-33[+]
X K2-NumericMod-33: xs:float("0") mod 3 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericMod-34[+]
X K2-NumericMod-34: 3 mod xs:float("0") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericMod-35[+]
X K2-NumericMod-35: xs:float("0") mod xs:float("INF") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericMod-36[+]
X K2-NumericMod-36: xs:float("-0") mod 3 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericMod-37[+]
X K2-NumericMod-37: 3 mod xs:float("-0") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericMod-38[+]
X K2-NumericMod-38: xs:float("-0") mod xs:float("-0") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericMod-39[+]
X K2-NumericMod-39: xs:float("-0") mod xs:float("4") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericMod-40[+]
X K2-NumericMod-40: xs:float("0") mod xs:float("4") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericMod-41[+]
X K2-NumericMod-41: xs:double("-0") mod xs:double("4") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericMod-42[+]
X K2-NumericMod-42: xs:double("0") mod xs:double("4") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericMod-43[+]
X K2-NumericMod-43: xs:float("-0") mod xs:float("INF") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericMod-44[+]
X K2-NumericMod-44: xs:float("0") mod xs:float("INF") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericMod-45[+]
X K2-NumericMod-45: xs:double("-0") mod xs:double("INF") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericMod-46[+]
X K2-NumericMod-46: xs:double("0") mod xs:double("INF") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericMod-47[+]
X K2-NumericMod-47: xs:float("-0") mod xs:float("-INF") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericMod-48[+]
X K2-NumericMod-48: xs:float("0") mod xs:float("-INF") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericMod-49[+]
X K2-NumericMod-49: xs:double("-0") mod xs:double("-INF") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericMod-50[+]
X K2-NumericMod-50: xs:double("0") mod xs:double("-INF") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericMod-51[+]
X K2-NumericMod-51: xs:double("10000000") mod xs:double("10000000") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericMod-52[+]
X K2-NumericMod-52: xs:double("-10000000") mod xs:double("-10000000") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericMod-53[+]
X K2-NumericMod-53: xs:double("10000000") mod xs:double("-10000000") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericMod-54[+]
X K2-NumericMod-54: xs:double("-10000000") mod xs:double("10000000") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericMod-55[+]
X K2-NumericMod-55: xs:float("10000000") mod xs:float("10000000") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericMod-56[+]
X K2-NumericMod-56: xs:float("-10000000") mod xs:float("-10000000") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericMod-57[+]
X K2-NumericMod-57: xs:float("10000000") mod xs:float("-10000000") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericMod-58[+]
X K2-NumericMod-58: xs:float("-10000000") mod xs:float("10000000") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericMod-59[+]
X K2-NumericMod-59: 3 mod 0 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericMod-60[+]
X K2-NumericMod-60: 3.0 mod 0 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericMod-61[+]
X K2-NumericMod-61: 3 mod 0.0 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericMod-62[+]
X K2-NumericMod-62: empty(<e/>/(mod mod mod)) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| op-numeric-mod-1[+]
X op-numeric-mod-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 mod $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-mod-001[+]
X cbcl-numeric-mod-001: declare function local:integer($x as xs:decimal) { if ($x mod 1 eq 0) then xs:integer($x) else $x }; (local:integer(3) mod 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 | |
| cbcl-numeric-mod-002[+]
X cbcl-numeric-mod-002: declare function local:integer($x as xs:decimal) { if ($x mod 1 eq 0) then xs:integer($x) else $x }; (local:integer(3.5) mod 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 | |
| cbcl-numeric-mod-003[+]
X cbcl-numeric-mod-003: declare function local:value($number as xs:boolean) { if ($number) then 1 else xs:string('1') }; local:value(true()) mod local:value(true()) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |