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


Ignore:
Timestamp:
2015-06-08T22:06:37-07:00 (9 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed
  • branches/f4grobner/term.lisp

    r771 r772  
    3434(defstruct (term
    3535             (: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))
    3653             ;;(:constructor make-term-variable)
    3754             ;;(:type list)
    3855             )
    3956  (coeff nil))
     57
    4058
    4159(defun make-term-variable (ring nvars pos
Note: See TracChangeset for help on using the changeset viewer.