This directory contains benchmark examples to decompose a pure dimensional solution set into irreducible components. The systems are given in their extrinsic embedded format, the last number in the file name is the dimension.
We have three families of problems:
Description of the test problems:
+----+------------+----------------------------------------------------+ | | file name | description of the polynomial system | +----+------------+----------------------------------------------------+ | 1 | adjmin22e4 | adjacent 2-by-2 minors of a general 2-by-3 matrix | | 2 | adjmin23e5 | adjacent 2-by-2 minors of a general 2-by-4 matrix | | 3 | adjmin24e6 | adjacent 2-by-2 minors of a general 2-by-5 matrix | | 4 | adjmin25e7 | adjacent 2-by-2 minors of a general 2-by-6 matrix | | 5 | adjmin26e8 | adjacent 2-by-2 minors of a general 2-by-7 matrix | | 6 | adjmin27e9 | adjacent 2-by-2 minors of a general 2-by-8 matrix | | 7 | adjmin28eA | adjacent 2-by-2 minors of a general 2-by-9 matrix | | 8 | adjmin29eB | adjacent 2-by-2 minors of a general 2-by-10 matrix | | 9 | adjmin2AeC | adjacent 2-by-2 minors of a general 2-by-11 matrix | | 10 | adjmin2BeD | adjacent 2-by-2 minors of a general 2-by-12 matrix | +----+------------+----------------------------------------------------+ | 11 | cyclic4e1 | cyclic 4-roots problem, defines two quadrics | | 12 | cyclic8e1 | cyclic 8-roots, 8 quadrics + 8 16-degree curves | | 13 | cyclic9e2 | cyclic 9-roots, defines six cubic 2-dim surfaces | +----+------------+----------------------------------------------------+ | 14 | sevenbare1 | seven bar mechanism which permits motion | | 15 | spatburme1 | spatial Burmester problem, body guidance | | 16 | grifdufAe1 | Griffis-Duffy platform, one large degree component | | 17 | grifdufBe1 | Griffis-Duffy platform, components of low degree | +----+------------+----------------------------------------------------+
Characteristics of the test problems:
+----+------------+------+------+------+------+ | | file name | n | dim | deg | #fac | +----+------------+------+------+------+------+ | 1 | adjmin22e4 | 6 | 4 | 4 | 2 | | 2 | adjmin23e5 | 8 | 5 | 8 | 3 | | 3 | adjmin24e6 | 10 | 6 | 16 | 5 | | 4 | adjmin25e7 | 12 | 7 | 32 | 8 | | 5 | adjmin26e8 | 14 | 8 | 64 | 13 | | 6 | adjmin27e9 | 16 | 9 | 128 | 21 | | 7 | adjmin28eA | 18 | 10 | 256 | 34 | | 8 | adjmin29eB | 20 | 11 | 512 | 55 | | 9 | adjmin2AeC | 22 | 12 | 1024 | 89 | | 10 | adjmin2BeD | 24 | 13 | 2048 | 144 | +----+------------+------+------+------+------+ | 11 | cyclic4e1 | 4 | 1 | 4 | 2 | | 12 | cyclic8e1 | 8 | 1 | 144 | 16 | | 13 | cyclic9e2 | 9 | 2 | 18 | 6 | +----+------------+------+------+------+------+ | 14 | sevenbare1 | 12 | 1 | 6 | 1 | | 15 | spatburme1 | 6 | 1 | 20 | 1 | | 16 | grifdufAe1 | 8 | 1 | 40 | 13 | | 17 | grifdufBe1 | 8 | 1 | 40 | 17 | +----+------------+------+------+------+------+ legend: n #variables = dimension of ambient space dim top dimension of solution set deg sum of degrees of all irreducible components #fac number of irreducible components