up previous next
IsLRSDegenerate    --    checks the given polynomial for LRS-degeneracy


Syntax 
IsLRSDegenerate(F: RINGELEM): BOOL

Description
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.

Example 
/**/  use R ::= QQ[x];
/**/  IsLRSDegenerate(x^4 +3*x^3 +2*x^2 -3*x +1);
true
/**/  IsLRSDegenerate(x^3 +x +2);
false

See Also