Can someone convince me why it is a good idea (apart from convenience) that degree(0) returns the unit from the exponent domain?
According to the usage in FriCAS' sources it must be common knowledge, but if I consider a graded ring, then 0 lives in every grade, so it should be undefined what "degree(0)" returns or at least we should have a note in the documentation that degree(0)=1 to make it unquestionable. http://fricas.github.io/api/AbelianMonoidRing.html#l-abelian-monoid-ring-degree http://fricas.github.io/api/GradedModule.html#l-graded-module-degree Ralf -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.
