[Axiom-developer] [#263 ContinuedFraction returns incorrect types]

[kratt6]

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/address@hidden