Custom Query (1 match)
Ticket | Resolution | Summary | Owner | Reporter |
---|---|---|---|---|
#1 | fixed | The :colored-poly-use-grobner *feature* | ||
Description |
Problem descriptionThe package does not work without feature :colored-poly-use-grobner. The problem is within the file colored-poly.lisp. With this switch, colored-poly.lisp uses itself to compute Groebner bases. The problem is localized to code affected by the switch. To reproduce the behavior, one should:
The package will fail in string-grobner-system. |
Note:
See TracQuery
for help on using queries.