LSST Applications g0b6bd0c080+a72a5dd7e6,g1182afd7b4+2a019aa3bb,g17e5ecfddb+2b8207f7de,g1d67935e3f+06cf436103,g38293774b4+ac198e9f13,g396055baef+6a2097e274,g3b44f30a73+6611e0205b,g480783c3b1+98f8679e14,g48ccf36440+89c08d0516,g4b93dc025c+98f8679e14,g5c4744a4d9+a302e8c7f0,g613e996a0d+e1c447f2e0,g6c8d09e9e7+25247a063c,g7271f0639c+98f8679e14,g7a9cd813b8+124095ede6,g9d27549199+a302e8c7f0,ga1cf026fa3+ac198e9f13,ga32aa97882+7403ac30ac,ga786bb30fb+7a139211af,gaa63f70f4e+9994eb9896,gabf319e997+ade567573c,gba47b54d5d+94dc90c3ea,gbec6a3398f+06cf436103,gc6308e37c7+07dd123edb,gc655b1545f+ade567573c,gcc9029db3c+ab229f5caf,gd01420fc67+06cf436103,gd877ba84e5+06cf436103,gdb4cecd868+6f279b5b48,ge2d134c3d5+cc4dbb2e3f,ge448b5faa6+86d1ceac1d,gecc7e12556+98f8679e14,gf3ee170dca+25247a063c,gf4ac96e456+ade567573c,gf9f5ea5b4d+ac198e9f13,gff490e6085+8c2580be5c,w.2022.27
LSST Data Management Base Package
Circle.h
Go to the documentation of this file.
1/*
2 * LSST Data Management System
3 * Copyright 2014-2015 AURA/LSST.
4 *
5 * This product includes software developed by the
6 * LSST Project (http://www.lsst.org/).
7 *
8 * This program is free software: you can redistribute it and/or modify
9 * it under the terms of the GNU General Public License as published by
10 * the Free Software Foundation, either version 3 of the License, or
11 * (at your option) any later version.
12 *
13 * This program is distributed in the hope that it will be useful,
14 * but WITHOUT ANY WARRANTY; without even the implied warranty of
15 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16 * GNU General Public License for more details.
17 *
18 * You should have received a copy of the LSST License Statement and
19 * the GNU General Public License along with this program. If not,
20 * see <https://www.lsstcorp.org/LegalNotices/>.
21 */
22
23#ifndef LSST_SPHGEOM_CIRCLE_H_
24#define LSST_SPHGEOM_CIRCLE_H_
25
29
30#include <iosfwd>
31
32#include "Region.h"
33#include "UnitVector3d.h"
34
35
36namespace lsst {
37namespace sphgeom {
38
46class Circle : public Region {
47public:
48 static constexpr uint8_t TYPE_CODE = 'c';
49
50 static Circle empty() { return Circle(); }
51
52 static Circle full() { return Circle(UnitVector3d::Z(), 4.0); }
53
57 static double squaredChordLengthFor(Angle openingAngle);
58
62 static Angle openingAngleFor(double squaredChordLength);
63
66 _center(UnitVector3d::Z()),
67 _squaredChordLength(-1.0),
68 _openingAngle(-1.0)
69 {}
70
76 explicit Circle(UnitVector3d const & c) :
77 _center(c),
78 _squaredChordLength(0.0),
79 _openingAngle(0.0)
80 {}
81
85 Circle(UnitVector3d const & c, Angle a) :
86 _center(c),
87 _squaredChordLength(squaredChordLengthFor(a)),
88 _openingAngle(a)
89 {}
90
94 Circle(UnitVector3d const & c, double cl2) :
95 _center(c),
96 _squaredChordLength(cl2),
97 _openingAngle(openingAngleFor(cl2))
98 {}
99
100 bool operator==(Circle const & c) const {
101 return (isEmpty() && c.isEmpty()) ||
102 (isFull() && c.isFull()) ||
103 (_center == c._center &&
104 _squaredChordLength == c._squaredChordLength &&
105 _openingAngle == c._openingAngle);
106 }
107 bool operator!=(Circle const & c) const { return !(*this == c); }
108
109 bool isEmpty() const {
110 // Return true when _squaredChordLength is negative or NaN.
111 return !(_squaredChordLength >= 0.0);
112 }
113
114 bool isFull() const { return _squaredChordLength >= 4.0; }
115
118 UnitVector3d const & getCenter() const { return _center; }
119
123 double getSquaredChordLength() const { return _squaredChordLength; }
124
128 Angle getOpeningAngle() const { return _openingAngle; }
129
132 bool contains(Circle const & x) const;
133
137 bool isDisjointFrom(UnitVector3d const & x) const { return !contains(x); }
138 bool isDisjointFrom(Circle const & x) const;
140
144 bool intersects(UnitVector3d const & x) const { return contains(x); }
145 bool intersects(Circle const & x) const { return !isDisjointFrom(x); }
147
151 bool isWithin(UnitVector3d const &) const { return isEmpty(); }
152 bool isWithin(Circle const & x) const { return x.contains(*this); }
154
158 Circle & clipTo(UnitVector3d const & x);
159 Circle & clipTo(Circle const & x);
161
166 return Circle(*this).clipTo(x);
167 }
168
169 Circle clippedTo(Circle const & x) const {
170 return Circle(*this).clipTo(x);
171 }
173
176 Circle & expandTo(UnitVector3d const & x);
177 Circle & expandTo(Circle const & x);
179
184 return Circle(*this).expandTo(x);
185 }
186
187 Circle expandedTo(Circle const & x) const {
188 return Circle(*this).expandTo(x);
189 }
191
199 Circle & dilateBy(Angle r);
200 Circle dilatedBy(Angle r) const { return Circle(*this).dilateBy(r); }
201 Circle & erodeBy(Angle r) { return dilateBy(-r); }
202 Circle erodedBy(Angle r) const { return dilatedBy(-r); }
203
205 double getArea() const {
206 return PI * std::max(0.0, std::min(_squaredChordLength, 4.0));
207 }
208
214 Circle & complement();
215
217 Circle complemented() const { return Circle(*this).complement(); }
218
219 Relationship relate(UnitVector3d const & v) const;
220
221 // Region interface
223 return std::unique_ptr<Circle>(new Circle(*this));
224 }
225
226 Box getBoundingBox() const override;
227 Box3d getBoundingBox3d() const override;
228 Circle getBoundingCircle() const override { return *this; }
229
230 bool contains(UnitVector3d const & v) const override {
231 return isFull() ||
232 (v - _center).getSquaredNorm() <= _squaredChordLength;
233 }
234
235 using Region::contains;
236
237 Relationship relate(Region const & r) const override {
238 // Dispatch on the type of r.
239 return invert(r.relate(*this));
240 }
241
242 Relationship relate(Box const &) const override;
243 Relationship relate(Circle const &) const override;
244 Relationship relate(ConvexPolygon const &) const override;
245 Relationship relate(Ellipse const &) const override;
246
247 std::vector<uint8_t> encode() const override;
248
252 return decode(s.data(), s.size());
253 }
254 static std::unique_ptr<Circle> decode(uint8_t const * buffer, size_t n);
256
257private:
258 static constexpr size_t ENCODED_SIZE = 41;
259
260 UnitVector3d _center;
261 double _squaredChordLength;
262 Angle _openingAngle;
263};
264
265std::ostream & operator<<(std::ostream &, Circle const &);
266
267}} // namespace lsst::sphgeom
268
269#endif // LSST_SPHGEOM_CIRCLE_H_
double x
This file defines an interface for spherical regions.
table::Key< int > a
This file declares a class for representing unit vectors in ℝ³.
Angle represents an angle in radians.
Definition: Angle.h:43
Box3d represents a box in ℝ³.
Definition: Box3d.h:42
Box represents a rectangle in spherical coordinate space that contains its boundary.
Definition: Box.h:54
Circle is a circular region on the unit sphere that contains its boundary.
Definition: Circle.h:46
bool contains(Circle const &x) const
contains returns true if the intersection of this circle and x is equal to x.
Definition: Circle.cc:64
static Angle openingAngleFor(double squaredChordLength)
openingAngleFor computes and returns the angular separation between points in S² that are separated b...
Definition: Circle.cc:52
bool isEmpty() const
Definition: Circle.h:109
bool isWithin(Circle const &x) const
Definition: Circle.h:152
Box getBoundingBox() const override
getBoundingBox returns a bounding-box for this region.
Definition: Circle.cc:214
static Circle empty()
Definition: Circle.h:50
Circle clippedTo(UnitVector3d const &x) const
Definition: Circle.h:165
Circle & clipTo(UnitVector3d const &x)
Definition: Circle.cc:91
bool operator==(Circle const &c) const
Definition: Circle.h:100
bool operator!=(Circle const &c) const
Definition: Circle.h:107
std::unique_ptr< Region > clone() const override
clone returns a deep copy of this region.
Definition: Circle.h:222
double getArea() const
getArea returns the area of this circle in steradians.
Definition: Circle.h:205
Circle & dilateBy(Angle r)
If r is positive, dilateBy increases the opening angle of this circle to include all points within an...
Definition: Circle.cc:187
static Circle full()
Definition: Circle.h:52
bool isWithin(UnitVector3d const &) const
Definition: Circle.h:151
static std::unique_ptr< Circle > decode(std::vector< uint8_t > const &s)
Definition: Circle.h:251
Circle expandedTo(UnitVector3d const &x) const
Definition: Circle.h:183
Circle(UnitVector3d const &c, Angle a)
This constructor creates a circle with center c and opening angle a.
Definition: Circle.h:85
bool intersects(Circle const &x) const
Definition: Circle.h:145
bool isFull() const
Definition: Circle.h:114
std::vector< uint8_t > encode() const override
encode serializes this region into an opaque byte string.
Definition: Circle.cc:332
Circle dilatedBy(Angle r) const
Definition: Circle.h:200
bool isDisjointFrom(UnitVector3d const &x) const
Definition: Circle.h:137
Circle(UnitVector3d const &c, double cl2)
This constructor creates a circle with center c and squared chord length cl2.
Definition: Circle.h:94
Circle(UnitVector3d const &c)
This constructor creates the circle with center c and squared chord length / opening angle of zero.
Definition: Circle.h:76
Relationship relate(UnitVector3d const &v) const
Definition: Circle.cc:271
Circle & erodeBy(Angle r)
Definition: Circle.h:201
double getSquaredChordLength() const
getSquaredChordLength returns the squared length of chords between the circle center and points on th...
Definition: Circle.h:123
bool contains(UnitVector3d const &v) const override
contains tests whether the given unit vector is inside this region.
Definition: Circle.h:230
Angle getOpeningAngle() const
getOpeningAngle returns the opening angle of this circle - that is, the angle between its center vect...
Definition: Circle.h:128
UnitVector3d const & getCenter() const
getCenter returns the center of this circle as a unit vector.
Definition: Circle.h:118
Box3d getBoundingBox3d() const override
getBoundingBox3d returns a 3-dimensional bounding-box for this region.
Definition: Circle.cc:222
Circle clippedTo(Circle const &x) const
Definition: Circle.h:169
bool intersects(UnitVector3d const &x) const
Definition: Circle.h:144
Circle & complement()
complement sets this circle to the closure of its complement.
Definition: Circle.cc:197
Circle & expandTo(UnitVector3d const &x)
Definition: Circle.cc:123
Circle()
This constructor creates an empty circle.
Definition: Circle.h:65
Circle getBoundingCircle() const override
getBoundingCircle returns a bounding-circle for this region.
Definition: Circle.h:228
static double squaredChordLengthFor(Angle openingAngle)
squaredChordLengthFor computes and returns the squared chord length between points in S² that are sep...
Definition: Circle.cc:41
Circle expandedTo(Circle const &x) const
Definition: Circle.h:187
Circle complemented() const
complemented returns the closure of the complement of this circle.
Definition: Circle.h:217
static constexpr uint8_t TYPE_CODE
Definition: Circle.h:48
Relationship relate(Region const &r) const override
Definition: Circle.h:237
Circle erodedBy(Angle r) const
Definition: Circle.h:202
ConvexPolygon is a closed convex polygon on the unit sphere.
Definition: ConvexPolygon.h:57
Ellipse is an elliptical region on the sphere.
Definition: Ellipse.h:170
Region is a minimal interface for 2-dimensional regions on the unit sphere.
Definition: Region.h:79
virtual Relationship relate(Region const &) const =0
virtual bool contains(UnitVector3d const &) const =0
contains tests whether the given unit vector is inside this region.
UnitVector3d is a unit vector in ℝ³ with components stored in double precision.
Definition: UnitVector3d.h:55
static UnitVector3d Z()
Definition: UnitVector3d.h:101
T data(T... args)
T max(T... args)
T min(T... args)
std::ostream & operator<<(std::ostream &, Angle const &)
Definition: Angle.cc:34
constexpr double PI
Definition: constants.h:36
Relationship invert(Relationship r)
Given the relationship between two sets A and B (i.e.
Definition: Relationship.h:55
A base class for image defects.
T size(T... args)