# CoCoA:Example 4x4

From ApCoCoAWiki

# 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 324.756 seconds on hilbert with 0.95CVS-2006-04-27. 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-25: 356.781 seconds on hilbert
- 0.95CVS-2006-04-09: 356.662 seconds on hilbert
- 0.95CVS-2006-03-16: 490.35 seconds on hilbert

## 4x4_hQL

Computed in 583.448 seconds on hilbert with 0.95CVS-2006-04-27. 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-15: 586.185 seconds on hilbert
- 0.95CVS-2006-04-10: 648.517 seconds on hilbert
- 0.95CVS-2006-04-09: 669.33 seconds on hilbert
- 0.95CVS-2006-04-08: 712.629 seconds on hilbert
- 0.95CVS-2006-03-21: 796.202 seconds on hilbert
- 0.95CVS-2006-03-16: 856.98 seconds on hilbert
- 0.95CVS-2006-03-14: 881.411 seconds on hilbert
- 0.95CVS-2005-12-31: 708.228 seconds on hilbert
- 0.95CVS-2005-12-18: 711.496 seconds on hilbert
- 0.95CVS-2005-11-23: 718.485 seconds on hilbert