[][src]Function lib_xalg::generate

pub fn generate<T: Required>(
    depth: T,
    exponent_limit: T,
    coefficient_limit: T
) -> Result<Formula<T>, ErrorKind>

Generate the formula AST.

  • depth: the depth of the AST of the formula. (depth >= 0)
  • exponent_limit: the max of the exponent of the monomials. Generates in [0..max). (exponent_limit >= 1)
  • coefficient_limit: the max of the coefficient of the monomials. Generates in [0..max). (coefficient_limit >= 2)