@fluixi/utils 1.0.0-alpha.53

package/dist/lib/maths/types/advanced.d.ts

@@ -0,0 +1,357 @@
+/**
+ * Advanced mathematical type definitions.
+ * @module AdvancedMathTypes
+ */
+import { Positive } from "./basic.js";
+/**
+ * Represents a 2D vector with x and y components.
+ */
+export type Vector2D = {
+    readonly x: number;
+    readonly y: number;
+};
+/**
+ * Represents a 3D vector with x, y, and z components.
+ */
+export type Vector3D = {
+    readonly x: number;
+    readonly y: number;
+    readonly z: number;
+};
+/**
+ * Represents a 4D vector (e.g., for quaternions or RGBA).
+ */
+export type Vector4D = {
+    readonly x: number;
+    readonly y: number;
+    readonly z: number;
+    readonly w: number;
+};
+/**
+ * Represents an n-dimensional vector.
+ */
+export type Vector<N extends number, T = number> = {
+    readonly components: readonly T[];
+    readonly length: N;
+};
+/**
+ * Represents a mathematical matrix with rows and columns.
+ */
+export type Matrix<Rows extends number, Cols extends number, T = number> = {
+    readonly rows: Rows;
+    readonly columns: Cols;
+    readonly data: readonly (readonly T[])[];
+};
+/**
+ * Represents a square matrix (rows = columns).
+ */
+export type SquareMatrix<N extends number, T = number> = Matrix<N, N, T>;
+/**
+ * Represents a complex number with real and imaginary parts.
+ */
+export type ComplexNumber = {
+    readonly real: number;
+    readonly imag: number;
+};
+/**
+ * Represents a quaternion (4D complex number).
+ */
+export type Quaternion = {
+    readonly w: number;
+    readonly x: number;
+    readonly y: number;
+    readonly z: number;
+};
+/**
+ * Represents a mathematical range [start, end].
+ */
+export type RangeInclusive<Start extends number, End extends number> = readonly [start: Start, end: End];
+/**
+ * Represents an open interval (start, end).
+ */
+export type OpenInterval<Start extends number, End extends number> = {
+    readonly start: Start;
+    readonly end: End;
+    readonly inclusiveStart: false;
+    readonly inclusiveEnd: false;
+};
+/**
+ * Represents a closed interval [start, end].
+ */
+export type ClosedInterval<Start extends number, End extends number> = {
+    readonly start: Start;
+    readonly end: End;
+    readonly inclusiveStart: true;
+    readonly inclusiveEnd: true;
+};
+/**
+ * Represents a half-open interval (start, end] or [start, end).
+ */
+export type HalfOpenInterval<Start extends number, End extends number> = {
+    readonly start: Start;
+    readonly end: End;
+    readonly inclusiveStart: boolean;
+    readonly inclusiveEnd: boolean;
+} & ({
+    readonly inclusiveStart: true;
+    readonly inclusiveEnd: false;
+} | {
+    readonly inclusiveStart: false;
+    readonly inclusiveEnd: true;
+});
+/**
+ * Union type for all interval types.
+ */
+export type Interval<Start extends number = number, End extends number = number> = OpenInterval<Start, End> | ClosedInterval<Start, End> | HalfOpenInterval<Start, End>;
+/**
+ * Represents a mathematical fraction with numerator and denominator.
+ */
+export type Fraction<N extends number = number, D extends number = number> = D extends 0 ? never : {
+    readonly numerator: N;
+    readonly denominator: D;
+};
+/**
+ * Represents a simplified fraction in lowest terms.
+ */
+export type SimplifiedFraction<N extends number = number, D extends number = number> = Fraction<N, D> & {
+    readonly __brand: 'SimplifiedFraction';
+};
+/**
+ * Represents a polynomial of degree n with coefficients.
+ */
+export type Polynomial<Degree extends number = number, Coeff = number> = {
+    readonly degree: Degree;
+    readonly coefficients: readonly Coeff[];
+};
+/**
+ * Represents a 2x2 matrix as a tuple.
+ */
+export type Matrix2x2 = [
+    [
+        number,
+        number
+    ],
+    [
+        number,
+        number
+    ]
+];
+/**
+ * Represents a 3x3 matrix as a tuple.
+ */
+export type Matrix3x3 = [
+    [
+        number,
+        number,
+        number
+    ],
+    [
+        number,
+        number,
+        number
+    ],
+    [
+        number,
+        number,
+        number
+    ]
+];
+/**
+ * Represents a 4x4 matrix as a tuple.
+ */
+export type Matrix4x4 = [
+    [
+        number,
+        number,
+        number,
+        number
+    ],
+    [
+        number,
+        number,
+        number,
+        number
+    ],
+    [
+        number,
+        number,
+        number,
+        number
+    ],
+    [
+        number,
+        number,
+        number,
+        number
+    ]
+];
+/**
+ * Represents a point in 2D space.
+ */
+export type Point2D = readonly [x: number, y: number];
+/**
+ * Represents a point in 3D space.
+ */
+export type Point3D = readonly [x: number, y: number, z: number];
+/**
+ * Represents a line segment between two points.
+ */
+export type LineSegment2D = {
+    readonly start: Point2D;
+    readonly end: Point2D;
+};
+/**
+ * Represents a line segment in 3D space.
+ */
+export type LineSegment3D = {
+    readonly start: Point3D;
+    readonly end: Point3D;
+};
+/**
+ * Represents a circle with center and radius.
+ */
+export type Circle = {
+    readonly center: Point2D;
+    readonly radius: number;
+};
+/**
+ * Represents a rectangle with position and dimensions.
+ */
+export type Rectangle = {
+    readonly x: number;
+    readonly y: number;
+    readonly width: Positive<number>;
+    readonly height: Positive<number>;
+};
+/**
+ * Represents a triangle defined by three points.
+ */
+export type Triangle = {
+    readonly a: Point2D;
+    readonly b: Point2D;
+    readonly c: Point2D;
+};
+/**
+ * Represents a 2D transformation matrix for affine transformations.
+ */
+export type Transform2D = {
+    readonly a: number;
+    readonly b: number;
+    readonly c: number;
+    readonly d: number;
+    readonly e: number;
+    readonly f: number;
+};
+/**
+ * Represents a 3D transformation matrix.
+ */
+export type Transform3D = Matrix4x4;
+/**
+ * Represents a color in RGB format.
+ */
+export type RGBColor = {
+    readonly r: number;
+    readonly g: number;
+    readonly b: number;
+};
+/**
+ * Represents a color in RGBA format.
+ */
+export type RGBAColor = RGBColor & {
+    readonly a: number;
+};
+/**
+ * Represents a color in HSL format.
+ */
+export type HSLColor = {
+    readonly h: number;
+    readonly s: number;
+    readonly l: number;
+};
+/**
+ * Represents a statistical sample.
+ */
+export type StatisticalSample<T = number> = {
+    readonly values: readonly T[];
+    readonly size: number;
+};
+/**
+ * Represents a normal distribution with mean and standard deviation.
+ */
+export type NormalDistribution = {
+    readonly mean: number;
+    readonly stdDev: Positive<number>;
+};
+/**
+ * Represents a uniform distribution between min and max.
+ */
+/**
+ * Represents a bezier curve with control points.
+ */
+export type BezierCurve<N extends number> = {
+    readonly degree: N;
+    readonly controlPoints: readonly Point2D[];
+};
+/**
+ * Represents a quadratic bezier curve (degree 2).
+ */
+export type QuadraticBezier = BezierCurve<2>;
+/**
+ * Represents a cubic bezier curve (degree 3).
+ */
+export type CubicBezier = BezierCurve<3>;
+/**
+ * Represents a 2D plane equation: ax + by + cz + d = 0.
+ */
+export type PlaneEquation = {
+    readonly a: number;
+    readonly b: number;
+    readonly c: number;
+    readonly d: number;
+};
+/**
+ * Represents a sphere with center and radius.
+ */
+export type Sphere = {
+    readonly center: Point3D;
+    readonly radius: Positive<number>;
+};
+/**
+ * Represents a cylinder with base center, axis, and dimensions.
+ */
+export type Cylinder = {
+    readonly baseCenter: Point3D;
+    readonly axis: Vector3D;
+    readonly radius: Positive<number>;
+    readonly height: Positive<number>;
+};
+/**
+ * Represents a cone with apex, axis, and dimensions.
+ */
+export type Cone = {
+    readonly apex: Point3D;
+    readonly axis: Vector3D;
+    readonly baseRadius: Positive<number>;
+    readonly height: Positive<number>;
+};
+/**
+ * Represents a parametric function.
+ */
+export type ParametricFunction<T = number, U = number> = {
+    (t: T): U;
+};
+/**
+ * Represents a differential equation.
+ */
+export type DifferentialEquation<Y extends number = number, X extends number = number> = {
+    (x: X, y: Y): number;
+};
+/**
+ * Represents an integral with bounds.
+ */
+export type Integral<F extends (x: number) => number> = {
+    readonly f: F;
+    readonly lowerBound: number;
+    readonly upperBound: number;
+};
+//# sourceMappingURL=advanced.d.ts.map

