Function poly_reduce 

pub fn poly_reduce(
    poly: &Expression,
    basis: &[&Expression],
    variables: &[Symbol],
    order: &MonomialOrder,
) -> (Expression, bool)

Reduce a polynomial modulo a set of polynomials (one step)

Performs one reduction step: if the leading term of poly is divisible by the leading term of some polynomial in the basis, subtract an appropriate multiple to eliminate that term.

Arguments

• poly - Polynomial to reduce
• basis - Set of polynomials to reduce against
• variables - Ordered list of variables
• order - Monomial ordering to use

Returns

Tuple of (reduced polynomial, whether reduction occurred)