pub struct IntegrationExplanation { /* private fields */ }Expand description
Comprehensive integration explanation with strategy attribution
Provides detailed step-by-step explanations for integration operations, including which technique was used and why.
Implementations§
Source§impl IntegrationExplanation
impl IntegrationExplanation
Sourcepub fn generate(expr: &Expression, var: &Symbol) -> Self
pub fn generate(expr: &Expression, var: &Symbol) -> Self
Generate explanation for integrating an expression
Analyzes the integrand and provides step-by-step explanation of the integration process, automatically selecting the appropriate technique (power rule, substitution, trigonometric, etc.)
§Arguments
expr- The integrand to explainvar- The variable of integration
§Examples
use mathhook_core::{symbol, Expression};
use mathhook_core::calculus::integrals::educational::IntegrationExplanation;
let x = symbol!(x);
let expr = Expression::pow(Expression::symbol(x.clone()), Expression::integer(2));
let explanation = IntegrationExplanation::generate(&expr, &x);
assert!(!explanation.steps().is_empty());Sourcepub fn strategy_used(&self) -> String
pub fn strategy_used(&self) -> String
Get the integration strategy/technique that was used
Auto Trait Implementations§
impl Freeze for IntegrationExplanation
impl RefUnwindSafe for IntegrationExplanation
impl Send for IntegrationExplanation
impl Sync for IntegrationExplanation
impl Unpin for IntegrationExplanation
impl UnwindSafe for IntegrationExplanation
Blanket Implementations§
§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more