package/dist/lib/maths/types/advanced.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"advanced.d.ts","sourceRoot":"","sources":["../../../../src/lib/maths/types/advanced.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAGtC;;GAEG;AACH,MAAM,MAAM,QAAQ,GAAG;IACrB,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IACnB,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;CACpB,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,QAAQ,GAAG;IACrB,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IACnB,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IACnB,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;CACpB,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,QAAQ,GAAG;IACrB,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IACnB,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IACnB,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IACnB,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;CACpB,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,GAAG,MAAM,IAAI;IACjD,QAAQ,CAAC,UAAU,EAAE,SAAS,CAAC,EAAE,CAAC;IAClC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;CACpB,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,MAAM,CAAC,IAAI,SAAS,MAAM,EAAE,IAAI,SAAS,MAAM,EAAE,CAAC,GAAG,MAAM,IAAI;IACzE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,CAAC;CAC1C,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,GAAG,MAAM,IAAI,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAEzE;;GAEG;AACH,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,UAAU,GAAG;IACvB,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IACnB,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IACnB,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IACnB,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;CACpB,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,cAAc,CAAC,KAAK,SAAS,MAAM,EAAE,GAAG,SAAS,MAAM,IACjE,SAAS,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;AAEpC;;GAEG;AACH,MAAM,MAAM,YAAY,CAAC,KAAK,SAAS,MAAM,EAAE,GAAG,SAAS,MAAM,IAAI;IACnE,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;IACtB,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC;IAClB,QAAQ,CAAC,cAAc,EAAE,KAAK,CAAC;IAC/B,QAAQ,CAAC,YAAY,EAAE,KAAK,CAAC;CAC9B,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,cAAc,CAAC,KAAK,SAAS,MAAM,EAAE,GAAG,SAAS,MAAM,IAAI;IACrE,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;IACtB,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC;IAClB,QAAQ,CAAC,cAAc,EAAE,IAAI,CAAC;IAC9B,QAAQ,CAAC,YAAY,EAAE,IAAI,CAAC;CAC7B,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,gBAAgB,CAAC,KAAK,SAAS,MAAM,EAAE,GAAG,SAAS,MAAM,IAAI;IACvE,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;IACtB,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC;IAClB,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAC;IACjC,QAAQ,CAAC,YAAY,EAAE,OAAO,CAAC;CAChC,GAAG,CACA;IAAE,QAAQ,CAAC,cAAc,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,YAAY,EAAE,KAAK,CAAA;CAAE,GAC/D;IAAE,QAAQ,CAAC,cAAc,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,YAAY,EAAE,IAAI,CAAA;CAAE,CAClE,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,QAAQ,CAAC,KAAK,SAAS,MAAM,GAAG,MAAM,EAAE,GAAG,SAAS,MAAM,GAAG,MAAM,IAC3E,YAAY,CAAC,KAAK,EAAE,GAAG,CAAC,GACxB,cAAc,CAAC,KAAK,EAAE,GAAG,CAAC,GAC1B,gBAAgB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;AAEjC;;GAEG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM,EAAE,CAAC,SAAS,MAAM,GAAG,MAAM,IACvE,CAAC,SAAS,CAAC,GAAG,KAAK,GAAG;IACpB,QAAQ,CAAC,SAAS,EAAE,CAAC,CAAC;IACtB,QAAQ,CAAC,WAAW,EAAE,CAAC,CAAC;CACzB,CAAC;AAEJ;;GAEG;AACH,MAAM,MAAM,kBAAkB,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM,EAAE,CAAC,SAAS,MAAM,GAAG,MAAM,IACjF,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG;IAAE,QAAQ,CAAC,OAAO,EAAE,oBAAoB,CAAA;CAAE,CAAC;AAE9D;;GAEG;AACH,MAAM,MAAM,UAAU,CAAC,MAAM,SAAS,MAAM,GAAG,MAAM,EAAE,KAAK,GAAG,MAAM,IAAI;IACvE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,YAAY,EAAE,SAAS,KAAK,EAAE,CAAC;CACzC,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,SAAS,GAAG;IACtB;QAAC,MAAM;QAAE,MAAM;KAAC;IAChB;QAAC,MAAM;QAAE,MAAM;KAAC;CACjB,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,SAAS,GAAG;IACtB;QAAC,MAAM;QAAE,MAAM;QAAE,MAAM;KAAC;IACxB;QAAC,MAAM;QAAE,MAAM;QAAE,MAAM;KAAC;IACxB;QAAC,MAAM;QAAE,MAAM;QAAE,MAAM;KAAC;CACzB,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,SAAS,GAAG;IACtB;QAAC,MAAM;QAAE,MAAM;QAAE,MAAM;QAAE,MAAM;KAAC;IAChC;QAAC,MAAM;QAAE,MAAM;QAAE,MAAM;QAAE,MAAM;KAAC;IAChC;QAAC,MAAM;QAAE,MAAM;QAAE,MAAM;QAAE,MAAM;KAAC;IAChC;QAAC,MAAM;QAAE,MAAM;QAAE,MAAM;QAAE,MAAM;KAAC;CACjC,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,OAAO,GAAG,SAAS,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;AAEtD;;GAEG;AACH,MAAM,MAAM,OAAO,GAAG,SAAS,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;AAEjE;;GAEG;AACH,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC;CACvB,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC;CACvB,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,MAAM,GAAG;IACnB,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,SAAS,GAAG;IACtB,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IACnB,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IACnB,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;IACjC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;CACnC,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,QAAQ,GAAG;IACrB,QAAQ,CAAC,CAAC,EAAE,OAAO,CAAC;IACpB,QAAQ,CAAC,CAAC,EAAE,OAAO,CAAC;IACpB,QAAQ,CAAC,CAAC,EAAE,OAAO,CAAC;CACrB,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IACnB,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IACnB,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IACnB,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IACnB,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IACnB,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;CACpB,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,WAAW,GAAG,SAAS,CAAC;AAEpC;;GAEG;AACH,MAAM,MAAM,QAAQ,GAAG;IACrB,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IACnB,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IACnB,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;CACpB,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,SAAS,GAAG,QAAQ,GAAG;IACjC,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;CACpB,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,QAAQ,GAAG;IACrB,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IACnB,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IACnB,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;CACpB,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,iBAAiB,CAAC,CAAC,GAAG,MAAM,IAAI;IAC1C,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC,EAAE,CAAC;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,kBAAkB,GAAG;IAC/B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;CACnC,CAAC;AAEF;;GAEG;AAMH;;GAEG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,SAAS,MAAM,IAAI;IAC1C,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;IACnB,QAAQ,CAAC,aAAa,EAAE,SAAS,OAAO,EAAE,CAAC;CAC5C,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,eAAe,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;AAE7C;;GAEG;AACH,MAAM,MAAM,WAAW,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;AAEzC;;GAEG;AACH,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IACnB,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IACnB,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IACnB,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;CACpB,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,MAAM,GAAG;IACnB,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;CACnC,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,QAAQ,GAAG;IACrB,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;IAClC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;CACnC,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,IAAI,GAAG;IACjB,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,UAAU,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;IACtC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;CACnC,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,kBAAkB,CAAC,CAAC,GAAG,MAAM,EAAE,CAAC,GAAG,MAAM,IAAI;IACvD,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC;CACX,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,oBAAoB,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM,EAAE,CAAC,SAAS,MAAM,GAAG,MAAM,IAAI;IACvF,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC;CACtB,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,MAAM,KAAK,MAAM,IAAI;IACtD,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC;IACd,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B,CAAC"}

