Re: [fricas-devel] Unusual run-times of a simple integral

2016-11-10 Thread Waldek Hebisch
Kurt Pagani wrote: > > When integrating sin(x)*cos(2*n*x), n=1,10,20,30, there is a unusual growth > in run-time. I guess that the cause might be found in trigonometric > transformations. Is that so? Yes. Compare: (6) -> complexElementary(normalize(sin(x)*cos(2*20*x))) (6)

[fricas-devel] Unusual run-times of a simple integral

2016-11-10 Thread Kurt Pagani
When integrating sin(x)*cos(2*n*x), n=1,10,20,30, there is a unusual growth in run-time. I guess that the cause might be found in trigonometric transformations. Is that so? Of course we can integrate using the parameter "n" followed by evaluation, however, I wonder whether this behavior is norm

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

2016-11-10 Thread Martin Baker
On 10/11/16 16:46, Kurt Pagani wrote: I'm definitely encouraging you to implement T-C. Thats my plan. > Then we will rely on (permgrps.spad): Well it will have to be like this: toPermutationIfCan(GroupPresentation):Union(PermutationGroup S, "failed") because it needs to fail for infinite gr

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

2016-11-10 Thread Kurt Pagani
On 10 November 2016 at 10:37, Martin Baker wrote: > Hi Kurt, > > > 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

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

2016-11-10 Thread Martin Baker
Hi Kurt, > 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 doi