Enumerative problem A214W(X)2X(Y)2 = 6 on Fl(1,2,3;5)



Experimental data
Number of Real Solutions
  Necklaces     0     2     4     6  
  Aabbcdd     0     0     0     25000  
  Addbcba     0     0     0     25000  
  Aacbbdd     0     0     0     25000  
  Adcdbba     0     0     5879     19121  
  Adacbbd     0     0     6452     18548  
  Acddbba     0     0     6497     18503  
  Aaddbbc     0     0     11778     13222  
  Acbddba     0     0     11855     13145  
  Abbddca     0     0     14732     10268  
  Aabdbcd     0     0     16114     8886  
  Abcddba     0     0     16116     8884  
  Adbbdca     0     233     12668     12099  
  Abbdacd     0     302     12037     12661  
  Adbcdba     0     331     14286     10383  
  Addbbac     0     435     4008     20553  
  Adbbdac     0     460     14000     10540  
  Abbddac     0     931     13486     10583  
  Adbcbad     0     944     7215     16841  
  Abbcadd     0     1199     11212     12589  
  Abaddbc     0     1244     8490     15266  
  Acbbadd     0     1360     11406     12234  
  Aacbddb     0     1789     11591     11620  
  Adbacbd     0     1895     11374     11731  
  Adbdbca     0     1954     10470     12576  
  Adbdcba     0     1986     13807     9207  
  Abbdcda     0     2021     9666     13313  
  Adbcbda     0     2112     11635     11253  
  Adbcadb     0     2211     10124     12665  
  Abadcbd     0     2231     11350     11419  
  Acdbbda     0     2258     11221     11521  
  Acbabdd     0     2321     9251     13428  
  Adbbacd     0     2382     5232     17370  
  Abaddcb     0     2460     10390     12150  
  Acddabb     0     2496     6009     16495  
  Abbdadc     0     2501     11456     11043  
  Adabbdc     0     2561     9075     13364  
  Aaddbcb     0     2597     8482     13921  
  Abddcba     0     2627     11170     11203  
  Adbbadc     0     2664     8261     14075  
  Adcbbad     0     2733     6676     15591  
  Abdcdba     0     2816     11239     10945  
  Adcbbda     0     2955     13404     8641  
  Abbacdd     0     3355     2937     18705  
  Abbcdda     0     3413     6917     14670  
  Acbbdad     0     3496     12013     9491  
  Acdbdba     0     3761     12433     8806  
  Abcbadd     0     3776     12364     8860  
  Abbdcad     0     3953     10943     10104  
  Aadcbbd     0     4005     13230     7765  
  Adcbadb     0     4078     13982     6940  
  Abacbdd     0     4170     7691     13139  
  Adacbdb     0     4461     10659     9880  
  Adcbabd     0     4605     12614     7781  
  Addbacb     0     4688     5732     14580  
  Ababcdd     0     4747     7454     12799  
  Abadbdc     0     4831     13292     6877  
  Abcaddb     0     4967     12613     7420  
  Ababddc     0     5050     7316     12634  
  Aadbdbc     0     5323     11053     8624  
  Ababdcd     0     5485     11103     8412  
  Abbadcd     0     5534     8201     11265  
  Abadbcd     0     5652     11716     7632  
  Aadbdcb     0     5694     13914     5392  
  Acdbadb     0     5749     13726     5525  
  Adbabdc     0     5787     12125     7088  
  Adabdbc     0     5863     12478     6659  
  Abcdadb     0     6520     14319     4161  
  Aadcbdb     0     6768     12664     5568  
  Adadbcb     0     7062     11360     6578  
  Aadbcdb     0     7359     10396     7245  
  Abdcbad     0     7572     10585     6843  
  Acdabdb     0     7813     10831     6356  
  Adcabdb     0     8290     10758     5952  
  Aacdbdb     0     8550     11130     5320  
  Acadbdb     0     9626     9921     5453  
  Abbcdad     0     9721     8272     7007  
  Abcdbad     0     10829     10237     3934  
  Abadcdb     1     5745     10896     8358  
  Adbacdb     2     2241     13778     8979  
  Acbadbd     5     3456     15230     6309  
  Adbdacb     7     837     13431     10725  
  Acbdadb     13     1316     12823     10848  
  Abacddb     17     8649     9790     6544  
  Abdcadb     25     3325     14967     6683  
  Abacdbd     28     5571     12950     6451  
  Abddbac     42     2372     13566     9020  
  Adbadcb     64     3895     14278     6763  
  Adbadbc     128     7475     12465     4932  
  Acabdbd     131     5628     11566     7675  
  Acbaddb     306     2485     10823     11386  

Key
Condition Name Symbol Codimension
 214   A214   A   2 
 213   W   a   1 
 132   X   b   1 
 142   X   c   2 
 124   Y   d   1 
Point Selection

Total time of computation: 210 250.62 GHz-seconds or 2.43 GHz-days on rcf1537-8
2 250 000 Polynomial systems solved
The coefficients of a typical eliminant had 58 digits.
The typical eliminant had size 438 bytes.
This table automatically generated from the data in This File using This Maple Script
Created: Fri Jul 15 15:41:44 CDT 2005