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

2016-11-12 Thread oldk1331
I have a related question: Seems your question has something to do with the fact that in FriCAS Expression is represented by polynomials and polynomials are always expanded. So integrate(1/(x+1)^n,x) will be slow when n is large. My question is, is there a domain to express expressions that are

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

2016-11-12 Thread Kurt Pagani
I'm unable to create a reasonable example: FCI==>FourierComponent(Integer) FSI ==> FourierSeries(EXPR INT,INT) (1) -> sin(5)$FCI (1) sin[5] Type: FourierComponent(Integer) (2) -> makeCos(5,z)$FSI (2) zcos[5]

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

2016-11-12 Thread Kurt Pagani
To avoid confusion let's make an example: L:=[u,v,w] FG2:=FreeGroup OVAR L fg2:=[coerce(s)$FG2 for s in enumerate()$OVAR(L)] LL:=[retract(s)$FG2 for s in fg2] FG2 has Group --> true So FG2 is a free group and we can build terms (1) -> fg2.1 * fg2.2 * inv(fg2.1) - 1 (1) u v u

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

2016-11-12 Thread Bill Page
On 12 November 2016 at 13:06, Martin Baker wrote: > On 12/11/16 17:37, Bill Page wrote: >> >> I think I know what you mean however in FriCAS % always represents a >> domain - not an element of a domain. In the category 'Group' % >> represents a domain whose operations satisfy

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

2016-11-12 Thread Martin Baker
On 12/11/16 17:37, Bill Page wrote: I think I know what you mean however in FriCAS % always represents a domain - not an element of a domain. In the category 'Group' % represents a domain whose operations satisfy group axioms. Perhaps it is unexpected that so few domains in FriCAS satisfy Group

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

2016-11-12 Thread Bill Page
On 12 November 2016 at 06:23, Martin Baker wrote: > ... > In simpler terms: PermutationGroup and GroupPresentation are never going > to implement the category 'Group' because in PermutationGroup and > GroupPresentation % represents the whole group whereas in Group % >

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

2016-11-12 Thread Kurt Pagani
Hello Martin > Hi Kurt, > > In simpler terms: PermutationGroup and GroupPresentation are never going to > implement the category 'Group' because in PermutationGroup and > GroupPresentation > % represents the whole group whereas in Group % represents an element of the > group. Indeed. Since

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

2016-11-12 Thread Martin Baker
On 10/11/16 16:46, Kurt Pagani wrote: 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.