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 414 for branches


Ignore:
Timestamp:
2015-06-06T19:28:54-07:00 (10 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed
  • branches/f4grobner/order-mk.lisp

    r413 r414  
    3030           "ELIMINATION-ORDER-1"))
    3131
    32 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
    33 ;;
    34 ;; Order making functions
    35 ;;
    36 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
    37 
    3832(defvar *monomial-order* #'lex>
    39   "Default order for monomial comparisons")
     33  "Default order for monomial comparisons. This global variable holds
     34the order which is in effect when performing polynomial
     35arithmetic. The global order is called by the macro MONOMIAL-ORDER,
     36which is somewhat more elegant than FUNCALL.")
    4037
    4138(defmacro monomial-order (x y)
     
    5451we will construct an elimination order using the values of
    5552*PRIMARY-ELIMINATION-ORDER* and *SECONDARY-ELIMINATION-ORDER*.")
     53
     54;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
     55;;
     56;; Order making functions
     57;;
     58;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
    5659
    5760(defun elimination-order (k)
Note: See TracChangeset for help on using the changeset viewer.