Custom Query (1 match)

Filters
 
Or
 
  
 
Columns

Show under each result:


Ticket Resolution Summary Owner Reporter
#1 fixed The :colored-poly-use-grobner *feature* Marek Rychlik Marek Rychlik
Description

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.

Batch Modify
Note: See TracBatchModify for help on using batch modify.
Note: See TracQuery for help on using queries.