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.
The object CorrectionMatrix is a symbol.