CorrectionMatrix is the name of an optional argument, whose value is either a string with value auto or a sequence of the form output by correctionMatrix. The second term in the sequence is a list of two matrices which give some parameter-free first-order deformations and the corresponding lifted relations, respectively. The first term in the sequence is a matrix, which describes the action on liftings of equations by the specified first-order deformations. If set to auto, correctionMatrix is used to calculate the relevant sequence. The default value of CorrectionMatrix is auto.

- localHilbertScheme(...,CorrectionMatrix=>...) -- see localHilbertScheme -- computes a power series representation of the local Hilbert scheme
- versalDeformation(...,CorrectionMatrix=>...) -- see versalDeformation(Matrix) -- computes a power series representation of a versal deformation

The object CorrectionMatrix is a symbol.