Changeset 3354 for branches

Timestamp:

2015-07-16T11:06:13-07:00 (9 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

• branches/f4grobner/symbolic-polynomial.lisp (modified) (2 diffs)

branches/f4grobner/symbolic-polynomial.lisp

@@ -56 +56 @@
   (assert (= (length (symbolic-poly-vars new)) (poly-dimension new))))
 
-
-(defun poly-eval (expr vars
-                  &optional 
-                    (order #'lex>)
-                    (list-marker :[))
-  "Evaluate Lisp form EXPR to a polynomial or a list of polynomials in
+(defgeneric poly-eval (expr) 
+  (:documentation "Evaluate Lisp form EXPR to a polynomial or a list of polynomials in
 variables VARS. Return the resulting polynomial or list of
 polynomials.  Standard arithmetical operators in form EXPR are
@@ -67 +63 @@
 resulting expression is evaluated, resulting in a polynomial or a list
 of polynomials in internal form. A similar operation in another computer
-algebra system could be called 'expand' or so."
-  (labels ((p-eval (arg) (poly-eval arg vars order))
-           (p-eval-scalar (arg) (poly-eval-scalar arg))
-           (p-eval-list (args) (mapcar #'p-eval args))
-           (p-add (x y) (poly-add ring-and-order x y)))
-    (cond
-      ((null expr) (error "Empty expression"))
-      ((eql expr 0) (make-poly-zero))
+algebra system could be called 'expand' or so.")
+  (:method ((expr symbolic-poly)) expr)
+  (:method (expr) 
+    (cond 
+      ((eq expr 0) 
+       (make-instance 'symbolic-poly :dimension (length vars) :vars vars))
       ((member expr vars :test #'equalp)
        (let ((pos (position expr vars :test #'equalp)))