Macaulay2 » Documentation
Packages » DGAlgebras :: net(DGAlgebraMap)
next | previous | forward | backward | up | index | toc

net(DGAlgebraMap) -- Short-form display of a DG algebra map

Description

Produces the text Macaulay2 prints when a DGAlgebraMap is displayed at the top level. The output lists the action of phi on the generators of the underlying algebra, using the information stored in phi.natural.

i1 : R = ZZ/101[a,b,c]/ideal{a^3 + b^3 + c^3, a*b*c}

o1 = R

o1 : QuotientRing
 
i2 : K1 = koszulComplexDGA(ideal vars R, Variable => "Y")

o2 = {Ring => R                          }
      Underlying algebra => R[Y   ..Y   ]
                               1,1   1,3
      Differential => {a, b, c}

o2 : DGAlgebra
 
i3 : K2 = koszulComplexDGA(ideal{b, c}, Variable => "T")

o3 = {Ring => R                          }
      Underlying algebra => R[T   ..T   ]
                               1,1   1,2
      Differential => {b, c}

o3 : DGAlgebra
 
i4 : g = dgAlgebraMap(K1, K2, matrix{{Y_(1,2), Y_(1,3)}})

o4 = map (R[Y   ..Y   ], R[T   ..T   ], {Y   , Y   , a, b, c})
             1,1   1,3      1,1   1,2     1,2   1,3

o4 : DGAlgebraMap
 
i5 : net g

o5 = map (R[Y   ..Y   ], R[T   ..T   ], {Y   , Y   , a, b, c})
             1,1   1,3      1,1   1,2     1,2   1,3
 
i6 : g

o6 = map (R[Y   ..Y   ], R[T   ..T   ], {Y   , Y   , a, b, c})
             1,1   1,3      1,1   1,2     1,2   1,3

o6 : DGAlgebraMap

See also

Ways to use this method:

The source of this document is in /build/reproducible-path/macaulay2-1.26.05+ds/M2/Macaulay2/packages/DGAlgebras/doc.m2:9879:0.