Given an [n, k] linear code C, return the standard form D of C. A code is in standard form if the first k components of the code words correspond to the information set. Magma returns one of the many codes in standard form which is isomorphic to C. (The same code is returned each time.) Thus, the effect of this function is to return a code D whose generators come from the generator matrix of C with its columns permuted, so that the submatrix consisting of the first k columns of the generator matrix for D is the identity matrix. Two values are returned:
- The standard form code D;
- An isomorphism from C to D.
> C := ReedMullerCode(1, 4); > C; [16, 5, 8] Reed-Muller Code (r = 1, m = 4) over GF(2) Generator matrix: [1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1] [0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1] [0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1] [0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1] [0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1] > S, f := StandardForm(C); > u := C.1; > u; (1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1) > f(u); (1 0 0 0 0 1 1 1 0 1 1 0 1 0 0 1)