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 := (x1)*(x2)*(x3);
/**/ FixedDivisor(f);
3