package/dist/lib/maths/types/advanced.js

@@ -0,0 +1,5 @@
+/**
+ * Advanced mathematical type definitions.
+ * @module AdvancedMathTypes
+ */
+export {};

package/dist/lib/maths/types/basic.cjs

@@ -0,0 +1 @@
+"use strict";var s=Object.defineProperty;var d=Object.getOwnPropertyDescriptor;var o=Object.getOwnPropertyNames;var p=Object.prototype.hasOwnProperty;var a=(t,e,x,r)=>{if(e&&typeof e=="object"||typeof e=="function")for(let n of o(e))!p.call(t,n)&&n!==x&&s(t,n,{get:()=>e[n],enumerable:!(r=d(e,n))||r.enumerable});return t};var i=t=>a(s({},"__esModule",{value:!0}),t);var T={};module.exports=i(T);

package/dist/lib/maths/types/basic.d.ts

@@ -0,0 +1,95 @@
+/**
+ * Basic mathematical type definitions.
+ * @module MathTypes
+ */
+/**
+ * Represents any numeric value that can be used in mathematical operations.
+ */
+export type Numeric = number | bigint;
+export type RoundingMode = 'round' | 'ceil' | 'floor' | 'trunc' | 'david';
+/**
+ * Represents integer values (both number and bigint).
+ */
+export type Integer = number;
+/**
+ * Represents floating-point numbers.
+ */
+export type Float = number;
+/**
+ * Represents a positive number (> 0).
+ */
+export type Positive<T extends number> = `${T}` extends `-${string}` | `${0}` | `-${0}` ? never : T extends 0 ? never : T;
+/**
+ * Represents a negative number (< 0).
+ */
+export type Negative<T extends number> = `${T}` extends `-${string}` ? T extends 0 ? never : T : never;
+/**
+ * Represents a non-negative number (>= 0).
+ */
+export type NonNegative<T extends number> = `${T}` extends `-${string}` ? never : T;
+/**
+ * Represents a non-positive number (<= 0).
+ */
+export type NonPositive<T extends number> = `${T}` extends `-${string}` ? T : T extends 0 ? 0 : never;
+/**
+ * Type guard: Checks if a number is positive.
+ */
+export type IsPositive<T extends number> = T extends Positive<T> ? true : false;
+/**
+ * Type guard: Checks if a number is negative.
+ */
+export type IsNegative<T extends number> = T extends Negative<T> ? true : false;
+/**
+ * Type guard: Checks if a number is zero.
+ */
+export type IsZero<T extends number> = T extends 0 ? true : false;
+/**
+ * Represents a whole number (integer >= 0).
+ */
+export type WholeNumber = NonNegative<Integer>;
+/**
+ * Represents a prime number (type-level approximation).
+ * Note: TypeScript cannot fully compute primality at type level,
+ * but we can define it for small known primes.
+ */
+export type Prime<T extends number> = T extends 2 | 3 | 5 | 7 | 11 | 13 | 17 | 19 | 23 | 29 | 31 | 37 | 41 | 43 | 47 | 53 | 59 | 61 | 67 | 71 | 73 | 79 | 83 | 89 | 97 ? T : never;
+/**
+ * Represents a rational number as numerator/denominator.
+ */
+export type Rational<T extends number, U extends number> = {
+    numerator: T;
+    denominator: U extends 0 ? never : U;
+};
+/**
+ * Type for degrees angle measurement with brand.
+ */
+export type Degrees = number & {
+    readonly __brand: 'Degrees';
+};
+/**
+ * Type for radians angle measurement with brand.
+ */
+export type Radians = number & {
+    readonly __brand: 'Radians';
+};
+/**
+ * Type for gradians angle measurement with brand.
+ */
+export type Gradians = number & {
+    readonly __brand: 'Gradians';
+};
+/**
+ * Represents a mathematical sign: -1, 0, or 1.
+ */
+/**
+ * Extracts the sign of a number as a type.
+ * Returns -1, 0, or 1 as a numeric literal type.
+ */
+export type Sign<T extends number> = T extends 0 ? 0 : `${T}` extends `-${string}` ? -1 : 1;
+/**
+ * Represents a percentage value (0-100).
+ */
+export type Percentage = number & {
+    readonly __brand: 'Percentage';
+};
+//# sourceMappingURL=basic.d.ts.map

