Ideals and commutative rings

Processing math: 100%

First time here? Check out the FAQ!

asked 8 years ago

Anonymous

I consider a matrix $M$ which I transform into a system of equations similar as this (but with a different $M$ )

sage: M=matrix(3,3,[1,2,3,4,5,6,7,8,9])

sage: P=PolynomialRing(GF(p),M.nrows(),names="x")

sage: (vector(P.gen(i) for i in range(3))*M).list()

[x0 + 4x1 + 7x2, 2x0 + 5x1 + 8x2, 3x0 + 6x1 + 9x2]

(Example taken from another equation where $p$ is a prime).

When I try to create the ideal generated by this system, I get the following error : TypeError: R must be a commutative ring. Any idea how I can fix this?

add a comment

1 Answer

Sort by » oldest newest most voted

answered 8 years ago

B r u n o
1603 ●5 ●21 ●43

I do not understand what your problem is. The computation you want to perform works as far as I can tell:

sage: p = 65539
sage: M = matrix(3,3,[1,2,3,4,5,6,7,8,9])
sage: P = PolynomialRing(GF(p),M.nrows(),names="x")
sage: L =(vector(P.gen(i) for i in range(3))*M).list()
sage: P.ideal(L)
Ideal (x0 + 4*x1 + 7*x2, 2*x0 + 5*x1 + 8*x2, 3*x0 + 6*x1 + 9*x2) of Multivariate Polynomial Ring in x0, x1, x2 over Finite Field of size 65539

link

Comments

My matrix is slightly different and has many zeros. Maybe this causes the ring R to be non-commutative. I will have a look. Thanks for your answer!

Sasha-dpt ( 8 years ago )

add a comment

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

1 follower

Stats

Asked: 8 years ago

Seen: 329 times

Last updated: Apr 21 '17

Ideals and commutative rings savecancel

1 Answer

Comments

Your Answer

Question Tools

Stats

Related questions