This patch contains the following changes to GroupPresentation:
1) Improve simplify function to remove duplicate relations.
2) Rename subgroup to quotient.
In simplify, relations are now considered duplicates if they are
identical or if they are the same after being cycled or if they are the
same after being 'De Morgan' inverted.
Patch is here:
https://github.com/martinbaker/fricasAlgTop/blob/master/gpresent4.patch
File is here:
https://github.com/martinbaker/fricasAlgTop/blob/master/gpresent.spad
Here are corresponding regression tests where I have made the name
changes and added additional tests for the new simplifications.
Patch is here:
https://github.com/martinbaker/fricasAlgTop/blob/master/gpresentRegression4.patch
File is here:
https://github.com/martinbaker/fricasAlgTop/blob/master/gpresent.input
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.
