Changeset 1300
- Timestamp:
- 2015-06-11T20:51:29-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/ngrobner.lisp
r1201 r1300 62 62 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; 63 63 ;; 64 ;; These are provided mostly for debugging purposes To enable65 ;; verification of grobner bases with BUCHBERGER-CRITERION, do66 ;; (pushnew :grobner-check *features*) and compile/load this file.67 ;; With this feature, the calculations will slow down CONSIDERABLY.68 ;;69 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;70 71 (defun grobner-test (ring g f)72 "Test whether G is a Grobner basis and F is contained in G. Return T73 upon success and NIL otherwise."74 (debug-cgb "~&GROBNER CHECK: ")75 (let (($poly_grobner_debug nil)76 (stat1 (buchberger-criterion ring g))77 (stat278 (every #'poly-zerop79 (makelist (normal-form ring (copy-tree (elt f i)) g nil)80 (i 0 (1- (length f)))))))81 (unless stat1 (error "~&Buchberger criterion failed."))82 (unless stat283 (error "~&Original polys not in ideal spanned by Grobner.")))84 (debug-cgb "~&GROBNER CHECK END")85 t)86 87 88 89 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;90 ;;91 64 ;; Conversion from internal to infix form 92 65 ;;
Note:
See TracChangeset
for help on using the changeset viewer.