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

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

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 0.381966 0.618034 0.276393 0        0        0        0        0        0        0        0.381966 0.276393 0.236068 0.447214 0.236068 0.381966 0.276393 0.618034 0        0        0        0 0        0       0        0        0        0        0       0        0        
                         0 0 0 0.618034 0        0        0.618034 0.381966 0.276393 0        0        0        0        0.236068 0.447214 0.381966 0.276393 0        0        0        0        0.276393 0.236068 0.381966 1 0        0       0        0        0        0        0       0        0        
                         0 0 0 0        0        0        0.381966 0        0        0.381966 0.276393 0        0        0.381966 0.276393 0        0        0.381966 0.236068 0        0        0.276393 0        0        0 0.105573 1       0        0        0        0        0       0        0        
                         0 0 0 0        0.381966 0        0        0        0        0        0        0.276393 0.381966 0        0        0.381966 0.276393 0        0        0.276393 0        0        0.381966 0.236068 0 0        0       0.381966 0.618034 0.105573 0        0       0        0        
                         0 0 0 0        0        0        0        0.618034 0        0.618034 0        0.723607 0        0        0        0        0        0        0        0        0        0.447214 0.381966 0        0 0.447214 0       1.61803  1        0        0.276393 1.61803 0.723607 0        
                         1 0 0 0        0        0        0        0        0        0        0.723607 0        0.618034 0        0        0        0        0.381966 0        0.447214 0        0        0        0        0 0        1.61803 0        0        0.447214 0        0       0        0.276393 
                         0 1 0 0        0        0        0        0        0.723607 0        0        0        0        0        0        0        0        0        0        0        0        0        0        0.381966 1 0        0       0        0        0.447214 0.276393 0       0        0.447214 
                         0 0 1 0        0        0.723607 0        0        0        0        0        0        0        0        0        0        0        0        0.381966 0        1        0        0        0        0 0.447214 0       0        0        0        0.447214 1       0.723607 0.276393 
                         1 0 0 1        0        0        0        1        0        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 0.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        0.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       0.193124 0      4.22353 0        0       0       0       0       0       0       0       1.58198  0       0        1.77879 0        0.979913 2.30656 1.3969  0       0        1.51872 
                         0.776541 0.320214 0.93418 0      0.972667 0       0         0       0        1.3495 3.31745 0.293671 1.42587 1.77962 1.23085 1.06068 0       3.05166 1.28138 0        7.3186  0.597798 1.3509  0.954094 0.985993 1.44624 0       3.7944  0.306002 1.14899 
                         0        0        3.12332 5.5983 0        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       0.0815211 12.8553 2.10439  0      0       0        0       0       0       1.70477 2.77375 0       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       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  0.381966  0         0.381966  0 -1        1         0.381966  1        -1.61803  -0.618034 -0.618034 0         
                         -4.23607  1        0         0         0.381966  0.381966  0 -0.618034 0.381966  -1.61803  0        -1.61803  0         -0.618034 4.23607   
                         1         0.381966 1         0         0.381966  -0.618034 1 0         0         0.381966  -1.61803 1         0.381966  0         0         
                         1         0        -0.618034 -1.61803  -0.618034 0         0 -0.618034 -2.61803  1         0.236068 0         0.381966  0         -1        
                         -0.618034 0        -0.618034 -0.618034 0         -1.61803  1 0         -0.618034 0         0.381966 -0.618034 0         -0.618034 -0.618034 
                         -0.618034 -1.61803 0         1         0         0         1 -0.618034 0         -0.618034 1        -1.61803  1         0.381966  -0.618034 
                         0         1        0         1         1         1         1 0         1         1         1        0         1         1         1         
                         0         0        0.381966  -1.61803  1         -1.61803  1 1         0         -1.61803  0        -0.618034 -0.618034 -0.618034 1         
                         0         1.38197  1         0         1         0         1 0.381966  -1.61803  0         -1.61803 -1.61803  0.381966  0.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:

  • specificSlackMatrix(String)

For the programmer

The object specificSlackMatrix is a method function.


The source of this document is in /build/reproducible-path/macaulay2-1.26.05+ds/M2/Macaulay2/packages/SlackIdeals.m2:1752:0.