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
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
> 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",
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
>
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
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)
>
(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
>
> (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
> 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
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)
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
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")
> 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
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
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
>
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
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)".
>
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 :
(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
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.
20 matches
Mail list logo