Enum SolutionForm 

pub enum SolutionForm {
    Explicit(ExprId),
    Implicit(ExprId),
}

How a general solution is written down.

Separable and exact equations routinely have no closed form for y: the answer is a relation G(x, y) = 0 that the solution curves satisfy, and refusing to return one would refuse most of the two classes. The two cases are kept in distinct variants rather than in one ExprId field so that a caller cannot read a relation as if it were y(x) — the single most likely way for this addition to produce a wrong answer downstream.

Variants

Explicit(ExprId)

y(x) = expr, with expr free of y.

Implicit(ExprId)

expr(x, y) = 0, an implicit general solution that could not be solved for y. Every solution curve of the ODE in the region satisfies it, and every level set of it solves the ODE — the latter is what the verification gate checks, by substituting y' = −Gₓ/G_y.

Trait Implementations

impl Clone for SolutionForm

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for SolutionForm

impl Debug for SolutionForm

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

Formats the value using the given formatter.

impl Eq for SolutionForm

impl PartialEq for SolutionForm

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for SolutionForm