Changes
http://wiki.axiom-developer.org/263ContinuedFractionReturnsIncorrectTypes/diff
--
Well, this is a general problem: when a constructor takes a parameter 'R', it
is often natural to return something of type 'Fraction R'. I see two possible
solutions:
- 'Fraction R' returns 'R' when 'R' is a field
- an operation that wants to return 'Fraction R' has to check whether 'R' is a
field.
In the case above I see another problem:
\begin{axiom}
n := nume(0.2)
d := dene(0.2,x)
continuedFraction(0, n, d)
\end{axiom}
--
forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
_______________________________________________
Axiom-developer mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/axiom-developer
