Macaulay2 » Documentation
Packages » SlackIdeals :: specificSlackMatrix
next | previous | forward | backward | up | index | toc

specificSlackMatrix -- creates built-in slack matrices of some polytopes and matroids

Synopsis

Description

Returns a slack matrix of one of the named polytopes and matroids below.

i1 : peek specificSlackMatrix "perles1"
(dimension, 8)

o1 = Matrix{cache => CacheTable{}                                                                                                                                                                                                                                                }
            RawMatrix => 0 0 0 .381966 .618034 .276393 0       0       0       0       0       0       0       .381966 .276393 .236068 .447214 .236068 .381966 .276393 .618034 0       0       0       0 0       0       0       0       0       0       0       0       0       
                         0 0 0 .618034 0       0       .618034 .381966 .276393 0       0       0       0       .236068 .447214 .381966 .276393 0       0       0       0       .276393 .236068 .381966 1 0       0       0       0       0       0       0       0       0       
                         0 0 0 0       0       0       .381966 0       0       .381966 .276393 0       0       .381966 .276393 0       0       .381966 .236068 0       0       .276393 0       0       0 .105573 1       0       0       0       0       0       0       0       
                         0 0 0 0       .381966 0       0       0       0       0       0       .276393 .381966 0       0       .381966 .276393 0       0       .276393 0       0       .381966 .236068 0 0       0       .381966 .618034 .105573 0       0       0       0       
                         0 0 0 0       0       0       0       .618034 0       .618034 0       .723607 0       0       0       0       0       0       0       0       0       .447214 .381966 0       0 .447214 0       1.61803 1       0       .276393 1.61803 .723607 0       
                         1 0 0 0       0       0       0       0       0       0       .723607 0       .618034 0       0       0       0       .381966 0       .447214 0       0       0       0       0 0       1.61803 0       0       .447214 0       0       0       .276393 
                         0 1 0 0       0       0       0       0       .723607 0       0       0       0       0       0       0       0       0       0       0       0       0       0       .381966 1 0       0       0       0       .447214 .276393 0       0       .447214 
                         0 0 1 0       0       .723607 0       0       0       0       0       0       0       0       0       0       0       0       .381966 0       1       0       0       0       0 .447214 0       0       0       0       .447214 1       .723607 .276393 
                         1 0 0 1       0       0       0       1       0       0       0       0       0       0       0       0       0       0       0       0       .618034 0       0       0       1 0       0       1       0       0       0       1.61803 .447214 0       
                         0 1 0 0       1       0       0       0       0       1       0       0       0       1       0       0       0       1       1       0       1       0       0       0       0 0       1.61803 1       .618034 0       0       1       0       0       
                         0 0 1 0       0       0       1       0       0       0       0       0       1       0       0       1       0       0       0       0       0       0       1       1       1 0       1       0       1       0       0       0       0       0       
                         0 0 0 0       0       1       0       0       1       0       1       1       0       0       1       0       1       0       0       1       0       1       0       0       0 1       0       0       0       1       1       0       1       1       

            ring => RR
                      53
                          12
            target => RR
                        53
                          34
            source => RR
                        53
i2 : peek specificSlackMatrix "perles2"
(dimension, 8)

