Euclidean division

Functions

void fmpq_poly_floordiv (fmpq_poly_ptr q, const fmpq_poly_ptr a, const fmpq_poly_ptr b)
void fmpq_poly_mod (fmpq_poly_ptr r, const fmpq_poly_ptr a, const fmpq_poly_ptr b)
void fmpq_poly_divrem (fmpq_poly_ptr q, fmpq_poly_ptr r, const fmpq_poly_ptr a, const fmpq_poly_ptr b)
void fmpq_poly_inv_series (fmpq_poly_ptr rop, const fmpq_poly_ptr op, long n)
void fmpq_poly_div_series (fmpq_poly_ptr rop, const fmpq_poly_ptr op1, const fmpq_poly_ptr op2, long n)

Function Documentation

void fmpq_poly_div_series ( fmpq_poly_ptr  rop,
const fmpq_poly_ptr  op1,
const fmpq_poly_ptr  op2,
long  n 
)

Sets rop to the quotient of op1 and op2 modulo $t^n$. Assumes that the constant coefficient of op2 is non-zero and that n is at least $1$.

void fmpq_poly_divrem ( fmpq_poly_ptr  q,
fmpq_poly_ptr  r,
const fmpq_poly_ptr  a,
const fmpq_poly_ptr  b 
)

Sets q and r to the quotient and remainder of the Euclidean division of a by b.

Assumes that b is non-zero, and that q and r refer to distinct objects in memory.

void fmpq_poly_floordiv ( fmpq_poly_ptr  q,
const fmpq_poly_ptr  a,
const fmpq_poly_ptr  b 
)

Returns the quotient of the Euclidean division of a by b.

Assumes that b is non-zero. Otherwise, an exception is raised in the form of an abort statement.

void fmpq_poly_inv_series ( fmpq_poly_ptr  rop,
const fmpq_poly_ptr  op,
long  n 
)

Sets rop to the inverse of op modulo $t^n$. Assumes that the constant coefficient of is non-zero.

void fmpq_poly_mod ( fmpq_poly_ptr  r,
const fmpq_poly_ptr  a,
const fmpq_poly_ptr  b 
)

Sets r to the remainder of the Euclidean division of a by b.

Assumes that b is non-zero. Otherwise, an exception is raised in the form of an abort statement.

Generated on Wed Dec 8 21:13:35 2010 for FMPQ_POLY by  doxygen 1.6.3