The Differential Dimension Polynomial for Characterizable Differential Ideals
arXiv:1401.5959
Abstract
We generalize the differential dimension polynomial from prime differential ideals to characterizable differential ideals. Its computation is algorithmic, its degree and leading coefficient remain differential birational invariants, and it decides equality of characterizable differential ideals contained in each other.