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

hbghlyj

dependency check: when you click on a fact, show which other things depend on it (or it depends on)

mathbabe.org/2013/07/30/the-stacks-project-ge … esomer-with-new-viz/

abababa

hbghlyj 发表于 2025-3-26 03:42
与MediaWiki类似，要实现内部链接只需将链接内容用2对方括号[[]]包围：
若当前主题下已存在该页面，则显示 ...

“页面名称”指的是什么啊？就比如我17楼里的那些，哪些文字应该填在“页面名称”里呢？

就比如我刚才从距离空间那里的绿色字“拓扑空间”处，点那个链接，然后创建了一个“拓扑空间”的新内容，这里填的东西都应该是什么啊？平凡空间、离散空间都是定义，应该怎么放？我觉得它们应该是和“拓扑空间的定义”平行的，都是定义，只不过依赖了“拓扑空间的定义”。可是我创建时，就变成现在那样，它们都在同一个页面里了，没在左侧显示三个条目。

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

还有我现在把定义的名词都用b这个标签来标了，就是加粗，但是它们都是特殊的名词，应该在最后能出一个名词表索引什么的，是不是能用一些专门的后台自定义命令，比如\mathname{数学专用名词}来做，然后把专门用这个命令做的词都单独处理，比如在当前页面把这些名词加粗显示，比如在其它页面发现这些名词了，就替换成对应的链接之类的。

hbghlyj

abababa 发表于 2025-3-26 03:18
“页面名称”指的是什么啊？就比如我17楼里的那些，哪些文字应该填在“页面名称”里呢？

“页面名称”是存储的文件名，类似于Wiki的词条名，在其它页面用[[ ]]可以链接到它，应该尽量避免重复。
处理页面中的 [[ ]] 链接时，如果发现词条名不唯一，会优先在当前主题下搜索；如果发现当前主题下不存在该词条，则会选取与当前主题名最接近(用萊文斯坦距離测量“接近”)的主题下的词条

hbghlyj

abababa 发表于 2025-3-26 03:18
还有我现在把定义的名词都用b这个标签来标了，就是加粗

可以在 stackedit.cn 熟悉一下Markdown 基本语法，如用**表示加粗。
因为Markdown兼容HTML，也可以用<b></b>

hbghlyj

abababa 发表于 2025-3-26 03:18
然后创建了一个“拓扑空间”的新内容，这里填的东西都应该是什么啊？

“主题”是文件夹，建议填写为数学分支名（大类别），见 https://www.planetmath.org/msc.html 按分支列出了各个分支下的词条，如20_Group_theory_and_generalizations 下有
AlternatingGroupHasIndex2InTheSymmetricGroupThe、AlternatingGroupIsANormalSubgroupOfTheSymmetricGroup、AlternativeProofOfConditionOnANearRingToBeARing、Associative、BruhatDecomposition、CanonicalProjection、Centralizer Commutative、ConditionOnANearRingToBeARing、CorrespondenceOfNormalSubgroupsAndGroupCongruences CubeOfANumber、ExamplesOfGroups、ExamplesOfNoncommutativeOperations、Exponentiation、GSet、GeneralAssociativity、GeneralCommutativity、GeneratedSubring、IndecomposableGroup、InverseOfInverseInAGroup、Klein4ring、LawOfSignsUnderMultiplicationInARing、LeftAndRightUnityOfRing、MinkowskiSum、ModulesOverDecomposableRings、NoncommutativeRingsOfOrderFour、ProofOfGeneralAssociativity 等等，每个页面可以是一个定义（如centralizer）或一个例子（如examples of non-commutative operations）或一个反例（如counter example to Nakayama’s lemma for non-finitely generated modules）或一个命题（如alternating group has index 2 in the symmetric group）或一个定理（如Wilson’s theorem）或一个引理（如6.12 The flattening lemma）或一个逆命题（如converse of Wilson’s theorem）或一个证明（如proof of Nesbitt’s inequality）或“另证”（如AlternativeProofOfConditionOnANearRingToBeARing）或历史评论（如origins of Wedderburn’s theorem）或记号约定（如multi-index notation）

hbghlyj

abababa 发表于 2025-3-26 03:18
我用了enumerate这个latex环境，但是它里面的中文都没显示出来，条目开头也没标上1.2.3的数字。

enumerate 环境在 Markdown 语法中用有序列表语法代替，如：

1. 第一项
2. 第二项
3. 第三项

若都用 1. 开头，Markdown 会自动编号，最后加一个空行表示结束，即

1. 第一项
1. 第二项
1. 第三项

这样更方便。

Markdown语法和 StackExchange 完全一样，通用 Markdown 有很多编辑器，例如 stackedit.cn，可在编辑器写完后粘贴过来。

若源文件是 LaTeX，可以用 在线Pandoc 转换成 Markdown。

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

abababa 发表于 2025-3-26 03:18
是不是能用一些专门的后台自定义命令，比如\mathname{数学专用名词}来做，然后把专门用这个命令做的词都单独处理，比如在当前页面把这些名词加粗显示，比如在其它页面发现这些名词了，就替换成对应的链接之类的。

由于代码简易，软件没有后台，很多功能是自己实现的

您提到的替换链接，我暂时不会
需要借鉴 nnexus，也可借鉴 MediaWiki 的 LinkSuggest 插件，具体怎么实现还得研究一下

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

hbghlyj

abababa 发表于 2025-3-26 07:21
那能不能弄一个自动转换的放在底下，然后点个按钮就让它换过来？毕竟有很多都是已经打好字的latex格式的 ...

现在可以直接写\begin{theorem}\end{theorem}

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

hbghlyj

abababa 发表于 2025-3-26 13:35
能不能提供一些带圈数字的命令来用

圆圈序号像这样能复制的①②③④⑤㉛㉜㉝㉞㉟㊱㊲㊳㊴㊵㊶㊷
不需要自定义命令吧，可以直接输入

abababa

hbghlyj 发表于 2025-3-26 21:57
已添加theorem,lemma,proposition,corollary,definition,proof,solution,problem,remark,example,exercis ...

proof没有显示正确吧：kuing.cjhb.site/page/%E7%82%B9%E9%9B%86%E6%8B … 93%E6%89%91%E5%9F%BA

abababa

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

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

abababa

hbghlyj 发表于 2025-3-26 22:04
可以用啊 https://kuing.cjhb.site/page/test/latex-test

我明白这个怎么回事了，我没用在数学环境里。