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 , T , T ] 1 2 3 4 Differential => null isHomogeneous => false 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 , T , T ] 1 2 3 4 Differential => {x, y, z, z*T T - y*T T + x*T T } 1 2 1 3 2 3 isHomogeneous => false 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 , T , T ] 1 2 3 4 Differential => null isHomogeneous => false 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 , T , T ] 1 2 3 4 Differential => {x, y, z, z*T T - y*T T + x*T T } 1 2 1 3 2 3 isHomogeneous => true o6 : DGAlgebra |
i7 : isHomogeneous B o7 = true |