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


Ignore:
Timestamp:
2015-06-14T20:59:52-07:00 (9 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

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

    r1673 r1674  
    125125;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
    126126
    127 (defun find-ring (ring)
     127(defun find-ring-by-name (ring)
    128128  "This function returns the ring structure bases on input symbol."
    129129  (cond
     
    140140    nil)))
    141141
    142 (defun find-order (order)
     142(defun find-order-by-name (order)
    143143  "This function returns the order function bases on its name."
    144144  (cond
     
    162162(defun maxima->poly (expr vars
    163163                     &optional
    164                        (ring-name $poly_coefficient_ring)
    165                        (order-name $poly_monomial_order)
    166                        (primary-elimination-order-name $poly_primary_elimination_order)
    167                        (secondary-elimination-order-name $poly_secondary_elimination_order)
     164                       (ring (find-ring-by-name $poly_coefficient_ring))
     165                       (order (find-order-by-name $poly_monomial_order))
     166                       (primary-elimination-order-name (find-order-by-name $poly_primary_elimination_order))
     167                       (secondary-elimination-order-name (find-order-by-name $poly_secondary_elimination_order))
    168168                     &aux
    169169                       (vars (coerce-maxima-list vars))
    170170                       (ring-and-order (make-ring-and-order
    171                                         :ring  (find-ring ring-name)
    172                                         :order (find-order order-name)
    173                                         :primary-elimination-order (find-order primary-elimination-order-name)
    174                                         :secondary-elimination-order (find-order secondary-elimination-order-name)))
     171                                        :ring  ring
     172                                        :order order
     173                                        :primary-elimination-order primary-elimination-order-name
     174                                        :secondary-elimination-order secondary-elimination-order-name))
    175175                       (ring (ro-ring ring-and-order)))
    176176  "Convert a maxima polynomial expression EXPR in variables VARS to internal form."
Note: See TracChangeset for help on using the changeset viewer.