Overview

CoCoABench is a tool to measure time and memory consumption of a set of test examples for the CoCoALib. Currently we only test the computation of Gröbnerbases for homogeneous ideals. Below you will find a list of examples and the time for their computation (and sometimes memory consumption. Time is given in Hilbert-units, i.e. minutes of cputime on a 248 Opteron with 24 gigs of RAM.

Map

• h indicates homogenized over a finite field (Z_32003) with term ordering DegRevLex
• hL indicates homogenized over a finite field (Z_32003) with term ordering DegLex
• hQ indicates homogenized over the rationals with term ordering DegRevLex
• hQL indicates homogenized over the rationals with term ordering DegLex

Collection of examples

• Jan Verschelde's Homepage at the University of Illinois at Chicago
• Polynomial test suite at l'INRIA Sophia-Antippolis
• Janet Basis home page at Joint Institute for Nuclear Research (JINR), Dubna, Moscow Region, Russia.

Homogeneous Gröbnerbasis examples

• 4x4_h: 319 hilbert units
• 4x4_hL: 6 hilbert units
• 4x4_hQ: 4273 hilbert units
• 4x4_hQL: 10 hilbert units
• 6x7-4_h
• 6x7-4_hL
• 6x7-4_hQ
• 6x7-4_hQL
• 7x8-2_h
• 7x8-2_hL
• 7x8-2_hQ
• 7x8-2_hQL
• alex3_h
• alex3_hL
• alex3_hQ
• alex3_hQL
• arnold1_h
• arnold1_hL
• arnold1_hQ
• arnold1_hQL
• arnold2_h
• arnold2_hL
• arnold2_hQ
• arnold2_hQL
• arnold3_h
• arnold3_hL
• arnold3_hQ
• arnold3_hQL
• brahamagupta_h
• brahamagupta_hL
• brahamagupta_hQ
• brahamagupta_hQL
• c7_h: <<1 hilbert unit
• c7_hL: <1 hilbert unit
• c7_hQ: 1 hilbert unit
• c7_hQL: 58 hilbert units
• c8_h: 2 hilbert units
• c8_hL: 232 hilbert units
• c8_hQ: 15 hilbert units
• c8_hQL: no results yet
• caprasse_h
• caprasse_hL
• caprasse_hQ
• caprasse_hQL
• codex1_h: 2 hilbert units
• codex1_hL: 3 hilbert units
• codex1_hQ
• codex1_hQL: 5195 hilbert units
• dense564_h
• dense755_h
• esempio1_h
• esempio1_hL
• esempio1_hQ
• esempio1_hQL
• esscemo_h
• esscemo_hL
• esscemo_hQ
• esscemo_hQL
• gaukwa4_h
• gaukwa4_hL
• gaukwa4_hQ
• gaukwa4_hQL
• gonnet-83_h
• gonnet-83_hL
• gonnet-83_hQ
• gonnet-83_hQL
• hairer2_h
• hairer2_hL
• hairer2_hQ
• hairer2_hQL
• homog_gonnet_h
• homog_gonnet_hL
• homog_gonnet_hQ
• homog_gonnet_hQL
• katsura7_h
• katsura7_hL
• katsura7_hQ
• katsura7_hQL
• katsura9_h: <1 hilbert unit
• katsura9_hL: 2057 hilbert units
• katsura9_hQ: 5 hilbert units
• katsura9_hQL: no results yet
• kin1_h
• kin1_hL
• kin1_hQ
• kin1_hQL
• mora1_h: <<1 hilbert unit
• mora1_hL: <1 hilbert unit
• mora1_hQ: 2850 hilbert units
• mora1_hQL: no results yet
• mora9_h
• mora9_hL
• mora9_hQ
• mora9_hQL
• pavelle_h
• pavelle_hL
• pavelle_hQ
• pavelle_hQL
• schwartz10_h
• schwartz10_hL
• schwartz10_hQ
• schwartz10_hQL
• schwartz7_h
• schwartz7_hL
• schwartz7_hQ
• schwartz7_hQL
• t51_h
• t51_hL
• t51_hQ
• t51_hQL
• twomat3_h
• twomat3_hL
• twomat3_hQ
• twomat3_hQL
• virasoro_h
• virasoro_hL
• virasoro_hQ
• virasoro_hQL
• wang_h
• wang_hL
• wang_hQ
• wang_hQL