Ask Your Question

Quotient decomposition by Groebner basis

asked 2011-01-08 14:54:12 -0500

mhampton gravatar image

I can accomplish the following task in awkward ways using syzygy modules, but I am wondering if there is a better way somehow. It would be nice to have a single command for it.

Suppose we have a polynomial $P$ and a set of polynomials $Q_1,...,Q_n$, and it is possible to calculate the Groebner basis $G$ of the ideal generated by all the $Q_i$. Let $R$ be the remainder of $P$ after reducing by $G$. In Sage, how can we find polynomials $S_1,...,S_n$ such that $P = R + \sum S_i Q_i$?

edit retag flag offensive close merge delete

2 answers

Sort by ยป oldest newest most voted

answered 2011-01-13 04:27:31 -0500

malb gravatar image

Do you mean this?

sage: R.<x,y,z> = GF(127)[]
sage: p = R.random_element(degree=3)
sage: Q = [R.random_element() for _ in range(R.ngens())]
sage: r = p.reduce(Ideal(Q))
sage: M = (p - r).lift(Q)
sage: p -r == sum([M[i]*Q[i] for i in range(len(M))])
edit flag offensive delete link more


Thanks, somehow I had missed the "lift" command. That is exactly what I needed.

mhampton gravatar imagemhampton ( 2011-01-13 18:41:07 -0500 )edit

answered 2011-01-13 07:41:59 -0500

Jacob gravatar image

This is more of a question than an answer, but Singular can do this with the command "division." Couldn't you use that?

edit flag offensive delete link more

Your Answer

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

Add Answer

Question Tools


Asked: 2011-01-08 14:54:12 -0500

Seen: 223 times

Last updated: Jan 13 '11