Enumerative problem (U)2(V)3V(V)2 = 6 on Fl(1,2;7)



Experimental data
Number of Real Solutions
  Necklaces     0     2     4     6  
  cddbbbaa     0     0     0     15000  
  cbdbdaab     0     0     0     15000  
  cbbdbdaa     0     0     0     15000  
  cabbdbda     0     0     0     15000  
  cbdbdbaa     0     0     0     15000  
  cabdbdba     0     0     0     15000  
  caabbdbd     0     0     0     15000  
  cbaabdbd     0     0     0     15000  
  caadbbdb     0     0     0     15000  
  cbdaabdb     0     0     0     15000  
  cdaabbdb     0     0     0     15000  
  cdbaabdb     0     0     0     15000  
  cbddaabb     0     0     0     15000  
  cbbddaab     0     0     0     15000  
  cbbbddaa     0     0     0     15000  
  cabbbdda     0     0     0     15000  
  cbddbaab     0     0     0     15000  
  cbbddbaa     0     0     0     15000  
  cabbddba     0     0     0     15000  
  cbddbbaa     0     0     0     15000  
  cbaabbdd     0     0     0     15000  
  cbbaabdd     0     0     0     15000  
  caabdbbd     0     0     0     15000  
  caadbbbd     0     0     0     15000  
  cbaadbbd     0     0     0     15000  
  cbbaadbd     0     0     0     15000  
  cbbdaabd     0     0     0     15000  
  cbdaabbd     0     0     0     15000  
  cdaabbbd     0     0     0     15000  
  cdbaabbd     0     0     0     15000  
  cadbbbda     0     0     0     15000  
  cbbdaadb     0     0     0     15000  
  cdaabdbb     0     0     0     15000  
  cdaadbbb     0     0     0     15000  
  cddaabbb     0     0     0     15000  
  cabdbbda     0     0     0     15000  
  cadabbdb     0     0     380     14620  
  cadabdbb     0     0     448     14552  
  cadabbbd     0     0     831     14169  
  cadadbbb     0     0     942     14058  
  cbadabdb     0     0     1577     13423  
  cbbadabd     0     0     1696     13304  
  cbadabbd     0     0     1819     13181  
  cdabbdba     0     0     1996     13004  
  cdabdbba     0     0     2216     12784  
  cdadabbb     0     0     2404     12596  
  cbbadadb     0     0     2521     12479  
  cbadadbb     0     0     2631     12369  
  cdadbbba     0     0     2854     12146  
  cadbbbad     0     0     2947     12053  
  cadbdabb     0     139     4944     9917  
  cadbadbb     0     699     3283     11018  
  cabdadbb     0     782     6753     7465  
  cadbabdb     0     813     3537     10650  
  cdadbbab     0     917     6979     7104  
  cadbabbd     0     993     4911     9096  
  cdadbabb     0     1012     6920     7068  
  cadbbadb     0     1020     4022     9958  
  cdabbdab     0     1042     4414     9544  
  cdabdabb     0     1068     5414     8518  
  cadbbabd     0     1127     7965     5908  
  cabdabdb     0     1249     4734     9017  
  cbabdadb     0     1364     7260     6376  
  cabbdadb     0     1396     5458     8146  
  cabdabbd     0     1424     5419     8157  
  cbadbadb     0     1530     4809     8661  
  cabbdabd     0     1702     7117     6181  
  cdabdbab     0     1741     4782     8477  
  cbabdabd     0     1757     6203     7040  
  cabdbadb     0     1914     4194     8892  
  cadbbdab     0     2183     3040     9777  
  cabdbabd     0     2203     6608     6189  
  cbabdbda     0     2413     5140     7447  
  cabdbdab     0     2529     5638     6833  
  cbadbabd     0     2541     4721     7738  
  cbabbdda     0     2734     4944     7322  
  cbdabadb     0     2839     3942     8219  
  cbdababd     0     2868     5968     6164  
  cabbddab     0     2893     5312     6795  
  cabddbab     0     2949     5376     6675  
  cddababb     0     3024     5506     6470  
  cdbababd     0     3046     5920     6034  
  cdabadbb     0     3443     2828     8729  
  cdababdb     0     3493     4863     6644  
  cbabadbd     0     3579     5445     5976  
  cbbddaba     0     3581     3958     7461  
  cbddbaba     0     3632     3675     7693  
  cbddabab     0     3777     5170     6053  
  cababbdd     0     3779     3876     7345  
  cdababbd     0     3790     4876     6334  
  cbdbdaba     0     3827     3887     7286  
  cbababdd     0     4006     4871     6123  
  cababdbd     0     4065     3973     6962  
  cabadbbd     0     4419     3048     7533  
  cdabbadb     2     282     5610     9106  
  cbbabdda     3     282     7227     7488  
  cabddabb     3     286     7111     7600  
  cabbadbd     3     876     7250     6871  
  cbddabba     7     1279     7399     6315  
  cbadbdab     9     542     6955     7494  
  cddabbab     9     658     8583     5750  
  cabbabdd     12     1328     7492     6168  
  cdabbabd     15     458     7683     6844  
  cbabddab     26     1020     8762     5192  
  cddabbba     196     733     7941     6130  
  cbaddabb     209     945     8203     5643  
  cdabbbad     212     1088     7182     6518  
  caddabbb     402     1366     6986     6246  

Key
Condition Name Symbol Codimension
 21   U   a   1 
 13   V   b   1 
 23   V   c   2 
 14   V   d   2 
Point Selection

Total time of computation: 582 613.65 GHz-seconds or 6.74 GHz-days on Praxis
1 620 000 Polynomial systems solved
The coefficients of a typical eliminant had 111 digits.
The typical eliminant had size 807 bytes.
This table automatically generated from the data in This File using This Maple Script
Created: Fri Jul 15 15:47:17 CDT 2005