# 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:
• , whether the local ring obtained by localizing the quotient by I at the irrelevant maximal ideal is Golod

## Description

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