Changeset 111

Timestamp:

2015-06-05T12:10:16-07:00 (9 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

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

branches/f4grobner/mx-grobner.lisp

@@ -71 +71 @@
 are assumed to be defined.")
 
+;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
+;;
+;; Unary and binary operation definition facility
+;;
+;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
+
+(defmacro define-unop (maxima-name fun-name
+                       &optional (documentation nil documentation-supplied-p))
+  "Define a MAXIMA-level unary operator MAXIMA-NAME corresponding to unary function FUN-NAME."
+  `(defun ,maxima-name (p vars
+                             &aux
+                             (vars (coerce-maxima-list vars))
+                             (p (parse-poly p vars)))
+     ,@(when documentation-supplied-p (list documentation))
+     (coerce-to-maxima :polynomial (,fun-name *maxima-ring* p) vars)))
+
+(defmacro define-binop (maxima-name fun-name
+                        &optional (documentation nil documentation-supplied-p))
+  "Define a MAXIMA-level binary operator MAXIMA-NAME corresponding to binary function FUN-NAME."
+  `(defmfun ,maxima-name (p q vars
+                             &aux
+                             (vars (coerce-maxima-list vars))
+                             (p (parse-poly p vars))
+                             (q (parse-poly q vars)))
+     ,@(when documentation-supplied-p (list documentation))
+     (coerce-to-maxima :polynomial (,fun-name *maxima-ring* p q) vars)))
+