@stevenvo780/st-lang 4.9.0 → 4.10.0

package/dist/reasoning/topology/index.d.ts

@@ -0,0 +1,41 @@
+export type Simplex = number[];
+export interface SignedSimplex {
+    sign: 1 | -1;
+    simplex: Simplex;
+}
+export interface SimplicialComplex {
+    vertices: number[];
+    simplices: Map<number, Set<string>>;
+    dim: number;
+}
+export interface HomologyResult {
+    dim: number;
+    bettiNumbers: number[];
+    eulerChar: number;
+    torsion?: Record<number, number[]>;
+}
+export declare function makeComplex(): SimplicialComplex;
+export declare function addSimplex(K: SimplicialComplex, s: Simplex): void;
+export declare function faces(s: Simplex): Simplex[];
+export declare function boundaryZ2(simplex: Simplex): Simplex[];
+export declare function boundaryZ(simplex: Simplex): SignedSimplex[];
+export declare function dimension(K: SimplicialComplex): number;
+export declare function fVector(K: SimplicialComplex): number[];
+export declare function eulerCharacteristic(K: SimplicialComplex): number;
+export declare function rankBoundaryZ2(K: SimplicialComplex, dim: number): number;
+export declare function bettiNumberZ2(K: SimplicialComplex, dim: number): number;
+export declare function smithNormalForm(matrix: number[][]): {
+    snf: number[][];
+    rankIm: number;
+    rankKer: number;
+    invariants: number[];
+};
+export declare function bettiNumberZ(K: SimplicialComplex, dim: number): number;
+export declare function torsionZ(K: SimplicialComplex, dim: number): number[];
+export declare function nSimplex(n: number): SimplicialComplex;
+export declare function spheres(n: number): SimplicialComplex;
+export declare function torus2(): SimplicialComplex;
+export declare function projectivePlane(): SimplicialComplex;
+export declare function kleinBottle(): SimplicialComplex;
+export declare function computeHomology(K: SimplicialComplex, coefficients?: 'Z2' | 'Z'): HomologyResult;
+//# sourceMappingURL=index.d.ts.map

package/dist/reasoning/topology/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/reasoning/topology/index.ts"],"names":[],"mappings":"AAiCA,MAAM,MAAM,OAAO,GAAG,MAAM,EAAE,CAAC;AAG/B,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACb,OAAO,EAAE,OAAO,CAAC;CAClB;AAKD,MAAM,WAAW,iBAAiB;IAChC,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,SAAS,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;IACpC,GAAG,EAAE,MAAM,CAAC;CACb;AAGD,MAAM,WAAW,cAAc;IAC7B,GAAG,EAAE,MAAM,CAAC;IACZ,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;CACpC;AAkCD,wBAAgB,WAAW,IAAI,iBAAiB,CAM/C;AAGD,wBAAgB,UAAU,CAAC,CAAC,EAAE,iBAAiB,EAAE,CAAC,EAAE,OAAO,GAAG,IAAI,CAgCjE;AAOD,wBAAgB,KAAK,CAAC,CAAC,EAAE,OAAO,GAAG,OAAO,EAAE,CAc3C;AAGD,wBAAgB,UAAU,CAAC,OAAO,EAAE,OAAO,GAAG,OAAO,EAAE,CAEtD;AAID,wBAAgB,SAAS,CAAC,OAAO,EAAE,OAAO,GAAG,aAAa,EAAE,CAe3D;AAMD,wBAAgB,SAAS,CAAC,CAAC,EAAE,iBAAiB,GAAG,MAAM,CAEtD;AAGD,wBAAgB,OAAO,CAAC,CAAC,EAAE,iBAAiB,GAAG,MAAM,EAAE,CAMtD;AAGD,wBAAgB,mBAAmB,CAAC,CAAC,EAAE,iBAAiB,GAAG,MAAM,CAShE;AA+FD,wBAAgB,cAAc,CAAC,CAAC,EAAE,iBAAiB,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM,CAIxE;AAKD,wBAAgB,aAAa,CAAC,CAAC,EAAE,iBAAiB,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM,CAMvE;AAmDD,wBAAgB,eAAe,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE,GAAG;IACnD,GAAG,EAAE,MAAM,EAAE,EAAE,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,MAAM,CAAC;IAChB,UAAU,EAAE,MAAM,EAAE,CAAC;CACtB,CAwMA;AAQD,wBAAgB,YAAY,CAAC,CAAC,EAAE,iBAAiB,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM,CAStE;AAKD,wBAAgB,QAAQ,CAAC,CAAC,EAAE,iBAAiB,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM,EAAE,CAMpE;AAQD,wBAAgB,QAAQ,CAAC,CAAC,EAAE,MAAM,GAAG,iBAAiB,CAOrD;AAID,wBAAgB,OAAO,CAAC,CAAC,EAAE,MAAM,GAAG,iBAAiB,CAgBpD;AASD,wBAAgB,MAAM,IAAI,iBAAiB,CAgB1C;AAKD,wBAAgB,eAAe,IAAI,iBAAiB,CAgBnD;AAUD,wBAAgB,WAAW,IAAI,iBAAiB,CA+B/C;AAMD,wBAAgB,eAAe,CAC7B,CAAC,EAAE,iBAAiB,EACpB,YAAY,GAAE,IAAI,GAAG,GAAU,GAC9B,cAAc,CAwBhB"}