dC differential cut adds formula R
to the evolution domain Q
of a
differential equation system [{x'=f(x) & Q}]P
, so that the resulting differential equation system has
the form [{x'=f(x) & Q∧R}]P
.
The cut R
may refer to the initial state of the differential equation system using the special function
symbol old(.)
, e.g., x=old(x) + vt
.
See also
R
is an invariant of the
differential equation system.Learning resources