--*- compilation -*- --warning: map checksum has changed, file /lib64/ld-2.5.so --warning: map checksum has changed, file [vdso] --warning: memory maps have changed, can't load cached data: ../../cache/Macaulay2-x86_64-data i1 : input "raw-monomial.m2" ii2 : ---------------------------------- -- Test of engine monomial code -- ---------------------------------- needs "raw-util.m2" ii3 : errorDepth = 0 oo3 = 0 ii4 : -- These monomials use the internal 'varpower' representation -- and are not connected to any ring or monoid. Monomials can have -- negative exponents, etc. -- rawVarMonomial TESTED -- rawMakeMonomial TESTED -- === TESTED -- rawMonomialIsOne (m == 1) TESTED -- rawCompareMonomial -- needs a Monoid. NOT TESTED HERE -- rawMonomialDivides -- needs a Monoid. NOT TESTED HERE -- rawMonomialDivide -- needs a Monoid. NOT TESTED HERE -- / TESTED (computes a*b^-1) -- * TESTED -- rawColon TESTED -- ^ TESTED -- rawLCM TESTED -- rawGCD TESTED -- rawSaturate TESTED -- rawRadical TESTED -- rawSyzygy TESTED -- hash TESTED, I guess -- toString TESTED -- rawSparseListFormMonomial TESTED a = rawVarMonomial 0 oo4 = a oo4 : RawMonomial ii5 : b = rawVarMonomial 1 oo5 = b oo5 : RawMonomial ii6 : c = rawVarMonomial 2 oo6 = c oo6 : RawMonomial ii7 : a2 = rawVarMonomial(0,2) 2 oo7 = a oo7 : RawMonomial ii8 : b2 = rawVarMonomial(1,2) 2 oo8 = b oo8 : RawMonomial ii9 : x = rawVarMonomial(3,4) 4 oo9 = d oo9 : RawMonomial ii10 : x' = rawVarMonomial(3,4) 4 oo10 = d oo10 : RawMonomial ii11 : t = {(2,3),(3,4)} oo11 = {(2, 3), (3, 4)} oo11 : List ii12 : y = rawMakeMonomial t 3 4 oo12 = c d oo12 : RawMonomial ii13 : o = rawMakeMonomial{} oo13 = 1 oo13 : RawMonomial ii14 : ab = rawMakeMonomial{(0,1),(1,1)} oo14 = a*b oo14 : RawMonomial ii15 : assert( hash a2 === hash a^2 ) ii16 : assert(a*b === ab) ii17 : assert(rawVarMonomial(5,-100) * rawVarMonomial(5,100) === o) ii18 : assert(o == 1) ii19 : assert(a2 != 1) ii20 : assert(a2 / a === a) ii21 : assert(a2 / b2 == rawVarMonomial(0,2) * rawVarMonomial(1,-2)) ii22 : assert( rawColon(ab,a) == b ) ii23 : assert( rawColon(ab,a^2) == b ) ii24 : assert( rawColon(a2,a) == a ) ii25 : assert( rawColon(a2,a^2) == o ) ii26 : assert( rawColon(a2,b2) == a2 ) ii27 : assert( rawColon(a^10, a^5) == a^5 ) ii28 : assert( rawColon(a^(-1), a^11) == o ) ii29 : assert( rawColon(a^(-1), a^(-2)) == a ) ii30 : assert( rawLCM(a*b,a*c) === a*b*c ) ii31 : assert( rawLCM(a*b^3,a*b*c^4) === a*b^3*c^4 ) ii32 : assert( rawLCM(a^2*b^3,a^3*b*c^4) === a^3*b^3*c^4 ) ii33 : assert( rawLCM(a^-2*b^3,a^-3*b*c^4) === a^-2*b^3*c^4 ) ii34 : assert( rawGCD(a*b,a*c) === a ) ii35 : assert( rawGCD(a*b^3,a*b*c^4) === a*b ) ii36 : assert( rawGCD(a^2*b^3,a^3*b*c^4) === a^2*b ) ii37 : assert( rawGCD(a^-2*b^3,a^-3*b*c^4) === a^-3*b ) ii38 : rawSyzygy(a*b, a*c) oo38 = (c, b) oo38 : Sequence ii39 : p = rawSyzygy(a^3*b, b^4*c*rawVarMonomial(10,15)) 3 15 3 oo39 = (b c*k , a ) oo39 : Sequence ii40 : p#0 === rawMakeMonomial(rawSparseListFormMonomial(p#0)) oo40 = true ii41 : rawSaturate(a^3*b^2*c,b*c) 3 oo41 = a oo41 : RawMonomial ii42 : rawSaturate(a^3*b^2*c,b*c^2) 3 oo42 = a oo42 : RawMonomial ii43 : rawSaturate(a^3*c,b*c^2) 3 oo43 = a oo43 : RawMonomial ii44 : rawSaturate(a*b^232131*c,a*c) 232131 oo44 = b oo44 : RawMonomial ii45 : rawSaturate(a*b^232131*c,b) oo45 = a*c oo45 : RawMonomial ii46 : assert(rawRadical(a*b^5*c^2*a) === a*b*c) ii47 : rawRadical(a^-2*b^5*c^2) -- should this return a^-1*b*c ?? oo47 = a*b*c oo47 : RawMonomial ii48 : lastone = 2^31-1 oo48 = 2147483647 ii49 : atop = rawVarMonomial(0,lastone) 2147483647 oo49 = a oo49 : RawMonomial ii50 : assert try (rawVarMonomial(0,lastone+1); false) else true ii51 : assert try (atop*a; false) else true raw-monomial.m2:86:1:(1):[3]: assertion failed ../../m2/setup.m2:96:27:(0):[3]: --back trace-- ../../m2/setup.m2:92:18:(0):[2]: --back trace-- ../../m2/setup.m2:104:41:(0):[1]: --back trace-- ../../m2/setup.m2:106:24:(0):[0]: --back trace-- stdio:1:1:(1):[0]: --back trace-- startup.m2:527:6:(0):[0]: --back trace--