-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathtutorial_graver.html
130 lines (113 loc) · 2.5 KB
/
tutorial_graver.html
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
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
<HTML>
<HEAD>
<TITLE>4ti2 -- Computation of Hilbert bases, Graver bases, toric Gröbner bases, and more</TITLE>
</HEAD>
<BODY background="back.jpg"
bgcolor = "#EEEEFF"
TEXT=FFCC00
LINK=FFFFF
VLINK=#FFFCC
ALINK=#000066>
<center>
<table border=0 width=90% cellspacing=5 cellpadding=5>
<tr>
<th>
<font size=6 color=red>4ti2 tutorial</font>
</th>
</tr>
</table>
<table border=5 width=90% cellspacing=5 cellpadding=5>
<tr>
<th width=33%>
<a href="tutorial_input.html">Input</a>
</th>
<th width=34%>
<a href="tutorial_auxiliary.html">Auxiliary functions</a>
</th>
<th width=33%>
<a href="tutorial_output.html">Output management</a>
</th>
</tr>
<tr>
</table>
<table border=5 width=90% cellspacing=5 cellpadding=5>
<tr>
<th width=20%>
<a href="tutorial_hilbert.html">Hilbert bases</a>
</th>
<th width=20%>
<font color=red>Graver bases</font>
</th>
<th width=20%>
<a href="tutorial_groebner.html">Gröbner bases</a>
</th>
<th width=20%>
<a href="tutorial_markov.html">Markov bases</a>
</th>
<th width=20%>
<a href="tutorial_minimize.html">Minimization</a>
</th>
</tr>
</table>
<table border=5 width=90% cellspacing=5 cellpadding=5>
<tr>
<th>
'graver' computes (truncated) Graver bases of lattices L
where L is given<br>
as ker(A) for given matrix A<br>
or<br>
by lattice generators.</th>
</tr>
</table>
<table border=5 width=90% cellspacing=5 cellpadding=5>
<tr>
<th align=left width=70%>
Graver basis from matrix<p>
If present, lattice generators will be read automatically from
"fileName.lat".<p>
If present, upper bound vector will <font color="red">NOT</font> be read automatically from
"fileName.tru".
</th>
<th align=left width=30%>
./graver fileName
</th>
</tr>
<tr>
<th align=left width=70%>
Truncated Graver basis from matrix<p>
If present, lattice generators will be read automatically from
"fileName.lat".<p>
<font color="red">Needs</font> upper bounds in "fileName.tru".
</th>
<th align=left width=30%>
./graver tru fileName
</th>
</tr>
</table>
<table border=5 width=90% cellspacing=5 cellpadding=5>
<tr>
<th align=left width=70%>
Symmetric Graver basis from matrix<p>
Needs file "fileName.sym"!
</th>
<th align=left width=30%>
./graver sym fileName
</th>
</tr>
</table>
<table border=5 width=90% cellspacing=5 cellpadding=5>
<tr>
<th>
Note that the option 'inf 0' surpresses most of the output of 'graver'.
</th>
</tr>
</table>
<table border=0 width=90% cellspacing=5 cellpadding=5>
<tr>
<th align=right>
<a href="http://www.4ti2.de">back to www.4ti2.de</a>
</th>
</tr>
</table>
</center>
</BODY>