CoCoA:Example codex1

Description

FIXME

codex1_h

Computed in 73.5766 seconds on hilbert with 0.95CVS-2006-04-27.

Poly in Basis  1162
Pairs Reduced        5682 = (5673+9 Gens) of which 1162 useful and 4520 useless
Pairs Inserted        674541 + 9 generators of which 5682 survived
  of which GMKilled     666012
  of which CopKilled    1338
  of which BKilled      1518
GM considered pairs   7674431
Back considered pairs 1227317

Older benchmarks:

• 0.95CVS-2006-04-15: 81.176 seconds on hilbert.
• 0.95CVS-2006-04-15: 83.9412 seconds on hilbert.
• 0.95CVS-2006-03-15: 87.7 seconds on hilbert.
• 0.95CVS-2005-12-31: 85.331 seconds on hilbert.

codex1_hQ

No results yet.

codex1_hL

Computed in 122.936 seconds on hilbert with 0.95CVS-2006-04-27.

Poly in Basis  1025
Pairs Reduced        5127 = (5118+9 Gens) of which 1025 useful and 4102 useless
Pairs Inserted        524800 + 9 generators of which 5127 survived
  of which GMKilled     517312
  of which CopKilled    1115
  of which BKilled      1255
GM considered pairs   4025565
Back considered pairs 1080414

Older benchmarks:

• 0.95CVS-2006-04-25: 129.99 seconds on hilbert.
• 0.95CVS-2006-04-15: 121.96 seconds on hilbert.
• 0.95CVS-2006-03-15: 145.41 seconds on hilbert.
• 0.95CVS-2005-12-31: 138.456 seconds on hilbert.

codex1_hQL

Computed in 311705 seconds on hilbert with 0.95CVS-2006-04-15. Statistics:

Poly in Basis  1025
Pairs Reduced        5127 = (5118+9 Gens) of which 1025 useful and 4102 useless
Pairs Inserted        524800 + 9 generators of which 5127 survived
  of which GMKilled     517312
  of which CopKilled    1115
  of which BKilled      1255
GM considered pairs   4025565
Back considered pairs 1080414