No!
unitsKnown is a property which a concrete implementation of a Monoid
shares or does not share!
See, what is written in the definition of this attribute:
)abbrev category ATUNIKN unitsKnown
++ Description:
++ The class of all monoids (multiplicative semigroups with a 1)
++ such that the operation \spadfun{recip} can only return "failed"
++ if its argument is not a unit.
In the domain implementation of such a monoid in the first case, this
should be joined into the export.
For Group, where elements always are invertible, the design decision
seemed to be, that one also has to been able to compute an inverse.
Am 12.10.15 um 13:48 schrieb oldk1331:
> 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?
>
> --
> 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]
> <mailto:[email protected]>.
> To post to this group, send email to [email protected]
> <mailto:[email protected]>.
> Visit this group at http://groups.google.com/group/fricas-devel.
> For more options, visit https://groups.google.com/d/optout.
--
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)-3224-192688
--
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.
