i1 : A = ZZ/2[x,y,z]; |
i2 : m = ideal(x,y,z); o2 : Ideal of A |
i3 : isCM(m,A) o3 = true |
i4 : A = ZZ/2[x,y]/(x^2,x*y); |
i5 : m = ideal(x,y); o5 : Ideal of A |
i6 : isCM(m,A) o6 = false |
i7 : A = ZZ/101[a_1,a_2,b_1,b_2,c_1]/ideal(a_1*b_1,a_2*b_2,b_1*c_1); |
i8 : m = ideal vars A o8 = ideal (a , a , b , b , c ) 1 2 1 2 1 o8 : Ideal of A |
i9 : isCM(m,A) o9 = false |
This symbol is provided by the package Depth.