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 3337


Ignore:
Timestamp:
2015-06-23T11:28:11-07:00 (10 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/symbolic-polynomial.lisp

    r3333 r3337  
    5252
    5353(defmethod update-instance-for-different-class :after ((old poly) (new  symbolic-poly) &key)
     54  "After adding variables to NEW, we need to make sure that the number
     55of variables given by POLY-DIMENSION is consistent with VARS."
    5456  (assert (= (length (symbolic-poly-vars new)) (poly-dimension new))))
    5557
    56 
    57 #|
    5858
    5959(defun coerce-coeff (ring expr vars)
Note: See TracChangeset for help on using the changeset viewer.