Macaulay2 » Documentation
Packages » ChainComplexExtras :: substitute(ChainComplex,Ring)
next | previous | forward | backward | up | index | toc

substitute(ChainComplex,Ring) -- Change the ring over which the ChainComplex is defined.

Synopsis

Description

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

o1 = R

o1 : PolynomialRing
i2 : S = R/ideal{a^2,b^2,c^2}

o2 = S

o2 : QuotientRing
i3 : kRes = res coker vars R

      1      3      3      1
o3 = R  <-- R  <-- R  <-- R  <-- 0
                                  
     0      1      2      3      4

o3 : ChainComplex
i4 : kResS = substitute(kRes, S)

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

o4 : ChainComplex

Ways to use this method: