Ticket #1 (closed defect: fixed)

Opened 3 years ago

Last modified 3 years ago

The :colored-poly-use-grobner *feature*

Reported by: marek Owned by: marek
Priority: minor Milestone: Consolidation of existing code
Component: cgblisp-core Version: 1.0
Keywords: features Cc:

Description (last modified by marek) (diff)

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

comment:1 Changed 3 years ago by marek

  • Owner changed from somebody to marek

comment:2 Changed 3 years ago by marek

  • Description modified (diff)

comment:3 Changed 3 years ago by marek

  • Description modified (diff)

comment:4 Changed 3 years ago by marek

  • Description modified (diff)

comment:5 Changed 3 years ago by marek

  • Description modified (diff)
  • Summary changed from A mulfunctioning *features* feature to The :colore-poly-use-grobner *feature*

comment:6 Changed 3 years ago by marek

  • Status changed from new to closed
  • Resolution set to fixed

comment:7 Changed 3 years ago by marek

  • Summary changed from The :colore-poly-use-grobner *feature* to The :colored-poly-use-grobner *feature*
Note: See TracTickets for help on using tickets.