diff options
Diffstat (limited to 'src/algebra/sttaylor.spad.pamphlet')
| -rw-r--r-- | src/algebra/sttaylor.spad.pamphlet | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/algebra/sttaylor.spad.pamphlet b/src/algebra/sttaylor.spad.pamphlet index 6d2a2afd..42def454 100644 --- a/src/algebra/sttaylor.spad.pamphlet +++ b/src/algebra/sttaylor.spad.pamphlet @@ -313,8 +313,7 @@ StreamTaylorSeriesOperations(A): Exports == Implementation where empty? x => error "revert should start 0,1,..." zero? frst x => empty? rst x => error "revert: should start 0,1,..." --- one? frst rst x => lagrange(recip(rst x) :: (ST A)) - (frst rst x) = 1 => lagrange(recip(rst x) :: (ST A)) + one? frst rst x => lagrange(recip(rst x) :: (ST A)) error "revert:should start 0,1,..." --% lambert functions |