2017-02-10 18:13:16 +0200 | received badge | ● Notable Question (source) |
2015-02-16 14:47:23 +0200 | received badge | ● Student (source) |
2015-02-16 14:31:50 +0200 | received badge | ● Popular Question (source) |
2014-07-10 16:21:19 +0200 | commented answer | Relations in a polynomial ring Hmmm. That's weird. The coordinate ring of this affine toric variety is supposed to have relations in it. I'll have to take a look through the toric varieties package and see what I'm doing wrong. Thanks for the answer! |
2014-07-09 15:54:42 +0200 | received badge | ● Editor (source) |
2014-07-09 15:52:29 +0200 | asked a question | Relations in a polynomial ring Suppose Sage hands me a multivariable polynomial ring specified by some number of generators, and some relations that I don't know. How can I get a list of relations among the generators? In particular, here is the code I'm using: I've tried defining a morphism from R to itself which just sends the generators to themselves, then computing a groebner basis for the ideal of the kernel. Sage doesn't seem to let me do this, since kernel isn't implemented for morphisms defined this way. At this point I'm not sure what else to try. I feel like there must be a simpler way to extract relations among generators in a ring, but after spending a couple of days scouring the documentation I can't seem to notice anything relevant. Help is much appreciated! |