Macaulay2 / Macaulay2/M2

dd_C doesn't work in Complexes

Open
#3,904 2 comments 0 reactions 0 assignees View on GitHub
Documentation package issue
Dominant language
Macaulay2
Stars
435
Forks
297
Avg merge
4d 20h
Merged PRs (30d)
11

Description

I had mentioned this bug about the cohomological notation for getting the differentials of a complex in an email, but mentioning it again here. cc @ggsmith
```m2
i1 : R = kk[x,y]

o1 = R

o1 : PolynomialRing

i2 : C = koszulComplex vars R

1 2 1
o2 = R <-- R <-- R

0 1 2

o2 : Complex
```
`dd^C` works fine:
```m2
i3 : dd^C

1 2
o3 = 0 : R <----------- R : 1
| x y |

2 1
1 : R <-------------- R : 2
{1} | -y |
{1} | x |

o3 : ComplexMap
```
But `dd_C`, which is explicitly mentioned in the [documentation](https://macaulay2.com/doc/Macaulay2/share/doc/Macaulay2/Complexes/html/_differential_spof_spa_spchain_spcomplex.html), does not work:
```m2
i4 : dd_C

o4 = dd
1 2 1
R <-- R <-- R

0 1 2

o4 : IndexedVariable
```

Contributor guide

No contributing guide indexed for this repository

Research direction

Run the reported Macaulay2 session with a Koszul complex, comparing dd^C with dd_C. Read the linked differential documentation and trace the dd_C entry point; done means dd_C resolves to the complex differential and returns the expected ComplexMap rather than an IndexedVariable.

Written by the indexing model from the issue text.

Assessment

Domain
tooling
Issue type
Bug
Difficulty
3/5
Estimated time
1-2 days
Activity status
Quiet
Clarity
Mostly clear
Newbie friendliness
55/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.