能不能单独开一个版块，专门存各种定理命题之类的

hbghlyj

abababa 发表于 2025-3-26 03:18
定义拓扑空间时，我用了enumerate这个latex环境，但是它里面的中文都没显示出来，条目开头也没标上1.2.3的数字。然后我定义完拓扑空间，那个距离空间里的绿色字“拓扑空间”，不应该是变成链接连到我这个定义吗？怎么没变呢？我就是从那里点进去创建的。

修改后编号的中文和蓝色链接都正常了。

hbghlyj

abababa 发表于 2025-3-26 03:18
它们都在同一个页面里了，没在左侧显示三个条目。

如果需要在左侧显示，平行的概念应分别创建三个条目吧
若需要链接指向该条目，语法为[[条目名]]。

如果在同一个页面添加小节，小节标题和链接会在页面右上角显示，单击后跳到小节。与Wikipedia类似，可分别编辑每个小节，使得长页面更容易编辑。
若需要链接指向该小节，语法为[[条目名#小节名]]。

hbghlyj

abababa 发表于 2025-3-26 03:18
平凡空间、离散空间都是定义，应该怎么放？我觉得它们应该是和“拓扑空间的定义”平行的，都是定义

建议放在数学分支54_General_topology（一般拓扑学,点集拓扑）下面：bananaspace.org/wiki/一般拓扑
离散空间在PlanetMath有单独的页面Discrete Space，我们也可将其放到单独的页面。
我觉得平凡空间的定义可放在拓扑空间里的小节里，因为它的定义很简短。

平凡的例子可以直接放在定义下面，不需新建页面，也不用加链接，因为是熟知的

hbghlyj

hbghlyj 发表于 2025-3-26 06:17
您提到的替换链接，我暂时不会
需要借鉴 nnexus

例如 github.com/planetmath/00_General/blob/master/ … on.tex#L49C25-L49C51

首先看到 \usepackage{pmmeta}
不知pmmeta 在哪获取
github.com/KWARC/LaTeXML/blob/master/lib/LaTe … h-specials.sty.ltxml

行49为
\PMlinkescapeword{small}\PMlinkescapeword{natural} 用于在文档中转义“small”和“natural”这两个词，可能是为了防止它们被解释为命令或关键字。
\PMlinkescapeword 是 pmmeta 包提供的一个宏。
该宏用于转义文本中的特定单词。
“small”和“natural”是需要转义的目标单词。
转义确保这些单词被视为普通文本，而不是被自动链接

行62为algebra the \PMlinkname{dimension of a vector space}{Dimension2}
在文本中插入一个超链接，该超链接指向 PM 条目中“代数”部分的“Dimension2”条目
由于它不会被自动识别为关键字，因此必须手动创建超链接。

abababa

hbghlyj 发表于 2025-3-26 13:18
enumerate 环境在 Markdown 语法中用有序列表语法代替，如：

1. 第一项

那能不能弄一个自动转换的放在底下，然后点个按钮就让它换过来？毕竟有很多都是已经打好字的latex格式的，直接复制粘贴进来，一保存就能成型的，这样多方便。这个markdown我都没怎么用过，要是还要去特定的地方转换那就太麻烦了。

abababa

hbghlyj 发表于 2025-3-26 14:17
由于代码简易，软件没有后台，很多功能是自己实现的

您提到的替换链接，我暂时不会

就是像latex那样自定义命令就行，比如本论坛里就有很多自定义命令，这个自定义命令不一定非得是数学公式吧？我不太懂，觉得也能定义其它的。

abababa

hbghlyj 发表于 2025-3-26 19:50
现在可以直接写

其它的也能加上吧，比如proof，proposition，lemma之类的，另外\tag现在不能用啊，其实我自己是用的\mynum{1}\mynum{2}这种，就是自定义的带圈数字，能不能提供一些带圈数字的命令来用，觉得这个挺实用，就在本定理中使用，也不需要来回引用。

hbghlyj

abababa 发表于 2025-3-26 13:35
其它的也能加上吧，比如proof，proposition，lemma之类的

已添加theorem,lemma,proposition,corollary,definition,proof,solution,problem,remark,example,exercise

abababa

hbghlyj 发表于 2025-3-26 13:29
如果需要在左侧显示，平行的概念应分别创建三个条目吧
若需要链接指向该条目，语法为[[条目名]]。

[[条目名#小节名]]这个怎么用啊？我在点集拓扑下面定义了一个开集，想让它直接链接到拓扑空间的定义那里。

hbghlyj

github.com/docpht/docpht/blob/d584f7e1e2e08a3 … eModel.php#L154-L170
侧边栏中页面的显示顺序是什么？

在 PHP 中使用 <=> 运算符比较两个字符串时，比较是按字典顺序进行的，也就是说，比较是基于字符串中字符的字母顺序进行的。
说字符串“apple”小于“banana”意味着“apple”在字典顺序中位于“banana”之前。原因如下：
比较从每个字符串的第一个字符开始。

在 ASCII 表中，字符“a”（来自“apple”）的值为 97，而“b”（来自“banana”）的值为 98。
由于 97 小于 98，因此“apple”被认为小于“banana”。

在 PHP 中使用 <=> 运算符比较 CJK 字符时，比较仍基于字符的 Unicode 值。以下是示例：

1. $a = "あ"; // Japanese Hiragana character 'a'
2. $b = "い"; // Japanese Hiragana character 'i'
4. $result = $a <=> $b;
6. if ($result === -1) {
7.     echo "'$a' is less than '$b'";
8. } elseif ($result === 0) {
9.     echo "'$a' is equal to '$b'";
10. } else {
11.     echo "'$a' is greater than '$b'";
12. }

Copy the Code

在此示例中，“あ”（U+3042）的 Unicode 值小于“い”（U+3044）的 Unicode 值，因此$a <=> $b的结果将为 -1，表示あ小于い。

abababa

hbghlyj 发表于 2025-3-29 00:51
若没有想出很好的主题，可随便填一个主题，以后内容多了再分类

觉得这个不太行，比如我之前在下面链接里发的那几个关于等周问题的证明：
forum.php?mod=redirect&goto=findpost& … 60639&ptid=12457
这个按分类应该放到凸包里，但是相关的主题又太少，只需要这么几个小命题。
还有一些不等式、解析几何的，都是小结论之类的，又多又杂，要是按分类，它们都在一个大类里，那按现在的分法，就都在一个页面里了，不好找。
我觉得应该是每一条内容分一个页面，不管这个内容是什么，也没有什么层级关系，互相能引用就行了。

我最开始的想法是这样的，先有一个大的分类（解析几何、数学分析、不等式……），分类下面再分几个小的分类（定义、公理、命题，有这几个就够了，引理、定理、推论什么的也都算命题），然后就是一个主题，就像现在的论坛这样，只是分类多了一级。然后每个帖子就只有一楼，不能有其它楼，就在这楼里专门写关于这个定义、命题的内容，不写其它的。比如：
数学分析->命题->连续函数在闭区间上必能取到最值。
证明：……

然后如果需要整合成现在的那个doc.php里的样式，就把这些一条一条的内容嵌入进一个大的页面就行了。

然后有一些定义其实也可以是有所重叠的，比如“开集”这个定义，在拓扑里有一个定义，在数学分析里也有一个定义，不需要只使用一个，可以分成两条，都叫开集，如果只是在数学分析里使用，那只要用数学分析里的那个定义就够了。

hbghlyj

abababa 发表于 2025-3-29 01:30
要是按分类，它们都在一个大类里，那按现在的分法，就都在一个页面里了，不好找。

分在一个大类也行啊。有分类总比没有分类的更容易检索吧。

可参考Lean数学库网站的结构：
例如定理The category of sheaves of modules is abelian页面存放在Algebra下的Category下的ModuleCat下的Sheaf下的Abelian里面：

例如Analytic part of the Lindemann-Weierstrass theorem存放在NumberTheory的Transcendental的Lindemann里面

hbghlyj

abababa 发表于 2025-3-29 01:30
那按现在的分法，就都在一个页面里了，不好找。

除了按分类查找外，有搜索页面名的功能

abababa

hbghlyj 发表于 2025-3-29 10:54
除了按分类查找外，有搜索页面名的功能

就比如圆锥曲线那些，有很多有用的小命题，都放在一个页面里？

abababa

hbghlyj 发表于 2025-3-29 10:42
分在一个大类也行啊。有分类总比没有分类的更容易检索吧。

可参考Lean数学库网站的结构：

我的办法分类才更细，因为每一条命题都被单独分出来了，比如有命题1，命题2，分别在p1.html，p2.html里。现在如果需要整合进一个大的页面a.html，可以在a.html里对应的位置上嵌入p1.html和p2.html。而现在的页面只有那个a.html，里面的小条目都没独立分出来，比如现在我在圆锥曲线里加了一个命题，那如果后续加了100个命题，怎么去查找和引用呢？

hbghlyj

abababa 发表于 2025-3-29 04:44
怎么去查找和引用呢？

页面的小节有锚点，例如 a.html#p1 可以定位到页面锚点，就像帖子楼层的链接可以定位到页面中的该楼层

hbghlyj

hbghlyj 发表于 2025-3-28 17:16
比较 CJK 字符时，比较仍基于字符的 Unicode 值

但是对于 CJK 字符这样的排序没有意义怎么修改比较好呢，手动排序吗？为每个章节加一个数字前缀？

hbghlyj

abababa 发表于 2025-3-29 02:30
专门写关于这个定义、命题的内容，不写其它的。比如：
数学分析->命题->连续函数在闭区间上必能取到最值。

General Topology EntityStore 是一个基于 James Munkres 拓扑学教材构建的实体仓库，主要用于存储《点集拓扑学》中的定义、定理、性质。网页中展示了如何利用 Wolfram 语言来加载和操作这一仓库，例如：

利用 RandomEntity 随机查看一些拓扑学概念：


利用 RandomEntity 随机查看一些拓扑学定理：


查看Ascoli定理的详细内容：


展示概念和定理的相互关联：

hbghlyj

abababa 发表于 2025-3-29 02:30
专门写关于这个定义、命题的内容，不写其它的。比如：
数学分析->命题->连续函数在闭区间上必能取到最值。

可参考 1lab.dev/#recently-added
每个定义有单独的节点
左侧有网络状导航，显示与当前节点相关的节点，双击一个节点即可转到它

hbghlyj

1lab 存储库中将概念呈现为有向图，其中带有指示依赖关系的链接，主要可以在以下文件中找到：

1. support/shake/app/Shake/LinkGraph.hs：
此文件包含构建节点之间链接图的实现细节。
它包括linksRules和getInternalLinks等函数，用于处理表示模块依赖关系的有向图的创建。

2.support/web/js/depgraph.tsx：
此 TypeScript 文件使用 D3.js 在 Web 界面上呈现依赖关系图。
它定义节点和边的结构，并包含用于管理和显示图的函数。

3. README.md:
提供了项目的概述，并提到了使用有向图来呈现概念及其依赖关系。

实施摘要：
图形构建：使用 Shake 构建系统脚本在 Haskell 中构建链接图。Shake.LinkGraph 模块负责创建内部链接图、检查链接目标以及生成表示图边缘的 JSON 文件。
图渲染：依赖图使用 TypeScript 和 D3.js 在 Web 界面上渲染。depgraph.tsx 文件管理节点和边的可视化，确保图具有交互性且具有视觉信息。

后续步骤
探索 Shake.LinkGraph 模块：查看 Shake.LinkGraph.hs 中实现的函数，以了解图数据的生成方式。
检查 depgraph.tsx 以进行可视化：深入研究 TypeScript 文件，了解如何使用 D3.js 渲染图以及用户交互。