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? |

Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.