Changes http://wiki.axiom-developer.org/299MachineFloatIsNotAFIeld/diff
--
\begin{axiom}
)cl all
F := Float
digits()
a: F := -0.12345
b: F := -1234567890.0
c: F := 1234567890.12345
(a+b)+c
a+(b+c)
F has Field
\end{axiom}
--
forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]

Reply via email to