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 917


Ignore:
Timestamp:
2015-06-09T14:44:33-07:00 (9 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/order.lisp

    r916 r917  
    114114
    115115(defun make-elimination-order-1 (secondary-elimination-order q &optional (start 0) (end (monom-dimension  p)))
    116   "Equivalent to the function returned by the call to (ELIMINATION-ORDER PRIMARY-ELIMINATION-ORDER SECONDARY-ELIMINATION-ORDER 1).
    117 It is an optimization used for the 1-st elimination ideal. We note that PRIMARY-ELIMINATION-ORDER could be LEX> or any
    118 other order, as all orders coincide in 1 variabl."
     116  "It constructs an elimination order used for the 1-st elimination ideal,
     117i.e. for eliminating the first variable. Thus, the order compares the degrees of the
     118first variable in P and Q first, with ties broken by SECONDARY-ELIMINATION-ORDER."
    119119  #'(lambda (p q &optional (start 0) (end (monom-dimension p)))
    120120      (cond
Note: See TracChangeset for help on using the changeset viewer.