Tropical Differential Groebner Basis

04/03/2019

∙

by   Youren Hu, et al.

∙

0

∙

share

In this paper, the tropical differential Gröbner basis is studied, which is a natural generalization of the tropical Gröbner basis to the recently introduced tropical differential algebra. Like the differential Gröbner basis, the tropical differential Gröbner basis generally contains an infinite number of elements. We give a Buchberger style criterion for the tropical differential Gröbner basis. For ideals generated by homogeneous linear differential polynomials with constant coefficients, we give a complete algorithm to compute the tropical differential Gröbner basis.