Changeset 241 for branches/f4grobner

Timestamp:

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

Author:

Marek Rychlik

Message:

* empty log message *

File:

• branches/f4grobner/mx-grobner.lisp (modified) (1 diff)

branches/f4grobner/mx-grobner.lisp

@@ -161 +161 @@
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;
+;; 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)))
+
+
+;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
+;;
 ;; Unary and binary operation definition facility
 ;;