property sdr.GLFSR.characteristic_poly : Poly

The characteristic polynomial c(x) that defines the linear recurrent sequence.

Notes

The characteristic polynomial c(x)=xn−cn−1⋅xn−1−cn−2⋅xn−2−⋯−c1⋅x−c0 is the reciprocal of the feedback polynomial c(x)=xnf(x−1).

Examples

In [1]: c = galois.primitive_poly(7, 4); c
Out[1]: Poly(x^4 + x^2 + 3x + 5, GF(7))

In [2]: lfsr = sdr.GLFSR(c); lfsr
Out[2]: <Galois LFSR: c(x) = x^4 + x^2 + 3x + 5 over GF(7)>

In [3]: lfsr.characteristic_poly
Out[3]: Poly(x^4 + x^2 + 3x + 5, GF(7))

In [4]: lfsr.characteristic_poly == lfsr.feedback_poly.reverse()
Out[4]: True