登录
OEIS由OEIS基金会的许多慷慨捐赠者.

 

标志
提示
(来自的问候整数序列在线百科全书!)
A269627型 S中的数字n使得F(n)是质数:有关定义,请参阅注释。 0
9、123、3585、16253、17145、79023、100619、501823、696123 (列表;图表;参考;;历史;文本;内部格式)
抵消
1,1
评论
定义S={9、19、39、45、59、63、67、85、105、123、129、133、159、169、173、181、183、221、223、225、229 mod 240}和F(n)=1-4(alpha ^n+conj(alpha)^n)+4 ^(n+2),其中alpha=(1+sqrt(-15)))/2。
与一个有效的(准二次)确定性素性测试有关,该测试使用具有复数乘法的虚二次域上的椭圆曲线。
链接
Alexander Abatzoglou、Alice Silverberg、Andrew V.Sutherland和Angela Wong,用带复数乘法的椭圆曲线证明确定性素性的框架《计算数学》85:299(2016),第1462-1483页。
示例
α=(1+sqrt(-15))/2,F(9)=1-4(α^9+conj(alpha)^9)+4^11=1-4((1+m2))^9+(1-m2)^9(4^11=1-4*781+4194304=4191181,这是素数。因为9也在S中,所以9是序列的成员。
黄体脂酮素
(PARI)F(k)=1-4*简化(四元数(-15)^k+(1-四元数)^k)+4^(k+2)
对于步骤(n=9,1e5,[10,20,6,14,4,4,18,20,18,6,4,26,10,4,8,2,38,2,2,4,20],如果(模拟时间(F(n)),打印1(n“,”))
交叉参考
关键词
非n,更多
作者
状态
经核准的

查找|欢迎光临|维基|注册|音乐|地块2|Demos公司|索引|浏览|更多|网络摄像头
贡献新序列。或评论|格式|样式表|变换|超级搜索|最近
OEIS社区|维护人OEIS基金会。

许可协议、使用条款、隐私政策。.

上次修改时间:美国东部夏令时2024年5月6日05:18。包含372290个序列。(在oeis4上运行。)