Macaulay2 » Documentation
Packages » KustinMiller :: substitute(Complex,Ring)

next | previous | forward | backward | up | index | toc

substitute(Complex,Ring) -- Substitute a chain complex to a new ring.

Function: substitute
Usage:

substitute(cc,R)
Inputs:
- cc, a complex,
- R, a ring,
Outputs:
- a complex,

Description

Substitute a chain complex cc to a new ring R.

i1 : R=QQ[x_1..x_4,z_1];

i2 : cc=freeResolution ideal(x_4*x_3, -x_1*x_2+x_4*z_1);

i3 : cs=substitute(cc,QQ[x_1..x_4])

                 1                 2                 1
o3 = (QQ[x ..x ])  <-- (QQ[x ..x ])  <-- (QQ[x ..x ])
          1   4             1   4             1   4
                                          
     0                 1                 2

o3 : Complex

i4 : cs.dd_1

o4 = | x_1x_2 x_3x_4 |

                        1                 2
o4 : Matrix (QQ[x ..x ])  <-- (QQ[x ..x ])
                 1   4             1   4

See also

substitute -- substituting values for variables

Ways to use this method:

substitute(Complex,Ring) -- Substitute a chain complex to a new ring.

The source of this document is in /build/macaulay2-88fgJW/macaulay2-1.25.11+ds/M2/Macaulay2/packages/KustinMiller.m2:1083:0.