The focused linear vocabulary, re-exported for consumers that want to name
its origin explicitly. A line-only consumer should depend on
axiolid-linear directly instead of paying for this aggregate.
One stretch of an ImplicitCurve2: as the free parameter runs from
from to to, the curve is the unique zero of the field for the other
parameter in [low, high], where the field is strictly monotone in it.
A stretch of a field’s zero set, in the parameters of the surface the
field lives on. The parameter t runs over [0, cells.len()]: cell i
covers [i, i + 1], its free parameter moving linearly from from to
to.
A curve in space read in an analytic surface’s parameters: the pcurve
at t is the carrier’s parameters of curve’s point at t, so it
shares the edge’s parameter exactly. This is the pcurve, on the analytic
face, of a section that only the other face’s surface can carry (a
B-spline’s section, ADR 0077): the inverse is in closed form for planes,
ruled surfaces, spheres and tori.
A piecewise polynomial field: on each cell of the grid of u_breaks by
v_breaks, a tensor-product Bernstein polynomial of degree
(u_degree, v_degree) in the cell’s local coordinates s, t in
[0, 1]. Its coefficients bound it (the convex hull property), which is
what makes a trace on it certified.
The displacement of an offset at one place, in its base’s frame:
lateral to the left, vertical along up, longitudinal along the
tangent (ADR 0082’s station offsets).
One piece of a CurvePath: the span [start, end] of a curve in its
station measure, traversed forwards or backwards, optionally carried by
a rigid placement; see the module documentation.
A ruled carrier surface, as the curve needs it: a cylinder
(rx = ry, slope = 0), an elliptical cylinder (slope = 0) or a cone
(rx = ry, slope = tan(semi-angle)), in the same parameterisation as
the matching axiolid_surface family.
A field over the parameter plane: sum c[i][j] B_i(u) B_j(v), with the
bases of Basis along each parameter. The form a plane’s, quadric’s or
torus’s equation takes on an analytic surface.
Where a PathPiece starts or ends when its distance is not stated
(#304): the evaluator resolves it to a distance in the curve’s station
measure; see the
module documentation.