up previous next
FixedDivisor    --    compute (integer) fixed divisor for polynomial


Syntax
FixedDivisor(F: RINGELEM): RINGELEM

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

Example
/**/  use R ::= QQ[x];
/**/  f := (x-1)*(x-2)*(x-3);
/**/  FixedDivisor(f);
3

See Also