本文整理汇总了Python中sympy.QQ.poly_ring方法的典型用法代码示例。如果您正苦于以下问题：Python QQ.poly_ring方法的具体用法？Python QQ.poly_ring怎么用？Python QQ.poly_ring使用的例子？那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类sympy.QQ的用法示例。
在下文中一共展示了QQ.poly_ring方法的2个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的Python代码示例。
示例1: test_properties
# 需要导入模块: from sympy import QQ [as 别名]
# 或者: from sympy.QQ import poly_ring [as 别名]
def test_properties():
R = QQ[x, y]
F = R.free_module(2)
h = homomorphism(F, F, [[x, 0], [y, 0]])
assert h.kernel() == F.submodule([-y, x])
assert h.image() == F.submodule([x, 0], [y, 0])
assert not h.is_injective()
assert not h.is_surjective()
assert h.restrict_codomain(h.image()).is_surjective()
assert h.restrict_domain(F.submodule([1, 0])).is_injective()
assert h.quotient_domain(h.kernel()).restrict_codomain(h.image()).is_isomorphism()
R2 = QQ.poly_ring(x, y, order=(("lex", x), ("ilex", y))) / [x**2 + 1]
F = R2.free_module(2)
h = homomorphism(F, F, [[x, 0], [y, y + 1]])
assert h.is_isomorphism()示例2: test_QuotientRing
# 需要导入模块: from sympy import QQ [as 别名]
# 或者: from sympy.QQ import poly_ring [as 别名]
def test_QuotientRing():
I = QQ[x].ideal(x**2 + 1)
R = QQ[x]/I
assert R == QQ[x]/[x**2 + 1]
assert R == QQ[x]/QQ[x].ideal(x**2 + 1)
assert R != QQ[x]
assert R.convert(1)/x == -x + I
assert -1 + I == x**2 + I
assert R.convert(1, ZZ) == 1 + I
assert R.convert(R.convert(x), R) == R.convert(x)
X = R.convert(x)
Y = QQ[x].convert(x)
assert -1 + I == X**2 + I
assert -1 + I == Y**2 + I
assert R.to_sympy(X) == x
raises(ValueError, lambda: QQ[x]/QQ[x, y].ideal(x))
R = QQ.poly_ring(x, order="ilex")
I = R.ideal(x)
assert R.convert(1) + I == (R/I).convert(1)