Changes http://wiki.axiom-developer.org/299MachineFloatIsNotAFIeld/diff
--
\begin{axiom}
F := MachineFloat
a: F := -0.12345
b: F := -1234567890.0
c: F := 1234567890.12345
(a+b)+c
a+(b+c)
F has Field
\end{axiom}
MachineFloat clearly doesn't form a (mathematical) field as the above code 
demonstrates (and we all know).
--
forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]

Reply via email to