[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
## [Axiom-developer] [#263 ContinuedFraction returns incorrect types] (new)

**From**: |
Bill Page |

**Subject**: |
[Axiom-developer] [#263 ContinuedFraction returns incorrect types] (new) |

**Date**: |
Thu, 02 Feb 2006 11:33:04 -0600 |

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

[Prev in Thread] |
**Current Thread** |
[Next in Thread] |

**[Axiom-developer] [#263 ContinuedFraction returns incorrect types] (new)**,
*Bill Page* **<=**