I am trying to create a graded algebra using generators and relations. I found that sage has a category for such things:
http://www.sagemath.org/doc/reference/sage/categories/graded_modules_with_basis.html
but there are no constructors or examples of how to create these things. Does anyone know where I can find examples of how to construct graded algebras, or more generally how to construct non-commutative algebras?