Home Esplora Aiuto
Accedi
SRI-DYZBC2
/
Vehicle-cpp
2
0
Forka 0
File Problemi 0 Pull Requests 0 Wiki
Albero (Tree): e6b2cb2e99
Rami (Branch) Tag
Vehicle-cpp
/
hkpc
/
software
/
sympy
/
polys
/
benchmarks
/
bench_groebnertools.py

bench_groebnertools.py 803 B
Cronologia Originale

12345678910111213141516171819202122232425 
  1. """Benchmark of the Groebner bases algorithms. """
    2. 

  2. 

  3. 

  4. from sympy.polys.rings import ring
    5. 

  5. from sympy.polys.domains import QQ
    6. 

  6. from sympy.polys.groebnertools import groebner
    7. 

  7. 

  8. R, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12 = ring("x1:13", QQ)
    9. 

  9. 

  10. V = R.gens
    11. 

  11. E = [(x1, x2), (x2, x3), (x1, x4), (x1, x6), (x1, x12), (x2, x5), (x2, x7), (x3, x8),
    12. 

  12.      (x3, x10), (x4, x11), (x4, x9), (x5, x6), (x6, x7), (x7, x8), (x8, x9), (x9, x10),
    13. 

  13.      (x10, x11), (x11, x12), (x5, x12), (x5, x9), (x6, x10), (x7, x11), (x8, x12)]
    14. 

  14. 

  15. F3 = [ x**3 - 1 for x in V ]
    16. 

  16. Fg = [ x**2 + x*y + y**2 for x, y in E ]
    17. 

  17. 

  18. F_1 = F3 + Fg
    19. 

  19. F_2 = F3 + Fg + [x3**2 + x3*x4 + x4**2]
    20. 

  20. 

  21. def time_vertex_color_12_vertices_23_edges():
    22. 

  22.     assert groebner(F_1, R) != [1]
    23. 

  23. 

  24. def time_vertex_color_12_vertices_24_edges():
    25. 

  25.     assert groebner(F_2, R) == [1]
    26.