Re: [fricas-devel] generalization of Groebner

Ralf Hemmecke wrote: > > Now, in this patch > > diff --git a/src/algebra/gbintern.spad b/src/algebra/gbintern.spad > index 0446c47..06bba81 100644 > --- a/src/algebra/gbintern.spad > +++ b/src/algebra/gbintern.spad > @@ -3,11 +3,11 @@ > ++ Keywords: > ++ Description > ++ This package provides

Re: [fricas-devel] [BUG] ")compile" modifies kernel cache?

oldk1331 wrote: > > On Thu, Feb 16, 2017 at 11:14 PM, Waldek Hebisch > wrote: > >> > >> Can you point out where does "invalidates > >> all kernel caches" happen? > >> (So that I can disable it when I'm sure it's safe.) > > > > Directly this is done by

Re: [fricas-devel] [PATCH v1] add a special case in lg2func; fix

> I understand that some people would like to see results > with extra roots. So it would make sense to add this > as an optional behaviour. I agree to have both options. So for results with extra roots approach: this patch is an improvement, because it used to introduce "rootSimp zeroOf p",

Re: [fricas-devel] [BUG] ")compile" modifies kernel cache?

On Thu, Feb 16, 2017 at 11:14 PM, Waldek Hebisch wrote: >> >> Can you point out where does "invalidates >> all kernel caches" happen? >> (So that I can disable it when I'm sure it's safe.) > > Directly this is done by 'clearConstructorCache'. Without >

Re: [fricas-devel] [BUG] ")compile" modifies kernel cache?

I find a method to counteract the effect of 'clearConstructorCache': Building expressions using ==, after compiling a file, switch the definition of independent variable, causing expressions to be rebuilt: x == x1 t == sqrt (2* sqrt(x^4)) # tower sqrt(t^3) )co manip x == x2 -- switch definition

Re: [fricas-devel] Announce: FriCAS 1.3.1 has been released

Martin Baker wrote: > > I am curious about the following error which compiled without error on > previous releases. > > This is not a problem (might even be be an advantage) because it forces > me to write: > print (message "value of a is " << a) > instead of: > print ("value of a is " << a) >

[fricas-devel] [BUG] ")compile" modifies kernel cache?

(1) -> t := sqrt (2* sqrt(a^4)); (2) -> # tower sqrt(t*t*t) (2) 4 (3) -> )compile manip.spad -- or compile any other spad file (3) -> # tower sqrt(t*t*t) (3) 3 I use '#' to make output shorter. As you can see, after compiling a file, the output of "tower" changes! This is pretty

Re: [fricas-devel] [BUG] ")compile" modifies kernel cache?

> > (1) -> t := sqrt (2* sqrt(a^4)); > > (2) -> # tower sqrt(t*t*t) > >(2) 4 > > (3) -> )compile manip.spad > -- or compile any other spad file > > (3) -> # tower sqrt(t*t*t) > >(3) 3 > > > I use '#' to make output shorter. As you can see, after > compiling a file, the output of

Re: [fricas-devel] [BUG] ")compile" modifies kernel cache?

> so ')compile' > invalidates them all. Smarter ')compile' could > track dependencies and try to invalidate only > minimal set of constructors, but this is tricky > to implements. Can you point out where does "invalidates all kernel caches" happen? (So that I can disable it when I'm sure it's

[fricas-devel] [PATCH v1] add a special case in lg2func; fix serval integrals

Compare the result of integrate(1/(x^8-1),x) integrate(8*sqrt(2)/(x^8-1),x) integrate(a/(x^8-1),x) The first is more complex than the second one. Why? Because: (1) -> factor(x^4+1) 4 (1) x + 1 Type: Factored(Polynomial(Integer)) (2)

[fricas-devel] [BUG] rootSimp sqrt(2 * sqrt(a^4))

The documentation of rootSimp says it "transforms every radical of the form ..." (1) -> rootSimp sqrt(2 * sqrt(a^4)) +--+ | +--+ | | 4 (1) \|2\|a rootSimp returns itself, I think rootSimp should return "a*sqrt(2)". I don't know where went wrong. Maybe the

[fricas-devel] [PATCH] add a continuity test (definite integration)

The result of in249a get fixed in previous commit, so I'm moving it from mapleok.input to integ.input. I modified the integrand a little to avoid (-1)^(1/3). --- a/src/input/integ.input +++ b/src/input/integ.input @@ -644,5 +644,9 @@ c1 := eval(g, x = a1) testEquals("integrate(b1, x)", "c1")

Re: [fricas-devel] [PATCH v1] add a special case in lg2func; fix serval integrals

> As I wrote in other mail I would like to generate 'rootSum' > instead of expanding roots. In principle after such change > definite integrator would work with 'rootSum' directly > skiping Rioboo, tantrick, etc. I don't understand. Why should integrate(1/(x^8-1),x) and

Re: [fricas-devel] [PATCH v1] add a special case in lg2func; fix

oldk1331 wrote: > > > As I wrote in other mail I would like to generate 'rootSum' > > instead of expanding roots. In principle after such change > > definite integrator would work with 'rootSum' directly > > skiping Rioboo, tantrick, etc. > > I don't understand. Why should

Re: [fricas-devel] [PATCH v1] add a special case in lg2func; fix serval integrals

oldk1331 wrote: > > Compare the result of > integrate(1/(x^8-1),x) > integrate(8*sqrt(2)/(x^8-1),x) > integrate(a/(x^8-1),x) > > The first is more complex than the second one. > Why? Because: > (1) -> factor(x^4+1) > > 4 >(1) x + 1 >

Re: [fricas-devel] [BUG] ")compile" modifies kernel cache?

oldk1331 wrote: > > > so ')compile' > > invalidates them all. Smarter ')compile' could > > track dependencies and try to invalidate only > > minimal set of constructors, but this is tricky > > to implements. > > Can you point out where does "invalidates > all kernel caches" happen? > (So that I

Re: [fricas-devel] [BUG] rootSimp sqrt(2 * sqrt(a^4))

oldk1331 wrote: > > The documentation of rootSimp says it > "transforms every radical of the form ..." > > (1) -> rootSimp sqrt(2 * sqrt(a^4)) > > +--+ > | +--+ > | | 4 >(1) \|2\|a > > rootSimp returns itself, I think rootSimp should return "a*sqrt(2)". >

Re: [fricas-devel] Re: [aldor-devel] foldl and foldr

On 14 Feb 2017 08:03, "Ralf Hemmecke" wrote: On 02/14/2017 08:38 AM, Peter Broadbery wrote: > Interesting. It definitely does work in .spad files (search for ^+\[). Oh... https://github.com/fricas/fricas/blob/master/src/algebra/aggcat.spad#L146 count(f : S -> Boolean, c :

[fricas-devel] [PATCH] rootPower(): handle embedded roots

(1) -> rootPower atan(2*(x^(1/6))^3) 6+-+3 (1) atan(2\|x ) After patch: (2) -> rootPower atan(2*(x^(1/6))^3) +-+ (2) atan(2\|x ) Similar to previous rootSimp, rootPower doesn't handle nested roots correctly: it overlooked the case when root appears at

[fricas-devel] DoubleFloat literal in spad file?

It seems that all float number literal appeared in a spad file are treated as Float, you have to manually convert it to DoubleFloat if you want a DoubleFloat literal. Is that intentional? FriCAS is not specialized at numerical computation, but not having doublefloat literal? That's unimaginable.