diff options
| author | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-02-07 08:48:15 -0800 |
|---|---|---|
| committer | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-02-07 08:48:15 -0800 |
| commit | a7ca7aef072617deed7a33647094adc3071a2012 (patch) | |
| tree | 3667b6902347fa6aa623525c06ee5baf20e849c3 /src/algebra | |
| parent | 8d09ae50338246da65f1f654b9e57206afe95d7f (diff) | |
| download | open-axiom-a7ca7aef072617deed7a33647094adc3071a2012.tar.gz | |
PolynomialCategoryLifting: Weaken constraint on that parameter
The extra requirement of SetCategory was not being used, as pointed
out by Ralf Hemmecke.
Diffstat (limited to 'src/algebra')
| -rw-r--r-- | src/algebra/polycat.spad.pamphlet | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/algebra/polycat.spad.pamphlet b/src/algebra/polycat.spad.pamphlet index 4f0d80dd..4486b259 100644 --- a/src/algebra/polycat.spad.pamphlet +++ b/src/algebra/polycat.spad.pamphlet @@ -630,7 +630,7 @@ PolynomialCategoryLifting(E,Vars,R,P,S): Exports == Implementation where Vars: OrderedSet R : Ring P : PolynomialCategory(R, E, Vars) - S : SetCategory with + S : BasicType with + : (%, %) -> % * : (%, %) -> % **: (%, NonNegativeInteger) -> % |