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-15T11:36:28-07:00 (9 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

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

    r1791 r1792  
    545545  (with-ring-and-order ((vars) :poly-lists (f) :polynomials (p)
    546546                                   :value-type :poly-list)
    547     (ideal-saturation-1 ring-and-order f p 0)))
     547    (ideal-saturation-1 ring f p 0)))
    548548
    549549(defmfun $poly_saturation_extension (f plist vars new-vars)
     
    551551                            :poly-lists (f plist)
    552552                            :value-type :poly-list)
    553     (saturation-extension ring-and-order f plist)))
     553    (saturation-extension ring f plist)))
    554554
    555555(defmfun $poly_polysaturation_extension (f plist vars new-vars)
Note: See TracChangeset for help on using the changeset viewer.