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: experimental computation over inexact field begun
--          results not reliable (one warning given per session)
 -- .434s elapsed
 -- .496s elapsed
 -- .516s elapsed
 -- .631s elapsed
 -- .741s elapsed
 -- .804s elapsed
 -- .977s elapsed
 -- .795s elapsed
 -- .877s elapsed
 -- .988s elapsed
 -- .987s elapsed
warning: some solutions are not regular: {40, 41, 43, 44, 45, 46, 47, 48, 49, 50, 51, 53, 54, 55, 59, 60, 68, 69, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 85, 86, 87, 88, 89, 90}
warning: some solutions are not regular: {50, 53, 55, 56, 57, 58, 60, 61, 64, 69, 70, 72, 73, 74, 75, 76, 79, 80, 83, 84, 87, 89, 90, 94, 95, 96, 98, 99, 100, 101}
-- 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 --
+---+---+---+---+
|144|288|72 |216|
+---+---+---+---+
|0  |0  |0  |0  |
+---+---+---+---+
|216|72 |288|144|
+---+---+---+---+
warning: some solutions are not regular: {24, 25, 26, 27, 30, 34, 38, 42, 44, 46, 47, 48, 50, 51, 55, 57}
warning: some solutions are not regular: {19, 20, 21, 22, 23, 24, 25, 26, 28, 29, 30, 31, 32, 34, 35, 36}
warning: some solutions are not regular: {32, 33}
warning: some solutions are not regular: {34, 38, 44, 48, 50, 51, 52, 57, 60, 61, 63, 66, 68, 70, 74}

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