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 1536 for branches


Ignore:
Timestamp:
2015-06-12T14:39:33-07:00 (10 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/5am-tests.lisp

    r1535 r1536  
    388388(test ideal-saturation-1
    389389  "Ideal saturation with 1 polynomial"
    390   (let* (($poly_grobner_algorithm :gebauer-moeller)
     390  (let* (($poly_grobner_algorithm :buchberger)
    391391         (F (cdr (string->poly "[x^3,x^2*y]" '(x y))))
    392392         (p (string->poly "x" '(x y)))
    … …  
    401401
    402402(defun foo ()
    403   (let* (($poly_grobner_algorithm :gebauer-moeller)
     403  (let* (($poly_grobner_algorithm :buchberger)
    404404         (F (cdr (string->poly "[x^3,x^2*y,u*x-1]" '(u x y))))
    405405         (order #'lex>)
     406         (ring *ring-of-integers*)
    406407         (ring-and-order (make-ring-and-order :ring ring :order order)))
    407408    (print (reduced-grobner ring-and-order F))))
Note: See TracChangeset for help on using the changeset viewer.