Enum Derivation 

#[non_exhaustive]
pub enum Derivation {
    PlanePlaneLine,
    CylinderPlanePerpendicularCircle,
    CylinderPlaneObliqueEllipse,
    SpherePlaneCircle,
    SphereSphereCircle,
    CylinderCylinderSteinmetzEllipses,
    ParallelCylinderLines,
    CylinderPlaneParallelRulings,
    CoaxialRevolutionCircles,
    RuledQuadricSection,
    TorusAngleSection,
    ConeApexRulings,
    ImplicitTrace,
    PairTrace,
    EllipticalCylinderPlaneSection,
    EllipticalCylinderPlaneRulings,
    ParallelEllipticalCylinderRulings,
    TorusMeridianCircles,
}

The closed-form identity behind an exact intersection curve.

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

PlanePlaneLine

Two non-parallel planes meet in a line along n1 x n2.

CylinderPlanePerpendicularCircle

A plane perpendicular to a cylinder axis cuts a circle of the cylinder’s own radius.

CylinderPlaneObliqueEllipse

A plane oblique to a cylinder axis cuts an ellipse with semi-axes r and r / cos(theta).

SpherePlaneCircle

A plane at signed distance d from a sphere centre cuts a circle of radius sqrt(r^2 - d^2).

SphereSphereCircle

Two spheres meet in a circle in their radical plane.

CylinderCylinderSteinmetzEllipses

Equal-radius cylinders on intersecting axes cut two ellipses.

ParallelCylinderLines

Cylinders with parallel axes meet in one or two axis-parallel lines.

CylinderPlaneParallelRulings

A plane parallel to a cylinder axis cuts one or two rulings.

CoaxialRevolutionCircles

Two coaxial surfaces of revolution meet in circles perpendicular to the shared axis, found by intersecting their meridian profiles.

RuledQuadricSection

A quadric substituted into a ruled carrier (cylinder, elliptical cylinder, or a cone cut by a plane) is quadratic in the ruling parameter at every angle; the curve is a root branch of that quadratic (ADR 0076).

TorusAngleSection

A plane or sphere meets each circle of a torus about its axis where A(v) cos u + B(v) sin u = C(v); the curve is u as a function of the tube angle v (ADR 0076).

ConeApexRulings

A plane through a cone’s apex cuts rays along its rulings, starting at the apex.

ImplicitTrace

The zero set of one surface’s equation read in the other’s parameters, traced into certified monotone cells (ADR 0077): a torus against a cylinder, cone or torus off its axis.

PairTrace

Two B-spline surfaces meet along curves found by splitting Bezier sub-patch pairs until no closed loop can hide in one, seeded where sub-patch edges cross, and followed on both surfaces (ADR 0077).

EllipticalCylinderPlaneSection

A plane not parallel to an elliptical cylinder’s axis cuts the conjugate semi-diameters a (X - Z n.X / n.Z) and b (Y - Z n.Y / n.Z) about the point where the axis pierces it: an ellipse, or a circle where they are perpendicular and equally long (#287).

EllipticalCylinderPlaneRulings

A plane parallel to an elliptical cylinder’s axis cuts one or two rulings, where its trace on the cross-section meets the ellipse (#287).

ParallelEllipticalCylinderRulings

Two cylinders, circular or elliptical, with parallel axes meet in the rulings over the angles where their cross-sections meet: the real roots of the other’s equation along the carrier’s ellipse, a quartic in the half-angle, isolated exactly (#287).

TorusMeridianCircles

A plane containing a torus’s axis cuts the two meridian circles of the tube at the angles where the plane meets the ring (#382).

Trait Implementations

impl Clone for Derivation

fn clone(&self) -> Derivation

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for Derivation

impl Debug for Derivation

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl Eq for Derivation

impl PartialEq for Derivation

fn eq(&self, other: &Derivation) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for Derivation