v = isIsomorphic(A,B)
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 isIsomorphic is a method function.