up previous next
IsLRSDegenerate --
checks the given polynomial for LRS-degeneracy
|
IsLRSDegenerate(F: RINGELEM): BOOL |
This function takes the given polynomial
F and checks the
corresponding Linear Recurrence Sequence (LRS) for degeneracy. A LRS
is
n-degenerate iff its characteristic polynomial
F
has two distinct roots whose quotient is a primitive
n-th
root of unity. Use
LRSDegeneracyOrder
to find a value for
n.
/**/ use R ::= QQ[x];
/**/ IsLRSDegenerate(x^4 +3*x^3 +2*x^2 -3*x +1);
true
/**/ IsLRSDegenerate(x^3 +x +2);
false
|