Changeset 1667

Timestamp:

2015-06-14T20:50:41-07:00 (10 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

• branches/f4grobner/ring-and-order.lisp (modified) (2 diffs)

branches/f4grobner/ring-and-order.lisp

@@ -34 +34 @@
              (:constructor make-ring-and-order 
                            (&key 
-                            (ring *ring-of-integers*)
+                            (ring +ring-of-integers+)
                             (order #'lex>)
                             (primary-elimination-order   order)
@@ -41 +41 @@
                              (make-elimination-order-factory primary-elimination-order
                                                              secondary-elimination-order)))))
-  (ring  *ring-of-integers* :type ring)
+  (ring  +ring-of-integers+ :type ring)
   (order nil :type function)
   (elimination-order-factory nil :type function))