Generally, in mathematics, a canonical form (often called normal form or standard form) of an object is a standard way of presenting that object.
Canonical form can also mean a differential form that is defined in a natural (canonical) way; see below.
Finding a canonical form is called canonization. In some branches of computer science the term canonicalization is adopted.
Contents 
Suppose we have some set S of objects, with an equivalence relation. A canonical form is given by designating some objects of S to be "in canonical form", such that every object under consideration is equivalent to exactly one object in canonical form. In other words, the canonical forms in S represent the equivalence classes, once and only once. To test whether two objects are equivalent, it then suffices to test their canonical forms for equality. A canonical form thus provides a classification theorem and more, in that it not just classifies every class, but gives a distinguished (canonical) representative.
In practical terms, one wants to be able to recognize the canonical forms. There is also a practical, algorithmic question to consider: how to pass from a given object s in S to its canonical form s*? Canonical forms are generally used to make operating with equivalence classes more effective. For example in modular arithmetic, the canonical form for a residue class is usually taken as the least nonnegative integer in it. Operations on classes are carried out by combining these representatives and then reducing the result to its least nonnegative residue. The uniqueness requirement is sometimes relaxed, allowing the forms to be unique up to some finer equivalence relation, like allowing reordering of terms (if there is no natural ordering on terms).
A canonical form may simply be a convention, or a deep theorem.
For example, polynomials are conventionally written with the terms in descending powers: it is more usual to write x^{2} + x + 30 than x + 30 + x^{2}, although the two forms define the same polynomial. By contrast, the existence of Jordan canonical form for a matrix is a deep theorem.
Note: in this section, "up to" some equivalence relation E means that the canonical form is not unique in general, but that if one object has two different canonical forms, they are Eequivalent.
Objects  A is equivalent to B if:  Normal form  Notes 

Normal matrices over the complex numbers  A = U ^{*} BU for some unitary matrix U  Diagonal matrices (up to reordering)  This is the Spectral theorem 
Matrices over the complex numbers  A = U ^{*} BV for some unitary matrix U and V  Diagonal matrices with real positive entries (in descending order)  Singular value decomposition 
Matrices over an algebraically closed field  A = P ^{− 1}BP for some invertible matrix P  Jordan normal form (up to reordering of blocks)  
Matrices over a field  A = P ^{− 1}BP for some invertible matrix P  Frobenius normal form  
Matrices over a principal ideal domain  A = P ^{− 1}BQ for some invertible Matrices P and Q  Smith normal form  The equivalence is the same as allowing invertible elementary row and column transformations 
Finitedimensional vector spaces over a field K  A and B are isomorphic as vector spaces  K^{n}, n a nonnegative integer 
Objects  A is equivalent to B if:  Normal form 

Hilbert spaces  A and B are isometrically isomorphic as Hilbert spaces  sequence spaces (up to exchanging the index set I with another index set of the same cardinality) 
Commutative C ^{*} algebras with unit  A and B are isomorphic as C ^{*} algebras  The algebra C(X) of continuous functions on a compact Hausdorff space, up to homeomorphism of the base space. 
Objects  A is equivalent to B if:  Normal form 

Finitely generated Rmodules with R a principal ideal domain  A and B are isomorphic as Rmodules  Primary decomposition (up to reordering) or invariant factor decomposition 
By contrast, there are alternative forms for writing equations. For example, the equation of a line may be written as a linear equation in pointslope and slopeintercept form.
Standard form is used by many mathematicians and scientists to write extremely large numbers in a more concise and understandable way.
Canonical differential forms include the canonical oneform and canonical symplectic form, important in the study of Hamiltonian mechanics and symplectic manifolds.
