aicodix___code/bose_chaudhuri_hocquenghem_encoder.hh
2018-09-21 19:26:30 +02:00

82 lines
2 KiB
C++

/*
Bose Chaudhuri Hocquenghem Encoder
Copyright 2018 Ahmet Inan <inan@aicodix.de>
*/
#ifndef BOSE_CHAUDHURI_HOCQUENGHEM_ENCODER_HH
#define BOSE_CHAUDHURI_HOCQUENGHEM_ENCODER_HH
#include <initializer_list>
namespace CODE {
template <int NR, int FCR, int MSG, typename GF>
class BoseChaudhuriHocquenghemEncoder
{
public:
typedef typename GF::value_type value_type;
typedef typename GF::ValueType ValueType;
typedef typename GF::IndexType IndexType;
static const int N = GF::N, K = MSG, NP = N - K;
ValueType generator[NP+1];
BoseChaudhuriHocquenghemEncoder(std::initializer_list<int> minimal_polynomials)
{
// $generator(x) = \prod_i(minpoly_i(x))$
int generator_degree = 1;
generator[0] = ValueType(1);
for (int i = 1; i <= NP; ++i)
generator[i] = ValueType(0);
for (auto m: minimal_polynomials) {
assert(0 < m && m < 1<<(GF::M+1));
int m_degree = GF::M;
while (!(m>>m_degree))
--m_degree;
assert(generator_degree + m_degree <= NP + 1);
for (int i = generator_degree; i >= 0; --i) {
if (!generator[i])
continue;
generator[i] = ValueType(m&1);
for (int j = 1; j <= m_degree; ++j)
generator[i+j] += ValueType((m>>j)&1);
}
generator_degree += m_degree;
}
assert(generator_degree == NP + 1);
if (0) {
IndexType root(FCR), pe(1);
for (int i = 0; i < NR; ++i) {
ValueType tmp(generator[NP]);
for (int j = 1; j <= NP; ++j)
tmp = fma(root, tmp, generator[NP-j]);
assert(!tmp);
root *= pe;
}
std::cerr << "generator =";
for (int i = 0; i <= NP; ++i)
std::cerr << " " << (int)generator[i];
std::cerr << std::endl;
}
}
void operator()(ValueType *code)
{
// $code = data * x^{NP} + (data * x^{NP}) \mod{generator}$
for (int i = 0; i < NP; ++i)
code[K+i] = ValueType(0);
for (int i = 0; i < K; ++i) {
if (code[i] != code[K]) {
for (int j = 1; j < NP; ++j)
code[K+j-1] = generator[NP-j] + code[K+j];
code[N-1] = generator[0];
} else {
for (int j = 1; j < NP; ++j)
code[K+j-1] = code[K+j];
code[N-1] = ValueType(0);
}
}
}
};
}
#endif