Changeset 1974 for branches/f4grobner

Timestamp:

2015-06-15T21:41:27-07:00 (10 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

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

branches/f4grobner/pol.lisp

@@ -84 +84 @@
 (proclaim '(optimize (speed 0) (space 0) (safety 3) (debug 3)))
 
-(defstruct (poly
-             ;;
-             ;; BOA constructor, by default constructs zero polynomial
-             (:constructor make-poly-from-termlist (termlist &optional (sugar (termlist-sugar termlist))))
-             (:constructor make-poly-zero (&aux (termlist nil) (sugar -1)))
-             ;; Constructor of polynomials representing a variable
-             (:constructor make-poly-variable (ring nvars pos &optional (power 1)
-                                               &aux
-                                               (termlist (list
-                                                          (make-term-variable ring nvars pos power)))
-                                               (sugar power)))
-             (:constructor poly-unit (ring dimension
-                                           &aux
-                                           (termlist (termlist-unit ring dimension))
-                                           (sugar 0))))
-  (termlist nil :type list)
-  (sugar -1 :type fixnum))
+(defclass (poly)
+    ((termlist)
+     (sugar)))
+
+(defun make-poly-from-termlist (termlist &optional (sugar (termlist-sugar termlist))))
+(defun make-poly-zero (&aux (termlist nil) (sugar -1)))
+(defun make-poly-variable (ring nvars pos &optional (power 1)
+                           &aux
+                             (termlist (list
+                                        (make-term-variable ring nvars pos power)))
+                             (sugar power)))
+
+(defun poly-unit (ring dimension
+                  &aux
+                    (termlist (termlist-unit ring dimension))
+                    (sugar 0)))
+
+
 
 ;; Leading term