Re: [fricas-devel] [PATCH] add coerce from PermutationGroup to GroupPresentation

2017-01-27 Thread Martin Baker
On 01/26/2017 09:04 PM, Kurt Pagani wrote: Hi Martin I've also tried your code and must confirm Waldek's statements. I guess there are some pitfalls which are known for some time. Did you read "Implementation and Analysis of the Todd-Coxeter Algorithm" by Cannon et al.? Old but still

Re: [fricas-devel] fricas: trigonometric simplification.

2017-01-27 Thread Waldek Hebisch
Constantine Frangos wrote: > > %I was not aware of this behaviour. However, I believe that fricas should not > %automatically expand expressions that the user inputs. If this can be > %modified then it would be very helpful. > %Note that another public domain CAS called Maxima does not expand the

[fricas-devel] [PATCH] update documentation for alg_top.spad

2017-01-27 Thread Martin Baker
I have updated documentation/comments for alg_top.spad to correspond to recent code changes. This patch contains no code changes: https://github.com/martinbaker/fricasAlgTop/blob/master/alg_top4.patch Martin B -- You received this message because you are subscribed to the Google Groups