Is there any graded Hopf algebra functionality?
 
  
 
  
 
 
 
 
 
 
    
        
        asked 4 years ago  
 
 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?
 
Preview: (hide)
 
 
 
 
          
 
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 (
    
        4 years ago
    )
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 (
    
        4 years ago
    )
In particular, yes, there are already some defined in Sage, and you can implement more using the category framework.
John Palmieri gravatar imageJohn Palmieri (
    
        4 years ago
    )
add a comment