[fricas-devel] [BUG?] auto-simplification of atan

2017-01-31 Thread oldk1331
(1) -> atan((x^2*((-1)*x^4+1)^(1/2)+(x^3+x))/(((-1)*x^4+1)^(1/2)+((-1)*x^3+x))) ++ 2 | 4 3 x \|- x + 1 + x + x (1) atan(--) ++ | 4 3 \|- x + 1 -

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

2017-01-31 Thread Kurt Pagani
I pulled (fresh clone) from https://github.com/martinbaker/fricasAlgTop but forgot to update permgrp :( Sorry! On Tuesday, 31 January 2017 19:55:54 UTC+1, Martin Baker wrote: > > On 01/31/2017 06:33 PM, Waldek Hebisch wrote: > > Kurt Pagani wrote: > >> > >> @Martin: gpresent.input now

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

2017-01-31 Thread Martin Baker
On 01/31/2017 06:33 PM, Waldek Hebisch wrote: Kurt Pagani wrote: @Martin: gpresent.input now reports: unexpected failures: 3 relationsInGenerator? Which ones? For ma all tests passed. Note: you need to use latest version of both: gpresent.spad permgrps.spad If I update gpresent but not

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

2017-01-31 Thread Waldek Hebisch
Kurt Pagani wrote: > > @Martin: gpresent.input now reports: unexpected failures: 3 > > relationsInGenerator? Which ones? For ma all tests passed. -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS -