Changeset 1573

Timestamp:

2015-06-12T16:12:51-07:00 (10 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

• branches/f4grobner/5am-tests.lisp (modified) (2 diffs)

branches/f4grobner/5am-tests.lisp

@@ -385 +385 @@
 
 ;; Calculate F : p^inf
-#+nil
 (test ideal-saturation-1
   "Ideal saturation with 1 polynomial"
@@ -397 +396 @@
     (print (colon-ideal ring-and-order F (list (poly-expt ring-and-order p 2))))
     (print (colon-ideal ring-and-order F (list (poly-expt ring-and-order p 3))))
-    ;;(is-true (print (ideal-saturation-1 ring-and-order F p)))
+    (is-true (print (ideal-saturation-1 ring-and-order F p)))
     ))
-
-(defun foo ()
-  (let* (($poly_grobner_algorithm :buchberger)
-         (F (cdr (string->poly "[x^3,x^2*y,u*x-1]" '(u x y))))
-         (order #'lex>)
-         (ring *ring-of-integers*)
-         (ring-and-order (make-ring-and-order :ring ring :order order)))
-    (mapcar #'poly-contract (grobner ring-and-order F))))
-
 
 (run! 'ngrobner-suite)