next
|
previous
|
forward
|
backward
| up |
top
|
index
|
toc
|
Macaulay2 web site
CompleteIntersectionResolutions
::
makeHomotopies1
makeHomotopies1 -- returns a system of first homotopies
Synopsis
Usage:
H = makeHomotopies1(f,F,d)
Inputs:
f
,
a
matrix
, 1xn matrix of elements of S
F
,
a
chain complex
, admitting homotopies for the entries of f
d
,
an
integer
, how far back to compute the homotopies (defaults to length of F)
Outputs:
H
,
a
hash table
, gives the homotopy from F
i
corresponding to f
j
as the value
H#{j,i}
Description
Same as makeHomotopies, but only computes the ordinary homotopies, not the higher ones. Used in exteriorTorModule
See also
makeHomotopies
-- returns a system of higher homotopies
exteriorTorModule
-- Homology of a complex **k as a module over an exterior algebra
Ways to use
makeHomotopies1
:
makeHomotopies1(Matrix,ChainComplex)
makeHomotopies1(Matrix,ChainComplex,ZZ)