monomialMF -- Construct a trivial d-fold factorization of a monomial

i1 : Q = QQ[x..z]

o1 = Q

o1 : PolynomialRing

i2 : f = x*y^2*z^3

        2 3
o2 = x*y z

o2 : Q

i3 : degree f

o3 = {6}

o3 : List

i4 : C = monomialMF(f)

      1      1      1      1      1      1      1
o4 = Q  <-- Q  <-- Q  <-- Q  <-- Q  <-- Q  <-- Q
                                                
     0      1      2      3      4      5      0

o4 : ZZdFactorization

i5 : isdFactorization C

               2 3
o5 = (true, x*y z )

o5 : Sequence

i6 : period C

o6 = 6

i7 : g = 2/3*x*y*z

     2
o7 = -x*y*z
     3

o7 : Q

i8 : C' = monomialMF(g)

      1      1      1      1
o8 = Q  <-- Q  <-- Q  <-- Q
                           
     0      1      2      0

o8 : ZZdFactorization

i9 : C'.dd

          1                 1
o9 = 2 : Q  <------------- Q  : 0
               {1} | x |

          1                    1
     0 : Q  <---------------- Q  : 1
               {1} | 2/3z |

          1                 1
     1 : Q  <------------- Q  : 2
               {1} | y |

o9 : ZZdFactorizationMap