Formal calculus MOC

Formal logarithm

Let be a field with . The formal logarithm is defined as1 #m/def/fcalc

Properties

The following identities relate the formal logarithm with the formal exponential amd formal binomial expansion

the proofs being given by the relations of the coëfficients in standard calculus.

#state/tidy | #lang/en | #SemBr

Footnotes

  1. 1988. Vertex operator algebras and the Monster, §3.4, pp. 76–77 ↩