Enumerative problem
(A
1425
)
4
= 6 on Fl(2,4;6)
Number of Real Solutions
Necklaces
0
2
4
6
A
A
A
A
0
0
0
25000
Key
Condition
Name
Codim
A
1425
A
3
Computation: 3.72 GHz-hours
25 000 Systems solved