Re: [fricas-devel] [PATCH] More simplifications in GroupPresentation

Hello Martin Your "GroupPresentation" actually isn't a group, so I wonder whether it wouldn't be favourable to implement a domain, e.g. "FinitelyPresentedGroup" which could be reused elsewhere. If you take on the burden to augment some group theory to Fricas anyway, you might consider doing it

Re: [fricas-devel] constructor function patch for tagged-Union

On 7 November 2016 at 21:04, Waldek Hebisch wrote: > > You want to treat Record and Union as duals, but in fact in > imperative languages Record and Union are almost the same: > both records and unions have some fields No. That is like saying that multiplication and

[fricas-devel] [PATCH] More simplifications in GroupPresentation

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