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 3738


Ignore:
Timestamp:
2015-09-13T23:44:40-07:00 (9 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/symbolic-polynomial.lisp

    r3735 r3738  
    8080        ((member expr vars :test #'equalp)
    8181         (let ((pos (position expr vars :test #'equalp)))
    82            (change-class (make-monom-variable (length vars) pos) 'poly)))
     82           (make-poly-variable (length vars) pos)))
    8383        ((atom expr)
    8484         expr)
    … …  
    108108               ;;Special handling of (expt var pow)
    109109               (let ((pos (position (cadr expr) vars :test #'equalp)))
    110                  (change-class (make-monom-variable (length vars) pos (caddr expr)) 'poly)))
     110                 (make-monom-variable (length vars) pos (caddr expr))))
    111111              ((not (and (integerp (caddr expr)) (plusp (caddr expr))))
    112112               ;; Negative power means division in coefficient ring
Note: See TracChangeset for help on using the changeset viewer.