On 12/11/16 17:37, Bill Page wrote:
I think I know what you mean however in FriCAS % always represents a
domain - not an element of a domain. In the category 'Group' %
represents a domain whose operations satisfy group axioms. Perhaps it
is unexpected that so few domains in FriCAS satisfy Group but the
requirement is that every value of this type must have a
multiplicative inverse, literally an inverse for the operation *.
Bill,
Should I have said Rep rather than % ?
In one case Rep holds something which represents the whole group. In the
other case Rep holds an element of that group.
Martin B
--
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 fricas-devel+unsubscr...@googlegroups.com.
To post to this group, send email to fricas-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
