99
99
<glossentry id="angles-tautonly">
100
<glossterm><guilabel>Taut structures only</guilabel></glossterm>
100
<glossterm><guilabel>Taut angle structures only</guilabel></glossterm>
103
103
If unchecked (the default), ®ina; will enumerate all vertex
107
107
If checked, ®ina; will only enumerate
108
<emphasis>taut structures</emphasis>.
108
<emphasis>taut angle structures</emphasis>.
109
109
These are angle strutures in which every angle is either 0 or π.
110
110
There are only ever finitely many taut structures (possibly
111
111
none at all), and if you check this box then ®ina; will enumerate
115
Note that we use the Kang-Rubinstein definition of taut angle
116
structure <xref linkend="bib-kang-taut"/>,
117
which is based on the angles alone. We do not use Lackenby's
118
definition <xref linkend="bib-lackenby-taut"/>,
119
which also requires consistent coorientations on the 2-faces of
186
194
<glossentry id="angles-proptaut">
187
195
<glossterm><guilabel>Taut</guilabel></glossterm>
189
Indicates a taut angle structure (all of its angles are
190
equal to either 0 or π).
198
Indicates a taut angle structure (all of its angles are
199
equal to either 0 or π).
202
Here we use the Kang-Rubinstein definition of taut angle
203
structure <xref linkend="bib-kang-taut"/>,
204
which is based on the angles alone. We do not use Lackenby's
205
definition <xref linkend="bib-lackenby-taut"/>,
206
which also requires consistent coorientations on the 2-faces of
210
Note that some taut structures may be listed as
211
<link linkend="angles-propveering">veering</link> instead
212
(which indicates a stronger combinatorial structure).
216
<glossentry id="angles-propveering">
217
<glossterm><guilabel>Veering</guilabel></glossterm>
220
Indicates a veering structure.
221
This is a taut structure with additional (and very strong)
222
combinatorial constraints; for details see
223
<xref linkend="bib-hodgson-veering"/>.
226
Note that we use the Hodgson et al. definition
227
of veering structure <xref linkend="bib-hodgson-veering"/>.
228
This is slightly more general than Agol's original definition
229
<xref linkend="bib-agol-ideal"/>, in the same sense that
230
the Kang-Rubinstein definition of taut angle structure is
231
slightly more general than Lackenby's. In particular, we do not
232
require consistent coorientations on the 2-faces of the triangulation.
194
237
If an angle structure is neither strict nor taut, the