d = checkDegrees(N,M)
d = checkDegrees(n,m)
This is to be used with isIsomorphic.
The routine compares the sorted lists of degrees of generators of the two modules; the degreeLength (can be anything). If the numbers of generators of M,N are different, the modules are not isomorphic, and the routine returns (false, null).
If the numbers are the same, and all the corresponding degrees pairs differ by the same amount (so that the modules might become isomorphic after a shift, then if Strict => false (the default) the output (true, e) tells how to adjust the modules to make the degrees equal: either tensor N with (ring N)^{e} or tensor M with (ring M)^{-e}.
If Strict => true, then the output is (false, null) unless the offset e is 0.
|
|
|
|
|
|
|
|
|
|
|
The object checkDegrees is a method function with options.