On 10/12/2015 01:48 PM, oldk1331 wrote: > First, I find that > Group() : Category == Join(Monoid, unitsKnown) with ... > But, shouldn't Monoid have unitsKnown, either? > > If ture, shouldn't > recip : % -> Union(%,"failed") > move into unitsKnown?
Some time ago there were categories and attributes. But since attributes were like categories, FriCAS turned all attributes into categories. And this is one of the reasons why unitsKnown starts (currently) with a small letter although all categories should (by convention) start with a capital letter. http://fricas.github.io/api/unitsKnown.html Your suggestion to move "recip" to the "unitsKnown" category, wouldn't change anything, because recip is already listed in the category Monoid. And removing it from there would reduce some exports from Monoid. http://fricas.github.io/api/Monoid.html#l-monoid-recip 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 http://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.
