aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/polycat.spad.pamphlet
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/polycat.spad.pamphlet')
-rw-r--r--src/algebra/polycat.spad.pamphlet8
1 files changed, 4 insertions, 4 deletions
diff --git a/src/algebra/polycat.spad.pamphlet b/src/algebra/polycat.spad.pamphlet
index 30d77de8..e4a5dce3 100644
--- a/src/algebra/polycat.spad.pamphlet
+++ b/src/algebra/polycat.spad.pamphlet
@@ -123,7 +123,7 @@ FiniteAbelianMonoidRing(R:Ring, E:OrderedAbelianMonoid): Category ==
++ \spad{binomThmExpt(p,q,n)} returns \spad{(x+y)^n}
++ by means of the binomial theorem trick.
if R has IntegralDomain then
- "exquo": (%,R) -> Union(%,"failed")
+ exquo: (%,R) -> Union(%,"failed")
++ exquo(p,r) returns the exact quotient of polynomial p by r, or "failed"
++ if none exists.
if R has GcdDomain then
@@ -634,9 +634,9 @@ PolynomialCategoryLifting(E,Vars,R,P,S): Exports == Implementation where
R : Ring
P : PolynomialCategory(R, E, Vars)
S : SetCategory with
- "+" : (%, %) -> %
- "*" : (%, %) -> %
- "**": (%, NonNegativeInteger) -> %
+ + : (%, %) -> %
+ * : (%, %) -> %
+ **: (%, NonNegativeInteger) -> %
Exports ==> with
map: (Vars -> S, R -> S, P) -> S