diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-06-11 21:51:23 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-06-11 21:51:23 +0000 |
| commit | 7bd82b57975bbc1ff5b87fed0739815c620ecdcc (patch) | |
| tree | 4cf4d2b4af144e87a86cc1ac2f85a5f4148cb8fb /src/algebra/polycat.spad.pamphlet | |
| parent | fb75980589a0611aee3b8e5e25408725a5c5a531 (diff) | |
| download | open-axiom-7bd82b57975bbc1ff5b87fed0739815c620ecdcc.tar.gz | |
* algebra/: Remove quotes from operator namaes in signatures.
Diffstat (limited to 'src/algebra/polycat.spad.pamphlet')
| -rw-r--r-- | src/algebra/polycat.spad.pamphlet | 8 |
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 |