Category:Benchmark

From ApCoCoAWiki
Revision as of 17:58, 17 October 2007 by Dheldt (talk | contribs) (pasting content of CoCoABench:Main_Page)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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

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

Pages in category "Benchmark"

The following 6 pages are in this category, out of 6 total.