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 160


Ignore:
Timestamp:
2015-06-05T13:36:44-07:00 (9 years ago)
Author:
Marek Rychlik
Message:
 
Location:
branches/f4grobner
Files:
1 deleted
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/f4-matrix.lisp

    r40 r160  
    2323
    2424(macsyma-module f4-maxima)
     25
     26(defun f4-grobner-op (ring c1 c2 m f g)
     27  "Returns C2*F-C1*M*G, where F and G are polynomials M is a monomial.
     28Assume that the leading terms will cancel."
     29  #+grobner-check(funcall (ring-zerop ring)
     30                          (funcall (ring-sub ring)
     31                                   (funcall (ring-mul ring) c2 (poly-lc f))
     32                                   (funcall (ring-mul ring) c1 (poly-lc g))))
     33  #+grobner-check(monom-equal-p (poly-lm f) (monom-mul m (poly-lm g)))
     34  (poly-sub ring
     35            (scalar-times-poly ring c2 f)
     36            (scalar-times-poly ring c1 (monom-times-poly m g))))
    2537
    2638;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
Note: See TracChangeset for help on using the changeset viewer.