On Mon, Mar 25, 2024 at 03:41:51PM +0100, Ralf Hemmecke wrote:
> Hello,
>
> does somebody see my error? I don't understand why the function "nicer" does
> not work, but the individual commands on the input do.
This is a bug in FriCAS. RootSimplification uses interpreter to
initialize its variables. However, this does not work when first
use of RootSimplification is inside a function. It is not clear
whom to blame, RootSimplification uses interpreter differently than
rest of algebra.
As a workaround one can do something like
rsimp(1)$RootSimplification
to initialize RootSimplification. Then I see different error:
nicer x0
Compiling function nicer with type Expression(Integer) ->
AlgebraicNumber
Conversion failed in the compiled user function nicer .
Cannot convert the value from type Union(Expression(Integer),
"failed") to Expression(Integer) .
> What I also find strange is that the error message for "nicer" changes in
> the end.
This is expected when errors are releated to initialization, failed
initialization may leave traces and second attempt works differently.
BTW: There is another trouble with interpreter and RootSimplification:
initializing RootSimplification also assigns values to a few variables
in user session. ATM it is not clear to me what to do: doing initialization
as Spad code triggers very bad behaviour in Spad compiler (very long compile
time) and after that in sbcl (running out of memory).
--
Waldek Hebisch
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/ZgGUpNunUApLd50L%40fricas.org.
