close Warning: Can't synchronize with repository "(default)" (The repository directory has changed, you should resynchronize the repository with: trac-admin $ENV repository resync '(default)'). Look in the Trac log for more information.

Changeset 4021 for branches


Ignore:
Timestamp:
2016-05-31T13:12:11-07:00 (9 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed
  • branches/f4grobner/polynomial.lisp

    r4017 r4021  
    577577  (:method ((self t)) nil))
    578578
    579 (defmethod ->infix :before ((self poly) &optional vars)
     579(defmethod ->sexp :before ((self poly) &optional vars)
    580580  "Ensures that the number of variables in VARS maches the polynomial dimension of the
    581581polynomial SELF."
    582582  (assert (= (length vars) (poly-dimension self))))
    583583
    584 (defmethod ->infix ((self poly) &optional vars)
     584(defmethod ->sexp ((self poly) &optional vars)
    585585  "Converts a polynomial SELF to a sexp."
    586   (cons '+ (mapcar #'(lambda (x) (->infix x vars))
     586  (cons '+ (mapcar #'(lambda (x) (->sexp x vars))
    587587                   (poly-termlist self))))
    588588
     
    590590  "A sexp with this head is considered a list of polynomials.")
    591591
    592 (defmethod ->infix ((self cons) &optional vars)
     592(defmethod ->sexp ((self cons) &optional vars)
    593593  (assert (eql (car self) +list-marker+))
    594   (cons +list-marker+ (mapcar #'(lambda (p) (->infix p vars)) (cdr self))))
     594  (cons +list-marker+ (mapcar #'(lambda (p) (->sexp p vars)) (cdr self))))
    595595
    596596
Note: See TracChangeset for help on using the changeset viewer.