aboutsummaryrefslogtreecommitdiff
path: root/src/input/f04arf.input.pamphlet
diff options
context:
space:
mode:
authorGabriel Dos Reis <gdr@axiomatics.org>2016-02-07 08:48:15 -0800
committerGabriel Dos Reis <gdr@axiomatics.org>2016-02-07 08:48:15 -0800
commita7ca7aef072617deed7a33647094adc3071a2012 (patch)
tree3667b6902347fa6aa623525c06ee5baf20e849c3 /src/input/f04arf.input.pamphlet
parent8d09ae50338246da65f1f654b9e57206afe95d7f (diff)
downloadopen-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/input/f04arf.input.pamphlet')
0 files changed, 0 insertions, 0 deletions