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 1642


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

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed
  • branches/f4grobner/mx-grobner.lisp

    r1641 r1642  
    118118
    119119(defun free-of-vars (expr vars) (apply #'$freeof `(,@vars ,expr)))
     120
     121;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
     122;;
     123;; Order utilities
     124;;
     125;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
     126
     127(defun find-order (order)
     128  "This function returns the order function bases on its name."
     129  (cond
     130   ((null order) nil)
     131   ((symbolp order)
     132    (case order
     133      ((lex :lex $lex) #'lex>)
     134      ((grlex :grlex $grlex) #'grlex>)
     135      ((grevlex :grevlex $grevlex) #'grevlex>)
     136      ((invlex :invlex $invlex) #'invlex>)
     137      ((elimination-order-1 :elimination-order-1 elimination_order_1) #'elimination-order-1)
     138      (otherwise
     139       (mtell "~%Warning: Order ~M not found. Using default.~%" order))))
     140   (t
     141    (mtell "~%Order specification ~M is not recognized. Using default.~%" order)
     142    nil)))
     143
     144;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
     145;;
     146;; Ring utilities
     147;;
     148;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
     149
     150(defun find-ring (ring)
     151  "This function returns the ring structure bases on input symbol."
     152  (cond
     153   ((null ring) nil)
     154   ((symbolp ring)
     155    (case ring
     156      ((maxima-ring  :maxima-ring $expression_ring) *maxima-ring*)
     157      ((ring-of-integers :ring-of-integers $ring_of_integers) *ring-of-integers*)
     158      (otherwise
     159       (mtell "~%Warning: Ring ~M not found. Using default.~%" ring))))
     160   (t
     161    (mtell "~%Ring specification ~M is not recognized. Using default.~%" ring)
     162    nil)))
     163
     164
     165
    120166
    121167(defun maxima->poly (expr vars &aux (vars (coerce-maxima-list vars)))
     
    227273
    228274
    229 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
    230 ;;
    231 ;; Order utilities
    232 ;;
    233 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
    234 
    235 (defun find-order (order)
    236   "This function returns the order function bases on its name."
    237   (cond
    238    ((null order) nil)
    239    ((symbolp order)
    240     (case order
    241       ((lex :lex $lex) #'lex>)
    242       ((grlex :grlex $grlex) #'grlex>)
    243       ((grevlex :grevlex $grevlex) #'grevlex>)
    244       ((invlex :invlex $invlex) #'invlex>)
    245       ((elimination-order-1 :elimination-order-1 elimination_order_1) #'elimination-order-1)
    246       (otherwise
    247        (mtell "~%Warning: Order ~M not found. Using default.~%" order))))
    248    (t
    249     (mtell "~%Order specification ~M is not recognized. Using default.~%" order)
    250     nil)))
    251 
    252 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
    253 ;;
    254 ;; Ring utilities
    255 ;;
    256 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
    257 
    258 (defun find-ring (ring)
    259   "This function returns the ring structure bases on input symbol."
    260   (cond
    261    ((null ring) nil)
    262    ((symbolp ring)
    263     (case ring
    264       ((maxima-ring  :maxima-ring $expression_ring) *maxima-ring*)
    265       ((ring-of-integers :ring-of-integers $ring_of_integers) *ring-of-integers*)
    266       (otherwise
    267        (mtell "~%Warning: Ring ~M not found. Using default.~%" ring))))
    268    (t
    269     (mtell "~%Ring specification ~M is not recognized. Using default.~%" ring)
    270     nil)))
    271 
    272 
    273275;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
    274276;;
Note: See TracChangeset for help on using the changeset viewer.