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 4089


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

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed
  • branches/f4grobner/division.lisp

    r4087 r4089  
    110110       (setf a (mapcar #'poly-reverse a)
    111111             r (poly-reverse r))
    112        ;; Initialize the sugar of the quotients
    113        ;; (mapc #'poly-reset-sugar a) ;; TODO: Sugar is currently unimplemented
    114112       (values a r c division-count))
    115113    (declare (fixnum division-count))
     
    120118        ((cond
    121119           ((endp fl)                           ;no division occurred
    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
    124             ;;(setf (poly-sugar r) (max (poly-sugar r) (term-sugar (poly-lt p))))
    125             ;;(pop (poly-termlist p))   ;remove lt(p) from p
    126120            t)
    127121           ((divides-p (leading-monomial (car fl)) (leading-monomial p)) ;division occurred
     
    138132                      c (multiply c c1)
    139133                      p (grobner-op c2 c1 m p (car fl)))
    140                 (push (change-class m 'term :coeff c2)
    141                       (poly-termlist (car b))))
     134                (setf (car b) (add (car b)
     135                                   (change-class m 'term :coeff c2))))
    142136              t))))
    143137      )))
Note: See TracChangeset for help on using the changeset viewer.