[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] [#271 )show Expression Boolean gives a list] cannot re
From: |
Bill Page |
Subject: |
[Axiom-developer] [#271 )show Expression Boolean gives a list] cannot reproduce axiom process died |
Date: |
Mon, 27 Feb 2006 12:37:19 -0600 |
Changes http://wiki.axiom-developer.org/271ShowExpressionBooleanGivesAList/diff
--
I can not reproduce your observation that:
> the axiom process died the command-line after.
This does not happen for me on at least the Windows version of
Axiom.
But I do find it very odd that Axiom allows the construction of
the domain 'Expression Boolean' without complaint:
\begin{axiom}
x:=Expression Boolean:=true
\end{axiom}
The scary sounding message: 'Caught fatal error [memory may be damaged]'
occurs for many operations applied to this object.
The definition of the constructor 'Expression R: OrderedSet' seems
wrong to me since there are may operations exported by 'Expression'
that are not naturally interpreted over a domain that is just an
OrderedSet. For example 'Boolean' is considered ordered as follows:
\begin{axiom}
Boolean has OrderedSet
true > false
\end{axiom}
although we might also question the wisdom of considering 'Boolean'
ordered in this way.
--
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] cannot reproduce axiom process died,
Bill Page <=