[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] [#271 )show Expression Boolean gives a list] (new)
From: |
anonymous |
Subject: |
[Axiom-developer] [#271 )show Expression Boolean gives a list] (new) |
Date: |
Sun, 26 Feb 2006 12:19:06 -0600 |
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
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Axiom-developer] [#271 )show Expression Boolean gives a list] (new),
anonymous <=