flag-algebra 0.1.9

An implementation of Razborov's flag algebras
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45

<!DOCTYPE html><html><head><title>Report</title>
    <style type="text/css">
      div {
      display: inline-block;
      padding: 10px;
      }
    </style>
</head><body>
<div class="w3-container">
<svg height="100" width="100" xmlns="http://www.w3.org/2000/svg">
<circle cx="91" cy="50" fill="black" r="5" stroke="black"/>
<circle cx="91" cy="50" fill="none" r="7.5" stroke="black" stroke-width="1.5"/>
<circle cx="29.50000000000001" cy="85.50704155516199" fill="black" r="5" stroke="black"/>
<circle cx="29.50000000000001" cy="85.50704155516199" fill="none" r="7.5" stroke="black" stroke-width="1.5"/>
<circle cx="29.499999999999982" cy="14.492958444838024" fill="black" r="5" stroke="black"/>
</svg><p style="text-align:center">0</p></div>
<div class="w3-container">
<svg height="100" width="100" xmlns="http://www.w3.org/2000/svg">
<line stroke="black" stroke-width="4" x1="29.499999999999982" x2="29.50000000000001" y1="14.492958444838024" y2="85.50704155516199"/>
<circle cx="91" cy="50" fill="black" r="5" stroke="black"/>
<circle cx="91" cy="50" fill="none" r="7.5" stroke="black" stroke-width="1.5"/>
<circle cx="29.50000000000001" cy="85.50704155516199" fill="black" r="5" stroke="black"/>
<circle cx="29.50000000000001" cy="85.50704155516199" fill="none" r="7.5" stroke="black" stroke-width="1.5"/>
<circle cx="29.499999999999982" cy="14.492958444838024" fill="black" r="5" stroke="black"/>
</svg><p style="text-align:center">1</p></div>
<div class="w3-container">
<svg height="100" width="100" xmlns="http://www.w3.org/2000/svg">
<line stroke="black" stroke-width="4" x1="29.499999999999982" x2="91" y1="14.492958444838024" y2="50"/>
<circle cx="91" cy="50" fill="black" r="5" stroke="black"/>
<circle cx="91" cy="50" fill="none" r="7.5" stroke="black" stroke-width="1.5"/>
<circle cx="29.50000000000001" cy="85.50704155516199" fill="black" r="5" stroke="black"/>
<circle cx="29.50000000000001" cy="85.50704155516199" fill="none" r="7.5" stroke="black" stroke-width="1.5"/>
<circle cx="29.499999999999982" cy="14.492958444838024" fill="black" r="5" stroke="black"/>
</svg><p style="text-align:center">2</p></div>
<div class="w3-container">
<svg height="100" width="100" xmlns="http://www.w3.org/2000/svg">
<line stroke="black" stroke-width="4" x1="29.499999999999982" x2="91" y1="14.492958444838024" y2="50"/>
<line stroke="black" stroke-width="4" x1="29.499999999999982" x2="29.50000000000001" y1="14.492958444838024" y2="85.50704155516199"/>
<circle cx="91" cy="50" fill="black" r="5" stroke="black"/>
<circle cx="91" cy="50" fill="none" r="7.5" stroke="black" stroke-width="1.5"/>
<circle cx="29.50000000000001" cy="85.50704155516199" fill="black" r="5" stroke="black"/>
<circle cx="29.50000000000001" cy="85.50704155516199" fill="none" r="7.5" stroke="black" stroke-width="1.5"/>
<circle cx="29.499999999999982" cy="14.492958444838024" fill="black" r="5" stroke="black"/>
</svg><p style="text-align:center">3</p></div>
</body></html>