跳到内容
新问题

对这个项目有疑问吗？注册一个免费的GitHub帐户以打开一个问题，并联系其维护者和社区。

注册GitHub

点击“注册GitHub”，即表示您同意我们的服务条款和隐私声明。我们偶尔会向您发送与帐户相关的电子邮件。

已经在GitHub上了？登录到您的帐户
跳到底部

椭圆曲线：P.height（）取决于其精度 #5252

关闭
阿吉察已打开此问题2009年2月13日·4条评论
关闭

椭圆曲线：P.height（）取决于其精度 #5252

阿吉察已打开此问题2009年2月13日·4条评论
受让人
@威廉姆斯坦
标签
c： 数论 p： 主要/3 t： 错误
里程碑
凹陷-3.3

评论

@阿吉察
复制链接

这有点奇怪，因为它似乎只发生在一些椭圆曲线上。

无论如何，这里有一个例子：

sage：E=椭圆曲线（[1，-1，1，-20637587012466263707726978，328386477933061330751037747085833809114881]）鼠尾草：P=E（[-30987785091199，258909576181697016447]）sage:P.height（）#默认精度：53位sage:P.height（精度=100）#新精度：100位25.860317067546190744967149477sage:P.height（精度=250）#新精度：250位25.860317067546190744967149477417933667311444878578186035156250000000000000

我一秒钟都不相信上一个例子中的所有零都是正确的。事实上，如果你将精度增加到1000位，你只会得到更多的零。

一定有“更简单”的椭圆曲线会出现这种情况，我会尝试找到一些。

组件：数论

从迁移创建的问题https://trac.sagemath.org/ticket/5252
@阿吉察 阿吉察将此添加到圣母-3.4.1里程碑2009年2月13日
@阿吉察
复制链接
作者

注释：1

在本机GP会话中运行此示例可以很好地工作，因此问题要么在Sage中，要么在Sake与Pari库通信的方式中。

@约翰克雷莫纳
复制链接
成员

注释：2

附件：轨迹5252.第g页

Alex，我认为需要为ellheight（）函数提供精度参数，尽管它在该函数的文档字符串中表示：

sage：E=椭圆曲线（[1，-1，1，-20637587012466263707726978，328386477933061330751037747085833809114881]）鼠尾草：P=E（[-30987785091199，258909576181697016447]）sage：PE=E.pari_curve（prec=500）sage：PE.ellheight（[P[0]，P[1]，P[2]）.python（）25.8603170675461907sage：PE.ellheight（[P[0]，P[1]，P[2]，精度=500）.python（）25.8603170675461907438688407407351103230988729038444162155771710417835725129551130570889813281792157278507639909972112856019190236125362914195452321719909

（这里我输出.python（）转换，因为它使用gp默认精度进行输出，所以您无法看到发生了什么）。

在我的补丁之后，您的示例运行良好：

sage：E=椭圆曲线（[1，-1，1，-20637587012466263707726978，328386477933061330751037747085833809114881]）鼠尾草：P=E（[-30987785091199，258909576181697016447]）鼠尾草：P.高度（）25.8603170675462sage：P.height（精度=100）25.860317067546190743868840741sage：P.height（精度=250）25.860317067546190743868840740735110323098872903844416215577171041783572513sage：P.height（精度=500）25.8603170675461907438688407407351103230988729038444162155771710417835725129551130570889813281792157278507639909972112856019190236125362914195452321720

补丁（基于3.3.rc0）更正height（），添加doctest，并更正gen.pyx中的docstring。我还必须更正ell_rational_field.py中的doctest输出。

注意：新doctest的精度为500的输出在trac上看起来很奇怪，但在源文件中没有问题。

@阿吉察
复制链接
作者

评论：3

干得好，约翰！

@sagetrac-mabshoff公司
复制链接
人体模型

评论：4

并入Sage 3.3.rc1。

干杯，

迈克尔

@鼠尾草-马绍夫 矢状马布肖夫 人体模型将此关闭为完整的 2009年2月16日
免费注册 在GitHub上加入此对话.已经有账户了吗？登录以发表评论
受让人

@威廉姆斯坦 威廉姆斯坦

标签
c： 数论 p： 主要/3 t： 错误
项目
还没有
里程碑
圣母-3.3
开发

没有分支或拉请求
3名参与者
@阿吉察 @威廉姆斯坦 @约翰克雷莫纳