o2 = Matrix{cache => CacheTable{}                                                                                                                                                                                                                                       }
            RawMatrix => 8.01592 12.3895 9.98459 0      0       0       10.0556  0       0       0      0       0       0       0       8.0552  0       0       0       0       0       0       0       0       0       6.08418 0       0       0       0       0       
                         0       2.61201 1.48343 0      0       5.88981 1.07692  0       .193124 0      4.22353 0       0       0       0       0       0       0       0       1.58198 0       0       1.77879 0       .979913 2.30656 1.3969  0       0       1.51872 
                         .776541 .320214 .93418  0      .972667 0       0        0       0       1.3495 3.31745 .293671 1.42587 1.77962 1.23085 1.06068 0       3.05166 1.28138 0       7.3186  .597798 1.3509  .954094 .985993 1.44624 0       3.7944  .306002 1.14899 
                         0       0       3.12332 5.5983 0       0       .786008  0       2.51556 0      4.62053 4.9376  0       0       0       0       3.24017 0       0       2.06082 0       0       0       0       0       0       1.79646 0       0       0       
                         0       0       0       0      5.43926 12.0634 0        0       0       0      0       0       10.2391 10.1162 0       5.54237 0       0       0       0       0       0       0       0       0       0       0       0       0       0       
                         0       0       0       0      0       0       .0815211 12.8553 2.10439 0      0       0       0       0       0       1.70477 2.77375 0       0       .158168 24.1704 0       0       0       0       0       1.78409 5.578   0       1.76326 
                         0       0       0       0      0       0       0        0       7.18693 6.3903 10.5164 13.8854 10.9342 0       0       0       0       0       5.3515  0       0       0       0       4.92949 0       10.4479 0       0       0       0       
                         0       0       0       0      0       0       0        0       0       0      0       9.19894 5.35682 9.20659 2.71395 3.69218 5.98608 0       5.33146 0       37.8997 5.1117  0       5.65514 0       0       0       13.2252 0       0       
                         0       0       0       0      0       0       0        0       0       0      0       0       0       0       0       0       0       18.4504 6.72194 8.19903 84.1558 7.90648 8.87031 0       0       0       0       0       0       0       
                         1.51133 6.2131  0       0      3.09631 0       0        20.5617 0       4.2602 0       0       0       0       0       0       0       9.11228 0       0       0       0       0       0       0       0       0       0       0       0       
                         0       0       0       0      0       0       0        0       0       0      0       0       0       0       0       0       0       0       0       0       0       0       0       9.6277  3.94992 11.1553 7.02255 24.8246 11.3839 7.56903 
                         1.6962  0       0       6.4017 2.49176 0       0        0       0       0      0       0       0       4.35916 0       0       0       6.81618 0       0       0       4.32106 0       0       0       0       0       0       .310109 0       

            ring => RR
                      53
                          12
            target => RR
                        53
                          30
            source => RR
                        53
i3 : peek specificSlackMatrix "barnette"
(dimension, 4)

o3 = Matrix{cache => CacheTable{}      }
            RawMatrix => 1 0 0 0 1 1 0 
                         1 0 0 0 0 1 1 
                         1 0 0 1 0 0 1 
                         1 0 0 1 1 0 0 
                         1 0 1 0 0 0 0 
                         0 1 0 0 1 1 0 
                         0 1 0 0 0 1 1 
                         0 1 0 1 0 0 1 
                         0 1 0 1 1 0 0 
                         0 1 1 0 0 0 0 

            ring => RR
                      53
                          7
            source => RR
                        53
                          10
            target => RR
                        53
i4 : peek specificSlackMatrix "toric-non-graphic"
(dimension, 5)

o4 = Matrix{cache => CacheTable{}        }
            RawMatrix => 0 1 1 0 0 0 0 1 
                         1 1 1 0 0 0 0 0 
                         0 0 1 1 0 0 0 0 
                         0 1 0 0 0 1 0 0 
                         1 0 1 0 0 0 1 0 
                         0 0 1 0 0 0 1 1 
                         0 0 0 0 0 1 1 0 
                         1 1 0 0 1 0 0 0 
                         0 1 0 0 1 0 0 1 
                         0 0 0 1 1 0 0 0 
                         0 0 0 0 1 0 1 1 
                         1 0 0 0 1 0 1 0 

            ring => RR
                      53
                          8
            source => RR
                        53
                          12
            target => RR
                        53
i5 : peek specificSlackMatrix "pu-non-mcmullen"
(dimension, 5)

o5 = Matrix{cache => CacheTable{}            }
            RawMatrix => 0 0 1 0 0 0 1 1 0 0 
                         1 1 1 0 0 0 0 0 0 0 
                         0 0 0 1 1 0 1 0 0 0 
                         0 1 0 1 0 0 0 0 0 1 
                         0 1 1 1 0 0 0 0 1 0 
                         1 0 0 0 1 1 0 0 0 0 
                         0 0 1 0 0 1 0 1 1 0 
                         0 0 0 0 0 1 0 1 0 1 
                         0 0 0 1 1 1 0 0 1 0 

            ring => RR
                      53
                          9
            target => RR
                        53
                          10
            source => RR
                        53
i6 : peek specificSlackMatrix "fano-matroid"
(dimension, 2)

o6 = Matrix{cache => CacheTable{}      }
            RawMatrix => 1 0 1 0 0 1 1 
                         0 0 1 1 1 1 0 
                         0 1 1 0 1 0 1 
                         1 1 1 1 0 0 0 
                         1 0 0 1 1 0 1 
                         1 1 0 0 1 1 0 
                         0 1 0 1 0 1 1 

                       ZZ 7
            source => (--)
                        2
                       ZZ 7
            target => (--)
                        2
                    ZZ
            ring => --
                     2
i7 : peek specificSlackMatrix "complex-matroid"
(dimension, 2)

