@ccpc/math 0.1.0 → 0.1.3

package/types/topology/evolution_map.d.ts

@@ -0,0 +1,90 @@
+/**
+ * 演化关系记录。
+ * 鼓励使用 “新几何体 => 旧几何体”的映射方式。在这种方式下，用 replaceKey() 可以高效地追加新的变化。
+ * 相比之下，“旧几何体 => 新几何体” 的构造方式，用 merge() 来追加新的变化效率较低
+ *
+ */
+export declare class EvolutionMap<KeyType, ValueType = KeyType> extends Map<KeyType, ValueType[]> {
+    /**
+     * 添加演化关系
+     * @param key
+     * @param value
+     */
+    add(key: KeyType, ...values: ValueType[]): void;
+    /**
+     * 删除演化关系，若未指定 key，则会枚举所有 key。若从待删除 value 为某 values 列表中最后一项，则删除该键值对
+     * @param value
+     * @param key
+     * @return 删除成功返回 true
+     */
+    remove(value: ValueType, key?: KeyType): boolean;
+    /**
+     * 连接演化关系，仅保留使用到的键和值。通常 B' 为 B 的字集，用于连接算法中的多个步骤。
+     * this(A -> B) connect evo2(B'-> C) =>  (A -> (B & B') -> C) => (A -> C)
+     * 相关函数：connectKeyMap(), mergeKeyMap(), mergeValueMap()
+     * @param evo2
+     */
+    connectValueMap<ValueType2>(evo2: EvolutionMap<ValueType, ValueType2>, revserveEmptyKey?: boolean): EvolutionMap<KeyType, ValueType2>;
+    /**
+     * 连接演化关系，仅保留使用到的键和值。通常 B' 为 B 的字集，用于连接算法中的多个步骤。
+     * evo0(A -> B) connect this(B'-> C) =>  (A -> (B & B') -> C) => (A -> C)
+     * 相关函数：connectValueMap(), mergeKeyMap(), mergeValueMap()
+     * @param evo2
+     */
+    connectKeyMap<KeyType0>(evo0: EvolutionMap<KeyType0, KeyType>, revserveEmptyKey?: boolean): EvolutionMap<KeyType0, ValueType>;
+    /**
+     * 合并演化关系，尽可能保留所有的键值对。通常用于合并多个操作。
+     * this(A -> B) merge evo2(B' -> C) => (A -> C + A -> B (not in B') + B'(not in B) -> C)
+     * 相关函数：connectKeyMap(), connectValueMap(), mergeKeyMap()
+     * @param evo2
+     */
+    mergeValueMap<ValueType2>(evo2: EvolutionMap<ValueType, ValueType2>): EvolutionMap<KeyType | ValueType, ValueType | ValueType2>;
+    /**
+     * 合并演化关系，尽可能保留所有的键值对。通常用于合并多个操作。
+     * evo0(A -> B) merge this(B' -> C) => (A -> C + A -> B (not in B') + B'(not in B) -> C)
+     * 相关函数：connectKeyMap(), connectValueMap(), mergeValueMap()
+     * @param evo2
+     */
+    mergeKeyMap<KeyType0>(evo0: EvolutionMap<KeyType0, KeyType>): EvolutionMap<KeyType0 | KeyType, KeyType | ValueType>;
+    /**
+     * 使用新的 key 替换原有 key
+     * @param evo2 新 key => 旧 key
+     * @param keysToDelete 替换后需删除的键值
+     * @return 发生替换的键值对
+     */
+    appendKey(evo0: EvolutionMap<KeyType, KeyType>, keysToDelete?: KeyType[]): void;
+    /**
+     * 使用新的 key 替换原有 key。若输入键值为空，则当 reserveReplacedKey 为 true 时会删除对应键值
+     * @param evo2 新 key => 旧 key
+     * @param deleteReplacedKeys 为 true 时，会删除被替换的键值
+     * @return 发生替换的键值对
+     */
+    appendKey(evo0: EvolutionMap<KeyType | undefined, KeyType>, deleteReplacedKeys?: boolean): void;
+    /**
+     * 获取不重复的结果集
+     */
+    uniqueValues(): ValueType[];
+    /**
+     * 生成反向演化关系，不保留空值的键
+     */
+    reversed(): EvolutionMap<ValueType, KeyType>;
+    /**
+     * 生成反向演化关系，保留空值的键，并以 undefined 作为其新键进行返回
+     */
+    reversedWithEmptyValue(): EvolutionMap<ValueType | undefined, KeyType>;
+    /**
+     * 清空未使用到的键
+     * @param usedKeys
+     * @returns 返回被清除的键值对
+     */
+    clearUnusedKeys(usedKeys: Set<KeyType>): [KeyType, ValueType[]][];
+    /**
+     * 清空未使用到的值
+     * @param values
+     * @returns 返回被清除的键和值
+     */
+    clearUnusedValues(usedValues: Set<ValueType>): {
+        keys: KeyType[];
+        values: ValueType[];
+    };
+}

