Changeset 772

Timestamp:

2015-06-08T22:06:37-07:00 (9 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

• branches/f4grobner/term.lisp (modified) (1 diff)

branches/f4grobner/term.lisp

@@ -34 +34 @@
 (defstruct (term
              (:include monom)
+             ;; BOA constructor. TODO: avoid code duplication with MONOM?
+             (:constructor make-monom (dimension
+                                        &key 
+                                        (initial-exponents #() initial-exponents-supplied-p)
+                                        (initial-exponent  #() initial-exponent-supplied-p)
+                                        (exponents (cond 
+                                                     ;; when exponents are supplied
+                                                     (initial-exponents-supplied-p
+                                                      (make-array (list dimension) :initial-contents initial-exponents
+                                                                  :element-type 'exponent))
+                                                     ;; when all exponents are to be identical
+                                                     (initial-exponent-supplied-p
+                                                      (make-array (list dimension) :initial-element initial-exponent
+                                                                  :element-type 'exponent))
+                                                     ;; otherwise, all exponents are zero
+                                                     (t (make-array (list dimension) :element-type 'exponent :initial-element 0))))
+                                        coeff))
              ;;(:constructor make-term-variable)
              ;;(:type list)
              )
   (coeff nil))
+
 
 (defun make-term-variable (ring nvars pos