Changes between Version 4 and Version 5 of Ticket #1


Ignore:
Timestamp:
Jan 26, 2009, 1:45:25 PM (15 years ago)
Author:
Marek Rychlik
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #1

    • Property Summary A mulfunctioning *features* feature → The :colore-poly-use-grobner *feature*

  • Ticket #1 – Description

    v4 v5  
    11= Problem description =
    2 A number of *features* switches control the behavior of the package. The default set of switches set up in make-cgb.lisp or cgb.asd results in correct behavior, but compiling the package without switches results in an error. To reproduce the behavior, one should:
    32
    4  * Comment out the (pushnew ... *features*) forms and load the package.
     3The package does not work without feature :colored-poly-use-grobner.
     4The 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.
     5
     6To reproduce the behavior, one should:
     7
     8 * Comment out the (pushnew :colored-poly-use-grobner *features*) forms and load the package.
    59 * Load the system using (asdf:operate 'asdf:load-op 'cgb)
    610 * Switch package: (in-package :cgb-lisp)
    … …  
    812
    913The package will fail in ''string-grobner-system''.
    10 
    11 = Strategy to fixing =
    12 
    13 One should try turning off features one-by-one and finding the culprit.