Struct ParametricProlongOpts 

pub struct ParametricProlongOpts<'a> {
    pub order: MonomialOrder,
    pub max_prolong_rounds: usize,
    pub eliminate: &'a [ExprId],
    pub minimal: bool,
}

Knobs for rosenfeld_groebner_parametric.

Fields

order: MonomialOrder

Monomial order for each round’s basis. Lex with the variables to eliminate ordered first is what elimination needs.

max_prolong_rounds: usize

Prolongation budget — the number of formal time derivatives taken.

eliminate: &'a [ExprId]

The variables the caller intends to eliminate, e.g. the unobserved states of an ODE model. Their whole jet chain is eliminated with them: naming x also names dx/dt, d2x/dt2, … as they appear.

Empty disables both the informativeness check and Self::minimal.

minimal: bool

Stop at the first prolongation round whose elimination ideal is non-trivial, instead of prolonging to the budget.

See ParametricRosenfeldResult::minimal_prolongation_rounds for the scope of “first informative” — it is not a guarantee of minimality.

Trait Implementations

impl<'a> Clone for ParametricProlongOpts<'a>

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'a> Copy for ParametricProlongOpts<'a>

impl<'a> Debug for ParametricProlongOpts<'a>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for ParametricProlongOpts<'_>

fn default() -> Self

Returns the “default value” for a type.