[Axiom-developer] [#263 ContinuedFraction returns incorrect types] (new)

[Bill Page]

Changes 
http://wiki.axiom-developer.org/263ContinuedFractionReturnsIncorrectTypes/diff
--
There seems to be a problem with Axiom's ContinuedFraction domain.
The type of the result is shown as 'Fraction Float' but this is
nonesense.

Something similar happens if the argument is Fraction Integer
\begin{axiom}
nume(a) == cons(1,[((a-i)*i) for i in 1..]);
dene(a,x) == [(x+2*i+1-a) for i in 0..];
cfe(a,x) == continuedFraction(0,nume(a),dene(a,x));
ccfe(a,x) == convergents cfe(a,x);
ccfe(0,2::Float)
ccfe(0,2::Fraction Integer)
\end{axiom}

'Fraction Fraction Integer' is also nonesense.

\begin{axiom}
ff1:Fraction Float
ff2:Fraction Fraction Integer
\end{axiom}

--
forwarded from http://wiki.axiom-developer.org/address@hidden