move supercommutator to superalgebras

Question

Closed this issue 3 years ago · 10 comments

which is the proper place for it, as suggested by a TODO

Component: categories

Author: Frédéric Chapoton

Branch/Commit: d2c97b6

Reviewer: Travis Scrimshaw

Answer 1 · 2022-06-20T13:26:54.000Z

Answer 2 · 2022-06-20T13:26:54.000Z

Commit: dcca3b8

Answer 3 · 2022-06-20T13:26:54.000Z

New commits:

`dcca3b8`	`move supercommutator to the category of superalgebras`

Answer 4 · 2022-06-20T18:59:52.000Z

comment:2

this seems to work smoothly

Answer 5 · 2022-06-20T23:29:20.000Z

comment:3

This construction is basis-dependent, so it should go in the WithBasis() subcategory. Otherwise LGTM.

Answer 6 · 2022-06-21T06:53:32.000Z

Changed commit from dcca3b8 to d2c97b6

Answer 7 · 2022-06-21T06:53:32.000Z

Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:

`d2c97b6`	`move supercommutator to the category of superalgebras`

Answer 8 · 2022-06-21T07:16:16.000Z

comment:5

Thank you. LGTM.

Answer 9 · 2022-06-21T07:16:16.000Z

Reviewer: Travis Scrimshaw

Answer 10 · 2022-06-28T22:12:29.000Z

Changed branch from u/chapoton/34030 to d2c97b6