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)
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
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
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
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