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 polynomials a_1,..., a_s in K[x_1,..., x_n ] such that 1 = a_1 f_1 +...+ a_s f_s. The polynomial identity 1 = a_1 f_1 +...+ a_s f_s is called a Nullstellensatz certificate. Can Sage compute Nullstellensatz certificates? I could not find an answer to this question in the Sage manual or via Google searches.
Thanks for your attention. Alex --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to [email protected] To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-support URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
