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 26


Ignore:
Timestamp:
2012-06-25T09:51:42-07:00 (13 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • trunk/grobner.lisp

    r25 r26  
    20492049       ,@(mapcar #'(lambda (var power) `((mexpt) ,var ,power))
    20502050                 vars (monom-exponents (term-monom object)))))
     2051    ;; Assumes that Lisp and Maxima logicals coincide
     2052    (:logical object)
    20512053    (otherwise
    20522054     object)))
    … …  
    22882290    (ideal-polysaturation *maxima-ring* f ideal-list 0 nil)))
    22892291
     2292(defmfun $poly_lt (f vars)
     2293  (with-parsed-polynomials ((vars) :polynomials (f) :value-type :polynomial)
     2294    (make-poly-from-termlist (list (poly-lt f)))))
     2295
     2296(defmfun $poly_lm (f vars)
     2297  (with-parsed-polynomials ((vars) :polynomials (f) :value-type :polynomial)
     2298    (make-poly-from-termlist (list (make-term (poly-lm f) (funcall (ring-unit *maxima-ring*)))))))
     2299
     2300(defmfun $buchberger_criterion (g vars)
     2301  (with-parsed-polynomials ((vars) :poly-lists (g) :value-type :logical)
     2302    (buchberger-criterion *maxima-ring* g)))
Note: See TracChangeset for help on using the changeset viewer.