Name

spantaut — Does an angle structure list span a taut structure?

Synopsis

Content Model
spantaut ::=
Attributes
NameType
valueCDATA (required)

Added in Regina 4.90

Description

A spantaut element stores whether or not any angle structure in the parent list is a taut angle structure. Because taut structures always appear as vertices of the angle structure solution space, this is equivalent to knowing whether any convex combination of the angle structures in the parent list is a taut angle structure.

A taut angle structure contains only angles 0 and π.

Parents

The following elements contain spantaut: angles.

Children

Element spantaut has no children.

Attributes

value

Either T or F, according to whether the parent list does or does not span a taut angle structure.