Changeset 772
- Timestamp:
- 2015-06-08T22:06:37-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/term.lisp
r771 r772 34 34 (defstruct (term 35 35 (:include monom) 36 ;; BOA constructor. TODO: avoid code duplication with MONOM? 37 (:constructor make-monom (dimension 38 &key 39 (initial-exponents #() initial-exponents-supplied-p) 40 (initial-exponent #() initial-exponent-supplied-p) 41 (exponents (cond 42 ;; when exponents are supplied 43 (initial-exponents-supplied-p 44 (make-array (list dimension) :initial-contents initial-exponents 45 :element-type 'exponent)) 46 ;; when all exponents are to be identical 47 (initial-exponent-supplied-p 48 (make-array (list dimension) :initial-element initial-exponent 49 :element-type 'exponent)) 50 ;; otherwise, all exponents are zero 51 (t (make-array (list dimension) :element-type 'exponent :initial-element 0)))) 52 coeff)) 36 53 ;;(:constructor make-term-variable) 37 54 ;;(:type list) 38 55 ) 39 56 (coeff nil)) 57 40 58 41 59 (defun make-term-variable (ring nvars pos
Note:
See TracChangeset
for help on using the changeset viewer.