Changeset 4210 for branches/f4grobner

Timestamp:

2016-06-04T12:58:06-07:00 (9 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

• branches/f4grobner/division.lisp (modified) (1 diff)

branches/f4grobner/division.lisp

@@ -228 +228 @@
   (mapcar #'(lambda (x) (poly-normalize x)) plist))
 
-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
-;;
-;; The function GROBNER-TEST is provided primarily for debugging purposes. To
-;; enable verification of grobner bases with BUCHBERGER-CRITERION, do
-;; (pushnew :grobner-check *features*) and compile/load this file.
-;; With this feature, the calculations will slow down CONSIDERABLY.
-;;
-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
-
 (defun grobner-test (g f)
   "Test whether G is a Grobner basis and F is contained in G. Return T
-upon success and NIL otherwise."
+upon success and NIL otherwise. 
+The function GROBNER-TEST is provided primarily for debugging purposes. To
+enable verification of grobner bases with BUCHBERGER-CRITERION, do
+(pushnew :grobner-check *features*) and compile/load this file.  With
+this feature, the calculations will slow down CONSIDERABLY."
   (debug-cgb "~&GROBNER CHECK: ")
   (let (($poly_grobner_debug nil)