Changeset 790 for branches/f4grobner

Timestamp:

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

Author:

Marek Rychlik

Message:

* empty log message *

File:

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

branches/f4grobner/term.lisp

@@ -36 +36 @@
              (:include monom)
              ;; BOA constructor. TODO: avoid code duplication with MONOM?
-             (:constructor make-term (dimension
-                                      &key 
-                                      (monom nil monom-supplied-p)
-                                      (initial-exponents #() initial-exponents-supplied-p)
-                                      (initial-exponent  #() initial-exponent-supplied-p)
-                                      (exponents (cond 
-                                                   (monom-supplied-p (monom-exponents monom))
-                                                   ;; 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))))
-                                      (ring *ring-of-integers*)
-                                      (coeff (funcall (ring-unit ring)))))
+             (:constructor make-term (monom &key 
+                                            (ring *ring-of-integers*)
+                                            (coeff (funcall (ring-unit ring)))
+                                            (exponents (monom-exponents monom)))
              ;;(:constructor make-term-variable)
              ;;(:type list)