![]()  | 
An object c of type Sphere_circle is an oriented great circle on the surface of a unit sphere. Such circles correspond to the intersection of an oriented plane (that contains the origin) and the surface of . The orientation of the great circle is that of a counterclockwise walk along the circle as seen from the positive halfspace of the oriented plane.
| 
         | |
| 
    ring type.
 
  | |
| 
         | |
| 
    plane a Sphere_circle lies in.
 
  | |
| 
         | |||
| 
    creates some great circle.
 
  | |||
        
  | |||
| 
    If  and  are
  opposite of each other, then we create the unique great circle on  
  which contains p and q. This circle is oriented such
  that a walk along c meets  just before the shorter segment
  between  and . If  and  are opposite of each other then
  we create any great circle that contains  and .
 
  | |||
| 
         | |||
| 
    creates the
  circle corresponding to the plane h. Precondition: h contains the origin. 
  | |||
| 
         | |||
| 
    creates the circle orthogonal to the vector .
 
  | |||
        
  | |||
| 
    creates a great circle orthogonal to  that contains . Precondition: is not part of . 
  | |||
| 
         | 
         | Returns a sphere circle in the oppostie direction of c. | 
| 
         | 
         | |
| returns true iff c contains p. | ||
| 
         | 
         | returns the plane supporting c. | 
| 
         | 
         | |
| returns the point that is the pole of the hemisphere left of c. | ||
| 
         | 
         | |
| returns true iff c1 and c2 are equal as unoriented circles. | ||