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
|