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 1657


Ignore:
Timestamp:
2015-06-14T20:35:51-07:00 (9 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/polynomial.lisp

    r1606 r1657  
    3030           "MAKE-POLY-FROM-TERMLIST"
    3131           "MAKE-POLY-ZERO"
    32            "MAKE-VARIABLE"
     32           "MAKE-POLY-VARIABLE"
    3333           "POLY-UNIT"
    3434           "POLY-LM"
    … …  
    8989             (:constructor make-poly-zero (&aux (termlist nil) (sugar -1)))
    9090             ;; Constructor of polynomials representing a variable
    91              (:constructor make-variable (ring nvars pos &optional (power 1)
     91             (:constructor make-poly-variable (ring nvars pos &optional (power 1)
    9292                                               &aux
    9393                                               (termlist (list
    … …  
    305305      ((member expr vars :test #'equalp)
    306306       (let ((pos (position expr vars :test #'equalp)))
    307          (make-variable ring (length vars) pos)))
     307         (make-poly-variable ring (length vars) pos)))
    308308      ((atom expr)
    309309       (coerce-coeff ring expr vars))
    … …  
    340340             ;;Special handling of (expt var pow)
    341341             (let ((pos (position (cadr expr) vars :test #'equalp)))
    342                (make-variable ring (length vars) pos (caddr expr))))
     342               (make-poly-variable ring (length vars) pos (caddr expr))))
    343343            ((not (and (integerp (caddr expr)) (plusp (caddr expr))))
    344344             ;; Negative power means division in coefficient ring
Note: See TracChangeset for help on using the changeset viewer.