-- -*- M2-comint -*- hash: 693203184191781528

i1 : p = 3;

i2 : L = {3,3,3};

i3 : hasWLP(p, L)

o3 = false

i4 : p = 3;

i5 : L = {4,5,7};

i6 : hasWLP(p, L)

o6 = true

i7 : p = 5;

i8 : L = {3,7,8}

o8 = {3, 7, 8}

o8 : List

i9 : hasWLP(p, L, UseConjecture =>false)

o9 = true

i10 : R=QQ[x,y,z];

i11 : I=ideal(x^3, y^3, z^3, x*y*z);

o11 : Ideal of R

i12 : hasWLP(R,I)

o12 = false

i13 : R=QQ[x,y,z];

i14 : I=ideal(x*z, x*y, z^3,y^3,x^4+6*y^2*z^2);

o14 : Ideal of R

i15 : hasWLP(R,I)

o15 = true

i16 : R=QQ[x,y,z];

i17 : I=ideal(x^9,y^9,z^9,x^3*y^3*z^3);

o17 : Ideal of R

i18 : hasWLP(R,I, MonomialAlg => true)

o18 = false

i19 : R=ZZ/7[x,y,z];

i20 :  I=ideal(x*z, x*y, z^3,y^3,x^4+6*y^2*z^2);--Gorenstein

o20 : Ideal of R

i21 : hasWLP(R,I,GorensteinAlg => true)

o21 = true

i22 : R=ZZ/17[x,y,z];

i23 : I=ideal(3*x^4+y^4,z*y^3, x^5-z^5);--Gorenstein

o23 : Ideal of R

i24 : hasWLP(R,I,GorensteinAlg => true)

o24 = true

i25 : 
