CoCoA:Example 4x4

Description

FIXME

4x4_h

Computed in 19115.9 seconds on hilbert with 0.95CVS-2006-04-09. Statistics:

Poly in Basis  563
Pairs Reduced        5921 = (5905+16 Gens) of which 563 useful and 5358 useless
Pairs Inserted        158203 + 16 generators of which 5921 survived
  of which GMKilled     151379
  of which CopKilled    377
  of which BKilled      542
GM considered pairs   1038441
Back considered pairs 490805

4x4_hQ

Computed in 256340 seconds on hilbert with 0.95CVS-2006-04-09. Statistics:

Poly in Basis  563
Pairs Reduced        5921 = (5905+16 Gens) of which 563 useful and 5358 useless
Pairs Inserted        158203 + 16 generators of which 5921 survived
  of which GMKilled     151379
  of which CopKilled    377
  of which BKilled      542
GM considered pairs   1038441
Back considered pairs 490805

4x4_hL

Computed in 356.662 seconds on hilbert with 0.95CVS-2006-04-09. Statistics:

Poly in Basis  451
Pairs Reduced        4673 = (4657+16 Gens) of which 451 useful and 4222 useless
Pairs Inserted        101475 + 16 generators of which 4673 survived
  of which GMKilled     95652
  of which CopKilled    487
  of which BKilled      679
GM considered pairs   728589
Back considered pairs 400686

Older benchmarks:

• 0.95CVS-2006-03-16: 490.35 on hilbert

4x4_hQL

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

Poly in Basis  451
Pairs Reduced        4673 = (4657+16 Gens) of which 451 useful and 4222 useless
Pairs Inserted        101475 + 16 generators of which 4673 survived
  of which GMKilled     95652
  of which CopKilled    487
  of which BKilled      679
GM considered pairs   728589
Back considered pairs 400686

Older benchmarks:

• 0.95CVS-2006-04-10: 648.517 on hilbert
• 0.95CVS-2006-04-09: 669.33 on hilbert
• 0.95CVS-2006-04-08: 712.629 on hilbert
• 0.95CVS-2006-03-21: 796.202 on hilbert
• 0.95CVS-2006-03-16: 856.98 on hilbert
• 0.95CVS-2006-03-14: 881.411 on hilbert
• 0.95CVS-2005-12-31: 708.228 on hilbert
• 0.95CVS-2005-12-18: 711.496 on hilbert
• 0.95CVS-2005-11-23: 718.485 on hilbert