aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/puiseux.spad.pamphlet
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/puiseux.spad.pamphlet')
-rw-r--r--src/algebra/puiseux.spad.pamphlet4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/algebra/puiseux.spad.pamphlet b/src/algebra/puiseux.spad.pamphlet
index d9104a28..b465790c 100644
--- a/src/algebra/puiseux.spad.pamphlet
+++ b/src/algebra/puiseux.spad.pamphlet
@@ -125,7 +125,7 @@ UnivariatePuiseuxSeriesConstructor(Coef,ULS):_
monomial(c,k) ==
k = 0 => c :: %
- k < 0 => puiseux(-k,monomial(c,-1))
+ negative? k => puiseux(-k,monomial(c,-1))
puiseux(k,monomial(c,1))
coerce(ls:ULS) == puiseux(1,ls)
@@ -504,7 +504,7 @@ UnivariatePuiseuxSeries(Coef,var,cen): Exports == Implementation where
approximateLaurent: (ULS,Coef,I) -> Coef
approximateLaurent(x,term,n) ==
- (m := n - (e := degree x)) < 0 => 0
+ negative?(m := n - (e := degree x)) => 0
app := stToCoef(coefficients taylorRep x,term,0,m :: NNI)
zero? e => app
app * term ** (e :: RN)