aboutsummaryrefslogtreecommitdiffhomepage
path: root/std/Math/Real.bruijn
diff options
context:
space:
mode:
authorMarvin Borner2024-09-06 14:47:17 +0200
committerMarvin Borner2024-09-06 14:47:17 +0200
commitf31d7645399702e52337e63a1a7acc3776e33a77 (patch)
tree1ebbac0313291770d133eaba426929657187557e /std/Math/Real.bruijn
parentc95688c2fa63ba91df518ddf0d97261d6bd02426 (diff)
Sample/std fixes
Diffstat (limited to 'std/Math/Real.bruijn')
-rw-r--r--std/Math/Real.bruijn2
1 files changed, 1 insertions, 1 deletions
diff --git a/std/Math/Real.bruijn b/std/Math/Real.bruijn
index d334117..d3510fa 100644
--- a/std/Math/Real.bruijn
+++ b/std/Math/Real.bruijn
@@ -130,7 +130,7 @@ pow-n [L.nth-iterate (mul 0) (+1.0r)] ⧗ Real → Number → Real
# e^x using infinite limit
# tex: \lim_{n\to\infty}(1+x/n)^n
-lim-exp [[pow-n [(N.add 2 1) : N.--1] 0]] ⧗ Number → Real
+lim-exp [[pow-n ++(1 / (number→real 0)) 0]] ⧗ Real → Real
# natural logarithm using Taylor expansion
# tex: \sum_{n=0}^\infty\frac{2}{2n+1}(\frac{x-1}{x+1})^{2n+1}