Formal calculus MOC

Formal derivative

Let be a vector space (or, in particular, a field) and denote formal sums over . The formal derivative #m/def/fcalc

is defined by extending the rules

by linearity. The formal derivative therefore constitutes a derivation on the algebra of Laurent polynomials .

See also

• Degree operator on formal sums over a vector space

#state/develop | #lang/en | #SemBr