You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Maybe should say: Over QQ (or any other Q-algebra), this Hopf algebra Psi is isomorphic to the universal enveloping algebra of its space of primitive elements. The primitives form a countably generated free Lie algebra, so Psi is the tensor algebra on a countably infinity dimension vector space.
Actual Behavior
Says: Over QQ (or any other Q-algebra), this Hopf algebra Psi is isomorphic to the tensor algebra of its space of primitive elements.
Additional Information
No response
Environment
-**OS**: any
-**Sage Version**: 10.3
Checklist
I have searched the existing issues for a bug report that matches the one I want to file, without success.
I have read the documentation and troubleshoot guide
The text was updated successfully, but these errors were encountered:
Correction lines 184-189: Psi is not the tensor algebra on the
primitives but on the generators of this free Lie algebra.
<!-- ^ Please provide a concise and informative title. -->
<!-- ^ Don't put issue numbers in the title, do this in the PR
description below. -->
<!-- ^ For example, instead of "Fixessagemath#12345" use "Introduce new method
to calculate 1 + 2". -->
<!-- v Describe your changes below in detail. -->
<!-- v Why is this change required? What problem does it solve? -->
<!-- v If this PR resolves an open issue, please link to it here. For
example, "Fixessagemath#12345". -->
Correction lines 184-189: Psi is not the tensor algebra on the
primitives but on the generators of this free Lie algebra.
Fixessagemath#38370
### 📝 Checklist
<!-- Put an `x` in all the boxes that apply. -->
- [x] The title is concise and informative.
- [x] The description explains in detail what this PR is about.
- [x] I have linked a relevant issue or discussion.
- [x] I have created tests covering the changes.
- [x] I have updated the documentation and checked the documentation
preview.
### ⌛ Dependencies
<!-- List all open PRs that this PR logically depends on. For example,
-->
<!-- - sagemath#12345: short description why this is a dependency -->
<!-- - sagemath#34567: ... -->
URL: sagemath#38372
Reported by: Andrew Tonks
Reviewer(s): Frédéric Chapoton
Steps To Reproduce
open https://doc.sagemath.org/html/en/reference/combinat/sage/combinat/ncsf_qsym/ncsf.html
Expected Behavior
Maybe should say: Over QQ (or any other Q-algebra), this Hopf algebra Psi is isomorphic to the universal enveloping algebra of its space of primitive elements. The primitives form a countably generated free Lie algebra, so Psi is the tensor algebra on a countably infinity dimension vector space.
Actual Behavior
Says: Over QQ (or any other Q-algebra), this Hopf algebra Psi is isomorphic to the tensor algebra of its space of primitive elements.
Additional Information
No response
Environment
Checklist
The text was updated successfully, but these errors were encountered: