- Timestamp:
- 2015-06-06T21:43:09-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/ideal.lisp
r530 r531 28 28 (defpackage "IDEAL" 29 29 (:use :cl :ring :monomial :order :term :polynomial :division :grobner-wrap) 30 (:export 31 32 33 34 35 36 37 38 39 40 41 42 43 44 ))30 (:export "POLY-DEPENDS-P" 31 "RING-INTERSECTION" 32 "ELIMINATION-IDEAL" 33 "COLON-IDEAL" 34 "COLON-IDEAL-1" 35 "IDEAL-INTERSECTION" 36 "POLY-LCM" 37 "GROBNER-EQUAL" 38 "GROBNER-SUBSETP" 39 "GROBNER-MEMBER" 40 "IDEAL-SATURATION-1" 41 "IDEAL-SATURATION" 42 "IDEAL-POLYSATURATION-1" 43 "IDEAL-POLYSATURATION" 44 )) 45 45 46 46 (in-package :ideal)
Note:
See TracChangeset
for help on using the changeset viewer.