Gröbner fans of \(x\)-homogeneous ideals in \(R [\![ t ]\!][x]\) (Q2628324)

This article addresses the question of computing the Gröbner fan of an ideal in a mixed power series ring \(R[\![t]\!][x_1,\ldots,x_n]\). The only constraints on \(R\) are that it be noetherian and that its linear equations be solvable, so that one can compute a standard basis in finite time with polynomial output. Orderings are local on \(t\) and global on \(x_1,\ldots,x_n\). Previous approaches are not feasible for the problems the authors wish to investigate. The new method relies on ``initially reduced standard bases'': the leading (``initial'') term of each monomial in \(x\), which is a polynomial in \(t\), is reduced with respect to some specified polynomial(s). Of particular interest here is reduction by \(p-t\), where \(p\in R\). Computing such an initially reduced standard basis obtains the structure necessary for the algorithms used to compute the Gröbner cone. The authors have implemented the algorithms in software and were able to compute certain fans more quickly, with one example discussing an error in Singular. The article includes an abundance of figures and examples to help explain the concepts and the algorithms; some examples and figures also illustrate difficulties with previous approaches.