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 994


Ignore:
Timestamp:
2015-06-09T20:57:06-07:00 (10 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/ideal.lisp

    r903 r994  
    8181         (list (make-poly-from-termlist
    8282                (list (make-term
    83                        (make-monom (monom-dimension (poly-lm (find-if-not #'poly-zerop f))))
     83                       (make-monom :dimension (monom-dimension (poly-lm (find-if-not #'poly-zerop f))))
    8484                       (funcall (ring-unit ring))))))))
    8585    ((endp (cdr g))
    … …  
    102102           (reduced-grobner
    103103            ring-and-order
    104             (append (mapcar #'(lambda (p) (poly-extend p (make-monom 1 :initial-exponent 1))) f)
     104            (append (mapcar #'(lambda (p) (poly-extend p (make-monom :dimension 1 :initial-exponent 1))) f)
    105105                    (mapcar #'(lambda (p)
    106106                                (poly-append (poly-extend (poly-uminus ring-and-order p)
    107                                                           (make-monom 1 :initial-exponent 1))
     107                                                          (make-monom :dimension 1 :initial-exponent 1))
    108108                                             (poly-extend p)))
    109109                            g))
Note: See TracChangeset for help on using the changeset viewer.