up previous next
IsLRSDegenerateOrder    --    checks the given polynomial for n-LRS-degeneracy


Syntax 
IsLRSDegenerateOrder(F: RINGELEM, n: INT): BOOL

Description
This function takes the given polynomial F and checks the corresponding Linear Recurrence Sequence (LRS) for n-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.

Example 
/**/  use R ::= QQ[x];
/**/  IsLRSDegenerateOrder(x^4 +3*x^3 -9*x +9, 6);
true
/**/  IsLRSDegenerateOrder(x^4 +3*x^3 -9*x +9, 3);
false

See Also