Some small documentation errors are found when I read mappkg:
====
diff --git a/src/algebra/mappkg.spad.pamphlet b/src/algebra/mappkg.spad.pamphlet
index 0706a41..ddd59e1 100644
--- a/src/algebra/mappkg.spad.pamphlet
+++ b/src/algebra/mappkg.spad.pamphlet
@@ -28,9 +28,9 @@ MappingPackageInternalHacks1(A : SetCategory) :
MPcat == MPdef where
MPcat == with
iter : ((A -> A), NNI, A) -> A
- ++\spad{iter(f, n, x)} applies \spad{f n} times to \spad{x}.
+ ++\spad{iter(f, n, x)} applies \spad{f} \spad{n} times to \spad{x}.
recur : ((NNI, A)->A, NNI, A) -> A
- ++\spad{recur(n, g, x)} is \spad{g(n, g(n-1, ..g(1, x)..))}.
+ ++\spad{recur(g, n, x)} is \spad{g(n, g(n-1, ..g(1, x)..))}.
MPdef == add
iter(g, n, x) ==
@@ -143,10 +143,10 @@ MappingPackage2(A : SetCategory, C :
SetCategory) : MPcat == MPdef where
++ applied to its argument.
curry : (A ->C, A) -> (()->C)
- ++\spad{cu(f, a)} is the function \spad{g}
+ ++\spad{curry(f, a)} is the function \spad{g}
++ such that \spad{g ()= f a}.
constant : (()->C) -> (A ->C)
- ++\spad{vu(f)} is the function \spad{g}
+ ++\spad{constant(f)} is the function \spad{g}
++ such that \spad{g a= f ()}.
diag : ((A, A)->C) -> (A->C)
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
