当前的eclib（eclib-20100711.spkg）在“sign=-1”模块化符号中存在规范化问题，我目前正在修复该问题。Sage接口可能应该等到完成。

发出砰的声响？

我正在做#20864当我将加号更改为默认由eclib计算时。我想知道现在是否可以添加负片？Sage现在正确地将负值归一化了。我们只需要从eclib得到一些有理倍数。

在听了Mazur关于他与Rubin的实验性工作的演讲后，实现这一点成为了我的任务清单，Rubin大量使用了这个模块化符号功能。卡尔告诉我，这将为他们节省大量时间，使他们可以从电子标签上获得减号。我会尽快的。

杰出的。我当然会帮忙。

我也很好奇鲁宾和玛祖尔在干什么。

我将使这张票依赖于另一张，它将把Sage中的eclib版本升级到今天晚些时候发布的版本。两个原因：（1）我修复了一个错误，该错误有时会导致加号都乘以因子>1（在已知的例子中，因子为2）。（2） 我添加了一个工具来在无穷大（oo）而不是0处对基符号进行eclib，即它计算给定有理数的{0，r}或{oo，r}。

例子：

sage:E=椭圆曲线（“121b1”）sage：M=E.modular_symbol（1）警告：无法规范化模块符号，可能所有进一步的结果都将乘以-1、2或-2。鼠尾草：M（1/7）-2

这里的错误消息来自Sage，而不是eclib。虽然当前的eclib版本返回2，但正确的值是1。

请参阅#22077

依赖项：#22077

#22077现在可以进行审查了。我将以分行为基础，以该票据为基础，所以现在我将其设置为先决条件。

作者：约翰·克雷莫纳

分支机构：u/cremona/10256

我已将此设置为“需求审查”，但请注意#22077（将eclib升级到v20161230版本）是一个依赖项，目前也在等待审查。

提交：6637227

我正在做这件事。我发现了一些印刷错误，但更严重的是：

• 此代码还更改了sage中模块化符号的规范化。特别是，尽管函数返回了错误的结果，但121b1的警告不再存在。

sage:E=椭圆曲线（“121b1”）sage:m=E.modular_symbol（实现=“sage”）鼠尾草：m（1/7）-1/2sage:me=E.模块符号（）圣人：我（1/7）1/2

• 第二件事是，有更多的地方需要更改为负片符号自动进行eclib。类似padic_lseries.py中的第219行

之前的评论需要更正，因为我在错误的机器上进行测试，实际上没有使用最新的eclib版本v20161230。现在eclib的ecnf程序将{oo，-1/3}映射到（-3/5，+1），这是为了保持一致性。但一致性并不是正确的，事实上，eclib只对加号进行规范化（w.r.t.符号），并且只有当L（E，1）非零时才进行规范化。

因此，在eclib中还有更多的工作要做，以获得正确的标志。我已经准备好了#22077回到“需要工作”，但也有可能在圣人一侧检查标志。

有一个新版本的eclib（v20170104），位于#22077我在这个ticket上的最后一个分支（u/cremona/10256）可以正常工作。我还没有合并和测试u/wuthrich/tticket/10256，但我确实用wuthrich的独立测试脚本进行了测试。

分行推进git回购；我更新了提交sha1。新提交：

已从更改提交724a205号到49aa039个

随着eclib的最新变化，它看起来很好。现在测试。

错过了一些文档测试。

回复@分类:

错过了一些文档测试。

Dou的意思是有些人失踪了，或者他们不工作了？

对不起，我必须走了，但现在我回来了。我的意思是：我错过了在newforms.pyx中更新doctest，因为所有前后合并都丢失了。也许你是对的，清理一下实际上会有帮助。所以你应该接受你的新分支#22077并在中更改文件
在椭圆曲线中：

• 单元格模块符号
• ell_rational字段
• padic_系列
• 学童
  和模块化pollack_stevens
• 空间
  libs.eclib中的newforms中还有三个错误，最好在将eclib升级至版本20170104 #22077.

我可以做吗？还是你几乎已经完成了？

约翰，恐怕我们在做平行的工作。上传你的。

我在这里进行了更改，但在newforms.pyx中遇到了一个非常奇怪的编译错误。Cython不认识“pair”。我添加了一个导入，但随后出现了其他编译错误，如

_sp=self.nfs.plus_modular_symbol（_r，0，int（base_at_infinity））sage/libs/eclib/newforms.pyx:347:46:调用的参数数量错误（应为1，实际为3）

老实说，我不明白。因此，如果你的做法奏效，我很乐意放弃我在这里所做的。

对不起，我把另一张票搞砸了，这张票得等到我把它弄清楚，那是星期五。

更正（第二天早上）：#22077很好，回到“需求审查”——见备注。什么都没搞砸。我现在要把这个打扫干净。

更改的分支来自u/wuthrich/票/10256到u/cremona/10256新

已从更改提交49aa039个到没有

好吧，我就是这么做的。从位于的新分支开始#22077，我首先使用“git cherry-pick”来选择我最初在这里进行的4次提交（6f517b3、6301cc5、6637227、e81588a）（其中穿插了eclib更新）；只有第一个有一些小的合并冲突，我解决了。然后，我使用rebase将thos组合成一个commitee879ee其次，我对3个审阅者提交（dcacece，724a205，e101d21）进行了类似的处理，将其压缩为一个(0数据库200). 最后，在测试显示一个doctest失败后，我又添加了一个提交(49贝7d8).

因此，我认为新分支u/cremona/10256new上的3个top提交包含了所有以前的工作，而它是基于u/cremoni/22077new的，它本身是基于7.5.rc1的。

如果这里需要额外的更改，只要它们基于此就可以了（并且不需要对eclib本身进行更多更改……）

约翰，你的分行不存在。我的仍然不起作用。

提交：49贝7d8

分行推进git回购；我更新了提交sha1。新提交：

……如果你不忘记实际将分支推到trac，这会有所帮助。。。。它现在在那里

所有测试都通过了，文档也通过了。谢谢。

更改的分支来自u/cremona/10256新到49贝7d8