package/types/topology/loop.d.ts

@@ -0,0 +1,50 @@
+import { Curve2 } from '../geometry/curve2';
+import { PolyCurve } from './polycurve';
+import { types } from '../type_define/i_types';
+import { Vec2 } from '../base/vec2';
+import { EN_GEO_TYPE } from '../type_define/i_element_type';
+import { Tol } from '../base/tol';
+import { DiscreteParam } from '../base/discrete_param';
+/**
+ * 环，封闭且无自交的曲线序列
+ */
+export declare class Loop extends PolyCurve {
+    /**
+     *  由2点构造一个矩形Loop,逆时针
+     * @param points
+     */
+    static createByRectangle(cornerPt1: types.IXY, cornerPt2: types.IXY): Loop;
+    /**
+     *  由一系列点构造Polyline
+     * @param points
+     */
+    constructor(points?: types.IXY[]);
+    /**
+     *  由一系列点构造Polyline
+     * @param points
+     */
+    constructor(curves?: Curve2[]);
+    /**
+     * 判断环是否封闭
+     */
+    isClosed(tol?: Tol): boolean;
+    /**
+     * @todo 计算有没有自交
+     *  环是否合法，封闭且无自交
+     */
+    isValid(tol?: Tol): boolean;
+    /**
+     * 提取所有直线/曲线的角点（或者说轮廓点），如果是曲线，可以用离散精度控制点的疏密程度
+     * @param params 对于曲线有用，控制曲线轮廓点的疏密程度
+     */
+    toPath(params?: DiscreteParam): Vec2[];
+    /**
+     * 获取所有直线/曲线的端点
+     */
+    getAllPoints(): Vec2[];
+    getType(): EN_GEO_TYPE.LOOP;
+    dump(): types.IDBLoop;
+    load(db: types.IDBLoop): this;
+    clone(): Loop;
+    makeStartEndConnected(): this;
+}

package/types/topology/polycurve.d.ts

@@ -0,0 +1,109 @@
+import { Curve2 } from '../geometry/curve2';
+import { types } from '../type_define/i_types';
+import { Vec2 } from '../base/vec2';
+import { EN_GEO_TYPE } from '../type_define/i_element_type';
+import { Box2 } from '../base/box2';
+import { Tol } from '../base/tol';
+import { Geometry2d } from '../geometry/geometry2d';
+/**
+ * @author tiansk
+ *   首尾相接且无自交，可以不封闭的曲线序列
+ */
+export declare class PolyCurve extends Geometry2d {
+    protected _curves: Curve2[];
+    /**
+     *  由一系列点构造Polyline
+     * @param points
+     */
+    constructor(points?: types.IXY[]);
+    /**
+     *  由一系列点构造Polyline
+     * @param points
+     */
+    constructor(curves?: Curve2[]);
+    /**
+     *  向序列中加一条曲线，直接加入，不作合法性检查
+     * @param curve 曲线
+     * @returns 返回Coedge
+     */
+    addCurve(curve: Curve2): Curve2;
+    /**
+     *  偏移，偏移后不作合法性检查
+     *  @param offsetValue 负值往左偏，正值往右偏
+     *  @returns 成功返回true，失败返回false
+     */
+    offset(offsetValue: number): boolean;
+    /**
+     * 使相邻的coedge起点末点交于一点
+     */
+    makeStartEndConnected(connectedHeadTail?: boolean): this;
+    /**
+     *  向序列中加一条曲线，直接加入，不作合法性检查
+     * @param curve 曲线
+     * @returns 返回Coedge
+     */
+    insertCurve(fromIdx: number, ...curves: Curve2[]): void;
+    deleteByArrayIdx(idx: number): boolean;
+    /**
+     * 返回曲线的拷贝
+     */
+    copyAllCurves(): Curve2[];
+    /**
+     * 获取所有的曲线
+     */
+    getAllCurves(): Curve2[];
+    /**
+     *  清空所有的coedge
+     */
+    clear(): void;
+    isEmpty(): boolean;
+    /**
+     *  是否是逆时针的环,计算时会自动封闭
+     * @returns 逆时针则返回true，否则返回false
+     */
+    isAnticlockwise(): boolean;
+    /**
+     *  逆时针变顺时针，顺时针变逆时针
+     */
+    reverse(): this;
+    /**
+     *  该coedgelist的面积，计算时会自动封闭
+     * @returns 顺时针为面积负，逆时针为正
+     */
+    calcArea(): number;
+    /**
+     *  合法性检查 1.首尾相接  2.无自交
+     * @returns 合法返回true，不合法返回false
+     */
+    isValid(tol?: Tol): boolean;
+    /**
+     * 是否只包含直线
+     */
+    isOnlyLines(): boolean;
+    translate(offset: types.IXY): this;
+    rotate(angle: number, pivot: types.IXY): this;
+    scale(factor: number, center?: types.IXY): this;
+    transform(m: types.IMatrix3 | types.numberArrs3X3): this;
+    /**
+     * 反向，得到一个新的曲线对象
+     */
+    reversed(): PolyCurve;
+    /**
+     * 矩阵变换，得到变换后的曲线对象
+     * @param m
+     */
+    transformed(m: types.IMatrix3 | types.numberArrs3X3): PolyCurve;
+    getBBox(): Box2;
+    /**
+     * 提取角点
+     */
+    toPath(): Vec2[];
+    /**
+     * 计算形心坐标
+     */
+    getCentroidPoint(): Vec2;
+    getType(): EN_GEO_TYPE;
+    clone(): PolyCurve;
+    dump(): types.IDBPolyCurve;
+    load({ data }: types.IDBPolyCurve): this;
+}

