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 907


Ignore:
Timestamp:
2015-06-09T14:10:03-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

    r905 r907  
    2929
    3030(defstruct (ring-and-order
    31              (:include ring)
    32              ;;(:conc-name ro-)
    33              )
     31             (:constructor make-ring-and-order (&key
     32                                                (ring nil ring-supplied-p)
     33                                                (order nil order-supplied-p)
     34                                                (primary-elimination-order nil primary-elimination-order-supplied-p)
     35                                                (secondary_elimination_order nil secondary_elimination_order-supplied-p)
     36                                                (elimination-order nil elimination-order-supplied-p))))
     37  (ring  *ring-of-integers* :type ring)
    3438  (order #'lex> :type function)
    35   (primary-elimination-order #'lex> :type function)
    36   (secondary-elimination-order #'lex> :type function)
    3739  (elimination-order #'lex> :type function))
     40
     41
Note: See TracChangeset for help on using the changeset viewer.