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

2016-11-13 Thread Waldek Hebisch
Kurt Pagani wrote: > > 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) ->

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

2016-11-13 Thread Waldek Hebisch
oldk1331 wrote: > > My question is, is there a domain to express expressions > that are not expanded, for example "a+1/b" will not be > "(a*b+1)/b". Nothing substantial. For some experiments I tried: IntegerAsNothing : SetCategory == Integer and then used Expression(IntegerAsNothing). But

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

2016-11-13 Thread Martin Baker
Kurt and Bill, Thanks for your ideas so far. I had an idea to try to combine what you said with what I am trying to do. It seems to me that there is a very approximate design pattern here since each of these algebraic structures seem to be defined by two domains by pseudo code like this: