谈话：样式表/存档

乘法的标准数学符号

我认为还没有为公式中的乘法符号建立“绝对”规则。依我看，星号“*”是编程语言的产物，绝对不是人类（以及其他科学期刊）用来表示乘法的符号（通常表示没有符号，特别是在“3n+1”这样的情况下，而且（a+b）（a-b）=a²-b²）。所以我有点赞成写不带“*”的公式，至少在前面提到的情况下是这样的——即使我承认能够在PARI或Maple窗口中复制公式也很方便。。。如果有疑问（即缺乏达成共识的严格规则），应保留原作者的选择，海事组织。但这可能不是每个人的意见，其他观点可以在这里进行辩护-M.F.哈斯勒2010年11月29日23:36（UTC）

当我认为我们要彻底转换到wiki时，我会同意星号应该保留给程序（例如Maple、Mathematica）字段。阿隆索·德尔·阿特2010年11月30日00:30（UTC）

这也是我的感觉。查尔斯·格里特豪斯四世2011年2月5日07:46（UTC）

我对一些编辑坚持使用丑陋的星号表示遗憾。尽管样式表上写着：“6n^2+17n+1和6*n^2+17*n+1都可以接受。”一些具有强大编程背景的编辑在OEIS中大量使用星号。这并不是每个小学生在小学后都学会写乘法的方式，老师在黑板上使用乘法，或者专业人员在纸上写乘法。

Don Knuth经常使用Mathematica，他喜欢Mathematia的原因之一是它不会强迫他写那些“*”。

我喜欢肖的“不要像别人应该对你那样对待别人。他们的品味可能不一样。”像“符号应该尽可能接近标准数学实践”这样的一般指导原则，以及尊重其他品味，也可能是个好主意。如图所示：“6n^2+17n+1和6*n^2+17*n+1都可以接受。”彼得·卢什尼2011年9月16日12:11（UTC）

评论

杰出的！这一部分非常重要和必要。尼尔写道：“这并不是必需的，因为历史部分也有同样的信息，但它对匆忙的读者很有用。”在我看来，百科全书中最重要的一页通常是词条的最后一页，在那里我们应该能够阅读有关词条的可用信息。此外，我认为“历史”部分，在各种更改和更正之间，将来可能会变得很难阅读。感谢大家所做的伟大工作-布鲁诺·贝塞利2010年11月30日09:44（UTC）

尼尔写道：“乘号：使用*而不是X或×。6n^2+17n+1和6*n^2+17*n+1都可以接受”。感谢您的澄清。布鲁诺·贝塞利2010年12月8日13:17（UTC）

行是否以期间结束

我想知道“LINKS”行不是故意以句点“.”结束的，而“REFERENCES”对于EXTENSIONS和AUTHOR来说是一样的。（因为AUTHOR只包含名称+日期，而EXTENSION通常是一个短语，所以人们可能会想到相反的约定。）-M.F.哈斯勒2010年12月7日10:34（UTC）

是否可以添加特定条目，请求在所有项目名称、公式和示例中添加句点；注释、交叉引用。。。有太多的新捐款没有期限--米歇尔·马库斯2014年12月1日07:16（UTC）

伽马、π、φ（或τ）。。。（小写还是大写？）

对于常量名称的情况，是否有一般规则（或是特别规则）？

尽管3.14159…由小写希腊字母表示${\显示样式\脚本样式\pi\，}$（不是${\显示样式\脚本样式\Pi\，}$，）在OEIS中，我们使用Pi（而不是Pi）作为该名称的拉丁语版本。

在

A001620号Euler常数（或Euler-Mascheroni常数）gamma的十进制展开式。

A001622号黄金比率φ（或τ）的十进制展开=（1+sqrt 5）/2。

使用小写的gamma、phi（或tau）-丹尼尔·福格斯2010年12月12日07:42（UTC）

我认为用“Pi”代替“Pi”是来自编程语言的产物，希望（并期望）它迟早有一天会消失（可能是后者……）。

这可能是从unicode被允许的那一天开始，然后我们将使用符号π，以及符号X而不是“X”（IMO，非常难看，只要不存在歧义，我都强烈希望使用“X”）-M.F.哈斯勒2013年1月26日12:18（UTC）

