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


Ignore:
Timestamp:
2015-06-14T21:49:55-07:00 (9 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

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

    r1702 r1703  
    160160    nil)))
    161161
     162(defun find-ring-and-order-by-name (&optional
     163                                      (ring (find-ring-by-name $poly_coefficient_ring))
     164                                      (order (find-order-by-name $poly_monomial_order))
     165                                      (primary-elimination-order (find-order-by-name $poly_primary_elimination_order))
     166                                      (secondary-elimination-order (find-order-by-name $poly_secondary_elimination_order))
     167                                    &aux
     168                                      (vars (coerce-maxima-list vars))
     169                                      (ring-and-order (make-ring-and-order
     170                                                       :ring  ring
     171                                                       :order order
     172                                                       :primary-elimination-order primary-elimination-order
     173                                                       :secondary-elimination-order secondary-elimination-order)))
     174  ring-and-order)
     175
    162176(defun maxima->poly (expr vars
    163                      &optional
    164                        (ring (find-ring-by-name $poly_coefficient_ring))
    165                        (order (find-order-by-name $poly_monomial_order))
    166                        (primary-elimination-order (find-order-by-name $poly_primary_elimination_order))
    167                        (secondary-elimination-order (find-order-by-name $poly_secondary_elimination_order))
    168                      &aux
    169                        (vars (coerce-maxima-list vars))
    170                        (ring-and-order (make-ring-and-order
    171                                         :ring  ring
    172                                         :order order
    173                                         :primary-elimination-order primary-elimination-order
    174                                         :secondary-elimination-order secondary-elimination-order))
     177                     &optional
     178                       (ring-and-order (find-ring-and-order-by-name))
     179                     &aux
    175180                       (ring (ro-ring ring-and-order)))
    176181  "Convert a maxima polynomial expression EXPR in variables VARS to
Note: See TracChangeset for help on using the changeset viewer.