Changeset 838 for branches/f4grobner

Timestamp:

2015-06-09T08:36:51-07:00 (9 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

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

branches/f4grobner/monomial.lisp

@@ -73 +73 @@
 (defstruct (monom
              ;; BOA constructor
+             (: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))))))
              )
   (exponents nil :type (vector exponent *)))
 
-(defun 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))))))
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;