ASKSAGE: Sage Q&A Forum - RSS feedhttps://ask.sagemath.org/questions/Q&A Forum for SageenCopyright Sage, 2010. Some rights reserved under creative commons license.Thu, 02 Jul 2020 18:24:55 +0200Is there any graded Hopf algebra functionality?https://ask.sagemath.org/question/52298/is-there-any-graded-hopf-algebra-functionality/In the SAGE Reference Manual, there's a brief section on graded Hopf algebras: https://doc.sagemath.org/html/en/reference/categories/sage/categories/graded_hopf_algebras.html
Can one actually define graded Hopf algebras and do computations in them? If not, what is this doing there?Thu, 02 Jul 2020 09:25:26 +0200https://ask.sagemath.org/question/52298/is-there-any-graded-hopf-algebra-functionality/Comment by FrédéricC for <p>In the SAGE Reference Manual, there's a brief section on graded Hopf algebras: <a href="https://doc.sagemath.org/html/en/reference/categories/sage/categories/graded_hopf_algebras.html">https://doc.sagemath.org/html/en/refe...</a></p>
<p>Can one actually define graded Hopf algebras and do computations in them? If not, what is this doing there?</p>
https://ask.sagemath.org/question/52298/is-there-any-graded-hopf-algebra-functionality/?comment=52303#post-id-52303You mean something like this
sage: algebras.GrossmanLarson(QQ)
Grossman-Larson Hopf algebra on one generator ['o'] over Rational Field
sage: algebras.GrossmanLarson(QQ).category()
Category of graded hopf algebras with basis over Rational FieldThu, 02 Jul 2020 12:58:12 +0200https://ask.sagemath.org/question/52298/is-there-any-graded-hopf-algebra-functionality/?comment=52303#post-id-52303Comment by John Palmieri for <p>In the SAGE Reference Manual, there's a brief section on graded Hopf algebras: <a href="https://doc.sagemath.org/html/en/reference/categories/sage/categories/graded_hopf_algebras.html">https://doc.sagemath.org/html/en/refe...</a></p>
<p>Can one actually define graded Hopf algebras and do computations in them? If not, what is this doing there?</p>
https://ask.sagemath.org/question/52298/is-there-any-graded-hopf-algebra-functionality/?comment=52305#post-id-52305There is a bit more here: https://doc.sagemath.org/html/en/reference/categories/sage/categories/graded_hopf_algebras_with_basis.html and here: https://doc.sagemath.org/html/en/reference/categories/sage/categories/examples/graded_connected_hopf_algebras_with_basis.htmlThu, 02 Jul 2020 18:24:12 +0200https://ask.sagemath.org/question/52298/is-there-any-graded-hopf-algebra-functionality/?comment=52305#post-id-52305Comment by John Palmieri for <p>In the SAGE Reference Manual, there's a brief section on graded Hopf algebras: <a href="https://doc.sagemath.org/html/en/reference/categories/sage/categories/graded_hopf_algebras.html">https://doc.sagemath.org/html/en/refe...</a></p>
<p>Can one actually define graded Hopf algebras and do computations in them? If not, what is this doing there?</p>
https://ask.sagemath.org/question/52298/is-there-any-graded-hopf-algebra-functionality/?comment=52306#post-id-52306In particular, yes, there are already some defined in Sage, and you can implement more using the category framework.Thu, 02 Jul 2020 18:24:55 +0200https://ask.sagemath.org/question/52298/is-there-any-graded-hopf-algebra-functionality/?comment=52306#post-id-52306