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 3895 for branches


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

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/symbolic-polynomial.lisp

    r3894 r3895  
    7575    (cond
    7676      ((eq expr 0)
    77        (make-instance 'poly :dimension (length vars)))
     77       (make-instance 'symbolic-poly :dimension (length vars) :vars vars))
    7878      ((numberp expr)
    7979       (make-term-constant (length vars) expr))
    … …  
    108108             ;;Special handling of (expt var pow)
    109109             (let ((pos (position (cadr expr) vars :test #'equalp)))
    110                (make-poly-variable (length vars) pos (caddr expr)) 'symbolic-poly :vars vars))
     110               (make-poly-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.