v = isIsomorphicStrict(A,B)
This is the same as isIsomorphic but with additional options Strict => true and Homogeneous => true added by default.
First checks that the generator degrees are the same. Then computes a random degree 0 map A --> B and B --> A, and returns true iff both are surjections.
|
|
|
|
If the function returns true then the modules ARE isomorphic. But if it returns false they may be isomorphic anyway.
The object isIsomorphicStrict is a method function.
The source of this document is in /build/reproducible-path/macaulay2-1.25.06+ds/M2/Macaulay2/packages/TateOnProducts.m2:3926:0.