Thanks! My bad for missing that in the documentation. On Friday, December 8, 2017 at 5:55:55 PM UTC-5, Dima Pasechnik wrote: > > > > On Friday, December 8, 2017 at 10:20:31 PM UTC, David Brandfonbrener wrote: >> >> When the Groebner basis is 1, is there a way to find the coefficients for >> a linear combination of my original generators of the ideal that is equal >> to 1? >> >> I want to be able to provably see which polynomials in my set of >> generators combine to 1. >> > > This is called computing a Nullstellensatz certificate. > In Sage this is done using lift(), see > http://doc.sagemath.org/html/en/reference/polynomial_rings/sage/rings/polynomial/multi_polynomial_element.html#sage.rings.polynomial.multi_polynomial_element.MPolynomial_polydict.lift > > >
-- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
