Strict -- Forces strict equality of degrees

Synopsis

• Usage:

  d = checkDegrees(N,M, Strict =>true)

Description

i1 : S = ZZ/101[a,b,Degrees => {{1,0},{0,1}}]

o1 = S

o1 : PolynomialRing

i2 : B = S^{{1,1}}

      1
o2 = S

o2 : S-module, free, degrees {{-1, -1}}

i3 : B' = S^{{3,3}}**B

      1
o3 = S

o3 : S-module, free, degrees {{-4, -4}}

i4 : d = checkDegrees(B',B)

o4 = (true, {-3, -3})

o4 : Sequence

i5 : degrees (S^{d_1}**B') == degrees B

o5 = true

i6 : degrees (B') == degrees (S^{-d_1}**B)

o6 = true

i7 : checkDegrees(B',B,Strict=>true)

o7 = (false, )

o7 : Sequence

See also

• checkDegrees -- compares the degrees of generators of two modules

Functions with optional argument named Strict:

• checkDegrees(...,Strict=>...) -- see checkDegrees -- compares the degrees of generators of two modules
• isIsomorphic(...,Strict=>...) -- see isIsomorphic -- Probabilistic test for isomorphism of modules