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 3308


Ignore:
Timestamp:
2015-06-23T09:37:12-07:00 (10 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/monom.lisp

    r3307 r3308  
    101101
    102102  ;; when all exponents are to be identical
    103   (when exponent-supplied-p
    104     (unless (slot-boundp self 'dimension)
    105       (error "Slot DIMENSION is unbound, but must be known if EXPONENT is supplied."))
    106     (let ((dim (slot-value self 'dimension)))
    107       (setf (slot-value self 'exponents)
    108             (make-array (list dim) :initial-element (if exponent-supplied-p exponent 0)
    109                         :element-type 'exponent)))))
     103  (if exponent-supplied-p
     104    (when (slot-boundp self 'exponents)
     105      (warn "Ignoring argument EXPONENT."))
     106    (cond
     107      ((slot-boundp self 'dimension)
     108       (error "Slot DIMENSION is unbound, but must be known if EXPONENT is supplied."))
     109      (t
     110       (let ((dim (slot-value self 'dimension)))
     111         (setf (slot-value self 'exponents)
     112               (make-array (list dim) :initial-element (if exponent-supplied-p exponent 0)
     113                           :element-type 'exponent)))))))
    110114
    111115(defmethod r-equalp ((m1 monom) (m2 monom))
Note: See TracChangeset for help on using the changeset viewer.