零或零

“零”在以下方面是否更好：

0的零次幂(零到零次幂的特殊情况.) —丹尼尔·福格斯2010年12月13日06:01（UTC）

AFAICS，应为零，参见。http://en.wikipedia.org/wiki/Zeroth和http://en.wiktonary.org/zeroth/-M.F.哈斯勒2012年11月26日02:41（UTC）

最小术语数

我想我以前见过这是4个学期，对吗-丹尼尔·福格斯2010年12月19日05:39（UTC）

一般来说，是的。快速搜索stripped.gz会显示一个有3个、2个甚至只有1个术语的数字：

1个术语：A058445号,A058446号,A072288号,A076337号,A082710号,A115453号,A118329号,A122036号,A144134号

2个术语：A001220号,A003847号,A003854号,A003936号,A003937号,A003943号,A003944号,A008869号,A008870号,A010332号,A014127号,A014136号,A020329号,A028446号,A050920型,A058433号,A058434号,A058453号,A058454号,A058471号,A058472号,A062595型,A062626号,A062638号,A062644号,A062651号,A062659号,A062663号,A062665号,A064117号,A081208号,A081357,2008年8月13日,A088164号,A100351号,A101571号,A101734号,A101846号,A102910号,A102997号,A103479号,A103504号,A107646号,A110018型,A111027号,A114432号,A118019号,A119333号,A120377号,A122421号,A122557号,A122650个,A123155号,A123693号,A126432号,A130682号,A131960型,A132642号,A133858号,A135240型,A135442号,A137599型,A138763号,138790英镑,A139410号,A139775号,A139777号,A140171号,A144587号,A144588号,A145276号,A145277号,145744英镑,153433英镑,A154110号,A154998号,A158664号,A158750型,A167842号,A171266号,A173377号,A173418号,A176024号,A176935号,A178329号,A178812号,A178900个,A179128号,A179144号,A179161号,A179172号,A179173号,A179174号,A180247号

3项：370个序列

但4个术语通常是最小值。

查尔斯·格里特豪斯四世2011年2月5日07:56（UTC）

如果一个术语就足够了，那么我想知道是否应该提交“序列”

奇数欺骗完美数字:198585576189—丹尼尔·福格斯2011年2月6日01:08（UTC）

问题是，搜索198585576189会得到不止一个结果。搜索316912650057057350374175801344000001只会得到一个结果（前面提到的A072288美元-或者，该序列应该更改为1429、1129、29或53、427169、5501、19、59、1327、1645318771、61、211、17、1831，并在注释中给出316912650057057350374175801344000001）。阿隆索·德尔·阿特2011年2月6日01:23（UTC）

参考模板

一段时间前，我尝试获取以下维基百科模板

模板：引文/核心,模板：引文/核心/文档,

模板：引文,模板：引文/doc,

模板：Cite arXiv,模板：Cite arXiv/doc,

模板：引用书,模板：引用书/文档,

模板：引用日志,模板：引用日志/文档,

在OEIS中工作，但它们依赖于太多其他维基百科模板，因此很难从维基百科》中分离出来。。。

我将在这些模板上做更多的工作（对这些模板的任何帮助都将是非常好的，尽管我现在几乎完成了），如果我不能成功地解开这些模板，那么我将不得不从头开始。此外，如果他们有其他计划（有许多不同的引用约定），我们还需要在开始使用它们之前获得Neil Sloane和David Applegate的批准-丹尼尔·福格斯2010年12月20日02:20（UTC）

现在，使用“Cite journal”模板

