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 997


Ignore:
Timestamp:
2015-06-09T21:37:58-07:00 (9 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/ngrobner.lisp

    r996 r997  
    110110    (otherwise
    111111     object)))
    112 
    113 
    114 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
    115 ;;
    116 ;; Order utilities
    117 ;;
    118 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
    119 
    120 (defun find-order (order)
    121   "This function returns the order function bases on its name."
    122   (cond
    123    ((null order) nil)
    124    ((symbolp order)
    125     (case order
    126       ((lex :lex $lex) #'lex>)
    127       ((grlex :grlex $grlex) #'grlex>)
    128       ((grevlex :grevlex $grevlex) #'grevlex>)
    129       ((invlex :invlex $invlex) #'invlex>)
    130       ((elimination-order-1 :elimination-order-1 elimination_order_1) #'elimination-order-1)
    131       (otherwise
    132        (warn "~%Warning: Order ~A not found. Using default.~%" order))))
    133    (t
    134     (warn "~%Order specification ~A is not recognized. Using default.~%" order)
    135     nil)))
    136 
    137 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
    138 ;;
    139 ;; Ring utilities
    140 ;;
    141 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
    142 
    143 (defun find-ring (ring)
    144   "This function returns the ring structure bases on input symbol."
    145   (cond
    146    ((null ring) nil)
    147    ((symbolp ring)
    148     (case ring
    149       ((expression-ring  :expression-ring $expression_ring) *expression-ring*)
    150       ((ring-of-integers :ring-of-integers $ring_of_integers) *ring-of-integers*)
    151       (otherwise
    152        (warn "~%Warning: Ring ~A not found. Using default.~%" ring))))
    153    (t
    154     (warn "~%Ring specification ~A is not recognized. Using default.~%" ring)
    155     nil)))
Note: See TracChangeset for help on using the changeset viewer.