# Wolfram Function Repository

Instant-use add-on functions for the Wolfram Language

Function Repository Resource:

Compute expressions for Dupin cyclide surfaces

Contributed by:
Wolfram Staff (original content by Alfred Gray)

ResourceFunction["Cyclide"][ computes the elliptic–hyperbolic cyclide with parameters | |

ResourceFunction["Cyclide"][ computes the parabolic cyclide with parameters | |

ResourceFunction["Cyclide"][ represents an operator form that can be applied to variables |

A Dupin cyclide or cyclide of Dupin is any geometric inversion of a standard torus, cylinder or double cone. Charles Dupin discussed his discovery of cyclides in his 1803 dissertation.

Dupin cyclides are surfaces that are envelopes of spheres. The spheres are then tangent to the cyclides along circles, which are the curvature lines.

The parametrization of elliptic–hyperbolic cyclides is ,
where *a* is the semimajor axis, *c* is the linear eccentricity of the ellipse and *k* is the radius of the generating sphere at the co-vertices of the ellipse (0,±*b*), where .

The parametrization of parabolic cyclides is ,
where *a* determines the shape of the associated parabolas and *k* determines the ratio of the diameters of the two holes.

Elliptic–hyperbolic cyclides are a parametrization of Dupin cyclides of radius *k* whose focal sets are the ellipse and the hyperbola .

Parabolic cyclides are a parametrization of Dupin cyclides of radius *k* whose focal sets are the parabolas {*u*,0,-*u*^{2}/(8 *a*)+*a*+*k* } and {0,*v*,*v*^{2}/(8 *a*)-*a*-*k*}.

Dupin cyclides have also been investigated by A. Cayley and J. C. Maxwell.

Dupin cyclides have applications in computer-aided design (CAD).

Get the equation for a ring elliptic‐hyperbolic cyclide:

In[1]:= |

Out[1]= |

Plot it:

In[2]:= |

Out[2]= |

A horn cyclide:

In[3]:= |

Out[3]= |

Another horn cyclide:

In[4]:= |

Out[4]= |

A spindle cyclide:

In[5]:= |

Out[5]= |

A ring cyclide with no hole:

In[6]:= |

Out[6]= |

A ring parabolic cyclide:

In[7]:= |

Out[7]= |

In[8]:= |

Out[9]= |

The implicit representation of the cyclide:

In[10]:= |

Out[10]= |

Plot the implicit equation and rotate to see the holes:

In[11]:= |

Out[11]= |

A horn parabolic cyclide:

In[12]:= |

Out[13]= |

Another horn parabolic cyclide:

In[14]:= |

Out[15]= |

Compute the focal set for elliptic–hyperbolic cyclides:

In[16]:= |

Out[16]= |

Compute the focal set for the parabolic case:

In[17]:= |

Out[17]= |

Code for generating a cyclide together with its focal curves:

In[18]:= |

The ring cyclide with its focal curves:

In[19]:= |

Out[19]= |

The horn cyclide with its focal curves:

In[20]:= |

Out[20]= |

The spindle cyclide with its focal curves:

In[21]:= |

Out[21]= |

A parallel surface of a ring cyclide is another cyclide:

In[22]:= |

Out[22]= |

In[23]:= |

Out[23]= |

The same cyclide with a parallel surface of negative distance:

In[24]:= |

Out[24]= |

In[25]:= |

Out[25]= |

Modifying parameter *k* by *n* units is equivalent to moving a parallel surface a distance of *n* units:

In[26]:= |

Out[26]= |

Solve the geodesic equations of a ring cyclide:

In[27]:= |

Plot the solutions:

In[28]:= |

Out[28]= |

- 1.0.0 – 14 July 2020

This work is licensed under a Creative Commons Attribution 4.0 International License