# 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/refe...

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

You mean something like this

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

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