本文整理汇总了Python中sage.all.ZZ.quotient方法的典型用法代码示例。如果您正苦于以下问题:Python ZZ.quotient方法的具体用法?Python ZZ.quotient怎么用?Python ZZ.quotient使用的例子?那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类sage.all.ZZ
的用法示例。
在下文中一共展示了ZZ.quotient方法的1个代码示例,这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞,您的评价将有助于系统推荐出更棒的Python代码示例。
示例1: __init__
# 需要导入模块: from sage.all import ZZ [as 别名]
# 或者: from sage.all.ZZ import quotient [as 别名]
def __init__(self, N, P, p, e):
self._N = N
self._F = P.number_field()
self._p = p
# Figure out the map to Z/p^e.
fac = self._F.defining_polynomial().factor_padic(p, prec=e+1)
assert len(fac) == 2
roots = [(-a[0][0]).lift() for a in fac]
gen = self._F.gen()
if gen - roots[0] in N:
im_gen = roots[0]
elif gen - roots[1] in N:
im_gen = roots[1]
else:
raise RuntimError, 'bug'
self._ring = ZZ.quotient(p**e)
self._im_gen = self._ring(im_gen)