diff options
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) => |