Struct BasicIntegrals 

pub struct BasicIntegrals;

Basic integration operations

Implementations

impl BasicIntegrals

pub fn handle_calculus( expr: &Expression, data: &CalculusData, variable: Symbol, ) -> Expression

Handle integration of calculus expressions

Examples

use mathhook_core::calculus::integrals::{BasicIntegrals, Integration};
use mathhook_core::{Expression, symbol};

let x = symbol!(x);
let expr = Expression::integral(Expression::symbol(x.clone()), x.clone());
let result = expr.integrate(x, 0);

pub fn handle_constant(expr: &Expression, variable: Symbol) -> Expression

Handle integration of constant expressions

Examples

use mathhook_core::{Expression, BasicIntegrals};
use mathhook_core::symbol;

let x = symbol!(x);
let expr = Expression::integer(5);
let result = BasicIntegrals::handle_constant(&expr, x);

pub fn handle_symbol(sym: &Symbol, variable: &Symbol) -> Expression

Handle integration of symbol expressions

Examples

use mathhook_core::{Expression, BasicIntegrals};
use mathhook_core::symbol;

let x = symbol!(x);
let y = symbol!(y);
let dx = BasicIntegrals::handle_symbol(&x, &x);
let dy = BasicIntegrals::handle_symbol(&x, &y);

pub fn handle_sum( terms: &[Expression], variable: &Symbol, depth: usize, ) -> Expression

Handle integration of sum expressions using linearity

Arguments

• terms - Terms in the sum
• variable - Variable to integrate with respect to
• depth - Current recursion depth

Examples

use mathhook_core::{Expression, BasicIntegrals};
use mathhook_core::symbol;
use mathhook_core::calculus::integrals::Integration;

let x = symbol!(x);
let terms = vec![Expression::symbol(x.clone()), Expression::integer(5)];
let result = BasicIntegrals::handle_sum(&terms, &x, 0);

pub fn handle_product( factors: &[Expression], variable: Symbol, depth: usize, ) -> Expression

Handle integration of product expressions

Preserves factor order for noncommutative expressions (matrices, operators, quaternions).

Arguments

• factors - Factors in the product
• variable - Variable to integrate with respect to
• depth - Current recursion depth

Examples

use mathhook_core::{Expression, BasicIntegrals};
use mathhook_core::symbol;

let x = symbol!(x);
let factors = vec![Expression::integer(3), Expression::symbol(x.clone())];
let result = BasicIntegrals::handle_product(&factors, x, 0);

pub fn handle_power( base: &Expression, exp: &Expression, variable: Symbol, ) -> Expression

Handle integration of power expressions using power rule

Power rule for integer exponents: ∫x^n dx = x^(n+1)/(n+1) + C (n ≠ -1) Power rule for rational exponents: ∫x^(p/q) dx = (q/(p+q))·x^((p+q)/q) + C (p+q ≠ 0) Special case: ∫x^(-1) dx = ln|x| + C

Examples

use mathhook_core::{Expression, BasicIntegrals};
use mathhook_core::symbol;

let x = symbol!(x);
let base = Expression::symbol(x.clone());
let exp = Expression::integer(3);
let result = BasicIntegrals::handle_power(&base, &exp, x);

pub fn is_constant_wrt(expr: &Expression, variable: &Symbol) -> bool

Check if expression is constant with respect to variable

Examples

use mathhook_core::{Expression, BasicIntegrals};
use mathhook_core::symbol;

let x = symbol!(x);
let expr = Expression::integer(5);
let is_const = BasicIntegrals::is_constant_wrt(&expr, &x);