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 TateOnProducts.m2:3926:0.