On Monday, October 12, 2015 at 8:14:12 PM UTC+8, jg wrote:
>
> 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.
>
> OK, I was misunderstood. Not all Monoid has property unitsKnown.
Apparently unitsKnown is not what I have thought. Thank you.
--
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.
