Changeset 1331
- Timestamp:
- 2015-06-11T21:55:32-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/gb-postprocessing.lisp
r1201 r1331 29 29 30 30 (defpackage "GB-POSTPROCESSING" 31 (:use :cl :monomial :division :polynomial )31 (:use :cl :monomial :division :polynomial :ring-and-order) 32 32 (:export "REDUCTION" "MINIMIZATION")) 33 33 34 34 (in-package :gb-postprocessing) 35 35 36 (defun reduction (ring plist)36 (defun reduction (ring-and-order plist) 37 37 "Reduce a list of polynomials PLIST, so that non of the terms in any of 38 38 the polynomials is divisible by a leading monomial of another 39 39 polynomial. Return the reduced list." 40 (declare (type ring-and-order ring-and-order)) 40 41 (do ((q plist) 41 42 (found t))
Note:
See TracChangeset
for help on using the changeset viewer.