package/dist/lib/maths/types/basic.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"basic.d.ts","sourceRoot":"","sources":["../../../../src/lib/maths/types/basic.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;GAEG;AACH,MAAM,MAAM,OAAO,GAAG,MAAM,GAAG,MAAM,CAAC;AAEtC,MAAM,MAAM,YAAY,GAAG,OAAO,GAAG,MAAM,GAAG,OAAO,GAAG,OAAO,GAAG,OAAO,CAAC;AAE1E;;GAEG;AACH,MAAM,MAAM,OAAO,GAAG,MAAM,CAAC;AAE7B;;GAEG;AACH,MAAM,MAAM,KAAK,GAAG,MAAM,CAAC;AAE3B;;GAEG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,MAAM,IAAI,GAAG,CAAC,EAAE,SAC3C,IAAI,MAAM,EAAE,GACZ,GAAG,CAAC,EAAE,GACN,IAAI,CAAC,EAAE,GACP,KAAK,GACL,CAAC,SAAS,CAAC,GACX,KAAK,GACL,CAAC,CAAC;AAEN;;GAEG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,MAAM,IAAI,GAAG,CAAC,EAAE,SAAS,IAAI,MAAM,EAAE,GAChE,CAAC,SAAS,CAAC,GACT,KAAK,GACL,CAAC,GACH,KAAK,CAAC;AAEV;;GAEG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,SAAS,MAAM,IAAI,GAAG,CAAC,EAAE,SAAS,IAAI,MAAM,EAAE,GACnE,KAAK,GACL,CAAC,CAAC;AAEN;;GAEG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,SAAS,MAAM,IAAI,GAAG,CAAC,EAAE,SAAS,IAAI,MAAM,EAAE,GACnE,CAAC,GACD,CAAC,SAAS,CAAC,GACX,CAAC,GACD,KAAK,CAAC;AAEV;;GAEG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,SAAS,MAAM,IAAI,CAAC,SAAS,QAAQ,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,KAAK,CAAC;AAEhF;;GAEG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,SAAS,MAAM,IAAI,CAAC,SAAS,QAAQ,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,KAAK,CAAC;AAEhF;;GAEG;AACH,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,MAAM,IAAI,CAAC,SAAS,CAAC,GAAG,IAAI,GAAG,KAAK,CAAC;AAElE;;GAEG;AACH,MAAM,MAAM,WAAW,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC;AAE/C;;;;GAIG;AACH,MAAM,MAAM,KAAK,CAAC,CAAC,SAAS,MAAM,IAAI,CAAC,SACnC,CAAC,GACD,CAAC,GACD,CAAC,GACD,CAAC,GACD,EAAE,GACF,EAAE,GACF,EAAE,GACF,EAAE,GACF,EAAE,GACF,EAAE,GACF,EAAE,GACF,EAAE,GACF,EAAE,GACF,EAAE,GACF,EAAE,GACF,EAAE,GACF,EAAE,GACF,EAAE,GACF,EAAE,GACF,EAAE,GACF,EAAE,GACF,EAAE,GACF,EAAE,GACF,EAAE,GACF,EAAE,GACF,CAAC,GACD,KAAK,CAAC;AAEV;;GAEG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,IAAI;IACzD,SAAS,EAAE,CAAC,CAAC;IACb,WAAW,EAAE,CAAC,SAAS,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC;CACtC,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,OAAO,GAAG,MAAM,GAAG;IAAE,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAA;CAAE,CAAC;AAE/D;;GAEG;AACH,MAAM,MAAM,OAAO,GAAG,MAAM,GAAG;IAAE,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAA;CAAE,CAAC;AAE/D;;GAEG;AACH,MAAM,MAAM,QAAQ,GAAG,MAAM,GAAG;IAAE,QAAQ,CAAC,OAAO,EAAE,UAAU,CAAA;CAAE,CAAC;AAEjE;;GAEG;AAEH;;;GAGG;AACH,MAAM,MAAM,IAAI,CAAC,CAAC,SAAS,MAAM,IAAI,CAAC,SAAS,CAAC,GAC5C,CAAC,GACD,GAAG,CAAC,EAAE,SAAS,IAAI,MAAM,EAAE,GAC3B,CAAC,CAAC,GACF,CAAC,CAAC;AAEN;;GAEG;AACH,MAAM,MAAM,UAAU,GAAG,MAAM,GAAG;IAAE,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAA;CAAE,CAAC"}

