not at all: There is more than this situation, where the algebra definitions are not as consequent as they should be. AbelianMonoidRing (not the different in the name convention!) and MonoidRingCategory should be as parallel as possible, cf. BiModule and RetractableTo
Am 17.12.15 um 23:26 schrieb Ralf Hemmecke: > Ooops. > > Does there speak anything against letting AbelianMonoidRing inherit from > FreeModuleCategory? > > Ralf > -- Mit freundlichen Grüßen Johannes Grabmeier Fraktionsvorsitzender FREIE WÄHLER, Stadtrat Deggendorf Prof. Dr. Johannes Grabmeier Köckstraße 1, D-94469 Deggendorf Tel. +49-(0)-991-2979584, Tel. +49-(0)-151-681-70756 Fax: +49-(0)-322-241-92688 -- 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.
