-- -*- M2-comint -*- hash: 12317245523363681013

i1 : S = ZZ/101[a..c]

o1 = S

o1 : PolynomialRing

i2 : M = coker vars S

o2 = cokernel | a b c |

                            1
o2 : S-module, quotient of S

i3 : C1 = ZZdfactorization(M, 2)

o3 = cokernel | a b c | <-- 0 <-- cokernel | a b c |
                                   
     0                      1     0

o3 : ZZdFactorization

i4 : isWellDefined C1

o4 = true

i5 : isZZdComplex C1

o5 = true

i6 : C2 = ZZdfactorization(M, 3)

o6 = cokernel | a b c | <-- 0 <-- 0 <-- cokernel | a b c |
                                         
     0                      1     2     0

o6 : ZZdFactorization

i7 : C2'= ZZdfactorization(M, 3, Base => 1)

o7 = 0 <-- cokernel | a b c | <-- 0 <-- 0
                                         
     0     1                      2     0

o7 : ZZdFactorization

i8 : C2'' = ZZdfactorization(M, 3, Base => 2)

o8 = 0 <-- 0 <-- cokernel | a b c | <-- 0
                                         
     0     1     2                      0

o8 : ZZdFactorization

i9 : 
