man.aiju.de 9front man pages

unhandled troff command ..

unhandled troff command .PB

#include <u.h> #include <libc.h> #include <geometry.h>

unhandled troff command .PB

#define DEG 0.01745329251994330 /* π/180 */

unhandled troff command .PB

typedef struct Point2 Point2; typedef struct Point3 Point3; typedef double Matrix[3][3]; typedef double Matrix3[4][4]; typedef struct Quaternion Quaternion; typedef struct RFrame RFrame; typedef struct RFrame3 RFrame3;

unhandled troff command .PB

struct Point2 { double x, y, w; };

unhandled troff command .PB

struct Point3 { double x, y, z, w; };

unhandled troff command .PB

struct Quaternion { double r, i, j, k; };

unhandled troff command .PB

struct RFrame { Point2 p; Point2 bx, by; };

unhandled troff command .PB

struct RFrame3 { Point3 p; Point3 bx, by, bz; };

unhandled troff command .PB

extern Point2 ZP2; extern Point3 ZP3;

unhandled troff command .PB

/* utils */ double flerp(double a, double b, double t) double fberp(double a, double b, double c, Point3 bc) double fclamp(double n, double min, double max)

unhandled troff command .PB

/* Point2 */ Point2 Pt2(double x, double y, double w) Point2 Vec2(double x, double y) Point2 addpt2(Point2 a, Point2 b) Point2 subpt2(Point2 a, Point2 b) Point2 mulpt2(Point2 p, double s) Point2 divpt2(Point2 p, double s) Point2 lerp2(Point2 a, Point2 b, double t) Point2 berp2(Point2 a, Point2 b, Point2 c, Point3 bc) double dotvec2(Point2 a, Point2 b) double vec2len(Point2 v) Point2 normvec2(Point2 v) Point2 centroid(Point2 *pts, ulong npts) Point3 barycoords(Point2 p0, Point2 p1, Point2 p2, Point2 p) int edgeptcmp(Point2 e0, Point2 e1, Point2 p) int ptinpoly(Point2 p, Point2 *pts, ulong npts)

unhandled troff command .PB

/* Point3 */ Point3 Pt3(double x, double y, double z, double w) Point3 Vec3(double x, double y, double z) Point3 addpt3(Point3 a, Point3 b) Point3 subpt3(Point3 a, Point3 b) Point3 mulpt3(Point3 p, double s) Point3 divpt3(Point3 p, double s) Point3 lerp3(Point3 a, Point3 b, double t) Point3 berp3(Point3 a, Point3 b, Point3 c, Point3 bc) double dotvec3(Point3 a, Point3 b) Point3 crossvec3(Point3 a, Point3 b) double vec3len(Point3 v) Point3 normvec3(Point3 v) Point3 centroid3(Point3 *pts, ulong npts) int lineXsphere(Point3 *rp, Point3 p0, Point3 p1, Point3 c, double rad, int isaray) int ptincylinder(Point3 p, Point3 p0, Point3 p1, double r) int ptincone(Point3 p, Point3 p0, Point3 p1, double br)

unhandled troff command .PB

/* Matrix */ void identity(Matrix m) void addm(Matrix a, Matrix b) void subm(Matrix a, Matrix b) void mulm(Matrix a, Matrix b) void smulm(Matrix m, double s) void transposem(Matrix m) double detm(Matrix m) double tracem(Matrix m) double minorm(Matrix m, int row, int col) double cofactorm(Matrix m, int row, int col) void adjm(Matrix m) void invm(Matrix m) Point2 xform(Point2 p, Matrix m)

unhandled troff command .PB

/* Matrix3 */ void identity3(Matrix3 m) void addm3(Matrix3 a, Matrix3 b) void subm3(Matrix3 a, Matrix3 b) void mulm3(Matrix3 a, Matrix3 b) void smulm3(Matrix3 m, double s) void transposem3(Matrix3 m) double detm3(Matrix3 m) double tracem3(Matrix3 m) double minorm3(Matrix3 m, int row, int col) double cofactorm3(Matrix3 m, int row, int col) void adjm3(Matrix3 m) void invm3(Matrix3 m) Point3 xform3(Point3 p, Matrix3 m)

unhandled troff command .PB

/* Quaternion */ Quaternion Quat(double r, double i, double j, double k) Quaternion Quatvec(double r, Point3 v) Quaternion addq(Quaternion a, Quaternion b) Quaternion subq(Quaternion a, Quaternion b) Quaternion mulq(Quaternion q, Quaternion r) Quaternion smulq(Quaternion q, double s) Quaternion sdivq(Quaternion q, double s) double dotq(Quaternion q, Quaternion r) Quaternion invq(Quaternion q) double qlen(Quaternion q) Quaternion normq(Quaternion q) Quaternion slerp(Quaternion q, Quaternion r, double t) Quaternion qsandwich(Quaternion q, Quaternion r) Point3 qsandwichpt3(Quaternion q, Point3 p) Point3 qrotate(Point3 p, Point3 axis, double θ)

