@sciencestack-ai/tokens 0.1.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (210) hide show
  1. package/README.md +102 -0
  2. package/dist/base/AbstractTokenNode.d.ts +100 -0
  3. package/dist/base/AbstractTokenNode.d.ts.map +1 -0
  4. package/dist/base/AbstractTokenNode.js +253 -0
  5. package/dist/base/AbstractTokenNode.js.map +1 -0
  6. package/dist/base/BaseTableFigureTokenNode.d.ts +26 -0
  7. package/dist/base/BaseTableFigureTokenNode.d.ts.map +1 -0
  8. package/dist/base/BaseTableFigureTokenNode.js +113 -0
  9. package/dist/base/BaseTableFigureTokenNode.js.map +1 -0
  10. package/dist/base/BaseTokenNode.d.ts +25 -0
  11. package/dist/base/BaseTokenNode.d.ts.map +1 -0
  12. package/dist/base/BaseTokenNode.js +137 -0
  13. package/dist/base/BaseTokenNode.js.map +1 -0
  14. package/dist/base/ITokenNodeFactory.d.ts +6 -0
  15. package/dist/base/ITokenNodeFactory.d.ts.map +1 -0
  16. package/dist/base/ITokenNodeFactory.js +2 -0
  17. package/dist/base/ITokenNodeFactory.js.map +1 -0
  18. package/dist/base/NodeRoles.d.ts +6 -0
  19. package/dist/base/NodeRoles.d.ts.map +1 -0
  20. package/dist/base/NodeRoles.js +7 -0
  21. package/dist/base/NodeRoles.js.map +1 -0
  22. package/dist/base/TokenNodeFactory.d.ts +9 -0
  23. package/dist/base/TokenNodeFactory.d.ts.map +1 -0
  24. package/dist/base/TokenNodeFactory.js +94 -0
  25. package/dist/base/TokenNodeFactory.js.map +1 -0
  26. package/dist/content/CaptionTokenNode.d.ts +23 -0
  27. package/dist/content/CaptionTokenNode.d.ts.map +1 -0
  28. package/dist/content/CaptionTokenNode.js +79 -0
  29. package/dist/content/CaptionTokenNode.js.map +1 -0
  30. package/dist/content/QuoteTokenNode.d.ts +12 -0
  31. package/dist/content/QuoteTokenNode.d.ts.map +1 -0
  32. package/dist/content/QuoteTokenNode.js +27 -0
  33. package/dist/content/QuoteTokenNode.js.map +1 -0
  34. package/dist/content/TextTokenNode.d.ts +26 -0
  35. package/dist/content/TextTokenNode.d.ts.map +1 -0
  36. package/dist/content/TextTokenNode.js +70 -0
  37. package/dist/content/TextTokenNode.js.map +1 -0
  38. package/dist/document/AbstractSectionTokenNode.d.ts +12 -0
  39. package/dist/document/AbstractSectionTokenNode.d.ts.map +1 -0
  40. package/dist/document/AbstractSectionTokenNode.js +22 -0
  41. package/dist/document/AbstractSectionTokenNode.js.map +1 -0
  42. package/dist/document/AppendixTokenNode.d.ts +12 -0
  43. package/dist/document/AppendixTokenNode.d.ts.map +1 -0
  44. package/dist/document/AppendixTokenNode.js +24 -0
  45. package/dist/document/AppendixTokenNode.js.map +1 -0
  46. package/dist/document/BaseEnvTokenNode.d.ts +20 -0
  47. package/dist/document/BaseEnvTokenNode.d.ts.map +1 -0
  48. package/dist/document/BaseEnvTokenNode.js +76 -0
  49. package/dist/document/BaseEnvTokenNode.js.map +1 -0
  50. package/dist/document/DocumentTokenNode.d.ts +11 -0
  51. package/dist/document/DocumentTokenNode.d.ts.map +1 -0
  52. package/dist/document/DocumentTokenNode.js +17 -0
  53. package/dist/document/DocumentTokenNode.js.map +1 -0
  54. package/dist/document/EnvironmentTokenNode.d.ts +12 -0
  55. package/dist/document/EnvironmentTokenNode.d.ts.map +1 -0
  56. package/dist/document/EnvironmentTokenNode.js +22 -0
  57. package/dist/document/EnvironmentTokenNode.js.map +1 -0
  58. package/dist/document/GroupTokenNode.d.ts +9 -0
  59. package/dist/document/GroupTokenNode.d.ts.map +1 -0
  60. package/dist/document/GroupTokenNode.js +16 -0
  61. package/dist/document/GroupTokenNode.js.map +1 -0
  62. package/dist/document/MathEnvTokenNode.d.ts +21 -0
  63. package/dist/document/MathEnvTokenNode.d.ts.map +1 -0
  64. package/dist/document/MathEnvTokenNode.js +91 -0
  65. package/dist/document/MathEnvTokenNode.js.map +1 -0
  66. package/dist/document/SectionTokenNode.d.ts +17 -0
  67. package/dist/document/SectionTokenNode.d.ts.map +1 -0
  68. package/dist/document/SectionTokenNode.js +66 -0
  69. package/dist/document/SectionTokenNode.js.map +1 -0
  70. package/dist/document/TitleTokenNode.d.ts +11 -0
  71. package/dist/document/TitleTokenNode.d.ts.map +1 -0
  72. package/dist/document/TitleTokenNode.js +19 -0
  73. package/dist/document/TitleTokenNode.js.map +1 -0
  74. package/dist/export_types.d.ts +46 -0
  75. package/dist/export_types.d.ts.map +1 -0
  76. package/dist/export_types.js +27 -0
  77. package/dist/export_types.js.map +1 -0
  78. package/dist/figures/DiagramTokenNode.d.ts +22 -0
  79. package/dist/figures/DiagramTokenNode.d.ts.map +1 -0
  80. package/dist/figures/DiagramTokenNode.js +62 -0
  81. package/dist/figures/DiagramTokenNode.js.map +1 -0
  82. package/dist/figures/FigureTokenNode.d.ts +11 -0
  83. package/dist/figures/FigureTokenNode.d.ts.map +1 -0
  84. package/dist/figures/FigureTokenNode.js +18 -0
  85. package/dist/figures/FigureTokenNode.js.map +1 -0
  86. package/dist/figures/IncludeGraphicsTokenNode.d.ts +20 -0
  87. package/dist/figures/IncludeGraphicsTokenNode.d.ts.map +1 -0
  88. package/dist/figures/IncludeGraphicsTokenNode.js +44 -0
  89. package/dist/figures/IncludeGraphicsTokenNode.js.map +1 -0
  90. package/dist/figures/IncludePdfTokenNode.d.ts +18 -0
  91. package/dist/figures/IncludePdfTokenNode.d.ts.map +1 -0
  92. package/dist/figures/IncludePdfTokenNode.js +38 -0
  93. package/dist/figures/IncludePdfTokenNode.js.map +1 -0
  94. package/dist/figures/SubFigureTokenNode.d.ts +11 -0
  95. package/dist/figures/SubFigureTokenNode.d.ts.map +1 -0
  96. package/dist/figures/SubFigureTokenNode.js +18 -0
  97. package/dist/figures/SubFigureTokenNode.js.map +1 -0
  98. package/dist/graph/graphTypes.d.ts +42 -0
  99. package/dist/graph/graphTypes.d.ts.map +1 -0
  100. package/dist/graph/graphTypes.js +75 -0
  101. package/dist/graph/graphTypes.js.map +1 -0
  102. package/dist/graph/index.d.ts +4 -0
  103. package/dist/graph/index.d.ts.map +1 -0
  104. package/dist/graph/index.js +3 -0
  105. package/dist/graph/index.js.map +1 -0
  106. package/dist/graph/mathColors.d.ts +11 -0
  107. package/dist/graph/mathColors.d.ts.map +1 -0
  108. package/dist/graph/mathColors.js +20 -0
  109. package/dist/graph/mathColors.js.map +1 -0
  110. package/dist/graph/mathDepGraph.d.ts +4 -0
  111. package/dist/graph/mathDepGraph.d.ts.map +1 -0
  112. package/dist/graph/mathDepGraph.js +320 -0
  113. package/dist/graph/mathDepGraph.js.map +1 -0
  114. package/dist/index.d.ts +42 -0
  115. package/dist/index.d.ts.map +1 -0
  116. package/dist/index.js +54 -0
  117. package/dist/index.js.map +1 -0
  118. package/dist/lists/ListItemTokenNode.d.ts +15 -0
  119. package/dist/lists/ListItemTokenNode.d.ts.map +1 -0
  120. package/dist/lists/ListItemTokenNode.js +91 -0
  121. package/dist/lists/ListItemTokenNode.js.map +1 -0
  122. package/dist/lists/ListTokenNode.d.ts +19 -0
  123. package/dist/lists/ListTokenNode.d.ts.map +1 -0
  124. package/dist/lists/ListTokenNode.js +52 -0
  125. package/dist/lists/ListTokenNode.js.map +1 -0
  126. package/dist/metadata/AuthorTokenNode.d.ts +12 -0
  127. package/dist/metadata/AuthorTokenNode.d.ts.map +1 -0
  128. package/dist/metadata/AuthorTokenNode.js +39 -0
  129. package/dist/metadata/AuthorTokenNode.js.map +1 -0
  130. package/dist/metadata/MetadataTokenNode.d.ts +16 -0
  131. package/dist/metadata/MetadataTokenNode.d.ts.map +1 -0
  132. package/dist/metadata/MetadataTokenNode.js +35 -0
  133. package/dist/metadata/MetadataTokenNode.js.map +1 -0
  134. package/dist/references/BibitemTokenNode.d.ts +34 -0
  135. package/dist/references/BibitemTokenNode.d.ts.map +1 -0
  136. package/dist/references/BibitemTokenNode.js +149 -0
  137. package/dist/references/BibitemTokenNode.js.map +1 -0
  138. package/dist/references/CitationTokenNode.d.ts +19 -0
  139. package/dist/references/CitationTokenNode.d.ts.map +1 -0
  140. package/dist/references/CitationTokenNode.js +56 -0
  141. package/dist/references/CitationTokenNode.js.map +1 -0
  142. package/dist/references/FootnoteTokenNode.d.ts +13 -0
  143. package/dist/references/FootnoteTokenNode.d.ts.map +1 -0
  144. package/dist/references/FootnoteTokenNode.js +24 -0
  145. package/dist/references/FootnoteTokenNode.js.map +1 -0
  146. package/dist/references/ReferenceTokenNode.d.ts +19 -0
  147. package/dist/references/ReferenceTokenNode.d.ts.map +1 -0
  148. package/dist/references/ReferenceTokenNode.js +87 -0
  149. package/dist/references/ReferenceTokenNode.js.map +1 -0
  150. package/dist/references/UrlTokenNode.d.ts +17 -0
  151. package/dist/references/UrlTokenNode.d.ts.map +1 -0
  152. package/dist/references/UrlTokenNode.js +33 -0
  153. package/dist/references/UrlTokenNode.js.map +1 -0
  154. package/dist/styles.d.ts +9 -0
  155. package/dist/styles.d.ts.map +1 -0
  156. package/dist/styles.js +122 -0
  157. package/dist/styles.js.map +1 -0
  158. package/dist/tables/SubTableTokenNode.d.ts +11 -0
  159. package/dist/tables/SubTableTokenNode.d.ts.map +1 -0
  160. package/dist/tables/SubTableTokenNode.js +18 -0
  161. package/dist/tables/SubTableTokenNode.js.map +1 -0
  162. package/dist/tables/TableTokenNode.d.ts +11 -0
  163. package/dist/tables/TableTokenNode.d.ts.map +1 -0
  164. package/dist/tables/TableTokenNode.js +18 -0
  165. package/dist/tables/TableTokenNode.js.map +1 -0
  166. package/dist/tables/TabularTokenNode.d.ts +63 -0
  167. package/dist/tables/TabularTokenNode.d.ts.map +1 -0
  168. package/dist/tables/TabularTokenNode.js +318 -0
  169. package/dist/tables/TabularTokenNode.js.map +1 -0
  170. package/dist/technical/AlgorithmTokenNode.d.ts +22 -0
  171. package/dist/technical/AlgorithmTokenNode.d.ts.map +1 -0
  172. package/dist/technical/AlgorithmTokenNode.js +54 -0
  173. package/dist/technical/AlgorithmTokenNode.js.map +1 -0
  174. package/dist/technical/CodeTokenNode.d.ts +16 -0
  175. package/dist/technical/CodeTokenNode.d.ts.map +1 -0
  176. package/dist/technical/CodeTokenNode.js +43 -0
  177. package/dist/technical/CodeTokenNode.js.map +1 -0
  178. package/dist/technical/CommandTokenNode.d.ts +14 -0
  179. package/dist/technical/CommandTokenNode.d.ts.map +1 -0
  180. package/dist/technical/CommandTokenNode.js +26 -0
  181. package/dist/technical/CommandTokenNode.js.map +1 -0
  182. package/dist/technical/EquationArrayTokenNode.d.ts +40 -0
  183. package/dist/technical/EquationArrayTokenNode.d.ts.map +1 -0
  184. package/dist/technical/EquationArrayTokenNode.js +220 -0
  185. package/dist/technical/EquationArrayTokenNode.js.map +1 -0
  186. package/dist/technical/EquationTokenNode.d.ts +19 -0
  187. package/dist/technical/EquationTokenNode.d.ts.map +1 -0
  188. package/dist/technical/EquationTokenNode.js +96 -0
  189. package/dist/technical/EquationTokenNode.js.map +1 -0
  190. package/dist/tokenProcessing.d.ts +4 -0
  191. package/dist/tokenProcessing.d.ts.map +1 -0
  192. package/dist/tokenProcessing.js +19 -0
  193. package/dist/tokenProcessing.js.map +1 -0
  194. package/dist/types.d.ts +287 -0
  195. package/dist/types.d.ts.map +1 -0
  196. package/dist/types.js +90 -0
  197. package/dist/types.js.map +1 -0
  198. package/dist/utils/arxiv.d.ts +57 -0
  199. package/dist/utils/arxiv.d.ts.map +1 -0
  200. package/dist/utils/arxiv.js +142 -0
  201. package/dist/utils/arxiv.js.map +1 -0
  202. package/dist/utils/citationConverters.d.ts +33 -0
  203. package/dist/utils/citationConverters.d.ts.map +1 -0
  204. package/dist/utils/citationConverters.js +151 -0
  205. package/dist/utils/citationConverters.js.map +1 -0
  206. package/dist/utils.d.ts +14 -0
  207. package/dist/utils.d.ts.map +1 -0
  208. package/dist/utils.js +117 -0
  209. package/dist/utils.js.map +1 -0
  210. package/package.json +44 -0
