close Warning: Can't synchronize with repository "(default)" (The repository directory has changed, you should resynchronize the repository with: trac-admin $ENV repository resync '(default)'). Look in the Trac log for more information.

Changeset 4087


Ignore:
Timestamp:
2016-06-01T09:18:29-07:00 (9 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/division.lisp

    r4082 r4087  
    2121
    2222(defpackage "DIVISION"
    23   (:use :cl :copy :utils :monom :polynomial :grobner-debug)
     23  (:use :cl :copy :utils :monom :polynomial :grobner-debug :symbolic-polynomial)
    2424  (:export "$POLY_TOP_REDUCTION_ONLY"
    2525           "POLY-PSEUDO-DIVIDE"
    … …  
    120120        ((cond
    121121           ((endp fl)                           ;no division occurred
    122             (push (leading-term p) (poly-termlist r)) ;move lt(p) to remainder
     122            ;; TODO: 3 lines below implement sugar strategy (unimplemented in this version)
     123            ;;(push (leading-term p) (poly-termlist r)) ;move lt(p) to remainder
    123124            ;;(setf (poly-sugar r) (max (poly-sugar r) (term-sugar (poly-lt p))))
    124             (pop (poly-termlist p))     ;remove lt(p) from p
     125            ;;(pop (poly-termlist p))   ;remove lt(p) from p
    125126            t)
    126127           ((divides-p (leading-monomial (car fl)) (leading-monomial p)) ;division occurred
Note: See TracChangeset for help on using the changeset viewer.