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 3891


Ignore:
Timestamp:
2016-05-28T23:12:46-07:00 (9 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/symbolic-polynomial.lisp

    r3890 r3891  
    7676      ((eq expr 0)
    7777       (make-instance 'symbolic-poly :dimension (length vars) :vars vars))
     78      ((numberp expr)
     79       (change-class (make-term-constant (length vars) expr) 'symbolic-poly :vars vars))
    7880      ((member expr vars :test #'equalp)
    7981       (let ((pos (position expr vars :test #'equalp)))
    80          (make-poly-variable (length vars) pos)))
     82         (change-class (make-poly-variable (length vars) pos) 'symbolic-poly :vars vars)))
    8183      ((atom expr)
    8284       expr)
Note: See TracChangeset for help on using the changeset viewer.