Macaulay2 » Documentation
Packages » CodingTheory > LinearCode > linearCode > ParityCheck

next | previous | forward | backward | up | index | toc

ParityCheck -- an optional input for the linearCode constructor

Synopsis

Usage:

linearCode(..., ParityCheck => ...)

Description

This is a Boolean symbol, returns value false or true. The default value is false.

This symbol is provided by the package CodingTheory.

i1 : F = GF(4,Variable => a);

i2 : L = {{1,0,a,0,0},{0,a,a+1,1,0},{1,1,1,a,0}};

i3 : M = matrix L;

             3      5
o3 : Matrix F  <-- F

i4 : C = linearCode(F,L,ParityCheck => true);

i5 : C.GeneratorMatrix;

             2      5
o5 : Matrix F  <-- F

i6 : C.ParityCheckMatrix

o6 = | 1 0 a   0 0 |
     | 0 a a+1 1 0 |
     | 1 1 1   a 0 |

             3      5
o6 : Matrix F  <-- F

Functions with optional argument named ParityCheck :

linearCode(...,ParityCheck=>...) -- see linearCode -- functions to construct linear codes over Galois fields

For the programmer

The object ParityCheck is a symbol.

Menu

Related functions and symbols:

generatorToParityCheck -- parity check matrix of a linear code
ParityCheckMatrix -- a parity check matrix of a code
ParityCheckRows -- rows of a parity check matrix of a code
parityCheckToGenerator -- generator matrix given a parity check matrix
randLDPC -- low density parity check matrix
tannerGraph -- outputs the tanner graph associated with the given parity check matrix