@@ -0,0 +1,22 @@
1
+ import { DiagramToken } from '../types';
2
+ import { BaseTokenNode } from '../base/BaseTokenNode';
3
+ import { ITokenNodeFactory } from '../base/ITokenNodeFactory';
4
+ import { CopyContentOptions, LatexExportOptions, MarkdownExportOptions } from '../export_types';
5
+ export declare class DiagramTokenNode extends BaseTokenNode {
6
+ protected tokenFactory?: ITokenNodeFactory | undefined;
7
+ constructor(token: DiagramToken, id?: string, tokenFactory?: ITokenNodeFactory | undefined);
8
+ get token(): DiagramToken;
9
+ get width(): number;
10
+ get height(): number;
11
+ get name(): string;
12
+ getError(): {
13
+ message: string;
14
+ type: import("..").GraphicsErrorType;
15
+ } | undefined;
16
+ getCode(): string;
17
+ getPath(): string | undefined;
18
+ getCopyContent(options?: CopyContentOptions): string;
19
+ getLatexContent(options?: LatexExportOptions): string;
20
+ getMarkdownContent(options?: MarkdownExportOptions): string;
21
+ }
22
+ //# sourceMappingURL=DiagramTokenNode.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"DiagramTokenNode.d.ts","sourceRoot":"","sources":["../../src/figures/DiagramTokenNode.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,UAAU,CAAC;AACxC,OAAO,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AACtD,OAAO,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AAC9D,OAAO,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,qBAAqB,EAAwB,MAAM,iBAAiB,CAAC;AAEtH,qBAAa,gBAAiB,SAAQ,aAAa;IAI/C,SAAS,CAAC,YAAY,CAAC,EAAE,iBAAiB;gBAF1C,KAAK,EAAE,YAAY,EACnB,EAAE,CAAC,EAAE,MAAM,EACD,YAAY,CAAC,EAAE,iBAAiB,YAAA;IAK5C,IAAI,KAAK,IAAI,YAAY,CAExB;IAED,IAAI,KAAK,IAAI,MAAM,CAElB;IAED,IAAI,MAAM,IAAI,MAAM,CAEnB;IAED,IAAI,IAAI,WAEP;IAED,QAAQ;;;;IAIR,OAAO;IAKP,OAAO;IAKP,cAAc,CAAC,OAAO,CAAC,EAAE,kBAAkB,GAAG,MAAM;IAIpD,eAAe,CAAC,OAAO,CAAC,EAAE,kBAAkB,GAAG,MAAM;IAmBrD,kBAAkB,CAAC,OAAO,CAAC,EAAE,qBAAqB,GAAG,MAAM;CAS5D"}
@@ -0,0 +1,62 @@
1
+ import { BaseTokenNode } from '../base/BaseTokenNode';
2
+ import { getAssetRelativePath } from '../export_types';
3
+ export class DiagramTokenNode extends BaseTokenNode {
4
+ tokenFactory;
5
+ constructor(token, id, tokenFactory) {
6
+ super(token, id, tokenFactory);
7
+ this.tokenFactory = tokenFactory;
8
+ }
9
+ get token() {
10
+ return this._token;
11
+ }
12
+ get width() {
13
+ return this.token.width ?? 0;
14
+ }
15
+ get height() {
16
+ return this.token.height ?? 0;
17
+ }
18
+ get name() {
19
+ return this.token.name; // tikzpicture, picture, etc.
20
+ }
21
+ getError() {
22
+ return this.token.error;
23
+ }
24
+ getCode() {
25
+ // e.g. \begin{tikzpicture} ... \end{tikzpicture}
26
+ return this.token.content;
27
+ }
28
+ getPath() {
29
+ // svg path or image path
30
+ return this.token.path;
31
+ }
32
+ getCopyContent(options) {
33
+ return this.getPath() ?? '';
34
+ }
35
+ getLatexContent(options) {
36
+ let comment = '';
37
+ const path = this.getPath();
38
+ if (!path) {
39
+ return '';
40
+ }
41
+ const relativePath = getAssetRelativePath(path, options?.paperId, options?.assetsFolderName);
42
+ comment = '\n% Alternatively use path: \n% ';
43
+ // Check if the file is an SVG and use appropriate command
44
+ if (relativePath.toLowerCase().endsWith('.svg')) {
45
+ const pathWithoutExt = relativePath.replace(/\.svg$/i, '');
46
+ comment += `\\includesvg{${pathWithoutExt}}\n`;
47
+ }
48
+ else {
49
+ comment += `\\includegraphics{${relativePath}}\n`;
50
+ }
51
+ return comment + this.getCode();
52
+ }
53
+ getMarkdownContent(options) {
54
+ const path = this.getPath();
55
+ if (!path) {
56
+ return '';
57
+ }
58
+ const relativePath = getAssetRelativePath(path, options?.paperId, options?.assetsFolderName);
59
+ return `![ ](${relativePath})`;
60
+ }
61
+ }
62
+ //# sourceMappingURL=DiagramTokenNode.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"DiagramTokenNode.js","sourceRoot":"","sources":["../../src/figures/DiagramTokenNode.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AAEtD,OAAO,EAAiE,oBAAoB,EAAE,MAAM,iBAAiB,CAAC;AAEtH,MAAM,OAAO,gBAAiB,SAAQ,aAAa;IAIrC;IAHZ,YACE,KAAmB,EACnB,EAAW,EACD,YAAgC;QAE1C,KAAK,CAAC,KAAK,EAAE,EAAE,EAAE,YAAY,CAAC,CAAC;QAFrB,iBAAY,GAAZ,YAAY,CAAoB;IAG5C,CAAC;IAED,IAAI,KAAK;QACP,OAAO,IAAI,CAAC,MAAsB,CAAC;IACrC,CAAC;IAED,IAAI,KAAK;QACP,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,CAAC;IAC/B,CAAC;IAED,IAAI,MAAM;QACR,OAAO,IAAI,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC;IAChC,CAAC;IAED,IAAI,IAAI;QACN,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,6BAA6B;IACvD,CAAC;IAED,QAAQ;QACN,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC;IAC1B,CAAC;IAED,OAAO;QACL,iDAAiD;QACjD,OAAO,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC;IAC5B,CAAC;IAED,OAAO;QACL,yBAAyB;QACzB,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;IACzB,CAAC;IAED,cAAc,CAAC,OAA4B;QACzC,OAAO,IAAI,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC;IAC9B,CAAC;IAED,eAAe,CAAC,OAA4B;QAC1C,IAAI,OAAO,GAAG,EAAE,CAAC;QACjB,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;QAC5B,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,OAAO,EAAE,CAAC;QACZ,CAAC;QACD,MAAM,YAAY,GAAG,oBAAoB,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,gBAAgB,CAAC,CAAC;QAC7F,OAAO,GAAG,kCAAkC,CAAC;QAE7C,0DAA0D;QAC1D,IAAI,YAAY,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;YAChD,MAAM,cAAc,GAAG,YAAY,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;YAC3D,OAAO,IAAI,gBAAgB,cAAc,KAAK,CAAC;QACjD,CAAC;aAAM,CAAC;YACN,OAAO,IAAI,qBAAqB,YAAY,KAAK,CAAC;QACpD,CAAC;QACD,OAAO,OAAO,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;IAClC,CAAC;IAED,kBAAkB,CAAC,OAA+B;QAChD,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;QAC5B,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,MAAM,YAAY,GAAG,oBAAoB,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,gBAAgB,CAAC,CAAC;QAC7F,OAAO,QAAQ,YAAY,GAAG,CAAC;IACjC,CAAC;CACF"}
@@ -0,0 +1,11 @@
1
+ import { FigureToken } from '../types';
2
+ import { BaseTableFigureTokenNode } from '../base/BaseTableFigureTokenNode';
3
+ import { ITokenNodeFactory } from '../base/ITokenNodeFactory';
4
+ export declare class FigureTokenNode extends BaseTableFigureTokenNode {
5
+ protected tokenFactory?: ITokenNodeFactory | undefined;
6
+ constructor(token: FigureToken, id?: string, tokenFactory?: ITokenNodeFactory | undefined);
7
+ get token(): FigureToken;
8
+ protected getLabelPrefix(): string;
9
+ getEnvironmentName(): string;
10
+ }
11
+ //# sourceMappingURL=FigureTokenNode.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"FigureTokenNode.d.ts","sourceRoot":"","sources":["../../src/figures/FigureTokenNode.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,UAAU,CAAC;AACvC,OAAO,EAAE,wBAAwB,EAAE,MAAM,kCAAkC,CAAC;AAC5E,OAAO,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AAE9D,qBAAa,eAAgB,SAAQ,wBAAwB;IAIzD,SAAS,CAAC,YAAY,CAAC,EAAE,iBAAiB;gBAF1C,KAAK,EAAE,WAAW,EAClB,EAAE,CAAC,EAAE,MAAM,EACD,YAAY,CAAC,EAAE,iBAAiB,YAAA;IAK5C,IAAI,KAAK,IAAI,WAAW,CAEvB;IAED,SAAS,CAAC,cAAc,IAAI,MAAM;IAIlC,kBAAkB,IAAI,MAAM;CAG7B"}
@@ -0,0 +1,18 @@
1
+ import { BaseTableFigureTokenNode } from '../base/BaseTableFigureTokenNode';
2
+ export class FigureTokenNode extends BaseTableFigureTokenNode {
3
+ tokenFactory;
4
+ constructor(token, id, tokenFactory) {
5
+ super(token, id, tokenFactory);
6
+ this.tokenFactory = tokenFactory;
7
+ }
8
+ get token() {
9
+ return this._token;
10
+ }
11
+ getLabelPrefix() {
12
+ return 'fig';
13
+ }
14
+ getEnvironmentName() {
15
+ return 'Figure';
16
+ }
17
+ }
18
+ //# sourceMappingURL=FigureTokenNode.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"FigureTokenNode.js","sourceRoot":"","sources":["../../src/figures/FigureTokenNode.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,wBAAwB,EAAE,MAAM,kCAAkC,CAAC;AAG5E,MAAM,OAAO,eAAgB,SAAQ,wBAAwB;IAI/C;IAHZ,YACE,KAAkB,EAClB,EAAW,EACD,YAAgC;QAE1C,KAAK,CAAC,KAAK,EAAE,EAAE,EAAE,YAAY,CAAC,CAAC;QAFrB,iBAAY,GAAZ,YAAY,CAAoB;IAG5C,CAAC;IAED,IAAI,KAAK;QACP,OAAO,IAAI,CAAC,MAAqB,CAAC;IACpC,CAAC;IAES,cAAc;QACtB,OAAO,KAAK,CAAC;IACf,CAAC;IAED,kBAAkB;QAChB,OAAO,QAAQ,CAAC;IAClB,CAAC;CACF"}
@@ -0,0 +1,20 @@
1
+ import { IncludeGraphicsToken } from '../types';
2
+ import { BaseTokenNode } from '../base/BaseTokenNode';
3
+ import { ITokenNodeFactory } from '../base/ITokenNodeFactory';
4
+ import { CopyContentOptions, LatexExportOptions, MarkdownExportOptions } from '../export_types';
5
+ export declare class IncludeGraphicsTokenNode extends BaseTokenNode {
6
+ protected tokenFactory?: ITokenNodeFactory | undefined;
7
+ constructor(token: IncludeGraphicsToken, id?: string, tokenFactory?: ITokenNodeFactory | undefined);
8
+ get token(): IncludeGraphicsToken;
9
+ get width(): number;
10
+ get height(): number;
11
+ getPath(): string | undefined;
12
+ getError(): {
13
+ message: string;
14
+ type: import("..").GraphicsErrorType;
15
+ } | undefined;
16
+ getCopyContent(options?: CopyContentOptions): string;
17
+ getLatexContent(options?: LatexExportOptions): string;
18
+ getMarkdownContent(options?: MarkdownExportOptions): string;
19
+ }
20
+ //# sourceMappingURL=IncludeGraphicsTokenNode.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"IncludeGraphicsTokenNode.d.ts","sourceRoot":"","sources":["../../src/figures/IncludeGraphicsTokenNode.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,oBAAoB,EAAE,MAAM,UAAU,CAAC;AAChD,OAAO,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AACtD,OAAO,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AAC9D,OAAO,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,qBAAqB,EAAwB,MAAM,iBAAiB,CAAC;AAEtH,qBAAa,wBAAyB,SAAQ,aAAa;IAIvD,SAAS,CAAC,YAAY,CAAC,EAAE,iBAAiB;gBAF1C,KAAK,EAAE,oBAAoB,EAC3B,EAAE,CAAC,EAAE,MAAM,EACD,YAAY,CAAC,EAAE,iBAAiB,YAAA;IAK5C,IAAI,KAAK,IAAI,oBAAoB,CAEhC;IAED,IAAI,KAAK,IAAI,MAAM,CAElB;IAED,IAAI,MAAM,IAAI,MAAM,CAEnB;IAED,OAAO;IAIP,QAAQ;;;;IAIR,cAAc,CAAC,OAAO,CAAC,EAAE,kBAAkB,GAAG,MAAM;IAIpD,eAAe,CAAC,OAAO,CAAC,EAAE,kBAAkB,GAAG,MAAM;IASrD,kBAAkB,CAAC,OAAO,CAAC,EAAE,qBAAqB,GAAG,MAAM;CAQ5D"}
@@ -0,0 +1,44 @@
1
+ import { BaseTokenNode } from '../base/BaseTokenNode';
2
+ import { getAssetRelativePath } from '../export_types';
3
+ export class IncludeGraphicsTokenNode extends BaseTokenNode {
4
+ tokenFactory;
5
+ constructor(token, id, tokenFactory) {
6
+ super(token, id, tokenFactory);
7
+ this.tokenFactory = tokenFactory;
8
+ }
9
+ get token() {
10
+ return this._token;
11
+ }
12
+ get width() {
13
+ return this.token.width ?? 0;
14
+ }
15
+ get height() {
16
+ return this.token.height ?? 0;
17
+ }
18
+ getPath() {
19
+ return this.token.path;
20
+ }
21
+ getError() {
22
+ return this.token.error;
23
+ }
24
+ getCopyContent(options) {
25
+ return this.getPath() ?? '';
26
+ }
27
+ getLatexContent(options) {
28
+ const path = this.getPath();
29
+ if (!path) {
30
+ return '';
31
+ }
32
+ const relativePath = getAssetRelativePath(path, options?.paperId, options?.assetsFolderName);
33
+ return `\\includegraphics{${relativePath}}`;
34
+ }
35
+ getMarkdownContent(options) {
36
+ const path = this.getPath();
37
+ if (!path) {
38
+ return '';
39
+ }
40
+ const relativePath = getAssetRelativePath(path, options?.paperId, options?.assetsFolderName);
41
+ return `![ ](${relativePath})`;
42
+ }
43
+ }
44
+ //# sourceMappingURL=IncludeGraphicsTokenNode.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"IncludeGraphicsTokenNode.js","sourceRoot":"","sources":["../../src/figures/IncludeGraphicsTokenNode.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AAEtD,OAAO,EAAiE,oBAAoB,EAAE,MAAM,iBAAiB,CAAC;AAEtH,MAAM,OAAO,wBAAyB,SAAQ,aAAa;IAI7C;IAHZ,YACE,KAA2B,EAC3B,EAAW,EACD,YAAgC;QAE1C,KAAK,CAAC,KAAK,EAAE,EAAE,EAAE,YAAY,CAAC,CAAC;QAFrB,iBAAY,GAAZ,YAAY,CAAoB;IAG5C,CAAC;IAED,IAAI,KAAK;QACP,OAAO,IAAI,CAAC,MAA8B,CAAC;IAC7C,CAAC;IAED,IAAI,KAAK;QACP,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,CAAC;IAC/B,CAAC;IAED,IAAI,MAAM;QACR,OAAO,IAAI,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC;IAChC,CAAC;IAED,OAAO;QACL,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;IACzB,CAAC;IAED,QAAQ;QACN,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC;IAC1B,CAAC;IAED,cAAc,CAAC,OAA4B;QACzC,OAAO,IAAI,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC;IAC9B,CAAC;IAED,eAAe,CAAC,OAA4B;QAC1C,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;QAC5B,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,OAAO,EAAE,CAAC;QACZ,CAAC;QACD,MAAM,YAAY,GAAG,oBAAoB,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,gBAAgB,CAAC,CAAC;QAC7F,OAAO,qBAAqB,YAAY,GAAG,CAAC;IAC9C,CAAC;IAED,kBAAkB,CAAC,OAA+B;QAChD,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;QAC5B,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,OAAO,EAAE,CAAC;QACZ,CAAC;QACD,MAAM,YAAY,GAAG,oBAAoB,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,gBAAgB,CAAC,CAAC;QAC7F,OAAO,QAAQ,YAAY,GAAG,CAAC;IACjC,CAAC;CACF"}
@@ -0,0 +1,18 @@
1
+ import { IncludePdfToken } from '../types';
2
+ import { BaseTokenNode } from '../base/BaseTokenNode';
3
+ import { ITokenNodeFactory } from '../base/ITokenNodeFactory';
4
+ import { CopyContentOptions, LatexExportOptions, MarkdownExportOptions } from '../export_types';
5
+ export declare class IncludePdfTokenNode extends BaseTokenNode {
6
+ protected tokenFactory?: ITokenNodeFactory | undefined;
7
+ constructor(token: IncludePdfToken, id?: string, tokenFactory?: ITokenNodeFactory | undefined);
8
+ get token(): IncludePdfToken;
9
+ getPath(): string | undefined;
10
+ getError(): {
11
+ message: string;
12
+ type: import("..").GraphicsErrorType;
13
+ } | undefined;
14
+ getCopyContent(options?: CopyContentOptions): string;
15
+ getLatexContent(options?: LatexExportOptions): string;
16
+ getMarkdownContent(options?: MarkdownExportOptions): string;
17
+ }
18
+ //# sourceMappingURL=IncludePdfTokenNode.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"IncludePdfTokenNode.d.ts","sourceRoot":"","sources":["../../src/figures/IncludePdfTokenNode.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,UAAU,CAAC;AAC3C,OAAO,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AACtD,OAAO,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AAC9D,OAAO,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,qBAAqB,EAAwB,MAAM,iBAAiB,CAAC;AAEtH,qBAAa,mBAAoB,SAAQ,aAAa;IAIlD,SAAS,CAAC,YAAY,CAAC,EAAE,iBAAiB;gBAF1C,KAAK,EAAE,eAAe,EACtB,EAAE,CAAC,EAAE,MAAM,EACD,YAAY,CAAC,EAAE,iBAAiB,YAAA;IAK5C,IAAI,KAAK,IAAI,eAAe,CAE3B;IAED,OAAO;IAIP,QAAQ;;;;IAIR,cAAc,CAAC,OAAO,CAAC,EAAE,kBAAkB,GAAG,MAAM;IAIpD,eAAe,CAAC,OAAO,CAAC,EAAE,kBAAkB,GAAG,MAAM;IASrD,kBAAkB,CAAC,OAAO,CAAC,EAAE,qBAAqB,GAAG,MAAM;CAQ5D"}
@@ -0,0 +1,38 @@
1
+ import { BaseTokenNode } from '../base/BaseTokenNode';
2
+ import { getAssetRelativePath } from '../export_types';
3
+ export class IncludePdfTokenNode extends BaseTokenNode {
4
+ tokenFactory;
5
+ constructor(token, id, tokenFactory) {
6
+ super(token, id, tokenFactory);
7
+ this.tokenFactory = tokenFactory;
8
+ }
9
+ get token() {
10
+ return this._token;
11
+ }
12
+ getPath() {
13
+ return this.token.path;
14
+ }
15
+ getError() {
16
+ return this.token.error;
17
+ }
18
+ getCopyContent(options) {
19
+ return this.getPath() ?? '';
20
+ }
21
+ getLatexContent(options) {
22
+ const path = this.getPath();
23
+ if (!path) {
24
+ return '';
25
+ }
26
+ const relativePath = getAssetRelativePath(path, options?.paperId, options?.assetsFolderName);
27
+ return `\\includepdf{${relativePath}}`;
28
+ }
29
+ getMarkdownContent(options) {
30
+ const path = this.getPath();
31
+ if (!path) {
32
+ return '';
33
+ }
34
+ const relativePath = getAssetRelativePath(path, options?.paperId, options?.assetsFolderName);
35
+ return `![ ](${relativePath})`;
36
+ }
37
+ }
38
+ //# sourceMappingURL=IncludePdfTokenNode.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"IncludePdfTokenNode.js","sourceRoot":"","sources":["../../src/figures/IncludePdfTokenNode.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AAEtD,OAAO,EAAiE,oBAAoB,EAAE,MAAM,iBAAiB,CAAC;AAEtH,MAAM,OAAO,mBAAoB,SAAQ,aAAa;IAIxC;IAHZ,YACE,KAAsB,EACtB,EAAW,EACD,YAAgC;QAE1C,KAAK,CAAC,KAAK,EAAE,EAAE,EAAE,YAAY,CAAC,CAAC;QAFrB,iBAAY,GAAZ,YAAY,CAAoB;IAG5C,CAAC;IAED,IAAI,KAAK;QACP,OAAO,IAAI,CAAC,MAAyB,CAAC;IACxC,CAAC;IAED,OAAO;QACL,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;IACzB,CAAC;IAED,QAAQ;QACN,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC;IAC1B,CAAC;IAED,cAAc,CAAC,OAA4B;QACzC,OAAO,IAAI,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC;IAC9B,CAAC;IAED,eAAe,CAAC,OAA4B;QAC1C,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;QAC5B,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,OAAO,EAAE,CAAC;QACZ,CAAC;QACD,MAAM,YAAY,GAAG,oBAAoB,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,gBAAgB,CAAC,CAAC;QAC7F,OAAO,gBAAgB,YAAY,GAAG,CAAC;IACzC,CAAC;IAED,kBAAkB,CAAC,OAA+B;QAChD,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;QAC5B,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,OAAO,EAAE,CAAC;QACZ,CAAC;QACD,MAAM,YAAY,GAAG,oBAAoB,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,gBAAgB,CAAC,CAAC;QAC7F,OAAO,QAAQ,YAAY,GAAG,CAAC;IACjC,CAAC;CACF"}
@@ -0,0 +1,11 @@
1
+ import { SubFigureToken } from '../types';
2
+ import { ITokenNodeFactory } from '../base/ITokenNodeFactory';
3
+ import { BaseTableFigureTokenNode } from '../base/BaseTableFigureTokenNode';
4
+ export declare class SubFigureTokenNode extends BaseTableFigureTokenNode {
5
+ protected tokenFactory?: ITokenNodeFactory | undefined;
6
+ constructor(token: SubFigureToken, id?: string, tokenFactory?: ITokenNodeFactory | undefined);
7
+ get token(): SubFigureToken;
8
+ protected getLabelPrefix(): string;
9
+ getEnvironmentName(): string;
10
+ }
11
+ //# sourceMappingURL=SubFigureTokenNode.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"SubFigureTokenNode.d.ts","sourceRoot":"","sources":["../../src/figures/SubFigureTokenNode.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,UAAU,CAAC;AAG1C,OAAO,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AAC9D,OAAO,EAAE,wBAAwB,EAAE,MAAM,kCAAkC,CAAC;AAE5E,qBAAa,kBAAmB,SAAQ,wBAAwB;IAI5D,SAAS,CAAC,YAAY,CAAC,EAAE,iBAAiB;gBAF1C,KAAK,EAAE,cAAc,EACrB,EAAE,CAAC,EAAE,MAAM,EACD,YAAY,CAAC,EAAE,iBAAiB,YAAA;IAK5C,IAAI,KAAK,IAAI,cAAc,CAE1B;IAED,SAAS,CAAC,cAAc,IAAI,MAAM;IAIlC,kBAAkB,IAAI,MAAM;CAG7B"}
@@ -0,0 +1,18 @@
1
+ import { BaseTableFigureTokenNode } from '../base/BaseTableFigureTokenNode';
2
+ export class SubFigureTokenNode extends BaseTableFigureTokenNode {
3
+ tokenFactory;
4
+ constructor(token, id, tokenFactory) {
5
+ super(token, id, tokenFactory);
6
+ this.tokenFactory = tokenFactory;
7
+ }
8
+ get token() {
9
+ return this._token;
10
+ }
11
+ getLabelPrefix() {
12
+ return 'subfig';
13
+ }
14
+ getEnvironmentName() {
15
+ return 'Figure';
16
+ }
17
+ }
18
+ //# sourceMappingURL=SubFigureTokenNode.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"SubFigureTokenNode.js","sourceRoot":"","sources":["../../src/figures/SubFigureTokenNode.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,wBAAwB,EAAE,MAAM,kCAAkC,CAAC;AAE5E,MAAM,OAAO,kBAAmB,SAAQ,wBAAwB;IAIlD;IAHZ,YACE,KAAqB,EACrB,EAAW,EACD,YAAgC;QAE1C,KAAK,CAAC,KAAK,EAAE,EAAE,EAAE,YAAY,CAAC,CAAC;QAFrB,iBAAY,GAAZ,YAAY,CAAoB;IAG5C,CAAC;IAED,IAAI,KAAK;QACP,OAAO,IAAI,CAAC,MAAwB,CAAC;IACvC,CAAC;IAES,cAAc;QACtB,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,kBAAkB;QAChB,OAAO,QAAQ,CAAC;IAClB,CAAC;CACF"}
@@ -0,0 +1,42 @@
1
+ import { AbstractTokenNode } from '../';
2
+ export declare enum GraphNodeType {
3
+ mathEnv = "mathEnv",// e.g. theorem/lemma/definition/etc
4
+ proof = "proof"
5
+ }
6
+ export declare class GraphNode {
7
+ node: AbstractTokenNode;
8
+ type: GraphNodeType;
9
+ label: string;
10
+ parentNode?: GraphNode;
11
+ constructor(node: AbstractTokenNode, type: GraphNodeType, label: string);
12
+ get id(): string;
13
+ }
14
+ export declare class GraphEdge {
15
+ source: GraphNode;
16
+ target: GraphNode;
17
+ label?: string;
18
+ partial?: boolean;
19
+ constructor(source: GraphNode, target: GraphNode, label?: string, partial?: boolean);
20
+ }
21
+ export interface GraphData {
22
+ nodes: GraphNode[];
23
+ edges: GraphEdge[];
24
+ }
25
+ type NodeJson = {
26
+ id: string;
27
+ type: string;
28
+ numbering: string;
29
+ title?: string;
30
+ };
31
+ type EdgeJson = {
32
+ from: string;
33
+ to: string;
34
+ type: string;
35
+ indirect?: boolean;
36
+ };
37
+ export declare function graphdataToJSONForLLM(graphData: GraphData): {
38
+ nodes: NodeJson[];
39
+ edges: EdgeJson[];
40
+ };
41
+ export {};
42
+ //# sourceMappingURL=graphTypes.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"graphTypes.d.ts","sourceRoot":"","sources":["../../src/graph/graphTypes.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAoB,MAAM,KAAK,CAAC;AAE1D,oBAAY,aAAa;IACvB,OAAO,YAAY,CAAE,oCAAoC;IACzD,KAAK,UAAU;CAChB;AAED,qBAAa,SAAS;IACb,IAAI,EAAE,iBAAiB,CAAC;IACxB,IAAI,EAAE,aAAa,CAAC;IACpB,KAAK,EAAE,MAAM,CAAC;IACd,UAAU,CAAC,EAAE,SAAS,CAAC;gBAElB,IAAI,EAAE,iBAAiB,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,MAAM;IAMvE,IAAI,EAAE,IAAI,MAAM,CAEf;CACF;AAED,qBAAa,SAAS;IACb,MAAM,EAAE,SAAS,CAAC;IAClB,MAAM,EAAE,SAAS,CAAC;IAClB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,OAAO,CAAC,EAAE,OAAO,CAAC;gBAEb,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,KAAK,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,OAAO;CAMpF;AAED,MAAM,WAAW,SAAS;IACxB,KAAK,EAAE,SAAS,EAAE,CAAC;IACnB,KAAK,EAAE,SAAS,EAAE,CAAC;CACpB;AAED,KAAK,QAAQ,GAAG;IACd,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,MAAM,CAAC;IAClB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB,CAAC;AAEF,KAAK,QAAQ,GAAG;IACd,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,CAAC,EAAE,OAAO,CAAC;CACpB,CAAC;AAEF,wBAAgB,qBAAqB,CAAC,SAAS,EAAE,SAAS;;;EA2CzD"}
@@ -0,0 +1,75 @@
1
+ import { MathEnvTokenNode } from '../';
2
+ export var GraphNodeType;
3
+ (function (GraphNodeType) {
4
+ GraphNodeType["mathEnv"] = "mathEnv";
5
+ GraphNodeType["proof"] = "proof";
6
+ })(GraphNodeType || (GraphNodeType = {}));
7
+ export class GraphNode {
8
+ node;
9
+ type;
10
+ label;
11
+ parentNode; // For proof nodes attached to theorem nodes
12
+ constructor(node, type, label) {
13
+ this.node = node;
14
+ this.type = type;
15
+ this.label = label;
16
+ }
17
+ get id() {
18
+ return this.node.id;
19
+ }
20
+ }
21
+ export class GraphEdge {
22
+ source;
23
+ target;
24
+ label;
25
+ partial;
26
+ constructor(source, target, label, partial) {
27
+ this.source = source;
28
+ this.target = target;
29
+ this.label = label;
30
+ this.partial = partial;
31
+ }
32
+ }
33
+ export function graphdataToJSONForLLM(graphData) {
34
+ const nodes = [];
35
+ const edges = [];
36
+ const convertNodeToStr = (node) => {
37
+ if (node instanceof MathEnvTokenNode) {
38
+ const name = node.name.toLowerCase();
39
+ const nodeId = name + ' ' + node.numbering;
40
+ return nodeId;
41
+ }
42
+ return node.id;
43
+ };
44
+ for (const graphNode of graphData.nodes) {
45
+ const node = graphNode.node;
46
+ const nodeId = convertNodeToStr(node);
47
+ const nodeJson = {
48
+ id: nodeId,
49
+ type: node.name || node.constructor.name,
50
+ numbering: node.numbering ?? ''
51
+ };
52
+ if (typeof node.getTitleStr === 'function') {
53
+ const titleStr = node.getTitleStr(false);
54
+ if (titleStr.length > 0)
55
+ nodeJson.title = titleStr;
56
+ }
57
+ nodes.push(nodeJson);
58
+ }
59
+ for (const edge of graphData.edges) {
60
+ let label = edge.label ?? '';
61
+ if (label == 'proof') {
62
+ label = 'in proof of ' + convertNodeToStr(edge.target.node);
63
+ }
64
+ const edgeJson = {
65
+ from: convertNodeToStr(edge.source.node),
66
+ to: convertNodeToStr(edge.target.node),
67
+ type: label
68
+ };
69
+ if (edge.partial)
70
+ edgeJson.indirect = true;
71
+ edges.push(edgeJson);
72
+ }
73
+ return { nodes, edges };
74
+ }
75
+ //# sourceMappingURL=graphTypes.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"graphTypes.js","sourceRoot":"","sources":["../../src/graph/graphTypes.ts"],"names":[],"mappings":"AAAA,OAAO,EAAqB,gBAAgB,EAAE,MAAM,KAAK,CAAC;AAE1D,MAAM,CAAN,IAAY,aAGX;AAHD,WAAY,aAAa;IACvB,oCAAmB,CAAA;IACnB,gCAAe,CAAA;AACjB,CAAC,EAHW,aAAa,KAAb,aAAa,QAGxB;AAED,MAAM,OAAO,SAAS;IACb,IAAI,CAAoB;IACxB,IAAI,CAAgB;IACpB,KAAK,CAAS;IACd,UAAU,CAAa,CAAC,4CAA4C;IAE3E,YAAY,IAAuB,EAAE,IAAmB,EAAE,KAAa;QACrE,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;QACjB,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;QACjB,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;IACrB,CAAC;IAED,IAAI,EAAE;QACJ,OAAO,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;IACtB,CAAC;CACF;AAED,MAAM,OAAO,SAAS;IACb,MAAM,CAAY;IAClB,MAAM,CAAY;IAClB,KAAK,CAAU;IACf,OAAO,CAAW;IAEzB,YAAY,MAAiB,EAAE,MAAiB,EAAE,KAAc,EAAE,OAAiB;QACjF,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;QACrB,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;QACrB,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;QACnB,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC;IACzB,CAAC;CACF;AAqBD,MAAM,UAAU,qBAAqB,CAAC,SAAoB;IACxD,MAAM,KAAK,GAAe,EAAE,CAAC;IAC7B,MAAM,KAAK,GAAe,EAAE,CAAC;IAE7B,MAAM,gBAAgB,GAAG,CAAC,IAAuB,EAAE,EAAE;QACnD,IAAI,IAAI,YAAY,gBAAgB,EAAE,CAAC;YACrC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;YACrC,MAAM,MAAM,GAAG,IAAI,GAAG,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC;YAC3C,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,OAAO,IAAI,CAAC,EAAE,CAAC;IACjB,CAAC,CAAC;IAEF,KAAK,MAAM,SAAS,IAAI,SAAS,CAAC,KAAK,EAAE,CAAC;QACxC,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC;QAC5B,MAAM,MAAM,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;QACtC,MAAM,QAAQ,GAAa;YACzB,EAAE,EAAE,MAAM;YACV,IAAI,EAAG,IAAY,CAAC,IAAI,IAAI,IAAI,CAAC,WAAW,CAAC,IAAI;YACjD,SAAS,EAAG,IAAY,CAAC,SAAS,IAAI,EAAE;SACzC,CAAC;QACF,IAAI,OAAQ,IAAY,CAAC,WAAW,KAAK,UAAU,EAAE,CAAC;YACpD,MAAM,QAAQ,GAAI,IAAY,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;YAClD,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC;gBAAE,QAAQ,CAAC,KAAK,GAAG,QAAQ,CAAC;QACrD,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACvB,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,KAAK,EAAE,CAAC;QACnC,IAAI,KAAK,GAAG,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;QAC7B,IAAI,KAAK,IAAI,OAAO,EAAE,CAAC;YACrB,KAAK,GAAG,cAAc,GAAG,gBAAgB,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAC9D,CAAC;QACD,MAAM,QAAQ,GAAa;YACzB,IAAI,EAAE,gBAAgB,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;YACxC,EAAE,EAAE,gBAAgB,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;YACtC,IAAI,EAAE,KAAK;SACZ,CAAC;QACF,IAAI,IAAI,CAAC,OAAO;YAAE,QAAQ,CAAC,QAAQ,GAAG,IAAI,CAAC;QAC3C,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACvB,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;AAC1B,CAAC"}
@@ -0,0 +1,4 @@
1
+ export type { GraphData } from './graphTypes';
2
+ export { GraphNode, GraphEdge, GraphNodeType as NodeType } from './graphTypes';
3
+ export { GenerateMathDepGraph } from './mathDepGraph';
4
+ //# sourceMappingURL=index.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/graph/index.ts"],"names":[],"mappings":"AAAA,YAAY,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AAC9C,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,aAAa,IAAI,QAAQ,EAAE,MAAM,cAAc,CAAC;AAC/E,OAAO,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC"}
@@ -0,0 +1,3 @@
1
+ export { GraphNode, GraphEdge, GraphNodeType as NodeType } from './graphTypes';
2
+ export { GenerateMathDepGraph } from './mathDepGraph';
3
+ //# sourceMappingURL=index.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/graph/index.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,aAAa,IAAI,QAAQ,EAAE,MAAM,cAAc,CAAC;AAC/E,OAAO,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC"}
@@ -0,0 +1,11 @@
1
+ import { AbstractTokenNode } from '../';
2
+ export declare const MathEnvColors: {
3
+ readonly theorem: "#228B22";
4
+ readonly lemma: "#228B22";
5
+ readonly corollary: "#228B22";
6
+ readonly proposition: "#228B22";
7
+ readonly definition: "#1E90FF";
8
+ readonly default: "#A9A9A9";
9
+ };
10
+ export declare function getMathEnvColor(node?: AbstractTokenNode): string;
11
+ //# sourceMappingURL=mathColors.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"mathColors.d.ts","sourceRoot":"","sources":["../../src/graph/mathColors.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAoB,MAAM,KAAK,CAAC;AAE1D,eAAO,MAAM,aAAa;;;;;;;CAShB,CAAC;AAEX,wBAAgB,eAAe,CAAC,IAAI,CAAC,EAAE,iBAAiB,GAAG,MAAM,CAKhE"}
@@ -0,0 +1,20 @@
1
+ import { MathEnvTokenNode } from '../';
2
+ export const MathEnvColors = {
3
+ theorem: '#228B22',
4
+ lemma: '#228B22', // Forest Green
5
+ corollary: '#228B22',
6
+ proposition: '#228B22',
7
+ definition: '#1E90FF',
8
+ // remark: '#A9A9A9', // DarkGray
9
+ // example: '#B0B0B0', // Gray, lighter than Remark
10
+ default: '#A9A9A9' // Default color (DarkGray)
11
+ };
12
+ export function getMathEnvColor(node) {
13
+ if (!node || !(node instanceof MathEnvTokenNode))
14
+ return MathEnvColors.default;
15
+ const name = node.name;
16
+ if (!name)
17
+ return MathEnvColors.default;
18
+ return MathEnvColors[name.toLowerCase()] ?? MathEnvColors.default;
19
+ }
20
+ //# sourceMappingURL=mathColors.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"mathColors.js","sourceRoot":"","sources":["../../src/graph/mathColors.ts"],"names":[],"mappings":"AAAA,OAAO,EAAqB,gBAAgB,EAAE,MAAM,KAAK,CAAC;AAE1D,MAAM,CAAC,MAAM,aAAa,GAAG;IAC3B,OAAO,EAAE,SAAS;IAClB,KAAK,EAAE,SAAS,EAAE,eAAe;IACjC,SAAS,EAAE,SAAS;IACpB,WAAW,EAAE,SAAS;IACtB,UAAU,EAAE,SAAS;IACrB,iCAAiC;IACjC,mDAAmD;IACnD,OAAO,EAAE,SAAS,CAAC,2BAA2B;CACtC,CAAC;AAEX,MAAM,UAAU,eAAe,CAAC,IAAwB;IACtD,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,YAAY,gBAAgB,CAAC;QAAE,OAAO,aAAa,CAAC,OAAO,CAAC;IAC/E,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;IACvB,IAAI,CAAC,IAAI;QAAE,OAAO,aAAa,CAAC,OAAO,CAAC;IACxC,OAAO,aAAa,CAAC,IAAI,CAAC,WAAW,EAAgC,CAAC,IAAI,aAAa,CAAC,OAAO,CAAC;AAClG,CAAC"}
@@ -0,0 +1,4 @@
1
+ import { AbstractTokenNode } from '../base/AbstractTokenNode';
2
+ import { GraphData } from './graphTypes';
3
+ export declare function GenerateMathDepGraph(tokenNodes: AbstractTokenNode[]): GraphData;
4
+ //# sourceMappingURL=mathDepGraph.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"mathDepGraph.d.ts","sourceRoot":"","sources":["../../src/graph/mathDepGraph.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AAQ9D,OAAO,EAAE,SAAS,EAAuC,MAAM,cAAc,CAAC;AAyU9E,wBAAgB,oBAAoB,CAAC,UAAU,EAAE,iBAAiB,EAAE,GAAG,SAAS,CAU/E"}