PS: On 2018-06-17, Simon King <simon.k...@uni-jena.de> wrote: > I think the proper way to proceed is: Add a new axiom "GradedCommutative", > that is defined for GradedRings().
It might actually be a good idea to overrided the default string representation of that new axiom. The default is "graded commutative", which people might misunderstand as "graded and commutative". So, having a hypen as in "graded-commutative" would be more accurate. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.