On Sat, Oct 10, 2020 at 11:11:17PM +0200, Ralf Hemmecke wrote:
> Does someone know what happens in this session?
>
> The interesting part happens here:
>
> (18) -> subst(ee, v=z)
>
> (18) z - 1
> Type: Expression(Integer)
> (19) -> s := solve(ee)
>
> (19) [a = 1]
> 0
> Type: List(Equation(Expression(Integer)))
>
>
> (20) -> )compile /tmp/hemmecke/sol.spad
> ..............
>
> (20) -> subst(ee, v=z)
>
> (20) a - 1
> 0
> Type: Expression(Integer)
> (21) -> s := solve(ee)
>
> (21) []
> Type: List(Equation(Expression(Integer)))
>
>
> How can it be that compiling a package changes the behaviour of a function?
>
> That looks like a bug to me.
>
> Any ideas?
>
Looks like know limitation: expressions stored in variables are
no longer valid after loading new domain. This is the same
issue with clearing domain variables...
BTW: This was already discussed in the past.
--
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/20201010231212.GA39893%40math.uni.wroc.pl.