package/types/topology/polygon.d.ts

@@ -0,0 +1,118 @@
+import { types } from '../type_define/i_types';
+import { Loop } from './loop';
+import { Curve2 } from '../geometry/curve2';
+import { EN_GEO_TYPE } from '../type_define/i_element_type';
+import { Vec2 } from '../base/vec2';
+import { Box2 } from '../base/box2';
+import { Tol } from '../base/tol';
+import { Geometry2d } from '../geometry/geometry2d';
+/**
+ * Polygon，可以有多个外环，和多个内环（孔洞）。外环（外轮廓）为逆时针，内环（孔洞）是顺时针环
+ */
+declare class Polygon extends Geometry2d {
+    /**
+     *  由2点构造一个矩形Loop,逆时针,然后再构造Polygon
+     * @param points
+     */
+    static createByRectangle(cornerPt1: types.IXY, cornerPt2: types.IXY): Polygon;
+    /**
+     * polygonEx合成一个polygon
+     * @param polygonExs
+     */
+    static fromPolygonEx(polygonExs: Polygon[]): Polygon;
+    readonly loops: Loop[];
+    /**
+     * 默认构造方法
+     */
+    constructor();
+    /**
+     * 多个用点表示的多个环
+     */
+    constructor(ptsArray: types.IXY[][]);
+    /**
+     * 多个用点表示的单个环
+     */
+    constructor(pts: types.IXY[]);
+    /**
+     * 单个环
+     */
+    constructor(loop: Loop);
+    /**
+     * 多个环
+     */
+    constructor(loops: Loop[]);
+    getLoops(): Loop[];
+    isEmpty(): boolean;
+    reverse(): this;
+    /**
+     * 是否只包含直线
+     */
+    isOnlyLines(): boolean;
+    /**
+     * polygon是否合法
+     * - 空polygon也合法
+     * - 所有的内环都在外环内
+     * - 环之间没有交
+     * - 内环不能直接包含内环，外环不能直接包含外环，要交替包含
+     * @todo 内外环交替包含
+     */
+    isValid(tol?: Tol): boolean;
+    /**
+     * 向polygon中加入环,可以是外环，可以是内环
+     * @param loop
+     * @param sort 是否需要排序
+     * @returns 加入成功返回true，否则返回false
+     */
+    addLoop(loop: Loop, sort?: boolean): boolean;
+    makeStartEndConnected(): void;
+    /**
+     * 删除所有环
+     * @returns 加入成功返回true，否则返回false
+     */
+    deleteAllLoops(): boolean;
+    /**
+     * 拷贝所有的曲线
+     */
+    copyAllCurves(): Curve2[];
+    /**
+     * 获取所有的曲线
+     */
+    getAllCurves(): Curve2[];
+    /**
+     * 计算Polygon的面积
+     */
+    calcArea(): number;
+    getType(): EN_GEO_TYPE.POLYGON;
+    translate(offset: types.IXY): this;
+    rotate(angle: number, pivot: types.IXY): this;
+    /**
+     *  缩放
+     * @param factor 放大因子
+     * @param center 缩放中心
+     */
+    scale(factor: number, center?: types.IXY): this;
+    transform(m: types.IMatrix3 | types.numberArrs3X3): this;
+    /**
+     * 反向，得到一个新的对象
+     */
+    reversed(): Polygon;
+    /**
+     * 矩阵变换，得到变换后的对象
+     * @param m
+     */
+    transformed(m: types.IMatrix3 | types.numberArrs3X3): Polygon;
+    getBBox(): Box2;
+    /**
+     * 提取角点
+     */
+    toPaths(): Vec2[][];
+    dump(): types.IDBPolygon;
+    load({ data: dbLoops }: types.IDBPolygon): this;
+    clone(): Polygon;
+    /**
+     * 计算形心坐标
+     */
+    getCentroidPoint(): Vec2;
+    private _sortLoopByArea;
+}
+export { Polygon };

