The :colored-poly-use-grobner *feature*
Problem description
The 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:
- Comment out the (pushnew :colored-poly-use-grobner *features*) forms and load the package.
- Load the system using (asdf:operate 'asdf:load-op 'cgb)
- Switch package: (in-package :cgb-lisp)
- Run all built-in examples: (all-examples)
The package will fail in string-grobner-system.
Change History
(7)
Owner: |
changed from somebody to Marek Rychlik
|
Description: |
modified (diff)
|
Description: |
modified (diff)
|
Description: |
modified (diff)
|
Description: |
modified (diff)
|
Summary: |
A mulfunctioning *features* feature → The :colore-poly-use-grobner *feature*
|
Resolution: |
→ fixed
|
Status: |
new → closed
|
Summary: |
The :colore-poly-use-grobner *feature* → The :colored-poly-use-grobner *feature*
|