Timeline for Is the ideal membership problem solvable for differential ideals? Is there a good notion of a Gröbner basis?
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 27, 2013 at 19:36 | vote | accept | Marc Nieper-Wißkirchen | ||
| Dec 27, 2013 at 16:13 | comment | added | Michael Bächtold | One might add the (maybe trivial) remark that if $I$ is differentially generated by forms $\omega_1,\ldots,\omega_k$ then it's generated as a $K[x_1,\dots,x_n]$ submodule by $\omega_i,\omega_i\wedge dx^I, d\omega_i,d\omega_i\wedge dx^I$. | |
| Dec 27, 2013 at 14:23 | history | answered | Will Sawin | CC BY-SA 3.0 |