本文整理汇总了Python中sage.schemes.projective.projective_space.ProjectiveSpace.gens方法的典型用法代码示例。如果您正苦于以下问题：Python ProjectiveSpace.gens方法的具体用法？Python ProjectiveSpace.gens怎么用？Python ProjectiveSpace.gens使用的例子？那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类sage.schemes.projective.projective_space.ProjectiveSpace的用法示例。
在下文中一共展示了ProjectiveSpace.gens方法的1个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的Python代码示例。
示例1: __init__
# 需要导入模块: from sage.schemes.projective.projective_space import ProjectiveSpace [as 别名]
# 或者: from sage.schemes.projective.projective_space.ProjectiveSpace import gens [as 别名]
def __init__(self,J):
"""
"""
R = J.base_ring()
PP = ProjectiveSpace(3,R,["X0","X1","X2","X3"])
X0, X1, X2, X3 = PP.gens()
C = J.curve()
f, h = C.hyperelliptic_polynomials()
a12 = f[0]; a10 = f[1]; a8 = f[2];
a6 = f[3]; a4 = f[4]; a2 = f[5]; a0 = f[6]
if h != 0:
c6 = h[0]; c4 = h[1]; c2 = h[2]; c0 = h[3]
a12, a10, a8, a6, a4, a2, a0 = \
(4*a12 + c6**2,
4*a10 + 2*c4*c6,
4*a8 + 2*c2*c6 + c4**2,
4*a6 + 2*c0*c6 + 2*c2*c4,
4*a4 + 2*c0*c4 + c2**2,
4*a2 + 2*c0*c2,
4*a0 + c0**2)
F = \
(-4*a8*a12 + a10**2)*X0**4 + \
-4*a6*a12*X0**3*X1 + \
-2*a6*a10*X0**3*X2 + \
-4*a12*X0**3*X3 + \
-4*a4*a12*X0**2*X1**2 + \
(4*a2*a12 - 4*a4*a10)*X0**2*X1*X2 + \
-2*a10*X0**2*X1*X3 + \
(-4*a0*a12 + 2*a2*a10 - 4*a4*a8 + a6**2)*X0**2*X2**2 + \
-4*a8*X0**2*X2*X3 + \
-4*a2*a12*X0*X1**3 + \
(8*a0*a12 - 4*a2*a10)*X0*X1**2*X2 + \
(4*a0*a10 - 4*a2*a8)*X0*X1*X2**2 + \
-2*a6*X0*X1*X2*X3 + \
-2*a2*a6*X0*X2**3 + \
-4*a4*X0*X2**2*X3 + \
-4*X0*X2*X3**2 + \
-4*a0*a12*X1**4 + \
-4*a0*a10*X1**3*X2 + \
-4*a0*a8*X1**2*X2**2 + \
X1**2*X3**2 + \
-4*a0*a6*X1*X2**3 + \
-2*a2*X1*X2**2*X3 + \
(-4*a0*a4 + a2**2)*X2**4 + \
-4*a0*X2**3*X3
AlgebraicScheme_subscheme_projective.__init__(self, PP, F)
X, Y, Z = C.ambient_space().gens()
if a0 ==0:
a0 = a2
phi = Hom(C,self)([0,Z**2,X*Z,a0*X**2],Schemes())
C._kummer_morphism = phi
J._kummer_surface = self