o7 = Matrix{cache => CacheTable{}                                     }
            RawMatrix => 0  a 1 1    0    1  0   a-1 -a+1 a    1 0    
                         -a 0 1 a    0    0  1   -1  1    -1   0 -a+1 
                         1  0 a 0    -a+1 a  0   -a  1    0    1 1    
                         1  a a 0    0    1  a-1 0   0    1    1 a    
                         a  0 0 -a+1 -a+1 a  -a  0   -a+1 a    1 0    
                         0  1 0 0    a    -a a   1   a-1  -a+1 0 a    
                         0  1 1 1    1    0  1   0   1    0    1 1    
                         a  1 0 -a+1 1    0  0   1   0    1    1 a    

                       QQ[a]
            ring => ----------
                     2
                    a  - a + 1
                      /   QQ[a]  \8
            target => |----------|
                      | 2        |
                      \a  - a + 1/
                      /   QQ[a]  \12
            source => |----------|
                      | 2        |
                      \a  - a + 1/
i8 : peek specificSlackMatrix "nonfano-matroid"
(dimension, 2)

o8 = Matrix{cache => CacheTable{}                }
            RawMatrix => 1  0 1  0  0  1 1  1  1 
                         0  0 1  1  -1 1 2  0  0 
                         0  1 -1 0  1  0 -1 -1 1 
                         -1 1 -1 1  0  0 0  -2 0 
                         1  0 0  -1 1  0 -1 1  1 
                         1  1 0  0  1  1 0  0  2 
                         0  1 0  1  0  1 1  -1 1 

            ring => RR
                      53
                          7
            target => RR
                        53
                          9
            source => RR
                        53
i9 : peek specificSlackMatrix "perles-matroid"
(dimension, 2)

o9 = Matrix{cache => CacheTable{}                                                                                                                        }
            RawMatrix => 0        1        -2.61803 .381966  0        .381966  0 -1       1        .381966  1        -1.61803 -.618034 -.618034 0        
                         -4.23607 1        0        0        .381966  .381966  0 -.618034 .381966  -1.61803 0        -1.61803 0        -.618034 4.23607  
                         1        .381966  1        0        .381966  -.618034 1 0        0        .381966  -1.61803 1        .381966  0        0        
                         1        0        -.618034 -1.61803 -.618034 0        0 -.618034 -2.61803 1        .236068  0        .381966  0        -1       
                         -.618034 0        -.618034 -.618034 0        -1.61803 1 0        -.618034 0        .381966  -.618034 0        -.618034 -.618034 
                         -.618034 -1.61803 0        1        0        0        1 -.618034 0        -.618034 1        -1.61803 1        .381966  -.618034 
                         0        1        0        1        1        1        1 0        1        1        1        0        1        1        1        
                         0        0        .381966  -1.61803 1        -1.61803 1 1        0        -1.61803 0        -.618034 -.618034 -.618034 1        
                         0        1.38197  1        0        1        0        1 .381966  -1.61803 0        -1.61803 -1.61803 .381966  .381966  1        

            ring => RR
                      53
                          9
            target => RR
                        53
                          15
            source => RR
                        53
i10 : peek specificSlackMatrix "perles-matroid-QQ"
(dimension, 2)

o10 = Matrix{cache => CacheTable{}                                                                  }
             RawMatrix => 0    1    a-3  -a+3 0    -a+3 0 -1   1    -a+3 1     a-2  -a+2 -a+2 0     
                          2a-5 1    0    0    -a+3 -a+3 0 -a+2 -a+3 a-2  0     a-2  0    -a+2 -2a+5 
                          1    a    1    0    a    a-1  1 0    0    a    -a+1  1    a    0    0     
                          1    0    a-1  -a+1 a-1  0    0 a-1  -a   1    -2a+1 0    a    0    -1    
                          -a+2 0    -a+2 a-1  0    a-2  1 0    a-1  0    a     -a+2 0    a-1  a-1   
                          -a+2 -a+1 0    1    0    0    1 a-1  0    -a+2 1     -a+1 1    a    a-1   
                          0    1    0    1    1    1    1 0    1    1    1     0    1    1    1     
                          0    0    -a+3 a-2  1    a-2  1 1    0    a-2  0     -a+2 a-1  a-1  1     
                          0    a+1  1    0    1    0    1 a    -a+1 0    -a+1  -a+1 a    a    1     

                        QQ[a]
             ring => -----------
                      2
                     a  - 3a + 1
                       /   QQ[a]   \9
             target => |-----------|
                       | 2         |
                       \a  - 3a + 1/
                       /   QQ[a]   \15
             source => |-----------|
                       | 2         |
                       \a  - 3a + 1/

Ways to use specificSlackMatrix :

For the programmer

The object specificSlackMatrix is a method function.