up previous next
FixedDivisor --
compute (integer) fixed divisor for polynomial
|
FixedDivisor(F: RINGELEM): RINGELEM |
This function returns the integer fixed divisor of the polynomial
F;
that is the gcd of all
F(n) as
n runs through all integers.
The polynomial
F must have rational coefficients, and all values
F(n) must be integers. Current bug:
F must be univariate.
/**/ use R ::= QQ[x];
/**/ f := (x-1)*(x-2)*(x-3);
/**/ FixedDivisor(f);
3
|