abs

absolute value of a number

ApproxSolve

Approximate real solutions for polynomial system

AsRAT

convert into a RAT

CFApprox

continued fraction approximation

CFApproximants

continued fraction approximants

ContFracToRat

convert continued fraction to rational

CpuTime

Counts cpu time

FloatApprox

approx. of rational number of the form M*2^E

power

compute a power

RootBound

bound on roots of a polynomial over QQ

ScalarProduct

scalar product

SimplestBinaryRatBetween

find simplest binary rational in a closed interval

SimplestRatBetween

find simplest rational in a closed interval
