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.

Ignore:
Timestamp:
2015-06-15T08:29:03-07:00 (9 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

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

    r1735 r1736  
    388388     (poly->maxima
    389389      ,value-type
    390       (let ((,ring-and-order `(find-ring-and-order-by-name
    391                                :ring ,$poly_coefficient_ring
    392                                :order ,$poly_monomial_order
     390      (let ((,ring-and-order ,(find-ring-and-order-by-name
     391                               :ring $poly_coefficient_ring
     392                               :order $poly_monomial_order
    393393                               ;; :elimination-order ,$poly_primary_elimination_order
    394                                :primary-elimination-order ,$poly_secondary_elimination_order
    395                                :secondary-elimination-order ,$poly_elimination_order)))
     394                               :primary-elimination-order $poly_secondary_elimination_order
     395                               :secondary-elimination-order $poly_elimination_order)))
    396396        (let ,(let ((args nil))
    397397                   (dolist (p polynomials args)
     
    401401                   (dolist (p poly-list-lists args)
    402402                     (setf args (cons `(,p (maxima->poly-list-list ,p ,vars ,ring-and-order)) args))))
    403           . ,body)))
    404      ,(if new-vars-supplied-p
    405           `(append ,vars ,new-vars)
    406           vars)))
     403          . ,body))
     404      ,(if new-vars-supplied-p
     405           `(append ,vars ,new-vars)
     406           vars))))
    407407
    408408
Note: See TracChangeset for help on using the changeset viewer.