close Warning: Can't synchronize with repository "(default)" (The repository directory has changed, you should resynchronize the repository with: trac-admin $ENV repository resync '(default)'). Look in the Trac log for more information.

Changeset 934


Ignore:
Timestamp:
2015-06-09T19:04:17-07:00 (10 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/ring-and-order.lisp

    r928 r934  
    3232(defstruct (ring-and-order
    3333             (:conc-name ro-)
    34              (:constructor make-ring-and-order (&key
    35                                                 (ring  nil ring-supplied-p)
    36                                                 (order nil order-supplied-p)
    37                                                 (primary-elimination-order   nil primary-elimination-order-supplied-p)
    38                                                 (secondary_elimination_order nil secondary_elimination_order-supplied-p)
    39                                                 (elimination-order-factory
    40                                                  (cond
    41                                                    ((and primary-elimination-order-supplied-p
    42                                                          secondary_elimination_order-supplied-p)
    43                                                     (make-elimination-order-maker primary-elimination-order
    44                                                                                   secondary_elimination_order)))))))
     34             (:constructor make-ring-and-order
     35                           (&key
     36                            (ring  nil ring-supplied-p)
     37                            (order nil order-supplied-p)
     38                            (primary-elimination-order   nil primary-elimination-order-supplied-p)
     39                            (secondary_elimination_order nil secondary_elimination_order-supplied-p)
     40                            (elimination-order-factory
     41                             (cond
     42                               ((and primary-elimination-order-supplied-p
     43                                     secondary_elimination_order-supplied-p)
     44                                (make-elimination-order-maker primary-elimination-order
     45                                                              secondary_elimination_order)))))))
    4546  (ring  *ring-of-integers* :type ring)
    4647  (order #'lex> :type function)
Note: See TracChangeset for help on using the changeset viewer.