Sufficient Set of Integrability Conditions of an Orthonomic System
Every orthonomic system of partial differential equations is known to possess a finite number of integrability conditions sufficient to ensure the validity of them all. Here we show that a redundancy-free sufficient set of integrability conditions can be constructed in a time proportional to the number of equations cubed.
integrability conditions orthonomic system monomial ideal