Macaulay2 » Documentation
Packages » Oscillators :: SCT graphs with exotic solutions
next | previous | forward | backward | up | index | toc

SCT graphs with exotic solutions -- finding graphs of small size with exotic solutions

We first construct the ideal $I_G$ for a specific graph $G$ on 5 vertices. We use the 5-cycle as the specific example.

i1 : needsPackage "Oscillators"

o1 = Oscillators

o1 : Package
i2 : needsPackage "NautyGraphs"

o2 = NautyGraphs

o2 : Package
i3 : Gstrs = generateGraphs(5, OnlyConnected => true, MinDegree => 2);
i4 : Gs = Gstrs/stringToGraph

o4 = {Graph{0 => {3, 4}   }, Graph{0 => {3, 4}      }, Graph{0 => {2, 4}   
            1 => {3, 4}            1 => {3, 4}               1 => {3, 4}   
            2 => {3, 4}            2 => {3, 4}               2 => {0, 4}   
            3 => {0, 1, 2}         3 => {0, 1, 2, 4}         3 => {1, 4}   
            4 => {0, 1, 2}         4 => {3, 0, 1, 2}         4 => {2, 0, 3,
     ------------------------------------------------------------------------
       }, Graph{0 => {2, 3}}, Graph{0 => {2, 3, 4}}, Graph{0 => {2, 3, 4}
                1 => {3, 4}         1 => {3, 4}            1 => {3, 4}   
                2 => {0, 4}         2 => {0, 4}            2 => {0, 4}   
                3 => {0, 1}         3 => {0, 1}            3 => {0, 1, 4}
     1}         4 => {2, 1}         4 => {2, 0, 1}         4 => {2, 0, 3,
     ------------------------------------------------------------------------
       }, Graph{0 => {2, 3, 4}   }, Graph{0 => {2, 3, 4}}, Graph{0 => {2, 3,
                1 => {3, 4}               1 => {2, 3, 4}         1 => {2, 3,
                2 => {0, 3, 4}            2 => {0, 1, 4}         2 => {0, 1,
                3 => {2, 0, 1, 4}         3 => {0, 1}            3 => {0, 1,
     1}         4 => {2, 0, 3, 1}         4 => {2, 0, 1}         4 => {2, 0,
     ------------------------------------------------------------------------
     4}   }, Graph{0 => {2, 3, 4}   }, Graph{0 => {1, 2, 3, 4}}}
     4}            1 => {2, 3, 4}            1 => {0, 2, 3, 4}
     4}            2 => {0, 1, 3, 4}         2 => {1, 0, 3, 4}
     4}            3 => {2, 0, 1, 4}         3 => {1, 0, 2, 4}
     1, 3}         4 => {2, 0, 1, 3}         4 => {1, 0, 2, 3}

o4 : List
i5 : printingPrecision = 3

o5 = 3
i6 : for G in Gs list showExoticSolutions G;
warning: some solutions are not regular: {44, 48, 51, 52, 54, 57, 58, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 76, 77, 81, 85, 86, 87, 88, 90, 91}
 -- .381s elapsed
warning: some solutions are not regular: {49, 50, 51, 52, 53, 62, 65, 66, 68, 69, 70, 71, 74, 76, 77, 78, 79, 80, 81, 83, 84, 85, 86, 88, 89, 91, 92, 94, 96, 98}
 -- .354s elapsed
 -- .415s elapsed
 -- .499s elapsed
-- found extra exotic solutions for graph Graph{0 => {2, 3}} --
                                                1 => {3, 4}
                                                2 => {0, 4}
                                                3 => {0, 1}
                                                4 => {2, 1}
+-----+----+----+-----+-----+-----+-----+-----+
|-.809|.309|.309|-.809|-.588|.951 |-.951|.588 |
+-----+----+----+-----+-----+-----+-----+-----+
|1    |1   |1   |1    |0    |0    |0    |0    |
+-----+----+----+-----+-----+-----+-----+-----+
|-.809|.309|.309|-.809|.588 |-.951|.951 |-.588|
+-----+----+----+-----+-----+-----+-----+-----+
-- angles (in degrees), first angle is zero and omitted --
+---+---+---+---+
|216|72 |288|144|
+---+---+---+---+
|0  |0  |0  |0  |
+---+---+---+---+
|144|288|72 |216|
+---+---+---+---+
 -- .541s elapsed
 -- .622s elapsed
warning: some solutions are not regular: {26, 27, 30, 31, 32, 35, 37, 40, 42, 43, 46, 48, 50, 52, 55, 56, 59, 60}
 -- .743s elapsed
warning: some solutions are not regular: {17, 18, 19, 20, 21, 24, 25, 26, 27, 28, 30, 31, 32, 33, 34}
 -- .629s elapsed
 -- .712s elapsed
warning: some solutions are not regular: {32}
 -- .745s elapsed
warning: some solutions are not regular: {41, 42, 44, 45, 46, 47, 49, 50, 52, 54, 55, 56, 61, 64, 67, 68, 69, 71, 74}
 -- .708s elapsed

The source of this document is in Oscillators/Documentation.m2:812:0.