{{引用期刊|author=Hassani、Mehdi|title=范围和应用|publisher=整数序列杂志（JIS），第6卷，第1期，2003年3月1日|url=http://www.cs.uwaterloo.ca/journals/JIS/VOL6/Hassani/hassani5.html}}

给予

哈萨尼（Mehdi Hassani）。偏差和应用《整数序列杂志》（JIS），第6卷，第1期，第03.1.2条，2003年.http://www.cs.uwaterloo.ca/journals/JIS/VOL6/Hassani/hassani5.html. 

我必须处理丢失的模板（不再丢失）

模板：引文/制作链接

它还没有完全起作用-丹尼尔·福格斯2010年12月20日03:16（UTC）

几乎可以工作了（只有最后那个虚假的链接…）-丹尼尔·福格斯2010年12月20日08:38（UTC）

维基百科使用“引文网”模板（所以我将把它引入OEIS（现在已经完成了））（“引文期刊”必须用于传统印刷期刊……）

{{Cite网站|author=Hassani、Mehdi|title=范围和应用|publisher=整数序列杂志（JIS），第6卷，第1期，2003年3月1日|url=http://www.cs.uwaterloo.ca/journals/JIS/VOL6/Hassani/hassani5.html}}

它给出

哈桑，迈赫迪。“偏差和应用”《整数序列杂志》（JIS），第6卷，第1期，第03.1.2条，2003年.http://www.cs.uwaterloo.ca/journals/JIS/VOL6/Hassani/hassani5.html. 

一旦我把它纳入OEIS（我现在就要这么做），它就会起作用（如果我成功了……）-丹尼尔·福格斯2010年12月20日03:31（UTC）

现在差不多工作了（标题作为链接工作，必须去掉末尾出现的链接…）-丹尼尔·福格斯2010年12月20日04:02（UTC）

尝试“引用书”模板，作为

{{引用书|last=芒福德|first=大卫|authorlink=David Mumford|title=品种和方案红皮书|publisher=[[Springer-Verlag]]|series=数学课堂笔记1358|年份=1999|doi=10.1007/b62130|isbn=354063293倍}}

给予

大卫·芒福德(1999).品种和方案红皮书.数学课堂讲稿1358。Springer-Verlag公司.国防部:2007年10月10日/b62130.国际标准图书编号 354063293倍. 

几乎可以工作（但需要模板：引文/标识符，还需要一个依赖的模板，我将引入……现在完成了）-丹尼尔·福格斯2010年12月20日04:11（UTC）

引用书现在正常工作了-丹尼尔·福格斯2010年12月20日08:38（UTC）

尝试“Cite arXiv”模板，作为

引用arXiv|last=稀疏|first=乔治·A.J。|eprint=gr-qc/0610068|title=时空为旋量；新维度是时间性的|年份=2006|版本=v1}}

给予

George A.J.斯派林（2006）。“时空是旋量的；新维度是时间的”。第四代氩:gr-qc/0610068v1. 

部分工作（但还需要2个模板……现在完成了）-丹尼尔·福格斯2010年12月20日04:18（UTC）

Cite arXiv现在可以正常工作了-丹尼尔·福格斯2010年12月20日08:38（UTC）

尝试模板“引文”，这是一个通用的引文模板，它试图从使用的参数中确定要使用的特定引文模板

{{引文|last=特纳|第一个=O。|title=菲尔普斯和戈尔姆收购莫里斯储备金先锋定居点的历史|publisher=威廉·阿林|place=纽约罗切斯特|年份=1851|url=http://olivercowdery.com/texts/1851Trn1.htm#turn1851}}

给予

O.特纳（1851），菲尔普斯和戈勒姆收购莫里斯储备金的先锋定居点历史纽约州罗切斯特：威廉·阿林,http://olivercowdery.com/texts/1851Trn1.htm#turn1851 .

这几乎奏效了（除了末尾的假链接……）-丹尼尔·福格斯2010年12月20日04:33（UTC）

Cite arXiv现在可以正常工作了-丹尼尔·福格斯2010年12月20日08:38（UTC）

引用书现在正常工作了-丹尼尔·福格斯2010年12月20日08:38（UTC）

尝试“引用期刊”，作为

引用期刊|第一个=W.Hugh|last=木制|title=连续统假设，第一部分|日志=AMS通知|体积=48|问题=6|年份=2001|页码=567–576|location=普罗维登斯，RI|publisher=美国数学学会|网址=http://www.ams.org/notices/200106/fea-woodin.pdf |format=PDF|issn=1088-9477|oclc=34550461}}

给予

Woodin，W.Hugh（2001）。“连续统假设，第一部分”（PDF）。AMS的通知（普罗维登斯，RI:美国数学学会）48（6） ：第567–576页。国际标准编号 1088-9477.OCLC公司 34550461.http://www.ams.org/notices/200106/fea-woodin.pdf. 

几乎可以正常工作（最后仍然是那个虚假的链接…）-丹尼尔·福格斯2010年12月20日09:55（UTC）

任何人都知道为什么html链接总是出现在末尾（维基百科中没有……）-丹尼尔·福格斯2010年12月20日10:06（UTC）

请查看以下页面以了解参考模板的使用测试：

http://oeis.org/wiki/Divisor_function#参考

所有暂定参考模板（从维基百科获得，我们需要获得尼尔•斯隆和大卫•阿普尔盖特的批准才能使用，以防他们想要使用不同的参考标准）

模板：引用书

模板：引用日志(模板：引文作为重定向）

模板：Cite杂志(模板：Cite杂志文章作为重定向）

模板：Cite web

模板：Cite arXiv

模板：引文（通用引用模板试图从使用的参数中选择正确的特定模板）

如果你不使用URL，就可以正常工作。如果你使用URL，它会被恰当地包装在一个以标题作为标签的链接中，但它也会出现在行尾未包装的情况（而且它不应该，它在维基百科中不存在）。我（或其他人……）这个问题仍然需要解决，但我需要浓咖啡来深入研究模板：引文/核心模板。。。正如您猜测的那样，它实现了所有引文模板共享的核心功能-丹尼尔·福格斯2010年12月25日06:08（UTC）

MathWorld模板

MathWorld模板可能会被修改以获得（实际上我更喜欢它）

埃里克·W·韦斯坦，“解除量程，”摘自MathWorld–Wolfram Web资源

而不是电流

埃里克·魏斯坦（Eric W.Weisstein）。,解除量程，摘自MathWorld-A Wolfram Web资源。

—丹尼尔·福格斯2010年12月20日07:17（UTC）

我们可以把“Wolfram Web Resource”去掉吗-乔格·阿恩特2015年5月13日15:20（UTC）

递归公式的形式

IMO迫切需要一个样式表条目，提供有关递归公式形式的建议。克劳斯·布罗克豪斯2010年12月21日20:50（UTC）

• 基本条件、边界条件、递归方程。按照这种顺序，秩序至关重要。例子：

对于0<=n，0<=k<=n。T（0,0）=1；如果n>1，T（n，0）=T（n-1，n-1）；T（n，k）=T（n-1，k-1）+T（n、k-1），否则。更简洁、更具计算性：T=（n，k）->如果n=0，则为1elif k=0，然后T（n-1，n-1）否则T（n-1，k-1）+T（n，k-1。

继续的：

因此，我们可以在一个句子中把这个递归表示为：T（n，k）的值是，如果n=0，那么1，否则k=0，然后T（n-1，n-1），否则T（n-1，k-1）+T（n、k-1）。

递归可以看作是一个逻辑级联，一个有序的对列表[[cond_1，val_1]，。。。，[cond_n，val_n]]，从左到右计算。在我们的示例中，这可以用符号表示为：

• T（n，k）=递归（[[n=0，1]，[k=0，T（n-1，n-1）]，[true，T（n-1，k-1）+T（n，k-1）]]）。

这种形式可以被视为表示递归的简洁“样式”。它可以像Maple一样复制粘贴到CAS中；只有次要句法需要进行调整。

T:=proc（n，k）局部rec；记录：=“[[n=0,1]，[k=0，T（n-1，n-1）]，[真，T（n-1，k-1）+T（n，k-1递归（T，rec，n，k）结束：

对于从0到4的n，做序列（T（n，k），k=0..n）od；11, 22、3、55、7、10、1515, 20, 27, 37, 52

显然，一个参数上的递归也是这样工作的：

事实：=proc（n）局部Q；Q:=“[[n<1,1]，[1<=n，n*事实（n-1）]]”：递归（事实，Q，n，notdef）结束：事实（4）；24

遗憾的是，Maple的开发人员忘记了这四行代码，而这四行是所有这些代码的运行基础。现在，它们是：

递归：=proc（U，Q，n，k）局部i，S，Rec；记录：=proc（U，Q，n，k）局部i；i：=1；当不evalb（op（1，Q[i]））时，做i:=i+1 od：eval（op（2，Q[i]））结束：Rec（U，Q，n，k）结束：

—彼得·卢什尼2010年12月22日01:12（UTC）--彼得·卢什尼2010年12月22日18:03（UTC）

所有OEIS Wiki页面末尾的“作者”和“引用此页面为”部分

尼尔·斯隆（Neil Sloane）向我发送了以下电子邮件（2011年2月1日），内容涉及所有OEIS Wiki页面末尾的“作者”和“引用此页面为”部分

我有一个重要的评论，这适用于所有wiki页面。在我看来，既然我们是一个科学数据库应该总是说作者是谁。也许在末尾添加两个部分，内容如下：作者==========本页第一版由……编写。。。。，1893年12月45日数据由……提供。。。John Smith在12月…日添加了生成函数。。。进一步备注由……补充。。。等将此页面引用为=================丹尼尔·福格斯等人，<a href=“http://oeis.org/wiki/Centered_polygonal_numbers网站“>居中多边形编号，OEIS Wiki中的一个页面。（或类似的东西）的确，人们可以重建作者信息从“历史记录”选项卡中选择，但这很难做到随着时间的推移，会变得更加困难。我认为我们所有的网页都应该有这样的部分。顺颂商祺尼尔

—丹尼尔·福格斯2011年2月2日05:46（UTC）

把文章分成两页怎么样：一页用于OEIS，一页用于ORIS Wiki

OEIS贡献者的样式表

和

OEIS Wiki贡献者的样式表

这样做的问题是，我们不能简单地进行移动，必须通过复制和粘贴进行，并且编辑历史记录会丢失，所以我不会亲自进行。

—丹尼尔·福格斯2011年6月2日16:32（UTC）

稍后解决，请参阅OEIS Wiki样式表. –弗兰克·埃勒曼2018年2月1日22:25（UTC）

关于b序列的信息部分过时了吗？（回答：不！）

（我对OEIS的编辑方面还不太熟悉。也许下面的问题很愚蠢，也不必要，因为如果我阅读其他信息，答案会很快很清楚。如果是这样，我希望你能给我一个提示，告诉我在哪里读到这篇文章。）

在一些样式表部分中，提到b文件是一个选项，可以在其中添加更多条目。在样式表#带有推测术语的序列，似乎明确建议列出(n个)在b文件中，即使有米<n个对于其中一个(米)未知：

• 已知有足够多的术语填充Data部分中的三行，但序列中还有一些空白。在这种情况下，我们在b文件中给出已知的术语，而在a文件中给出所有的术语，包括间隙、问号或不确定术语的范围。例子：A072942号，它同时具有b文件和a文件。A046057号是群论中的一个序列，它有一个a文件，尽管我们不知道足够的项来确定是否给出一个b文件。

然而，这个例子A046057号，据说没有b文件，但有一个，标记为（由序列项合成的b文件）。我看过的大多数b文件都标记得很好。我根本没有找到包含非连续条目的b文件的示例，即使是示例A072942号因此，该示例的b文件不包含所声称的“已知术语”，仅包含第一个间隙之前的术语。

因此，我有几个问题：

1. “合成的”b文件的存在是否使得关于“我们不知道足够的术语来确定给出b文件”的示例的讨论过时了？
2. 是否有一些不成文的规则，即b-文件永远不应包含条目a(n个)，如果有整数米严格介于偏移和n个，其中(米)未知；或者，如果b文件在“260字节”的限制范围内（转换为A格式），那么b文件应该也包含这样的项目吗？
   一个例子是1998年，只包含21个相当小的条目（因为a（22）和a（23）是未知的）。随附的注释包含以下信息：a（24）=a（32）=b（50）=1；但b文件是自动生成的，只包含21个第一项。是否应将其他三项添加到b文件中？
   我想，对于通过对角读取二维表格形成的序列来说，间隔应该是更多的规则，而不是例外。
3. 是否存在新的自动生成的b文件替换旧文件的风险，删除一些手动输入的(n个)对于n个如果A表本身延伸，则在最低间隙以上；还是自动生成在这种情况下不起作用？
   在示例中：如果三个较高的(n个)如果将a（22）（而不是a（23））添加到主序列中，它们会丢失吗？

我希望这些问题足够清楚，可以回答。约根·巴克林2015年11月1日02:16（UTC）

来自的响应N.J.A.斯隆2015年11月1日19:48（UTC）：让我试着澄清一些事情。

• b文件的官方描述如下：https://oeis.org/SubmitB.html
• 你说：“似乎有一个明确的建议，要列出(n个)在b文件中，即使有米<n个对于其中一个(米)是未知的”。不，这不是真的。b文件必须只包含已知正确的术语，并且没有空格。如果存在不确定的值，则应创建a文件。
• 如果序列没有b文件，OEIS操作系统会自动创建一个“合成b文件”作为替代。这是通过从DATA部分中的术语创建临时b文件来实现的。
• 我希望这已经回答了你的问题。

谢谢你的回答和参考！

然而，我认为可能会有比我更多的“新手”，他们倾向于将“已知术语”解释为“我们肯定知道的术语，无论它们之前是否有缺口”。毕竟，在我遵循了您提供的链接之前，我发现将样式表中的说明解释为表示1998年将结束

   .

   .

19 1

20 1

21 3

24 1

32 1

50 1

（“包含所有已知术语”，而忽略了这些空白）。

因此，我建议通过书写来澄清样式表文本

在这种情况下，我们给出已知的术语（达到第一个间隙）在b文件中，以及a文件中的所有术语（带空格、问号或不确定术语的范围）。

（建议添加的内容下划线）。约根·巴克林2015年11月2日20:19（UTC）

来自的响应N.J.A.斯隆2015年11月6日17时29分（UTC）：感谢您的宝贵建议。我已经相应地修改了样式表。

函数名称：LCM和GCD

• 在公式中写入lcm（非lcm）
• 在公式中写入gcd（非gcd）

例如，在维基百科上，所有lcm和gcd的出现在公式中用小写字母书写。（请参阅下面的链接。）

大写字母（LCM和GCD）仅用作文本中的缩写。

• 例如，8和12的GCD是4。
• gcd（8,12）=4。

另一个例子：A199806号交替LCM-sum：a（n）=sum_{k=1..n}（-1）^（k-1）*LCM（k，n）。
事实并非如此：A199806号交替LCM-sum：a（n）=sum_{k=1..n}（-1）^（k-1）*LCM（k，n）。

维基百科LCM 维基百科GCD—彼得·卢什尼2011年11月10日23:47（UTC）

有关于GCD而不是GCD的指导吗？前者似乎在OEIS中更为普遍。（这当然与计算机程序无关，Mathematica需要前者，而PARI显然需要后者）。阿隆索·德尔·阿特2012年9月16日20:24（UTC）

请参阅第一个表格mathworld页面：Graham、Knuth和Patashnik，《具体数学》，Bressoud和Wagon，《计算数论课程》，以及Bronshtein、Semendyayev、Musiol和Muehlig，《数学手册》，使用gcd。这为我解决了这个问题。彼得·卢什尼2012年9月17日16:22（UTC）

如果没有人反对，我会继续把你的建议放到样式表中。阿隆索·德尔·阿特2012年9月17日17:51（UTC）

我很高兴地同意！感谢您在捍卫传统数学符号方面的帮助-M.F.哈斯勒2012年11月26日02:50（UTC）

蟒蛇

我建议澄清一下，用户应该在适当的时候在代码中标记版本。我在使用函数找到大约642个最近的条目后提到了这一点润智在Python2中有效，但不我不确定“范围”是否是直接替代品--比尔·麦克阿欣2017年12月17日14:21（UTC）

不同版本的脚本语言可能稍微超出了OEIS的范围范围与xrange-问题显然不太严重弗兰克·埃勒曼2017年12月18日17:50（UTC）