1. codessystem_lib | ||
2. Index |
[ < ] | [ > ] | [ << ] | [ Up ] | [ >> ] | [Top] | [Index] | [ ? ] |
codessystem.lib
Procedures for the lecture 'Codes und Systemtheorie'
Daniel Andres, daniel.andres@math.rwth-aachen.de
The procedures in this library are implemented in a straight forward way. Therefore, this library is not meant for serious computation, but rather to provide a tool to check some ideas.
Script for the lecture 'Codes und Systemtheorie' by G. Nebe and E. Zerz, RWTH Aachen University, Summer term 2011
Main procedures:
1.1 hammingWeightEnumerator | Hamming weight enumerator of code C | |
1.2 completeWeightEnumerator | complete weight enumerator of code C | |
1.3 hammingWeight | Hamming weight | |
1.4 dualCode | compute the dual code of C | |
1.5 isSelfDual | check whether a linear code is self-dual | |
1.6 completeCode | all elements of linear space spanned by rows of C |
Auxiliary procedures:
1.7 simpleOrbits | simple orbit algorithm | |
1.8 makeSymmetricGroup | creates matrix repr. of symmetric group on n points | |
1.9 inList | check whether m is in list L | |
1.10 printMatrixList | pretty-print of list of matrices |
See also: finvar_lib.
[ < ] | [ > ] | [ << ] | [ Up ] | [ >> ] | [Top] | [Index] | [ ? ] |
Procedure from library codessystem.lib
(see codessystem_lib).
hammingWeightEnumerator(C,p[,v]); C matrix, p int, v optional intvec
poly, the Hamming weight enumerator of C
compute the Hamming weight enumerator of a linear code
C is the generator matrix of a linear code over the prime field of characteristic p>0.
The optional parameter v can be used to specify the two variables of the basering, which are used to create the Hamming weight enumerator. By default, the first two variables are used.
If printlevel>0, progress status messages will be printed.
Example:
LIB "codessystem.lib"; ring r = 0,(x,y,z),dp; matrix C[2][4] = 1,1,1,0, 0,1,2,1; hammingWeightEnumerator(C,3); → x4+8xy3 intvec v = 1,2; hammingWeightEnumerator(C,4,v); → // Second argument should be a prime number. → // Using 3 instead. → x4+8xy3 v = 2,3; hammingWeightEnumerator(C,3,v); → y4+8yz3 |
[ < ] | [ > ] | [ << ] | [ Up ] | [ >> ] | [Top] | [Index] | [ ? ] |
Procedure from library codessystem.lib
(see codessystem_lib).
completeWeightEnumerator(C,p); C matrix, p int
poly, the complete weight enumerator of C
compute the complete weight enumerator of a linear code
C is the generator matrix of a linear code over the prime field of
characteristic p>0.
The basering must have at least p variables.
The first variable of the basering corresponds to the variable belonging to 0 in the ground field, the second variable to 1, .. the p-th variable to p-1.
If printlevel>0, progress status messages will be printed.
Example:
LIB "codessystem.lib"; ring r = 0,(x0,x1,x2),dp; matrix C[2][4] = 1,1,1,0, 0,1,2,1; completeWeightEnumerator(C,3); → x0^4+x0*x1^3+3*x0*x1^2*x2+3*x0*x1*x2^2+x0*x2^3 |
[ < ] | [ > ] | [ << ] | [ Up ] | [ >> ] | [Top] | [Index] | [ ? ] |
Procedure from library codessystem.lib
(see codessystem_lib).
hammingWeight(c); c matrix
int, the Hamming Weight of c
compute the Hamming Weight, i.e. the number of non-zero entries
the matrix c has only one row
Example:
LIB "codessystem.lib"; ring r = 3,x,dp; matrix c[1][4] = 1,2,3; print(c); → 1,-1,0,0 hammingWeight(c); → 2 |
[ < ] | [ > ] | [ << ] | [ Up ] | [ >> ] | [Top] | [Index] | [ ? ] |
Procedure from library codessystem.lib
(see codessystem_lib).
dualCode(C); C matrix
matrix, generator matrix of dual code
compute the dual code
the ground field is a prime field of positive characteristic
Example:
LIB "codessystem.lib"; ring r = 3,x,dp; matrix C[2][4] = 1,1,1,0, 0,1,2,1; matrix D = dualCode(C); print(D); → 1, 1,1,0, → -1,0,1,1 |
[ < ] | [ > ] | [ << ] | [ Up ] | [ >> ] | [Top] | [Index] | [ ? ] |
Procedure from library codessystem.lib
(see codessystem_lib).
isSelfDual(C); C matrix
int, 1 if C generates a self-dual code, 0 otherwise
check whether a linear code is self-dual
the ground field is a prime field of positive characteristic
Example:
LIB "codessystem.lib"; ring r = 3,x,dp; matrix C[2][4] = 1,1,1,0, 0,1,2,1; isSelfDual(C); → 1 matrix C2[1][4] = 1,1,1,0; isSelfDual(C2); → 0 |
[ < ] | [ > ] | [ << ] | [ Up ] | [ >> ] | [Top] | [Index] | [ ? ] |
Procedure from library codessystem.lib
(see codessystem_lib).
completeCode(C); C matrix
list of matrices
compute all elements of linear space spanned by rows of C
the ground field is a prime field of positive characteristic
Example:
LIB "codessystem.lib"; ring r = 3,x,dp; matrix C[2][4] = 1,1,1,0, 0,1,2,1; completeCode(C); → [1]: → _[1,1]=1 → _[1,2]=1 → _[1,3]=1 → _[1,4]=0 → [2]: → _[1,1]=-1 → _[1,2]=-1 → _[1,3]=-1 → _[1,4]=0 → [3]: → _[1,1]=1 → _[1,2]=-1 → _[1,3]=0 → _[1,4]=1 → [4]: → _[1,1]=0 → _[1,2]=0 → _[1,3]=0 → _[1,4]=0 → [5]: → _[1,1]=-1 → _[1,2]=0 → _[1,3]=1 → _[1,4]=1 → [6]: → _[1,1]=1 → _[1,2]=0 → _[1,3]=-1 → _[1,4]=-1 → [7]: → _[1,1]=0 → _[1,2]=1 → _[1,3]=-1 → _[1,4]=1 → [8]: → _[1,1]=-1 → _[1,2]=1 → _[1,3]=0 → _[1,4]=-1 → [9]: → _[1,1]=0 → _[1,2]=-1 → _[1,3]=1 → _[1,4]=-1 |
[ < ] | [ > ] | [ << ] | [ Up ] | [ >> ] | [Top] | [Index] | [ ? ] |
Procedure from library codessystem.lib
(see codessystem_lib).
simpleOrbits(m,G,gm); m matrix, G list of matrices, gm string
list, the orbit of m under G
- elements in G generate a (finite) matrix group,
- the string gm defines a valid group action, e.g. 'g*m' or
'inverse(g)*m*g', where the group element is always denoted by g
and the set member always by m
compute the orbit of m under the action gm of the group G
If printlevel>0, progress status messages will be printed.
Example:
LIB "codessystem.lib"; ring r = 0,x,dp; matrix A[4][4]= 0,0,0,1, 1,0,0,0, 0,1,0,0, 0,0,1,0; matrix B[4][4]= 0,1,0,0, 1,0,0,0, 0,0,1,0, 0,0,0,1; list G = A,B; // G generates S_4 simpleOrbits(A,G,"m*g"); // all elements of S_4 → [1]: → _[1,1]=0 → _[1,2]=0 → _[1,3]=0 → _[1,4]=1 → _[2,1]=1 → _[2,2]=0 → _[2,3]=0 → _[2,4]=0 → _[3,1]=0 → _[3,2]=1 → _[3,3]=0 → _[3,4]=0 → _[4,1]=0 → _[4,2]=0 → _[4,3]=1 → _[4,4]=0 → [2]: → _[1,1]=0 → _[1,2]=0 → _[1,3]=1 → _[1,4]=0 → _[2,1]=0 → _[2,2]=0 → _[2,3]=0 → _[2,4]=1 → _[3,1]=1 → _[3,2]=0 → _[3,3]=0 → _[3,4]=0 → _[4,1]=0 → _[4,2]=1 → _[4,3]=0 → _[4,4]=0 → [3]: → _[1,1]=0 → _[1,2]=0 → _[1,3]=0 → _[1,4]=1 → _[2,1]=0 → _[2,2]=1 → _[2,3]=0 → _[2,4]=0 → _[3,1]=1 → _[3,2]=0 → _[3,3]=0 → _[3,4]=0 → _[4,1]=0 → _[4,2]=0 → _[4,3]=1 → _[4,4]=0 → [4]: → _[1,1]=0 → _[1,2]=1 → _[1,3]=0 → _[1,4]=0 → _[2,1]=0 → _[2,2]=0 → _[2,3]=1 → _[2,4]=0 → _[3,1]=0 → _[3,2]=0 → _[3,3]=0 → _[3,4]=1 → _[4,1]=1 → _[4,2]=0 → _[4,3]=0 → _[4,4]=0 → [5]: → _[1,1]=0 → _[1,2]=0 → _[1,3]=1 → _[1,4]=0 → _[2,1]=0 → _[2,2]=0 → _[2,3]=0 → _[2,4]=1 → _[3,1]=0 → _[3,2]=1 → _[3,3]=0 → _[3,4]=0 → _[4,1]=1 → _[4,2]=0 → _[4,3]=0 → _[4,4]=0 → [6]: → _[1,1]=0 → _[1,2]=0 → _[1,3]=1 → _[1,4]=0 → _[2,1]=1 → _[2,2]=0 → _[2,3]=0 → _[2,4]=0 → _[3,1]=0 → _[3,2]=0 → _[3,3]=0 → _[3,4]=1 → _[4,1]=0 → _[4,2]=1 → _[4,3]=0 → _[4,4]=0 → [7]: → _[1,1]=1 → _[1,2]=0 → _[1,3]=0 → _[1,4]=0 → _[2,1]=0 → _[2,2]=1 → _[2,3]=0 → _[2,4]=0 → _[3,1]=0 → _[3,2]=0 → _[3,3]=1 → _[3,4]=0 → _[4,1]=0 → _[4,2]=0 → _[4,3]=0 → _[4,4]=1 → [8]: → _[1,1]=1 → _[1,2]=0 → _[1,3]=0 → _[1,4]=0 → _[2,1]=0 → _[2,2]=0 → _[2,3]=1 → _[2,4]=0 → _[3,1]=0 → _[3,2]=0 → _[3,3]=0 → _[3,4]=1 → _[4,1]=0 → _[4,2]=1 → _[4,3]=0 → _[4,4]=0 → [9]: → _[1,1]=0 → _[1,2]=1 → _[1,3]=0 → _[1,4]=0 → _[2,1]=0 → _[2,2]=0 → _[2,3]=1 → _[2,4]=0 → _[3,1]=1 → _[3,2]=0 → _[3,3]=0 → _[3,4]=0 → _[4,1]=0 → _[4,2]=0 → _[4,3]=0 → _[4,4]=1 → [10]: → _[1,1]=0 → _[1,2]=1 → _[1,3]=0 → _[1,4]=0 → _[2,1]=0 → _[2,2]=0 → _[2,3]=0 → _[2,4]=1 → _[3,1]=0 → _[3,2]=0 → _[3,3]=1 → _[3,4]=0 → _[4,1]=1 → _[4,2]=0 → _[4,3]=0 → _[4,4]=0 → [11]: → _[1,1]=0 → _[1,2]=0 → _[1,3]=1 → _[1,4]=0 → _[2,1]=0 → _[2,2]=1 → _[2,3]=0 → _[2,4]=0 → _[3,1]=0 → _[3,2]=0 → _[3,3]=0 → _[3,4]=1 → _[4,1]=1 → _[4,2]=0 → _[4,3]=0 → _[4,4]=0 → [12]: → _[1,1]=0 → _[1,2]=1 → _[1,3]=0 → _[1,4]=0 → _[2,1]=1 → _[2,2]=0 → _[2,3]=0 → _[2,4]=0 → _[3,1]=0 → _[3,2]=0 → _[3,3]=1 → _[3,4]=0 → _[4,1]=0 → _[4,2]=0 → _[4,3]=0 → _[4,4]=1 → [13]: → _[1,1]=0 → _[1,2]=0 → _[1,3]=0 → _[1,4]=1 → _[2,1]=0 → _[2,2]=1 → _[2,3]=0 → _[2,4]=0 → _[3,1]=0 → _[3,2]=0 → _[3,3]=1 → _[3,4]=0 → _[4,1]=1 → _[4,2]=0 → _[4,3]=0 → _[4,4]=0 → [14]: → _[1,1]=1 → _[1,2]=0 → _[1,3]=0 → _[1,4]=0 → _[2,1]=0 → _[2,2]=1 → _[2,3]=0 → _[2,4]=0 → _[3,1]=0 → _[3,2]=0 → _[3,3]=0 → _[3,4]=1 → _[4,1]=0 → _[4,2]=0 → _[4,3]=1 → _[4,4]=0 → [15]: → _[1,1]=1 → _[1,2]=0 → _[1,3]=0 → _[1,4]=0 → _[2,1]=0 → _[2,2]=0 → _[2,3]=1 → _[2,4]=0 → _[3,1]=0 → _[3,2]=1 → _[3,3]=0 → _[3,4]=0 → _[4,1]=0 → _[4,2]=0 → _[4,3]=0 → _[4,4]=1 → [16]: → _[1,1]=1 → _[1,2]=0 → _[1,3]=0 → _[1,4]=0 → _[2,1]=0 → _[2,2]=0 → _[2,3]=0 → _[2,4]=1 → _[3,1]=0 → _[3,2]=0 → _[3,3]=1 → _[3,4]=0 → _[4,1]=0 → _[4,2]=1 → _[4,3]=0 → _[4,4]=0 → [17]: → _[1,1]=1 → _[1,2]=0 → _[1,3]=0 → _[1,4]=0 → _[2,1]=0 → _[2,2]=0 → _[2,3]=0 → _[2,4]=1 → _[3,1]=0 → _[3,2]=1 → _[3,3]=0 → _[3,4]=0 → _[4,1]=0 → _[4,2]=0 → _[4,3]=1 → _[4,4]=0 → [18]: → _[1,1]=0 → _[1,2]=0 → _[1,3]=1 → _[1,4]=0 → _[2,1]=1 → _[2,2]=0 → _[2,3]=0 → _[2,4]=0 → _[3,1]=0 → _[3,2]=1 → _[3,3]=0 → _[3,4]=0 → _[4,1]=0 → _[4,2]=0 → _[4,3]=0 → _[4,4]=1 → [19]: → _[1,1]=0 → _[1,2]=0 → _[1,3]=0 → _[1,4]=1 → _[2,1]=1 → _[2,2]=0 → _[2,3]=0 → _[2,4]=0 → _[3,1]=0 → _[3,2]=0 → _[3,3]=1 → _[3,4]=0 → _[4,1]=0 → _[4,2]=1 → _[4,3]=0 → _[4,4]=0 → [20]: → _[1,1]=0 → _[1,2]=1 → _[1,3]=0 → _[1,4]=0 → _[2,1]=1 → _[2,2]=0 → _[2,3]=0 → _[2,4]=0 → _[3,1]=0 → _[3,2]=0 → _[3,3]=0 → _[3,4]=1 → _[4,1]=0 → _[4,2]=0 → _[4,3]=1 → _[4,4]=0 → [21]: → _[1,1]=0 → _[1,2]=0 → _[1,3]=0 → _[1,4]=1 → _[2,1]=0 → _[2,2]=0 → _[2,3]=1 → _[2,4]=0 → _[3,1]=0 → _[3,2]=1 → _[3,3]=0 → _[3,4]=0 → _[4,1]=1 → _[4,2]=0 → _[4,3]=0 → _[4,4]=0 → [22]: → _[1,1]=0 → _[1,2]=0 → _[1,3]=0 → _[1,4]=1 → _[2,1]=0 → _[2,2]=0 → _[2,3]=1 → _[2,4]=0 → _[3,1]=1 → _[3,2]=0 → _[3,3]=0 → _[3,4]=0 → _[4,1]=0 → _[4,2]=1 → _[4,3]=0 → _[4,4]=0 → [23]: → _[1,1]=0 → _[1,2]=1 → _[1,3]=0 → _[1,4]=0 → _[2,1]=0 → _[2,2]=0 → _[2,3]=0 → _[2,4]=1 → _[3,1]=1 → _[3,2]=0 → _[3,3]=0 → _[3,4]=0 → _[4,1]=0 → _[4,2]=0 → _[4,3]=1 → _[4,4]=0 → [24]: → _[1,1]=0 → _[1,2]=0 → _[1,3]=1 → _[1,4]=0 → _[2,1]=0 → _[2,2]=1 → _[2,3]=0 → _[2,4]=0 → _[3,1]=1 → _[3,2]=0 → _[3,3]=0 → _[3,4]=0 → _[4,1]=0 → _[4,2]=0 → _[4,3]=0 → _[4,4]=1 |
[ < ] | [ > ] | [ << ] | [ Up ] | [ >> ] | [Top] | [Index] | [ ? ] |
Procedure from library codessystem.lib
(see codessystem_lib).
makeSymmetricGroup(n[,k]);
list of matrices
compute matrix representation of symmetric group on n points
If k<>0 is given, the returned list contains only the two generators of the symmetric group. Otherwise and by default, all n! elements are computed.
Example:
LIB "codessystem.lib"; ring r = 0,x,dp; list G = makeSymmetricGroup(4); printMatrixList(G); → [1]: → 0,0,0,1, → 1,0,0,0, → 0,1,0,0, → 0,0,1,0 → [2]: → 0,0,1,0, → 0,0,0,1, → 1,0,0,0, → 0,1,0,0 → [3]: → 1,0,0,0, → 0,0,0,1, → 0,1,0,0, → 0,0,1,0 → [4]: → 0,1,0,0, → 0,0,1,0, → 0,0,0,1, → 1,0,0,0 → [5]: → 0,0,0,1, → 0,0,1,0, → 1,0,0,0, → 0,1,0,0 → [6]: → 0,0,1,0, → 1,0,0,0, → 0,0,0,1, → 0,1,0,0 → [7]: → 1,0,0,0, → 0,1,0,0, → 0,0,1,0, → 0,0,0,1 → [8]: → 0,0,1,0, → 0,1,0,0, → 0,0,0,1, → 1,0,0,0 → [9]: → 0,1,0,0, → 0,0,0,1, → 0,0,1,0, → 1,0,0,0 → [10]: → 0,1,0,0, → 0,0,1,0, → 1,0,0,0, → 0,0,0,1 → [11]: → 1,0,0,0, → 0,0,1,0, → 0,0,0,1, → 0,1,0,0 → [12]: → 0,1,0,0, → 1,0,0,0, → 0,0,1,0, → 0,0,0,1 → [13]: → 1,0,0,0, → 0,0,1,0, → 0,1,0,0, → 0,0,0,1 → [14]: → 1,0,0,0, → 0,1,0,0, → 0,0,0,1, → 0,0,1,0 → [15]: → 0,0,0,1, → 0,1,0,0, → 0,0,1,0, → 1,0,0,0 → [16]: → 0,0,1,0, → 0,1,0,0, → 1,0,0,0, → 0,0,0,1 → [17]: → 0,0,0,1, → 0,1,0,0, → 1,0,0,0, → 0,0,1,0 → [18]: → 0,0,0,1, → 1,0,0,0, → 0,0,1,0, → 0,1,0,0 → [19]: → 0,0,1,0, → 1,0,0,0, → 0,1,0,0, → 0,0,0,1 → [20]: → 0,1,0,0, → 1,0,0,0, → 0,0,0,1, → 0,0,1,0 → [21]: → 0,0,0,1, → 0,0,1,0, → 0,1,0,0, → 1,0,0,0 → [22]: → 0,0,1,0, → 0,0,0,1, → 0,1,0,0, → 1,0,0,0 → [23]: → 0,1,0,0, → 0,0,0,1, → 1,0,0,0, → 0,0,1,0 → [24]: → 1,0,0,0, → 0,0,0,1, → 0,0,1,0, → 0,1,0,0 G = makeSymmetricGroup(5,1); printMatrixList(G); → [1]: → 0,0,0,0,1, → 1,0,0,0,0, → 0,1,0,0,0, → 0,0,1,0,0, → 0,0,0,1,0 → [2]: → 0,1,0,0,0, → 1,0,0,0,0, → 0,0,1,0,0, → 0,0,0,1,0, → 0,0,0,0,1 |
[ < ] | [ > ] | [ << ] | [ Up ] | [ >> ] | [Top] | [Index] | [ ? ] |
Procedure from library codessystem.lib
(see codessystem_lib).
inList(m,L); m any type, L list
int, 0 or position of first appearance of m in L
check whether m is a member of L
Example:
LIB "codessystem.lib"; list L = 1,2,3,4,5; inList(3,L); → 3 inList(6,L); → 0 |
[ < ] | [ > ] | [ << ] | [ Up ] | [ >> ] | [Top] | [Index] | [ ? ] |
Procedure from library codessystem.lib
(see codessystem_lib).
printMatrixList(L); L list of matrices
nothing
pretty-print of list of matrices
Example:
LIB "codessystem.lib"; ring r = 0,x,dp; list G = makeSymmetricGroup(4); printMatrixList(G); → [1]: → 0,0,0,1, → 1,0,0,0, → 0,1,0,0, → 0,0,1,0 → [2]: → 0,0,1,0, → 0,0,0,1, → 1,0,0,0, → 0,1,0,0 → [3]: → 1,0,0,0, → 0,0,0,1, → 0,1,0,0, → 0,0,1,0 → [4]: → 0,1,0,0, → 0,0,1,0, → 0,0,0,1, → 1,0,0,0 → [5]: → 0,0,0,1, → 0,0,1,0, → 1,0,0,0, → 0,1,0,0 → [6]: → 0,0,1,0, → 1,0,0,0, → 0,0,0,1, → 0,1,0,0 → [7]: → 1,0,0,0, → 0,1,0,0, → 0,0,1,0, → 0,0,0,1 → [8]: → 0,0,1,0, → 0,1,0,0, → 0,0,0,1, → 1,0,0,0 → [9]: → 0,1,0,0, → 0,0,0,1, → 0,0,1,0, → 1,0,0,0 → [10]: → 0,1,0,0, → 0,0,1,0, → 1,0,0,0, → 0,0,0,1 → [11]: → 1,0,0,0, → 0,0,1,0, → 0,0,0,1, → 0,1,0,0 → [12]: → 0,1,0,0, → 1,0,0,0, → 0,0,1,0, → 0,0,0,1 → [13]: → 1,0,0,0, → 0,0,1,0, → 0,1,0,0, → 0,0,0,1 → [14]: → 1,0,0,0, → 0,1,0,0, → 0,0,0,1, → 0,0,1,0 → [15]: → 0,0,0,1, → 0,1,0,0, → 0,0,1,0, → 1,0,0,0 → [16]: → 0,0,1,0, → 0,1,0,0, → 1,0,0,0, → 0,0,0,1 → [17]: → 0,0,0,1, → 0,1,0,0, → 1,0,0,0, → 0,0,1,0 → [18]: → 0,0,0,1, → 1,0,0,0, → 0,0,1,0, → 0,1,0,0 → [19]: → 0,0,1,0, → 1,0,0,0, → 0,1,0,0, → 0,0,0,1 → [20]: → 0,1,0,0, → 1,0,0,0, → 0,0,0,1, → 0,0,1,0 → [21]: → 0,0,0,1, → 0,0,1,0, → 0,1,0,0, → 1,0,0,0 → [22]: → 0,0,1,0, → 0,0,0,1, → 0,1,0,0, → 1,0,0,0 → [23]: → 0,1,0,0, → 0,0,0,1, → 1,0,0,0, → 0,0,1,0 → [24]: → 1,0,0,0, → 0,0,0,1, → 0,0,1,0, → 0,1,0,0 |
[ < ] | [ > ] | [ << ] | [ Up ] | [ >> ] | [Top] | [Index] | [ ? ] |
Jump to: | C D H I M P S |
---|
Jump to: | C D H I M P S |
---|
[Top] | [Index] | [ ? ] |
This document was generated by Daniel Andres on April, 15 2011 using texi2html 1.76.
The buttons in the navigation panels have the following meaning:
Button | Name | Go to | From 1.2.3 go to |
---|---|---|---|
[ < ] | Back | previous section in reading order | 1.2.2 |
[ > ] | Forward | next section in reading order | 1.2.4 |
[ << ] | FastBack | beginning of this chapter or previous chapter | 1 |
[ Up ] | Up | up section | 1.2 |
[ >> ] | FastForward | next chapter | 2 |
[Top] | Top | cover (top) of document | |
[Contents] | Contents | table of contents | |
[Index] | Index | index | |
[ ? ] | About | about (help) |
where the Example assumes that the current position is at Subsubsection One-Two-Three of a document of the following structure:
This document was generated by Daniel Andres on April, 15 2011 using texi2html 1.76.