diff options
Diffstat (limited to 'src/algebra/efupxs.spad.pamphlet')
| -rw-r--r-- | src/algebra/efupxs.spad.pamphlet | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/src/algebra/efupxs.spad.pamphlet b/src/algebra/efupxs.spad.pamphlet index 97bf95c7..cbf67b4a 100644 --- a/src/algebra/efupxs.spad.pamphlet +++ b/src/algebra/efupxs.spad.pamphlet @@ -116,8 +116,7 @@ ElementaryFunctionsUnivariatePuiseuxSeries(Coef,ULS,UPXS,EFULS):_ --% roots nthRootIfCan(upxs,n) == --- one? n => upxs - n = 1 => upxs + one? n => upxs r := rationalPower upxs; uls := laurentRep upxs deg := degree uls if zero?(coef := coefficient(uls,deg)) then @@ -131,8 +130,7 @@ ElementaryFunctionsUnivariatePuiseuxSeries(Coef,ULS,UPXS,EFULS):_ if Coef has Field then (upxs:UPXS) ** (q:RN) == num := numer q; den := denom q --- one? den => upxs ** num - den = 1 => upxs ** num + one? den => upxs ** num r := rationalPower upxs; uls := laurentRep upxs deg := degree uls if zero?(coef := coefficient(uls,deg)) then |