isGorenstein R or isGorenstein I
Checks if the local ring obtained by localizing R at the irrelevant maximal ideal is Gorenstein. It is also possible to call the function on the defining ideal of R; see isGorenstein(Ideal).
|
|
|
|
The object isGorenstein is a method function.
The source of this document is in TorAlgebra.m2:1243:0.