isGolod(Ideal) -- whether the ring is Golod

Synopsis

Function: isGolod
Usage:

isGolod R or isGolod I
Inputs:
- I, an ideal, of a polynomial algebra contained in the irrelevant maximal ideal
Outputs:
- a Boolean value, whether the local ring obtained by localizing the quotient by I at the irrelevant maximal ideal is Golod

Checks if the local ring obtained by localizing the quotient by I at the irrelevant maximal ideal is Golod.

i1 : Q = QQ[x,y,z];

i2 : isGolod (ideal(x^2,x*y,y*z,z^2))

o2 = false

i3 : isGolod (ideal(x^2))

o3 = true

i4 : isGolod ((ideal(x,y,z))^2)

o4 = true