from sympy import QQ, S from sympy.polys.agca.modules import FreeModule, ModuleOrder, FreeModulePolyRing from sympy.polys import CoercionFailed, QQ, lex, grlex, ilex, ZZ from sympy.abc import x, y, z from sympy.utilities.pytest import raises x = Symbol('x') y = Symbol('y') z = Symbol('z') R = QQ.old_poly_ring(x, y, z) M = R.free_module(1).submodule([1,x**2+y,x*y-y*z,0,0],[0,x*z-y,z-x,0,0],[0,0,0,x**2+y,x*y-y*z],[1,0,0,x*z-y,z-x]) MTest = M.syzygy_module()
Traceback (most recent call last): File "<stdin>", line 1, in <module> File "C:\Python27\lib\site-packages\sympy\polys\agca\modules.py", line 471, in submodule return SubModulePolyRing(gens, self, **opts) File "C:\Python27\lib\site-packages\sympy\polys\agca\modules.py", line 1040, i n __init__ SubModule.__init__(self, gens, container) File "C:\Python27\lib\site-packages\sympy\polys\agca\modules.py", line 589, in __init__ self.gens = tuple(container.convert(x) for x in gens) File "C:\Python27\lib\site-packages\sympy\polys\agca\modules.py", line 589, in <genexpr> self.gens = tuple(container.convert(x) for x in gens) File "C:\Python27\lib\site-packages\sympy\polys\agca\modules.py", line 349, in convert raise CoercionFailed sympy.polys.polyerrors.CoercionFailed >>> MTest = M.syzygy_module() Traceback (most recent call last): File "<stdin>", line 1, in <module> NameError: name 'M' is not defined -- You received this message because you are subscribed to the Google Groups "sympy" group. To unsubscribe from this group and stop receiving emails from it, send an email to sympy+unsubscr...@googlegroups.com. To post to this group, send email to sympy@googlegroups.com. Visit this group at http://groups.google.com/group/sympy. For more options, visit https://groups.google.com/groups/opt_out.