unhandled troff command .PB

/* RFrame */ void rframematrix(Matrix, RFrame) void rframematrix3(Matrix3, RFrame3) Point2 rframexform(Point2 p, RFrame rf) Point3 rframexform3(Point3 p, RFrame3 rf) Point2 invrframexform(Point2 p, RFrame rf) Point3 invrframexform3(Point3 p, RFrame3 rf)

unhandled troff command .PB

/* Fmt */ #pragma varargck type "v" Point2 #pragma varargck type "V" Point3 int vfmt(Fmt*) int Vfmt(Fmt*) void GEOMfmtinstall(void)

DESCRIPTION

This library provides routines to operate with homogeneous coordinates in 2D and 3D projective spaces by means of points, matrices, quaternions and frames of reference.

Besides their many mathematical properties and applications, the data structures and algorithms used here to represent these abstractions are specifically tailored to the world of computer graphics and simulators, and so it uses the conventions associated with these fields, such as the right-hand rule for coordinate systems and column vectors for matrix operations.

UTILS

These utility functions provide extra floating-point operations that are not available in the standard libc.

Description  

Performs a linear interpolation by a factor of t between a and b, and returns the result.  

Performs a barycentric interpolation of the values in a, b and c, based on the weights provided by bc.  

Constrains n to a value between min and max, and returns the result.  

Points

A point (x,y,w) in projective space results in the point (x/w,y/w) in Euclidean space. Vectors are represented by setting w to zero, since they don’t belong to any projective plane themselves.

Description  

Constructor function for a Point2 point.  

Constructor function for a Point2 vector.  

Creates a new 2D point out of the sum of a’s and b’s components.  

Creates a new 2D point out of the substraction of a’s by b’s components.  

Creates a new 2D point from multiplying p’s components by the scalar s.  

Creates a new 2D point from dividing p’s components by the scalar s.  

Performs a linear interpolation between the 2D points a and b by a factor of t, and returns the result.  

Performs a barycentric interpolation between the 2D points a, b and c, using the weights in bc.  

Computes the dot product of vectors a and b.  

Computes the length—magnitude—of vector v.  

Normalizes the vector v and returns a new 2D point.  

Returns the geometric center of a collection of 2D points.  

Returns a 3D point that represents the barycentric coordinates of the 2D point p relative to the triangle defined by the first three points.  

Performs a comparison between an edge, defined by a directed line from e0 to e1, and the point p. If the point is to the right of the line, the result is >0; if it’s to the left, the result is <0; otherwise—when the point is on the line—, it returns 0.  

Returns 1 if the 2D point p lies within the npts-vertex polygon defined by pts, 0 otherwise.  

Constructor function for a Point3 point.  

Constructor function for a Point3 vector.  

Creates a new 3D point out of the sum of a’s and b’s components.  

Creates a new 3D point out of the substraction of a’s by b’s components.  

Creates a new 3D point from multiplying p’s components by the scalar s.  

Creates a new 3D point from dividing p’s components by the scalar s.  

Performs a linear interpolation between the 3D points a and b by a factor of t, and returns the result.  

Performs a barycentric interpolation between the 3D points a, b and c, using the weights in bc.  

Computes the dot product of vectors a and b.  

Computes the cross product of vectors a and b.  

Computes the length—magnitude—of vector v.  

Normalizes the vector v and returns a new 3D point.  

Returns the geometric center of a collection of 3D points.  

Finds the intersection between the line defined by p0 and p1 and the sphere with center at c and a radius of rad. If isaray is not zero, the line will be interpreted as a ray directed from p0 to p1. The function returns the number of intersections (up to two) and, if rp is not nil, it is filled with the resulting points.  

Tests if the point p is inside a cylinder with an axis defined by the line between p0 and p1, and a radius r.  

Tests if the point p is inside a cone with its apex at p0 and its base centered at p1, with a radius of br.  

Matrices

Description  

Initializes m into an identity, 3x3 matrix.  

Sums the matrices a and b and stores the result back in a.  

Substracts the matrix a by b and stores the result back in a.  

Multiplies the matrices a and b and stores the result back in a.  

Multiplies every element of m by the scalar s, storing the result in m.  

Transforms the matrix m into its transpose.  

Computes the determinant of m and returns the result.  

Computes the trace of m and returns the result.  

Computes the minor of m and returns the result.  

Computes the cofactor of m and returns the result.  

Transforms the matrix m into its adjoint.  

Transforms the matrix m into its inverse.  

Transforms the point p by the matrix m and returns the new 2D point.  

Initializes m into an identity, 4x4 matrix.  

Sums the matrices a and b and stores the result back in a.  

