Changeset 4021 for branches/f4grobner

Timestamp:

2016-05-31T13:12:11-07:00 (9 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

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

branches/f4grobner/polynomial.lisp

@@ -577 +577 @@
   (:method ((self t)) nil))
 
-(defmethod ->infix :before ((self poly) &optional vars)
+(defmethod ->sexp :before ((self poly) &optional vars)
   "Ensures that the number of variables in VARS maches the polynomial dimension of the
 polynomial SELF."
   (assert (= (length vars) (poly-dimension self))))
 
-(defmethod ->infix ((self poly) &optional vars)
+(defmethod ->sexp ((self poly) &optional vars)
   "Converts a polynomial SELF to a sexp."
-  (cons '+ (mapcar #'(lambda (x) (->infix x vars)) 
+  (cons '+ (mapcar #'(lambda (x) (->sexp x vars)) 
                    (poly-termlist self))))
 
@@ -590 +590 @@
   "A sexp with this head is considered a list of polynomials.")
 
-(defmethod ->infix ((self cons) &optional vars)
+(defmethod ->sexp ((self cons) &optional vars)
   (assert (eql (car self) +list-marker+))
-  (cons +list-marker+ (mapcar #'(lambda (p) (->infix p vars)) (cdr self))))
+  (cons +list-marker+ (mapcar #'(lambda (p) (->sexp p vars)) (cdr self))))