package/types/topology/trimmed_surface.d.ts

@@ -0,0 +1,136 @@
+import { Box3 } from '../base/box3';
+import { Tol } from '../base/tol';
+import { Vec2 } from '../base/vec2';
+import { Vec3 } from '../base/vec3';
+import { DiscreteParam } from '../base/discrete_param';
+import { Coord3 } from '../base/coord3';
+import { Surface } from '../geometry/surface';
+import { Curve2 } from '../geometry/curve2';
+import { Curve3 } from '../geometry/curve3d';
+import { types } from '../type_define/i_types';
+import { EN_GEO_TYPE } from '../type_define/i_element_type';
+import { Polygon } from './polygon';
+import { Interval } from '../base/interval';
+import { ISurfaceTransformExtra } from '../type_define/i_geometry';
+/**
+ *
+ * 裁剪曲面，描述无界曲面上的一个有边界的区域
+ */
+declare class TrimmedSurface extends Surface {
+    /**
+     * 根据给定坐标系与边界半长，生成表示平面
+     * @param coord
+     * @param halfLength
+     * @param halfWide
+     */
+    static createPlane(coord: Coord3, halfLength: number, halfWide?: number): TrimmedSurface;
+    /**
+     * 从uv边界创建
+     * @param surface 底层的无限大曲面
+     * @param uRange u的参数域
+     * @param vRange v的参数域
+     * @param isPositive 是否同向的标记
+     */
+    static createByRangeUV(surface: Surface, uRange: Interval, vRange: Interval, isPositive?: boolean): TrimmedSurface;
+    /**
+     * 从二维边界创建
+     * @param surface 底层的无限大曲面
+     * @param uvPolygon 无限大曲面上，二维区域的边界
+     * @param isPositive 是否同向的标记
+     */
+    static createByBoundary2d(surface: Surface, uvLoops: Curve2[][], isPositive: boolean): TrimmedSurface;
+    /**
+     * 从三维边界创建
+     * @param surface 底层的无限大曲面
+     * @param loop3ds 无限大曲面上，三维区域的边界
+     * @param isPositive 是否同向的标记
+     */
+    static createByBoundary3d(surface: Surface, loop3ds: Curve3[][], isPositive: boolean): TrimmedSurface;
+    private _surface;
+    private _bPositive;
+    private _uvPolygon;
+    private _loops;
+    constructor();
+    constructor(surface: Surface, uvLoops: Polygon, isPositive: boolean, loops?: Curve3[][]);
+    /**
+     * 获取底层无限大的曲面
+     */
+    getSurface(): Surface;
+    /**
+     * 是否和无限大的曲面同向
+     */
+    getSameDirWithSurface(): boolean;
+    /**
+     * 获取无限大曲面uv参数域上的边界
+     */
+    getUVPolygon(): Polygon;
+    /**
+     * 获取无限大曲面三维上的边界
+     */
+    getLoops(): ReadonlyArray<ReadonlyArray<Curve3>>;
+    reverse(): this;
+    getPtAt(uv: types.IXY): Vec3;
+    getNormAt(uv: types.IXY): Vec3;
+    /**
+     *  获取某参数t处的n阶偏导数
+     * t : 参数t
+     * n : 导数的阶数 // 譬如n = 2，会计算曲线在参数t处的0阶导(即曲线点)，1阶偏导（包含偏u、偏v），2阶偏导（包含偏uu、偏uv、偏vv）
+     */
+    getDerivatives(uv: types.IXY, n?: number): Vec3[];
+    getUVAt(pt: types.IXYZ): Vec2;
+    containsPt(point: types.IXYZ, tol?: number): boolean;
+    containsCurve(curve: Curve3, tol?: number): boolean;
+    getDomainU(): Interval;
+    getDomainV(): Interval;
+    /**
+     * 获取等参曲线
+     * @param param 等参曲线处的参数
+     * @param useV true 时返回等 v 参数曲线，false 时返回等 u 参数曲线
+     */
+    getIsoCurve(param: number, useV: boolean): Curve3;
+    /**
+     * 将三维曲线，转成参数域中的二维曲线
+     * @param curveOnSurface
+     */
+    getCurve2d(curveOnSurface: Curve3): Curve2;
+    /**
+     * 将参数域中的二维曲线转成三维曲线
+     * @param curve
+     */
+    getCurve3d(curve: Curve2): Curve3;
+    /**
+     *
+     *  计算包围盒
+     */
+    getBBox(): Box3;
+    /**
+     * 是否和另一个曲面面完全重叠
+     * @param other
+     * @param tol
+     */
+    isCoplanar(other: Surface, tol: Tol): boolean;
+    /**
+     * 乘上一个变换矩阵
+     */
+    transform(mt: types.IMatrix4 | types.numberArrs4X4, extra?: ISurfaceTransformExtra): this;
+    /**
+     * 几何变换，得到新的几何对象
+     * @param m
+     */
+    transformed(m: types.IMatrix4 | types.numberArrs4X4, extra?: ISurfaceTransformExtra): TrimmedSurface;
+    /**
+     *  深拷贝
+     */
+    clone(): TrimmedSurface;
+    getType(): EN_GEO_TYPE.TRIM;
+    /**
+     * 抽取元数据，用于序列化
+     * @returns 返回js对象
+     */
+    dump(): types.IDBTrimmedSur;
+    load({ data: [sur, flag, uvPolygon] }: types.IDBTrimmedSur): this;
+    tessellate(params?: DiscreteParam, tol?: Tol): types.IRenderNode;
+    discrete(params?: DiscreteParam, tol?: Tol): types.IMesh;
+    private _updateUvs;
+}
+export { TrimmedSurface };

