[sage-devel] Re: Certificate of completion for Groebner Basis

2017-12-10 Thread David Brandfonbrener
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 li

[sage-devel] Re: Certificate of completion for Groebner Basis

2017-12-08 Thread Dima Pasechnik
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