LSSTApplications  17.0+11,17.0+34,17.0+56,17.0+57,17.0+59,17.0+7,17.0-1-g377950a+33,17.0.1-1-g114240f+2,17.0.1-1-g4d4fbc4+28,17.0.1-1-g55520dc+49,17.0.1-1-g5f4ed7e+52,17.0.1-1-g6dd7d69+17,17.0.1-1-g8de6c91+11,17.0.1-1-gb9095d2+7,17.0.1-1-ge9fec5e+5,17.0.1-1-gf4e0155+55,17.0.1-1-gfc65f5f+50,17.0.1-1-gfc6fb1f+20,17.0.1-10-g87f9f3f+1,17.0.1-11-ge9de802+16,17.0.1-16-ga14f7d5c+4,17.0.1-17-gc79d625+1,17.0.1-17-gdae4c4a+8,17.0.1-2-g26618f5+29,17.0.1-2-g54f2ebc+9,17.0.1-2-gf403422+1,17.0.1-20-g2ca2f74+6,17.0.1-23-gf3eadeb7+1,17.0.1-3-g7e86b59+39,17.0.1-3-gb5ca14a,17.0.1-3-gd08d533+40,17.0.1-30-g596af8797,17.0.1-4-g59d126d+4,17.0.1-4-gc69c472+5,17.0.1-6-g5afd9b9+4,17.0.1-7-g35889ee+1,17.0.1-7-gc7c8782+18,17.0.1-9-gc4bbfb2+3,w.2019.22
LSSTDataManagementBasePackage
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 
36 namespace lsst {
37 namespace sphgeom {
38 
46 class Circle : public Region {
47 public:
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 
65  Circle() :
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 
165  Circle clippedTo(UnitVector3d const & x) const {
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 
183  Circle expandedTo(UnitVector3d const & x) const {
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
222  std::unique_ptr<Region> clone() const override {
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  Relationship relate(Region const & r) const override {
236  // Dispatch on the type of r.
237  return invert(r.relate(*this));
238  }
239 
240  Relationship relate(Box const &) const override;
241  Relationship relate(Circle const &) const override;
242  Relationship relate(ConvexPolygon const &) const override;
243  Relationship relate(Ellipse const &) const override;
244 
245  std::vector<uint8_t> encode() const override;
246 
250  return decode(s.data(), s.size());
251  }
252  static std::unique_ptr<Circle> decode(uint8_t const * buffer, size_t n);
254 
255 private:
256  static constexpr size_t ENCODED_SIZE = 41;
257 
258  UnitVector3d _center;
259  double _squaredChordLength;
260  Angle _openingAngle;
261 };
262 
264 
265 }} // namespace lsst::sphgeom
266 
267 #endif // LSST_SPHGEOM_CIRCLE_H_
Circle(UnitVector3d const &c, Angle a)
This constructor creates a circle with center c and opening angle a.
Definition: Circle.h:85
Circle & expandTo(UnitVector3d const &x)
Definition: Circle.cc:120
Box3d getBoundingBox3d() const override
getBoundingBox3d returns a 3-dimensional bounding-box for this region.
Definition: Circle.cc:219
bool intersects(UnitVector3d const &x) const
Definition: Circle.h:144
bool operator!=(Circle const &c) const
Definition: Circle.h:107
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
double getArea() const
getArea returns the area of this circle in steradians.
Definition: Circle.h:205
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
bool operator==(Circle const &c) const
Definition: Circle.h:100
bool isWithin(Circle const &x) const
Definition: Circle.h:152
Circle & clipTo(UnitVector3d const &x)
Definition: Circle.cc:88
Angle getOpeningAngle() const
getOpeningAngle returns the opening angle of this circle - that is, the angle between its center vect...
Definition: Circle.h:128
table::Key< int > a
std::ostream & operator<<(std::ostream &, Angle const &)
Definition: Angle.cc:34
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 complemented() const
complemented returns the closure of the complement of this circle.
Definition: Circle.h:217
Relationship invert(Relationship r)
Given the relationship between two sets A and B (i.e.
Definition: Relationship.h:55
Circle clippedTo(Circle const &x) const
Definition: Circle.h:169
Box represents a rectangle in spherical coordinate space that contains its boundary.
Definition: Box.h:54
T min(T... args)
This file declares a class for representing unit vectors in ℝ³.
Ellipse is an elliptical region on the sphere.
Definition: Ellipse.h:169
std::unique_ptr< Region > clone() const override
clone returns a deep copy of this region.
Definition: Circle.h:222
T data(T... args)
Circle(UnitVector3d const &c, double cl2)
This constructor creates a circle with center c and squared chord length cl2.
Definition: Circle.h:94
Circle getBoundingCircle() const override
getBoundingCircle returns a bounding-circle for this region.
Definition: Circle.h:228
A base class for image defects.
static Circle full()
Definition: Circle.h:52
This file defines an interface for spherical regions.
std::vector< uint8_t > encode() const override
encode serializes this region into an opaque byte string.
Definition: Circle.cc:324
Circle & complement()
complement sets this circle to the closure of its complement.
Definition: Circle.cc:194
Circle clippedTo(UnitVector3d const &x) const
Definition: Circle.h:165
Region is a minimal interface for 2-dimensional regions on the unit sphere.
Definition: Region.h:79
Circle erodedBy(Angle r) const
Definition: Circle.h:202
constexpr double PI
Definition: constants.h:36
bool isWithin(UnitVector3d const &) const
Definition: Circle.h:151
virtual Relationship relate(Region const &) const =0
Circle & erodeBy(Angle r)
Definition: Circle.h:201
Box getBoundingBox() const override
getBoundingBox returns a bounding-box for this region.
Definition: Circle.cc:211
T max(T... args)
solver_t * s
static std::unique_ptr< Circle > decode(std::vector< uint8_t > const &s)
Definition: Circle.h:249
double x
static Circle empty()
Definition: Circle.h:50
Circle is a circular region on the unit sphere that contains its boundary.
Definition: Circle.h:46
bool isFull() const
Definition: Circle.h:114
ConvexPolygon is a closed convex polygon on the unit sphere.
Definition: ConvexPolygon.h:57
Circle expandedTo(Circle const &x) const
Definition: Circle.h:187
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:184
Circle expandedTo(UnitVector3d const &x) const
Definition: Circle.h:183
T size(T... args)
static Angle openingAngleFor(double squaredChordLength)
openingAngleFor computes and returns the angular separation between points in S² that are separated b...
Definition: Circle.cc:52
STL class.
Circle dilatedBy(Angle r) const
Definition: Circle.h:200
STL class.
Angle represents an angle in radians.
Definition: Angle.h:43
UnitVector3d const & getCenter() const
getCenter returns the center of this circle as a unit vector.
Definition: Circle.h:118
static UnitVector3d Z()
Definition: UnitVector3d.h:101
Box3d represents a box in ℝ³.
Definition: Box3d.h:42
Circle(UnitVector3d const &c)
This constructor creates the circle with center c and squared chord length / opening angle of zero...
Definition: Circle.h:76
Circle()
This constructor creates an empty circle.
Definition: Circle.h:65
UnitVector3d is a unit vector in ℝ³ with components stored in double precision.
Definition: UnitVector3d.h:55
static constexpr uint8_t TYPE_CODE
Definition: Circle.h:48
bool isEmpty() const
Definition: Circle.h:109
Relationship relate(Region const &r) const override
Definition: Circle.h:235
STL class.
STL class.
bool intersects(Circle const &x) const
Definition: Circle.h:145
Relationship relate(UnitVector3d const &v) const
Definition: Circle.cc:268
bool isDisjointFrom(UnitVector3d const &x) const
Definition: Circle.h:137