-
Notifications
You must be signed in to change notification settings - Fork 264
Open
Description
There's a comment above cone(ComplexMap) saying:
M2/M2/Macaulay2/packages/Complexes/ChainComplexMap.m2
Lines 857 to 860 in b1b46da
| -- sign convention: Using Conrad (Grothendieck Duality) sign choice for cone, pg 8 of intro. | |
| -- NOTE: one could extend this to complex maps which commute, but have nonzero degree, | |
| -- IF this would be useful at all. | |
| cone ComplexMap := Complex => f -> ( |
@ggsmith @mikestillman I went back and forth between whether this is what I need or not, and I think it is actually what I need. In particular, taking cone of a map f of nonzero degree isn't the same as cone of
map(target f, (source f)[-degree f], i -> f_(i-degree f)), is it?Metadata
Metadata
Assignees
Labels
No labels