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.

Changeset 1586 for branches


Ignore:
Timestamp:
2015-06-12T16:24:23-07:00 (9 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed
  • branches/f4grobner/5am-tests.lisp

    r1585 r1586  
    408408    (is (poly-set-equal-no-sugar-p (ideal-polysaturation-1 ring-and-order F p) G))))
    409409
     410;; Calculate F : P^inf
     411(test ideal-saturation
     412  "Ideal saturation"
     413  (let* (($poly_grobner_algorithm :buchberger)
     414         (F (cdr (string->poly "[x^3*(y+z^2),x^2*(y-z^2)]" '(x y z))))
     415         (P (string->poly "[x]" '(x y z)))
     416         (ring *ring-of-integers*)
     417         (order #'lex>)
     418         (ring-and-order (make-ring-and-order :ring ring :order order))
     419         (G (cdr (string->poly "[y,z^2]" '(x y z)))))
     420    (is (poly-set-equal-no-sugar-p (ideal-saturation ring-and-order F P) G))))
     421
     422;; Calculate F : p1^inf : p2^inf : ... : ps^inf
     423#+nil
     424(test ideal-polysaturation-1
     425  "Ideal polysaturation one-by-one with 2 polynomials"
     426  (let* (($poly_grobner_algorithm :buchberger)
     427         (F (cdr (string->poly "[x^3*z*y,x*z*y^2]" '(x y z))))
     428         (P (cdr (string->poly "[x,z]" '(x y z))))
     429         (ring *ring-of-integers*)
     430         (order #'lex>)
     431         (ring-and-order (make-ring-and-order :ring ring :order order))
     432         (G (cdr (string->poly "[y]" '(x y z)))))
     433    (is (poly-set-equal-no-sugar-p (ideal-polysaturation-1 ring-and-order F p) G))))
     434
    410435(run! 'ngrobner-suite)
    411436(format t "All tests done!~%")
Note: See TracChangeset for help on using the changeset viewer.