-- -*- M2-comint -*- hash: 7037739305755839227

i1 : S = ZZ/101[a,b,c]

o1 = S

o1 : PolynomialRing

i2 : R = S/(a^2+b^2+c^2);

i3 : m = ideal vars R

o3 = ideal (a, b, c)

o3 : Ideal of R

i4 : C = tailMF m

      4      4      4
o4 = S  <-- S  <-- S
                    
     0      1      0

o4 : ZZdFactorization

i5 : D = tailMF (m^2)

      8      8      8
o5 = S  <-- S  <-- S
                    
     0      1      0

o5 : ZZdFactorization

i6 : f = map(D, C, 0)

o6 = 0

o6 : ZZdFactorizationMap

i7 : assert isWellDefined f

i8 : assert isFactorizationMorphism f

i9 : g = map(C, C, 0, Degree => 13)

o9 = 0

o9 : ZZdFactorizationMap

i10 : assert isWellDefined g

i11 : assert(degree g == 13)

i12 : assert not isFactorizationMorphism g

i13 : assert isCommutative g

i14 : assert isHomogeneous g

i15 : assert(source g == C)

i16 : assert(target g == C)

i17 : assert(map(C, C, 1) === id_C)

i18 : 
