2000 character limit reached
The Differential Dimension Polynomial for Characterizable Differential Ideals (1401.5959v1)
Published 23 Jan 2014 in math.AC and cs.SC
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.