[sage-support] Re: Nullstellensatz certificates

2008-07-01 Thread Alex Raichev
Excellent! The "f.lift" command is exactly what i am looking for. Thanks for your help, Martin. Alex --~--~-~--~~~---~--~~ To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more o

[sage-support] Re: Nullstellensatz certificates

2008-06-30 Thread Martin Albrecht
On Monday 30 June 2008, Alex Raichev wrote: > Dear Sage support: > > Hilbert's Nullstellensatz states that a system of polynomial > equations f_1(x) = 0,..., f_s (x) = 0, where f_i in K[x_1,..., x_n ] > and K is an algebraically closed field, has no solution in K^n if and > only if there exist po