Find how Groebner basis is constructed from polynomials

mht208 · Thu Sep 01, 2016 10:16 am

Suppose there is a set I = {i1, i2, …, in} of polynomials and a Groebner basis J = {j1, j2, …, jm} of I. Is there a way in Singular to find q1, q2, …, qn for each polynomial jk in J such that the following holds (i.e., represent jk as a combination of polynomials in I)?

jk = q1*i1 + q2*i2 + … + qn*in

Re: Find how Groebner basis is constructed from polynomials

hannes · Sat Sep 03, 2016 7:02 pm

lift does this
http://www.singular.uni-kl.de/Manual/4-0-3/sing_334.htm
resp. liftstd
http://www.singular.uni-kl.de/Manual/4-0-3/sing_335.htm

Re: Find how Groebner basis is constructed from polynomials

Guest · Mon Sep 05, 2016 2:26 am

I tried the lift function and it works. Thank you very much.