regina::Example< dim > Class Template Reference

This class offers static routines for constructing a variety of sample dim-dimensional triangulations. More...

#include <triangulation/generic.h>

Inheritance diagram for regina::Example< dim >:

Static Public Member Functions
static Triangulation< dim >	sphere ()
	Closed Triangulations. More...
static Triangulation< dim >	simplicialSphere ()
	Returns the standard (dim+2)-simplex triangulation of the dim-sphere as the boundary of a (dim+1)-simplex. More...
static Triangulation< dim >	sphereBundle ()
	Returns a two-simplex triangulation of the product space S^(dim-1) x S^1. More...
static Triangulation< dim >	twistedSphereBundle ()
	Returns a two-simplex triangulation of the twisted product space S^(dim-1) x~ S^1. More...
static Triangulation< dim >	ball ()
	Bounded Triangulations. More...
static Triangulation< dim >	ballBundle ()
	Returns a triangulation of the product space B^(dim-1) x S^1. More...
static Triangulation< dim >	twistedBallBundle ()
	Returns a triangulation of the twisted product space B^(dim-1) x~ S^1. More...
static Triangulation< dim >	doubleCone (const Triangulation< dim-1 > &base)
	Returns a double cone over the given (dim-1)-dimensional triangulation. More...
static Triangulation< dim >	singleCone (const Triangulation< dim-1 > &base)
	Returns a single cone over the given (dim-1)-dimensional triangulation. More...

Detailed Description

template<int dim>
class regina::Example< dim >

This class offers static routines for constructing a variety of sample dim-dimensional triangulations.

These triangulations may be useful for testing new code, or for simply getting a feel for how Regina works.

In higher dimensions, only a handful of triangulations are available (in contrast to the 3-dimensional class Example<3>, which offers many interesting examples). The authors hope to expand this list in future releases of Regina.

The sample triangulations offered here may prove especially useful in Regina's scripting interface, where working with pre-existing files is more complicated than in the GUI.

For Regina's standard dimensions, this template is specialised and offers many more example triangulations. In order to use these specialised classes, you will need to include the corresponding headers (e.g., triangulation/example2.h for dim = 2, or triangulation/example3.h for dim = 3).

Python

Python does not support templates. Instead this class can be used by appending the dimension as a suffix (e.g., Example2 and Example3 for dimensions 2 and 3).

Template Parameters

dim	the dimension of the example triangulations to construct. This must be between 2 and 15 inclusive.

Member Function Documentation

ball()

template<int dim>

Triangulation< dim > regina::detail::ExampleBase< dim >::ball

staticinherited

Bounded Triangulations.

Returns a one-simplex triangulation of the dim-ball.

Returns

a one-simplex dim-ball.

ballBundle()

template<int dim>

Triangulation< dim > regina::detail::ExampleBase< dim >::ballBundle

staticinherited

Returns a triangulation of the product space B^(dim-1) x S^1.

This will use one simplex in odd dimensions, or two simplices in even dimensions.

Returns

the product B^(dim-1) x S^1.

doubleCone()

Triangulation< dim > regina::detail::ExampleFromLowDim< dim, available >::doubleCone ( const Triangulation< dim-1 > &  base )

staticinherited

Returns a double cone over the given (dim-1)-dimensional triangulation.

If the given triangulation represents the manifold M, then this returns an ideal triangulation of the product M x I (with two ideal boundary components). A copy of the original triangulation base can be found at the centre of this construction, formed from the dim-simplices that sit between the two ideal vertices.

Note that, as a special case, if M is either a sphere or a ball, then this routine returns a (dim)-sphere or a (dim)-ball (since "ideal spheres" and "ideal balls" just become regular internal and boundary vertices respectively).

This construction is essentially the suspension of the triangulation base. We do not call it this however, since from a topological point of view, to form the ideal triangulation of M x I we "remove" the vertices at the apex of each cone.

Warning

If the given (dim-1)-dimensional triangulation has any boundary whatsoever (either real or ideal), then unless it is a (dim-1)-ball, you will obtain an invalid dim-manifold triangulation as a result.

Returns

a double cone over the given triangulation.

simplicialSphere()

template<int dim>

Triangulation< dim > regina::detail::ExampleBase< dim >::simplicialSphere

staticinherited

Returns the standard (dim+2)-simplex triangulation of the dim-sphere as the boundary of a (dim+1)-simplex.

Returns

the standard simplicial dim-sphere.

singleCone()

Triangulation< dim > regina::detail::ExampleFromLowDim< dim, available >::singleCone ( const Triangulation< dim-1 > &  base )

staticinherited

Returns a single cone over the given (dim-1)-dimensional triangulation.

If the given triangulation represents the manifold M, then this returns a triangulation of the product M x I that has one real boundary component and one ideal boundary component. The triangulation of the real boundary component will be identical to the original (dim-1)-dimensional triangulation base.

Warning

If the given (dim-1)-dimensional triangulation has any boundary whatsoever (either real or ideal), then unless it is a (dim-1)-ball, you will obtain an invalid dim-manifold triangulation as a result.

Returns

a single cone over the given triangulation.

sphere()

template<int dim>

Triangulation< dim > regina::detail::ExampleBase< dim >::sphere

staticinherited

Closed Triangulations.

Returns a two-simplex triangulation of the dim-sphere.

Returns

a two-simplex dim-sphere.

sphereBundle()

template<int dim>

Triangulation< dim > regina::detail::ExampleBase< dim >::sphereBundle

staticinherited

Returns a two-simplex triangulation of the product space S^(dim-1) x S^1.

Returns

the product S^(dim-1) x S^1.

twistedBallBundle()

template<int dim>

Triangulation< dim > regina::detail::ExampleBase< dim >::twistedBallBundle

staticinherited

Returns a triangulation of the twisted product space B^(dim-1) x~ S^1.

This will use one simplex in even dimensions, or two simplices in odd dimensions.

Returns

the twisted product B^(dim-1) x~ S^1.

twistedSphereBundle()

template<int dim>

Triangulation< dim > regina::detail::ExampleBase< dim >::twistedSphereBundle

staticinherited

Returns a two-simplex triangulation of the twisted product space S^(dim-1) x~ S^1.

Returns

the twisted product S^(dim-1) x~ S^1.

---

The documentation for this class was generated from the following file:

• triangulation/example.h