Ask Your Question

Starx's profile - activity

2018-10-29 12:45:50 -0500 received badge  Famous Question (source)
2016-05-31 16:52:03 -0500 received badge  Notable Question (source)
2015-02-16 07:49:34 -0500 received badge  Necromancer (source)
2015-02-16 07:49:34 -0500 received badge  Teacher (source)
2014-06-06 01:28:45 -0500 received badge  Popular Question (source)
2013-10-18 08:19:35 -0500 answered a question Ideals of non-commutative polynomials

What you're asking for doesn't exist in complete generality because this would imply a solution to the word problem. The GAP package GBNP implements Grobner bases for non-commutative polynomial rings. The algorithm need not terminate, but when it does it solves the problem you're asking about.

2012-01-31 04:29:16 -0500 commented answer How can I construct graded algebras?

Thanks, this was very helpful. I've decided to go ahead and implement what I need myself and your worksheet will be very helpful in making my code play nice with the structure of sage.

2012-01-31 04:26:16 -0500 received badge  Supporter (source)
2012-01-12 12:49:07 -0500 asked a question How can I construct graded algebras?

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?