Bill Page wrote:
>
> Most of the magic is in 'src/algebra/kl.spad' in relation to the
> Kernel domain but look also at the $Lisp calls some of which are
> implemented in boot appaerently for reasons of efficiency.
Actually, the Lisp calls are to solve problems with writing
expressions to files an
Most of the magic is in 'src/algebra/kl.spad' in relation to the
Kernel domain but look also at the $Lisp calls some of which are
implemented in boot appaerently for reasons of efficiency.
On 2 February 2017 at 12:54, Kurt Pagani wrote:
> "Cache", that's what I was presuming in the first place as
"Cache", that's what I was presuming in the first place as well, so I
naively "grepped" for the catchword in the sources. Do you have a clue
where it's implemented (interp?) and whether there is any run-time control
over it?
It seems that a change of a variable name already has a influence.
On 2 F
Kurt Pagani wrote:
>
> It's not easy to grasp when looking at the sequence below. I've tried to
> trace "atan" in the code but there are really weird ramifications.
>
>
> (2) ->
> atan((x^2*((-1)*x^4+1)^(1/2)+(x^3+x))/(((-1)*x^4+1)^(1/2)+((-1)*x^3+x)))
>
> ++
>
I would put what Waldek said a little differently. FriCAS treats
kernels in Expression in equivalence classes stored in a cache that is
created dynamically. FriCAS chooses the first encountered kernel in
each class as the representative of all kernels in a given class. It
does not attempt to choose
To Waldek and Kurt:
Thanks for your reply. Now I think it's a bit understandable:
it's like a semi-auto "setSimplifyDenomsFlag(true)".
If you set "setSimplifyDenomsFlag(true)", then there's nothing
confusing. But Kurt's example is interesting.
--
You received this message because you are subs
It's not easy to grasp when looking at the sequence below. I've tried to trace
"atan" in the code but there are really weird ramifications.
(2) -> atan((x^2*((-1)*x^4+1)^(1/2)+(x^3+x))/(((-1)*x^4+1)^(1/2)+((-1)*x^3+x)))
++
2 | 4 3
x
oldk1331 wrote:
>
> (1) ->
> atan((x^2*((-1)*x^4+1)^(1/2)+(x^3+x))/(((-1)*x^4+1)^(1/2)+((-1)*x^3+x)))
>
> ++
> 2 | 4 3
> x \|- x + 1 + x + x
>(1) atan(--)
>++
>| 4
(1) -> atan((x^2*((-1)*x^4+1)^(1/2)+(x^3+x))/(((-1)*x^4+1)^(1/2)+((-1)*x^3+x)))
++
2 | 4 3
x \|- x + 1 + x + x
(1) atan(--)
++
| 4 3
\|- x + 1 - x
