[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 <=