package/dist/lib/maths/types/basic.js

@@ -0,0 +1,5 @@
+/**
+ * Basic mathematical type definitions.
+ * @module MathTypes
+ */
+export {};

package/dist/lib/maths/types/index.cjs

@@ -0,0 +1 @@
+"use strict";var m=Object.defineProperty;var t=Object.getOwnPropertyDescriptor;var x=Object.getOwnPropertyNames;var a=Object.prototype.hasOwnProperty;var b=(r,o,p,f)=>{if(o&&typeof o=="object"||typeof o=="function")for(let e of x(o))!a.call(r,e)&&e!==p&&m(r,e,{get:()=>o[e],enumerable:!(f=t(o,e))||f.enumerable});return r};var c=r=>b(m({},"__esModule",{value:!0}),r);var d={};module.exports=c(d);

package/dist/lib/maths/types/index.d.ts

@@ -0,0 +1,4 @@
+export * from './basic.js';
+export * from './advanced.js';
+export * from './operations.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/lib/maths/types/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/lib/maths/types/index.ts"],"names":[],"mappings":"AAAA,cAAc,YAAY,CAAA;AAC1B,cAAc,eAAe,CAAA;AAC7B,cAAc,iBAAiB,CAAA"}

package/dist/lib/maths/types/index.js

