diff options
Diffstat (limited to 'src/algebra/efuls.spad.pamphlet')
-rw-r--r-- | src/algebra/efuls.spad.pamphlet | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/src/algebra/efuls.spad.pamphlet b/src/algebra/efuls.spad.pamphlet index 6f62a3f1..41b26583 100644 --- a/src/algebra/efuls.spad.pamphlet +++ b/src/algebra/efuls.spad.pamphlet @@ -121,8 +121,7 @@ ElementaryFunctionsUnivariateLaurentSeries(Coef,UTS,ULS):_ nthRootUTS:(UTS,I) -> Union(UTS,"failed") nthRootUTS(uts,n) == -- assumed: n > 1, uts has non-zero constant term --- one? coefficient(uts,0) => uts ** inv(n::RN) - coefficient(uts,0) = 1 => uts ** inv(n::RN) + one? coefficient(uts,0) => uts ** inv(n::RN) RATPOWERS => uts ** inv(n::RN) "failed" @@ -142,8 +141,7 @@ ElementaryFunctionsUnivariateLaurentSeries(Coef,UTS,ULS):_ if Coef has Field then (uls:ULS) ** (r:RN) == num := numer r; den := denom r --- one? den => uls ** num - den = 1 => uls ** num + one? den => uls ** num deg := degree uls if zero? (coef := coefficient(uls,deg)) then uls := removeZeroes(1000,uls); deg := degree uls |