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
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
|
/*
This file contains docstrings for use in the Python bindings.
Do not edit! They were automatically extracted by ../gendoc.sh.
*/
#if defined(__GNUG__)
#pragma GCC diagnostic push
#pragma GCC diagnostic ignored "-Wunused-variable"
#endif
namespace regina::python::doc {
// Docstring regina::python::doc::LensSpace
static const char *LensSpace =
R"doc(Represents a general lens space.
The lens space ``L(p,q)`` is the 3-manifold you get by ``p/q`` Dehn
surgery on the unknot. For instance, ``L(1,0)`` and ``L(1,1)`` are the
3-sphere, ``L(0,1)`` is the product ``S¹ × S²``, and ``L(p,1)`` is the
circle bundle over ``S²`` with Euler class *p*. In ``L(p,q)`` if you
take a generator *g* of ``H_1`` and evaluate the torsion linking form
on it, then ``<g,g> = [± r² q/p]`` in Q/Z where *r* is an integer.
All optional Manifold routines are implemented for this class.
This class supports copying but does not implement separate move
operations, since its internal data is so small that copying is just
as efficient. It implements the C++ Swappable requirement via its own
member and global swap() functions, for consistency with the other
manifold classes.)doc";
namespace LensSpace_ {
// Docstring regina::python::doc::LensSpace_::__cmp
static const char *__cmp =
R"doc(Compares representations of two lens spaces according to an aesthetic
ordering.
The only purpose of this routine is to implement a consistent ordering
of lens space representations. The specific ordering used is purely
aesthetic on the part of the author, and is subject to change in
future versions of Regina.
It does not matter whether the two lens spaces are homeomorphic; this
routine compares the specific _representations_ of these spaces (and
so in particular, different representations of the same lens space
will be ordered differently).
This operator generates all of the usual comparison operators,
including ``<``, ``<=``, ``>``, and ``>=``.
Python:
This spaceship operator ``x <=> y`` is not available, but the
other comparison operators that it generates _are_ available.
Parameter ``rhs``:
the other representation to compare this with.
Returns:
A result that indicates how this and the given lens space
representation should be ordered with respect to each other.)doc";
// Docstring regina::python::doc::LensSpace_::__copy
static const char *__copy = R"doc(Creates a new copy of the given lens space.)doc";
// Docstring regina::python::doc::LensSpace_::__eq
static const char *__eq =
R"doc(Determines whether this and the given lens space have the same
presentation.
Since the presentation is made canonical by the class constructor,
this routine also identifies whether this and the given lens space are
homeomorphic as 3-manifolds. This is in contrast to the comparison
operators for other manifold classes (such as Seifert fibred spaces
and graph manifolds), where the same manifold could have different
presentations that compare as not equal.
Parameter ``compare``:
the lens space with which this should be compared.
Returns:
``True`` if and only if this and the given lens space have the
same presentation (i.e., are homeomorphic).)doc";
// Docstring regina::python::doc::LensSpace_::__init
static const char *__init =
R"doc(Creates a new lens space with the given parameters. See the class
notes for details.
Precondition:
The two given parameters are coprime (have a gcd of 1).
Parameter ``p``:
the first parameter *p* of the lens space L(p,q).
Parameter ``q``:
the second parameter *q* of the lens space L(p,q). Note that there
are no range restrictions whatsoever on this parameter.)doc";
// Docstring regina::python::doc::LensSpace_::global_swap
static const char *global_swap =
R"doc(Swaps the contents of the two given lens spaces.
This global routine simply calls LensSpace::swap(); it is provided so
that LensSpace meets the C++ Swappable requirements.
Parameter ``a``:
the first lens space whose contents should be swapped.
Parameter ``b``:
the second lens space whose contents should be swapped.)doc";
// Docstring regina::python::doc::LensSpace_::p
static const char *p =
R"doc(Returns the first parameter *p* of this lens space L(p,q). See the
class notes for details.
Returns:
the first parameter.)doc";
// Docstring regina::python::doc::LensSpace_::q
static const char *q =
R"doc(Returns the second parameter *q* of this lens space L(p,q). See the
class notes for details.
The value of *q* returned will be the smallest *q* between 0 and *p*-1
inclusive that produces the same 3-manifold as this lens space. This
means it might not be the value of *q* that was used to initialise
this lens space.)doc";
// Docstring regina::python::doc::LensSpace_::swap
static const char *swap =
R"doc(Swaps the contents of this and the given lens space.
Parameter ``other``:
the lens space whose contents should be swapped with this.)doc";
}
} // namespace regina::python::doc
#if defined(__GNUG__)
#pragma GCC diagnostic pop
#endif
|