package/types/type_define/const.d.ts

@@ -0,0 +1,18 @@
+export declare class CONST {
+    static readonly PI: number;
+    static readonly PI2: number;
+    static readonly PI_2: number;
+    static readonly PI_4: number;
+    static readonly PI_6: number;
+    static readonly PI_16: number;
+    static readonly NORMAL_ITER_NUM = 20;
+    static readonly MAX_ITER_NUM = 200;
+    static readonly PI_12: number;
+    static readonly MAX_SUBDEVIDE_DEPTH = 16;
+    static readonly MAX_INTERSECTION_NUM = 1000;
+    static readonly MODEL_MAX_LENGTH = 1000000;
+    static readonly APPROX_ARC_MIN: number;
+    static readonly APPROX_ARC_MAX: number;
+    static readonly MAX_INTEGER = 1e+100;
+    static readonly MAX_NEG_INTEGER = -1e+100;
+}

package/types/type_define/i_element.d.ts

@@ -0,0 +1,9 @@
+import { types } from './i_types';
+import { EN_GEO_TYPE } from './i_element_type';
+export interface IGeo {
+    getType(): EN_GEO_TYPE;
+    dump(): types.IDBLibGeo;
+    load(json: types.IDBLibGeo): this;
+    clone(): IGeo;
+    toString(): string;
+}

package/types/type_define/i_element_type.d.ts

@@ -0,0 +1,34 @@
+export declare enum EN_GEO_TYPE {
+    MATRIX_3 = "m3",
+    MATRIX_4 = "m4",
+    COORD_2 = "d2",
+    COORD_3 = "d3",
+    VEC_2 = "v2",
+    VEC_3 = "v3",
+    LN_2 = "l2",
+    LN_3 = "l3",
+    ARC_2 = "a2",
+    ARC_3 = "a3",
+    CIRCLE_3 = "c3",
+    INTERSECT_3D = "x3",
+    NURBS_CURVE_3D = "n3",
+    NURBS_CURVE_2D = "n2",
+    SMOOTHPOLY_2D = "s2",
+    SMOOTHPOLY_3D = "s3",
+    OFFSET_CURVE_2D = "f2",
+    OFFSET_CURVE_3D = "f3",
+    EXTEND_CURVE_2D = "e2",
+    POLY_CURVE = "pc",
+    LOOP = "lp",
+    POLYGON = "pg",
+    PLANE = "pl",
+    CYLINDER = "cd",
+    TRIM = "ts",
+    BREP_VERTEX = "bv",
+    BREP_COEDGE = "bc",
+    BREP_EDGE = "be",
+    BREP_WIRE = "bw",
+    BREP_FACE = "bf",
+    BREP_SHELL = "bs",
+    BREP_BODY = "bb"
+}