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 1179


Ignore:
Timestamp:
2015-06-10T20:36:41-07:00 (9 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/division.lisp

    r1178 r1179  
    6060            (scalar-times-poly-1 ring c1 (monom-times-poly m g))))
    6161
    62 (defun poly-pseudo-divide (ring f fl)
     62(defun poly-pseudo-divide (ring-and-order f fl
     63                           &aux
     64                             (ring (ro-ring ring-and-order)))
    6365  "Pseudo-divide a polynomial F by the list of polynomials FL. Return
    6466multiple values. The first value is a list of quotients A.  The second
    … …  
    99101               (setf r (scalar-times-poly ring c1 r)
    100102                     c (funcall (ring-mul ring) c c1)
    101                      p (grobner-op ring c2 c1 m p (car fl)))
     103                     p (grobner-op ring-and-order c2 c1 m p (car fl)))
    102104               (push (make-term m c2) (poly-termlist (car b))))
    103105             t)))))))
Note: See TracChangeset for help on using the changeset viewer.