bug?

[Ralf Hemmecke]

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?

Ralf

[Waldek Hebisch]

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