2012-03-01 09:09:16 +0200 | received badge | ● Teacher (source) |
2011-01-13 14:41:59 +0200 | answered a question | Quotient decomposition by Groebner basis This is more of a question than an answer, but Singular can do this with the command "division." Couldn't you use that? |