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 1649


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

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/mx-grobner.lisp

    r1648 r1649  
    145145   ((symbolp order)
    146146    (case order
    147       ((lex :lex $lex #:lex) #'lex>)
    148       ((grlex :grlex $grlex #:grlex) #'grlex>)
    149       ((grevlex :grevlex $grevlex #:grevlex) #'grevlex>)
    150       ((invlex :invlex $invlex #:invlex) #'invlex>)
     147      ((lex     :lex     $lex     #:lex)   
     148       #'lex>)
     149      ((grlex   :grlex   $grlex   #:grlex)
     150       #'grlex>)
     151      ((grevlex :grevlex $grevlex #:grevlex)
     152       #'grevlex>)
     153      ((invlex  :invlex  $invlex  #:invlex)
     154       #'invlex>)
    151155      (otherwise
    152156       (mtell "~%Warning: Order ~M not found. Using default.~%" order))))
Note: See TracChangeset for help on using the changeset viewer.