isGorenstein R or isGorenstein I
Checks if the local ring obtained by localizing the quotient by I at the irrelevant maximal ideal is Gorenstein.
|
|
|
|
The source of this document is in TorAlgebra.m2:1270:0.