Substracts the matrix a by b and stores the result back in a.  

Multiplies the matrices a and b and stores the result back in a.  

Multiplies every element of m by the scalar s, storing the result in m.  

Transforms the matrix m into its transpose.  

Computes the determinant of m and returns the result.  

Computes the trace of m and returns the result.  

Computes the minor of m and returns the result.  

Computes the cofactor of m and returns the result.  

Transforms the matrix m into its adjoint.  

Transforms the matrix m into its inverse.  

Transforms the point p by the matrix m and returns the new 3D point.  

Quaternions

Quaternions are an extension of the complex numbers conceived as a tool to analyze 3-dimensional points. They are most commonly used to orient and rotate objects in 3D space.

Description  

Constructor function for a Quaternion.  

Constructor function for a Quaternion that takes the imaginary part in the form of a vector v.  

Creates a new quaternion out of the sum of a’s and b’s components.  

Creates a new quaternion from the substraction of a’s by b’s components.  

Multiplies a and b and returns a new quaternion.  

Multiplies each of the components of q by the scalar s, returning a new quaternion.  

Divides each of the components of q by the scalar s, returning a new quaternion.  

Computes the dot-product of q and r, and returns the result.  

Computes the inverse of q and returns a new quaternion out of it.  

Computes q’s length—magnitude—and returns the result.  

Normalizes q and returns a new quaternion out of it.  

Performs a spherical linear interpolation between the quaternions q and r by a factor of t, and returns the result.  

Returns the result of "sandwiching" q with r, i.e. r’ = qrq⁻¹.  

Same as qsandwich(2), but treating p as a pure quaternion when computing the product, and keeping its projective coordinate (w) intact.  

Returns the result of rotating the point p around the vector axis by θ radians.  

Frames of reference

A frame of reference (or rframe) in a n-dimensional space is made out of n+1 points, one being the origin p, and the remaining being the basis vectors b1,⋯,bn that define the metric within that frame.

Description  

Initializes m as an rframe transformation matrix based on rf.  

Initializes m as an rframe transformation matrix based on rf.  

Transforms the point p, relative to some origin frame of reference O, into the rframe rf. It then returns the new 2D point.  

Transforms the point p, relative to some origin frame of reference O, into the rframe rf. It then returns the new 3D point.  

Transforms the point p, relative to rf, into a point relative to the origin rframe O. It then returns the new 2D point.  

Transforms the point p, relative to rf, into a point relative to the origin rframe O. It then returns the new 3D point.  

EXAMPLES

Rotate a point p by θ, scale it 2x, then translate it by vector v:

Matrix R = {
	cos(θ), -sin(θ), 0,
	sin(θ),  cos(θ), 0,
	0, 0, 1,
}, S = {
	2, 0, 0,
	0, 2, 0,
	0, 0, 1,
}, T = {
	1, 0, v.x,
	0, 1, v.y,
	0, 0, 1,
};

mulm(S, R);
mulm(T, S);
p = xform(p, T); /* p' = T·S·R·p */

Given a space with two observers, A and B, and a point p relative to A, find its location relative to B:

pb = rframexform(invrframexform(p, A), B);

Now let’s say observer C is located relative to A; find the point’s location in C:

pc = rframexform(p, C);

Finally, to obtain its location relative to the space itself (its global position):

pg = invrframexform(p, A);

The following is a common example of an RFrame being used to define the coordinate system of a rio(3) window. It places the origin at the center of the window and sets up an orthonormal basis with the y-axis pointing upwards, to contrast with the window system where y-values grow downwards (see graphics(2)).

RFrame worldrf;

/* from screen... */
Point2
toworld(Point p)
{
	return rframexform(Pt2(p.x,p.y,1), worldrf);
}

/* ...to screen */
Point
fromworld(Point2 p)
{
	p = invrframexform(p, worldrf);
	return Pt(p.x,p.y);
}

void
main(void)
	⋯
	worldrf.p = Pt2(screen->r.min.x+Dx(screen->r)/2,
			screen->r.min.y+Dy(screen->r)/2, 1);
	worldrf.bx = Vec2(1, 0);
	worldrf.by = Vec2(0,-1);
	⋯

SOURCE

/sys/src/libgeometry

SEE

sin(2), floor(2), graphics(2)
Philip J. Schneider, David H. Eberly, “Geometric Tools for Computer Graphics”, Morgan Kaufmann Publishers, 2003.
Jonathan Blow, “Understanding Slerp, Then Not Using it”, The Inner Product, April 2004.
https://www.3dgep.com/understanding-quaternions/
https://motion.cs.illinois.edu/RoboticSystems/CoordinateTransformations.html

BUGS

No care is taken to avoid numeric overflows.

HISTORY

Libgeometry first appeared in Plan 9 from Bell Labs. It was revamped for 9front in January of 2023.