diff options
Diffstat (limited to 'src/algebra/patmatch2.spad.pamphlet')
| -rw-r--r-- | src/algebra/patmatch2.spad.pamphlet | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/algebra/patmatch2.spad.pamphlet b/src/algebra/patmatch2.spad.pamphlet index 0c86c747..11063aad 100644 --- a/src/algebra/patmatch2.spad.pamphlet +++ b/src/algebra/patmatch2.spad.pamphlet @@ -138,7 +138,7 @@ PatternMatchPolynomialCategory(S,E,V,R,P):Exports== Implementation where S: SetCategory E: OrderedAbelianMonoidSup V: OrderedSet - R: Join(Ring, OrderedSet, PatternMatchable S) + R: Join(Ring, PatternMatchable S) P: Join(PolynomialCategory(R, E, V), ConvertibleTo Pattern S) N ==> NonNegativeInteger @@ -219,7 +219,7 @@ PatternMatchPolynomialCategory(S,E,V,R,P):Exports== Implementation where ++ Keywords: pattern, matching, function, space. PatternMatchFunctionSpace(S, R, F): Exports== Implementation where S: SetCategory - R: Join(IntegralDomain, OrderedSet, PatternMatchable S) + R: Join(IntegralDomain, PatternMatchable S) F: Join(FunctionSpace R, ConvertibleTo Pattern S, PatternMatchable S, RetractableTo Kernel %) -- that one is redundant but won't -- compile without it |