-- -*- M2-comint -*- hash: 9891996817904693751

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

o1 = S

o1 : PolynomialRing

i2 : C1 = ZZdfactorization {a,b}

      1      1      1
o2 = S  <-- S  <-- S
                    
     0      1      0

o2 : ZZdFactorization

i3 : C2 = ZZdfactorization {a,b,c}

      1      1      1      1
o3 = S  <-- S  <-- S  <-- S
                           
     0      1      2      0

o3 : ZZdFactorization

i4 : C3 = ZZdfactorization {a,b,c,d}

      1      1      1      1      1
o4 = S  <-- S  <-- S  <-- S  <-- S
                                  
     0      1      2      3      0

o4 : ZZdFactorization

i5 : period C1

o5 = 2

i6 : period C2

o6 = 3

i7 : period C3

o7 = 4

i8 : isdFactorization C1

o8 = (true, a*b)

o8 : Sequence

i9 : isdFactorization C2

o9 = (true, a*b*c)

o9 : Sequence

i10 : isdFactorization C3

o10 = (true, a*b*c*d)

o10 : Sequence

i11 : D1 = ZZdfactorization({a,b}, Base => 1)

       1      1      1
o11 = S  <-- S  <-- S
                     
      0      1      0

o11 : ZZdFactorization

i12 : isWellDefined D1

o12 = true

i13 : isdFactorization D1

o13 = (true, a*b)

o13 : Sequence

i14 : dd^C1

           1             1
o14 = 1 : S  <--------- S  : 0
                | b |

           1             1
      0 : S  <--------- S  : 1
                | a |

o14 : ZZdFactorizationMap

i15 : dd^(D1[-1])

           1              1
o15 = 1 : S  <---------- S  : 0
                | -b |

           1              1
      0 : S  <---------- S  : 1
                | -a |

o15 : ZZdFactorizationMap

i16 : C1_2

       1
o16 = S

o16 : S-module, free

i17 : C1^(-1)

       1
o17 = S

o17 : S-module, free

i18 : C1^(-1) == C1_1

o18 = true

i19 : C1_7

       1
o19 = S

o19 : S-module, free

i20 : dd^C1

           1             1
o20 = 1 : S  <--------- S  : 0
                | b |

           1             1
      0 : S  <--------- S  : 1
                | a |

o20 : ZZdFactorizationMap

i21 : dd^C1_2

o21 = | b |

              1      1
o21 : Matrix S  <-- S

i22 : period C1

o22 = 2

i23 : 
