Changeset 240

Timestamp:

2015-06-05T16:09:22-07:00 (10 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

• branches/f4grobner/ngrobner.lisp (modified) (1 diff)

branches/f4grobner/ngrobner.lisp

@@ -251 +251 @@
     (warn "~%Ring specification ~A is not recognized. Using default.~%" ring)
     nil)))
-
-
-
-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
-;;
-;; Conversion from internal form to Maxima general form
-;;
-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
-
-(defun maxima-head ()
-  (if $poly_return_term_list
-      '(mlist)
-    '(mplus)))
-
-(defun coerce-to-maxima (poly-type object vars)
-  (case poly-type
-    (:polynomial 
-     `(,(maxima-head) ,@(mapcar #'(lambda (term) (coerce-to-maxima :term term vars)) (poly-termlist object))))
-    (:poly-list
-     `((mlist) ,@(mapcar #'(lambda (p) (funcall *ratdisrep-fun* (coerce-to-maxima :polynomial p vars))) object)))
-    (:term
-     `((mtimes) ,(funcall *ratdisrep-fun* (term-coeff object))
-       ,@(mapcar #'(lambda (var power) `((mexpt) ,var ,power))
-                 vars (monom-exponents (term-monom object)))))
-    ;; Assumes that Lisp and Maxima logicals coincide
-    (:logical object)
-    (otherwise
-     object)))
-
-
-