XFRC
: Q
but handles quadratic
irrationals (recognize a quadratic irrational if its expansion in contined
fraction is ultimately periodic of period less or equal to 3)
Examples:
CAB
: (Bezout identity)* 1 'X^2+2*X+1' 'X^2+2*X+3' -> -1 1 1 * 1 'X^2+2*X+1' 'X^2+2*X+3' -> 0This means for the first case that:
as in the second case there is no solution because the gcd of x2+1*x+1 and x2+3*x+2 does not divide 1.
EULER
: Euler indicatrix FCLI
:
LIFC
:ORND
:ORND
returns .5+.2*x.