Is there any graded Hopf algebra functionality?

asked 2020-07-02 09:25:26 +0200

davidac897 gravatar image

In the SAGE Reference Manual, there's a brief section on graded Hopf algebras: https://doc.sagemath.org/html/en/refe...

Can one actually define graded Hopf algebras and do computations in them? If not, what is this doing there?

edit retag flag offensive close merge delete

Comments

You 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 Field
FrédéricC gravatar imageFrédéricC ( 2020-07-02 12:58:12 +0200 )edit

There is a bit more here: https://doc.sagemath.org/html/en/refe... and here: https://doc.sagemath.org/html/en/refe...

John Palmieri gravatar imageJohn Palmieri ( 2020-07-02 18:24:12 +0200 )edit

In particular, yes, there are already some defined in Sage, and you can implement more using the category framework.

John Palmieri gravatar imageJohn Palmieri ( 2020-07-02 18:24:55 +0200 )edit
add a comment