-- -*- M2-comint -*- hash: 16407577300168367820

i1 : R = ZZ/101[x,y,z]

o1 = R

o1 : PolynomialRing

i2 : A = freeDGAlgebra(R,{{1},{1},{1},{3}})

o2 = {Ring => R                      }
      Underlying algebra => R[T ..T ]
                               1   4
      Differential => null

o2 : DGAlgebra

i3 : setDiff(A,{x,y,z,x*T_2*T_3-y*T_1*T_3+z*T_1*T_2})

o3 = {Ring => R                                          }
      Underlying algebra => R[T ..T ]
                               1   4
      Differential => {x, y, z, z*T T  - y*T T  + x*T T }
                                   1 2      1 3      2 3

o3 : DGAlgebra

i4 : isHomogeneous A

o4 = false

i5 : B = freeDGAlgebra(R,{{1,1},{1,1},{1,1},{3,3}})

o5 = {Ring => R                      }
      Underlying algebra => R[T ..T ]
                               1   4
      Differential => null

o5 : DGAlgebra

i6 : setDiff(B,{x,y,z,x*T_2*T_3-y*T_1*T_3+z*T_1*T_2})

o6 = {Ring => R                                          }
      Underlying algebra => R[T ..T ]
                               1   4
      Differential => {x, y, z, z*T T  - y*T T  + x*T T }
                                   1 2      1 3      2 3

o6 : DGAlgebra

i7 : isHomogeneous B

o7 = true

i8 : 
