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?
