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-11T23:06:43-07:00 (9 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/ideal.lisp

    r1383 r1384  
    103103  "Returns the reduced Grobner basis of the colon ideal Id(F):Id({G}), where
    104104F is a list of polynomials and G is a polynomial."
    105   (mapcar #'(lambda (x) (poly-exact-divide ring x g)) (ideal-intersection ring f (list g) top-reduction-only)))
    106 
     105  (mapcar #'(lambda (x)
     106              (poly-exact-divide ring-and-order x g))
     107          (ideal-intersection ring-and-order f (list g) top-reduction-only)))
    107108
    108109(defun ideal-intersection (ring-and-order f g &optional (top-reduction-only $poly_top_reduction_only))
Note: See TracChangeset for help on using the changeset viewer.