[Axiom-developer] [#271 )show Expression Boolean gives a list] (new)

[anonymous]

Changes http://wiki.axiom-developer.org/271ShowExpressionBooleanGivesAList/diff
--
As I was looking for boolean simplification, I type )sh Expression Boolean.
I get the list of the real expressions. So I type 

\begin{axiom}
sin (A::Expression Boolean) or true.
\end{axiom}

Axiom disapproves

>> System error:
Caught fatal error [memory may be damaged]...

And the axiom process died the command-line after.


--
forwarded from http://wiki.axiom-developer.org/address@hidden