fmpz_poly_q_init rop

Initialises rop.

fmpz_poly_q_clear rop

Clears the object rop.

fmpz_poly_q_canonicalise rop

Brings rop into canonical form, only assuming that the denominator is non-zero.

fmpz_poly_q_is_canonical op

Checks whether the rational function op is in canonical form.

fmpz_poly_q_randtest poly state len1 bits1 len2 bits2

Sets poly to a random rational function.

fmpz_poly_q_randtest_not_zero poly state len1 bits1 len2 bits2

Sets poly to a random non-zero rational function.

fmpz_poly_q_set rop op

Sets the element rop to the same value as the element op.

fmpz_poly_q_set_si rop op

Sets the element rop to the value given by the slong op.

fmpz_poly_q_swap op1 op2

Swaps the elements op1 and op2.

This is done efficiently by swapping pointers.

fmpz_poly_q_zero rop

Sets rop to zero.

fmpz_poly_q_one rop

Sets rop to one.

fmpz_poly_q_neg rop op

Sets the element rop to the additive inverse of op.

fmpz_poly_q_inv rop op

Sets the element rop to the multiplicative inverse of op.

Assumes that the element op is non-zero.

fmpz_poly_q_is_zero op

Returns whether the element op is zero.

fmpz_poly_q_is_one op

Returns whether the element rop is equal to the constant polynomial \(1\).

fmpz_poly_q_equal op1 op2

Returns whether the two elements op1 and op2 are equal.

fmpz_poly_q_add rop op1 op2

Sets rop to the sum of op1 and op2.

fmpz_poly_q_sub rop op1 op2

Sets rop to the difference of op1 and op2.

fmpz_poly_q_addmul rop op1 op2

Adds the product of op1 and op2 to rop.

fmpz_poly_q_submul rop op1 op2

Subtracts the product of op1 and op2 from rop.

fmpz_poly_q_scalar_mul_si rop op x

Sets rop to the product of the rational function op and the slong integer \(x\).

fmpz_poly_q_scalar_mul_fmpz rop op x

Sets rop to the product of the rational function op and the fmpz_t integer \(x\).

fmpz_poly_q_scalar_mul_fmpq rop op x

Sets rop to the product of the rational function op and the fmpq_t rational \(x\).

fmpz_poly_q_scalar_div_si rop op x

Sets rop to the quotient of the rational function op and the slong integer \(x\).

fmpz_poly_q_scalar_div_fmpz rop op x

Sets rop to the quotient of the rational function op and the fmpz_t integer \(x\).

fmpz_poly_q_scalar_div_fmpq rop op x

Sets rop to the quotient of the rational function op and the fmpq_t rational \(x\).

fmpz_poly_q_mul rop op1 op2

Sets rop to the product of op1 and op2.

fmpz_poly_q_div rop op1 op2

Sets rop to the quotient of op1 and op2.

fmpz_poly_q_pow rop op exp

Sets rop to the exp-th power of op.

The corner case of exp == 0 is handled by setting rop to the constant function \(1\). Note that this includes the case \(0^0 = 1\).

fmpz_poly_q_derivative rop op

Sets rop to the derivative of op.

fmpz_poly_q_evaluate_fmpq rop f a

Sets rop to \(f\) evaluated at the rational \(a\).

If the denominator evaluates to zero at \(a\), returns non-zero and does not modify any of the variables. Otherwise, returns \(0\) and sets rop to the rational \(f(a)\).

fmpz_poly_q_set_str rop s

Sets rop to the rational function given by the string s. The following three methods enable users to construct elements of type fmpz_poly_q_t from strings or to obtain string representations of such elements. The format used is based on the FLINT format for integer polynomials of type fmpz_poly_t, which we recall first: A non-zero polynomial \(a_0 + a_1 X + \dotsb + a_n X^n\) of length n + 1 is represented by the string "n+1 a_0 a_1 ... a_n", where there are two space characters following the length and single space characters separating the individual coefficients. There is no leading or trailing white-space. The zero polynomial is simply represented by "0". We adapt this notation for rational functions as follows. We denote the zero function by "0". Given a non-zero function with numerator and denominator string representations num and den, respectively, we use the string num/den to represent the rational function, unless the denominator is equal to one, in which case we simply use num. There is also a _pretty variant available, which bases the string parts for the numerator and denominator on the output of the function fmpz_poly_get_str_pretty and introduces parentheses where necessary. Note that currently these functions are not optimised for performance and are intended to be used only for debugging purposes or one-off input and output, rather than as a low-level parser.

fmpz_poly_q_get_str op

Returns the string representation of the rational function op.

fmpz_poly_q_get_str_pretty op x

Returns the pretty string representation of the rational function op.

fmpz_poly_q_print op

Prints the representation of the rational function op to stdout.

fmpz_poly_q_print_pretty op x

Prints the pretty representation of the rational function op to stdout.