Obviously, the output of (3) is not really what one would expect.
Second question. Having an expression like x, how can I turn it into something like y, i.e. how can I unbox such an expression?
%%% (1) -> x := 1/box(sqrt(2)); y := sqrt(2)/2; Type: AlgebraicNumber %%% (2) -> (x=y)@Boolean (2) false Type: Boolean %%% (3) -> trueEqual(x,y) >> Error detected within library code: cannot retract nonconstant polynomial Ralf -- 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 fricas-devel+unsubscr...@googlegroups.com. To view this discussion visit https://groups.google.com/d/msgid/fricas-devel/b3347a2e-e6f9-4746-b92c-e7f18c88dcdc%40hemmecke.org.