[Top][All Lists]

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

**From**: |
Ralf Hemmecke |

**Subject**: |
[Axiom-developer] [#263 ContinuedFraction returns incorrect types] FRAC FRAC ID |

**Date**: |
Mon, 06 Feb 2006 10:08:25 -0600 |

Changes
http://wiki.axiom-developer.org/263ContinuedFractionReturnsIncorrectTypes/diff
--
Since "add { ... }" is a value in Aldor/Axiom, [Fraction] should/could be
implemented as follows:
\begin{spad}
Fraction(S: IntegralDomain): QuotientFieldCategory S with ...
== if S has Field
then S add
-- additional functions like "denom" etc.
else ...
add
-- old code goes here
\end{spad}
Well, that means the representation of 'FRAC S' depends on whether S is already
a field or not.
--
forwarded from http://wiki.axiom-developer.org/address@hidden

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

**[Axiom-developer] [#263 ContinuedFraction returns incorrect types] FRAC FRAC ID**,
*Ralf Hemmecke* **<=**