PolynomialCategoryLifting: Weaken constraint on that parameter

The extra requirement of SetCategory was not being used, as pointed out by Ralf Hemmecke.
GabrielDosReis · Feb 7, 2016 · a7ca7ae · a7ca7ae
1 parent 8d09ae5
commit a7ca7ae
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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) -> %