@@ -0,0 +1,3 @@
+export * from './basic.js';
+export * from './advanced.js';
+export * from './operations.js';

package/dist/lib/maths/types/negative.cjs

@@ -0,0 +1 @@
+"use strict";var r=Object.defineProperty;var T=Object.getOwnPropertyDescriptor;var d=Object.getOwnPropertyNames;var i=Object.prototype.hasOwnProperty;var p=(t,e,x,s)=>{if(e&&typeof e=="object"||typeof e=="function")for(let n of d(e))!i.call(t,n)&&n!==x&&r(t,n,{get:()=>e[n],enumerable:!(s=T(e,n))||s.enumerable});return t};var u=t=>p(r({},"__esModule",{value:!0}),t);var v={};module.exports=u(v);

package/dist/lib/maths/types/negative.d.ts

@@ -0,0 +1,51 @@
+/**
+ * Types for working with negative numbers.
+ * @module NegativeTypes
+ */
+/**
+ * Makes a positive number negative at the type level.
+ * Returns N unchanged if it's already negative.
+ */
+export type MakeNegative<T extends number> = `${T}` extends `-${string}` ? T : T extends 0 ? 0 : `-${T}` extends `${infer N extends number}` ? N : never;
+/**
+ * Makes a negative number positive at the type level.
+ * Returns N unchanged if it's already positive.
+ */
+export type MakePositive<T extends number> = `${T}` extends `-${infer U extends number}` ? U : T;
+/**
+ * Type-level negation: returns -N.
+ */
+export type Negate<T extends number> = T extends 0 ? 0 : `${T}` extends `-${infer U extends number}` ? U : `-${T}` extends `${infer N extends number}` ? N : never;
+/**
+ * Checks if a number is negative at the type level.
+ */
+export type IsNegative<T extends number> = T extends 0 ? false : `${T}` extends `-${string}` ? true : false;
+/**
+ * Checks if a number is non-negative (positive or zero) at the type level.
+ */
+export type IsNonNegative<T extends number> = T extends 0 ? true : `${T}` extends `-${string}` ? false : true;
+/**
+ * Checks if a number is non-positive (negative or zero) at the type level.
+ */
+export type IsNonPositive<T extends number> = T extends 0 ? true : `${T}` extends `-${string}` ? true : false;
+/**
+ * Ensures a number is negative. Returns the number if negative, never otherwise.
+ */
+export type EnsureNegative<T extends number> = IsNegative<T> extends true ? T : never;
+/**
+ * Ensures a number is positive. Returns the number if positive, never otherwise.
+ */
+export type EnsurePositive<T extends number> = T extends 0 ? never : IsNegative<T> extends false ? T : never;
+/**
+ * Returns the opposite sign of a number (negation without zero change).
+ */
+export type OppositeSign<T extends number> = T extends 0 ? 0 : Negate<T>;
+/**
+ * Type for representing strictly negative numbers (excluding zero).
+ */
+export type StrictlyNegative<T extends number> = IsNegative<T> extends true ? T : never;
+/**
+ * Type for representing strictly positive numbers (excluding zero).
+ */
+export type StrictlyPositive<T extends number> = T extends 0 ? never : IsNegative<T> extends false ? T : never;
+//# sourceMappingURL=negative.d.ts.map

