View Single Post
Old 2020-10-16, 06:59   #1
wblipp's Avatar
May 2003
New Haven

94116 Posts
Default Linearly Independent Quadratics in a 7-variable polynomial Ideal

I'm just beginning to learn about polynomial Ideals and groebner basis. I've got a system of polynomials in seven variables and groebner basis using lex order for several orderings of the variables. The number of quadratics in the basis varies depending on the order. This is because several of the original polynomials are of the form
xi + yj2 + ykyn ...
so it makes a big difference if the x's or the y's come first in the variable ordering.

I'd like to get a maximal set of linearly independent quadratics for the Ideal. How should I proceed? Would gradlex or gradrevlex automatically do this? Is there some cookbook procedure like the ones used for saturation or intersection of ideals? Is there a book for applied algebraic topology that covers topics like this?
wblipp is offline   Reply With Quote