Re: [fricas-devel] [PATCH] get inline optimization for some Integer functions

2018-11-21 Thread Waldek Hebisch
oldk1331 wrote: > > I said before that the following test takes too much time to run: > testIntegrate("sqrt(tan(x)^2 + 2*tan(x) + 2)", "x", "alg") > > I did some profiling, and found that 40% time is spent in > symmetricRemainder: > > Callers >

Re: [fricas-devel] erf is left unevaluated in expression

2018-11-21 Thread Slawomir Kolodynski
It sort of helps in the sense that the hint about specifying the types is useful. I could not apply the solution directly because it lead to another very surprising (to me) quirk of FriCAS: lack of a basic form of referential transparency between variables and literals. Namely if you assign a

[fricas-devel] [PATCH] get inline optimization for some Integer functions

2018-11-21 Thread oldk1331
I said before that the following test takes too much time to run: testIntegrate("sqrt(tan(x)^2 + 2*tan(x) + 2)", "x", "alg") I did some profiling, and found that 40% time is spent in symmetricRemainder: Callers Total. Function Count

Re: [fricas-devel] erf is left unevaluated in expression

2018-11-21 Thread oldk1331
On Wed, Nov 21, 2018 at 6:22 PM Slawomir Kolodynski wrote: > > lack of a basic form of referential transparency between variables and > literals. > Namely if you assign a literal to a variable and later in code use a variable, > the result may be different than if you had used the literal