本文整理汇总了Python中sage.rings.all.QQ.prime_to_S_part方法的典型用法代码示例。如果您正苦于以下问题:Python QQ.prime_to_S_part方法的具体用法?Python QQ.prime_to_S_part怎么用?Python QQ.prime_to_S_part使用的例子?那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类sage.rings.all.QQ
的用法示例。
在下文中一共展示了QQ.prime_to_S_part方法的1个代码示例,这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞,您的评价将有助于系统推荐出更棒的Python代码示例。
示例1: is_possible_j
# 需要导入模块: from sage.rings.all import QQ [as 别名]
# 或者: from sage.rings.all.QQ import prime_to_S_part [as 别名]
def is_possible_j(j, S=[]):
r"""
Tests if the rational `j` is a possible `j`-invariant of an
elliptic curve with good reduction outside `S`.
.. note::
The condition used is necessary but not sufficient unless S
contains both 2 and 3.
EXAMPLES::
sage: from sage.schemes.elliptic_curves.ell_egros import is_possible_j
sage: is_possible_j(0,[])
False
sage: is_possible_j(1728,[])
True
sage: is_possible_j(-4096/11,[11])
True
"""
j = QQ(j)
return (j.is_zero() and 3 in S) \
or (j==1728) \
or (j.is_S_integral(S) \
and j.prime_to_S_part(S).is_nth_power(3) \
and (j-1728).prime_to_S_part(S).abs().is_square())