diff options
author | dos-reis <gdr@axiomatics.org> | 2011-02-05 03:52:54 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-02-05 03:52:54 +0000 |
commit | 5eebd42bedc639efb11826fcc56520afbb4637ca (patch) | |
tree | c692329216ca44718ddb41e58679d5c334187a4f /src/algebra/pfr.spad.pamphlet | |
parent | dd16b47e4904b1839b2918cf5b38c352979a6141 (diff) | |
download | open-axiom-5eebd42bedc639efb11826fcc56520afbb4637ca.tar.gz |
* interp/g-opt.boot ($VMsideEffectFreeOperators): Remove CGREATERP
and GGREATERP. Add VM-level complex number operators.
* interp/lisp-backend.boot: Expand them.
* algebra/gaussian.spad.pamphlet (ComplexCategory): Use VM form
instead of Lisp level forms.
* algebra/pfr.spad.pamphlet (PartialFraction): Likewise.
* algebra/si.spad.pamphlet (SingleInteger): Likewise.
* algebra/symbol.spad.pamphlet (Symbol): Likewise.
Diffstat (limited to 'src/algebra/pfr.spad.pamphlet')
-rw-r--r-- | src/algebra/pfr.spad.pamphlet | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/algebra/pfr.spad.pamphlet b/src/algebra/pfr.spad.pamphlet index 4f0e97cb..6aec6821 100644 --- a/src/algebra/pfr.spad.pamphlet +++ b/src/algebra/pfr.spad.pamphlet @@ -114,10 +114,11 @@ PartialFraction(R: EuclideanDomain): Cat == Capsule where Rep := Record(whole:R, fract: LfTerm) + import %before?: (FRR,FRR) -> Boolean from Foreign Builtin + -- private function signatures copypf: % -> % - LessThan: (fTerm, fTerm) -> Boolean multiplyFracTerms: (fTerm, fTerm) -> % normalizeFracTerm: fTerm -> % partialFractionNormalized: (R, FRR) -> % @@ -132,10 +133,9 @@ PartialFraction(R: EuclideanDomain): Cat == Capsule where copypf(a: %): % == [a.whole,copy a.fract]$% - LessThan(s: fTerm, t: fTerm) == + LessThan(s: fTerm, t: fTerm): Boolean == -- have to wait until FR has < operation - if (GGREATERP(s.den,t.den)$Lisp : Boolean) then false - else true + %before?(s.den,t.den) multiplyFracTerms(s : fTerm, t : fTerm) == nthFactor(s.den,1) = nthFactor(t.den,1) => |