ArtinianOrlikTeraoIdeal(A: LIST): IDEAL
/**/ use QQ[x,y]; /**/ A := [x, y, x-y]; /**/ ArtinianOrlikTeraoIdeal(A); ideal(y[1]*y[2] +y[1]*y[3] -y[2]*y[3], y[1]^2, y[2]^2, y[3]^2)