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 1176 for branches


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

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed
  • branches/f4grobner/division.lisp

    r491 r1176  
    4444;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
    4545
    46 (defun grobner-op (ring c1 c2 m f g)
     46(defun grobner-op (ring-and-order c1 c2 m f g
     47                   &aux
     48                     (ring (ro-ring ring-and-order)))
    4749  "Returns C2*F-C1*M*G, where F and G are polynomials M is a monomial.
    4850Assume that the leading terms will cancel."
     
    5355  #+grobner-check(monom-equal-p (poly-lm f) (monom-mul m (poly-lm g)))
    5456  ;; Note that we can drop the leading terms of f ang g
    55   (poly-sub ring
     57  (poly-sub ring-and-order
    5658            (scalar-times-poly-1 ring c2 f)
    5759            (scalar-times-poly-1 ring c1 (monom-times-poly m g))))
     
    182184case in rings which are not fields. The exact division operator
    183185is assumed to be provided by the RING structure of the
    184 COEFFICIENT-RING package."
     186lCOEFFICIENT-RING package."
    185187  (mapc #'(lambda (term)
    186188            (setf (term-coeff term) (funcall (ring-div ring) (term-coeff term) c)))
Note: See TracChangeset for help on using the changeset viewer.