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 4198


Ignore:
Timestamp:
2016-06-04T09:09:42-07:00 (9 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

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

    r4197 r4198  
    7575
    7676;; poly_grobner([x-3*u-3*u*v^2+u^3,y-3*v-3*u^2*v+v^3,z-3*u^2+3*v^2],[u,v,x,y,z]);
    77 
    7877(test buchberger-advanced
    7978  "Buchberger algorithm - advanced case"
     
    109108             +118098*y^4*z^2-118098*x^4*z^2+59049*y^4*z-118098*x^2*y^2*z
    110109             +59049*x^4*z+19683*y^6-59049*x^2*y^4+59049*x^4*y^2-19683*x^6]" '(u v x y z)))))
    111     ;;(is-true (grobner-test gb fl))
    112     (is (every #'universal-equalp (buchberger fl) gb))
     110    (is-true (grobner-test gb fl))
     111    ;;(is (every #'universal-equalp (buchberger fl) gb))
    113112    ;;(is (every #'universal-equalp (parallel-buchberger fl) gb))
    114113    ))
Note: See TracChangeset for help on using the changeset viewer.