本文整理汇总了Python中sage.rings.all.QQ.is_S_integral方法的典型用法代码示例。如果您正苦于以下问题：Python QQ.is_S_integral方法的具体用法？Python QQ.is_S_integral怎么用？Python QQ.is_S_integral使用的例子？那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类sage.rings.all.QQ的用法示例。
在下文中一共展示了QQ.is_S_integral方法的1个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的Python代码示例。
示例1: is_possible_j
# 需要导入模块: from sage.rings.all import QQ [as 别名]
# 或者: from sage.rings.all.QQ import is_S_integral [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())