[CAS] Potential Bug with given (|). [SOLVED]

[Mark Hardman]

This would appear to be by design. The CAS system is converting the compound given statement into the following explicit assumptions:

assume(x>0) -> x
additionally(x<10) -> x

This creates the following permanent assumptions on x:

about(x) -> assume[[],[line[0,10]],[0,10]]

Which provides the correct solution:

solve((x^2-8) = 0,x) -> {2*√2}

To avoid future use of the assumptions on x, they must be purged:

purge(x) -> assume[[],[line[0,10]],[0,10]]
about(x) -> x

Mark Hardman