This file offers 3 functions: IsLRSDegenerateOrder
, IsLRSDegenerateMod
, and IsLRSDegenerate
.
Let f
be two RingElem
values representing univariate polynomials in a polynomial ring P
over ZZ
or QQ
.
Let n
be a positive integer.
IsLRSDegenerateOrder(f,n)
-- returns a bool
indicating whether f
is the characteristic polynomial of a n
-degenerate LRS - using a modular approach.
IsLRSDegenerateMod(f)
-- returns an unsigned long n
indicating that f
is the characteristic polynomial of a n
-degenerate LRS - using a modular approach.
IsLRSDegenerate(f)
-- returns an unsigned long n
indicating that f
is the characteristic polynomial of a n
-degenerate LRS - choosing the right approach.
PrimeSeq1ModN
, there might be problems with thread-safety here!
Q_n = Res_y(f(xy), Phi_n(y))
and then deg(gcd(P,Q_n)) > 0
in the modular/iterative approach.
UnivariateIndetIndex
still returns the index of the variable.
IsSqFree
might be cleaner in some places, but also does more unnecessary checks and is broken right now.
2022