package/dist/lib/maths/types/negative.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"negative.d.ts","sourceRoot":"","sources":["../../../../src/lib/maths/types/negative.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;GAGG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,SAAS,MAAM,IACvC,GAAG,CAAC,EAAE,SAAS,IAAI,MAAM,EAAE,GAAG,CAAC,GAC/B,CAAC,SAAS,CAAC,GAAG,CAAC,GACf,IAAI,CAAC,EAAE,SAAS,GAAG,MAAM,CAAC,SAAS,MAAM,EAAE,GAAG,CAAC,GAC/C,KAAK,CAAC;AAER;;;GAGG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,SAAS,MAAM,IACvC,GAAG,CAAC,EAAE,SAAS,IAAI,MAAM,CAAC,SAAS,MAAM,EAAE,GAAG,CAAC,GAC/C,CAAC,CAAC;AAEJ;;GAEG;AACH,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,MAAM,IACjC,CAAC,SAAS,CAAC,GAAG,CAAC,GACf,GAAG,CAAC,EAAE,SAAS,IAAI,MAAM,CAAC,SAAS,MAAM,EAAE,GAAG,CAAC,GAC/C,IAAI,CAAC,EAAE,SAAS,GAAG,MAAM,CAAC,SAAS,MAAM,EAAE,GAAG,CAAC,GAC/C,KAAK,CAAC;AAER;;GAEG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,SAAS,MAAM,IACrC,CAAC,SAAS,CAAC,GAAG,KAAK,GACnB,GAAG,CAAC,EAAE,SAAS,IAAI,MAAM,EAAE,GAAG,IAAI,GAAG,KAAK,CAAC;AAE7C;;GAEG;AACH,MAAM,MAAM,aAAa,CAAC,CAAC,SAAS,MAAM,IACxC,CAAC,SAAS,CAAC,GAAG,IAAI,GAClB,GAAG,CAAC,EAAE,SAAS,IAAI,MAAM,EAAE,GAAG,KAAK,GAAG,IAAI,CAAC;AAE7C;;GAEG;AACH,MAAM,MAAM,aAAa,CAAC,CAAC,SAAS,MAAM,IACxC,CAAC,SAAS,CAAC,GAAG,IAAI,GAClB,GAAG,CAAC,EAAE,SAAS,IAAI,MAAM,EAAE,GAAG,IAAI,GAAG,KAAK,CAAC;AAE7C;;GAEG;AACH,MAAM,MAAM,cAAc,CAAC,CAAC,SAAS,MAAM,IACzC,UAAU,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,CAAC,GAAG,KAAK,CAAC;AAEzC;;GAEG;AACH,MAAM,MAAM,cAAc,CAAC,CAAC,SAAS,MAAM,IACzC,CAAC,SAAS,CAAC,GAAG,KAAK,GACnB,UAAU,CAAC,CAAC,CAAC,SAAS,KAAK,GAAG,CAAC,GAAG,KAAK,CAAC;AAE1C;;GAEG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,SAAS,MAAM,IACvC,CAAC,SAAS,CAAC,GAAG,CAAC,GACf,MAAM,CAAC,CAAC,CAAC,CAAC;AAGZ;;GAEG;AACH,MAAM,MAAM,gBAAgB,CAAC,CAAC,SAAS,MAAM,IAC3C,UAAU,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,CAAC,GAAG,KAAK,CAAC;AAEzC;;GAEG;AACH,MAAM,MAAM,gBAAgB,CAAC,CAAC,SAAS,MAAM,IAC3C,CAAC,SAAS,CAAC,GAAG,KAAK,GACnB,UAAU,CAAC,CAAC,CAAC,SAAS,KAAK,GAAG,CAAC,GAAG,KAAK,CAAC"}

package/dist/lib/maths/types/negative.js

@@ -0,0 +1,5 @@
+/**
+ * Types for working with negative numbers.
+ * @module NegativeTypes
+ */
+export {};

package/dist/lib/maths/types/operations.cjs

@@ -0,0 +1 @@
+"use strict";var s=Object.defineProperty;var u=Object.getOwnPropertyDescriptor;var x=Object.getOwnPropertyNames;var b=Object.prototype.hasOwnProperty;var A=(t,e,d,r)=>{if(e&&typeof e=="object"||typeof e=="function")for(let n of x(e))!b.call(t,n)&&n!==d&&s(t,n,{get:()=>e[n],enumerable:!(r=u(e,n))||r.enumerable});return t};var p=t=>A(s({},"__esModule",{value:!0}),t);var o={};module.exports=p(o);