Module summation 

Summation and product operations

Implements symbolic summation including finite sums, infinite series, products, and convergence analysis.

Preserves order for noncommutative expressions (matrices, operators, quaternions). When summing or multiplying noncommutative terms, order is maintained.

Mathematical Background

SymPy Validated: 2025-11-16 (validation script: scripts/validate_summation.py)

All formulas cross-validated against SymPy for mathematical correctness.

Educational Features

The summation module provides step-by-step explanations for series computation:

use mathhook_core::{expr, symbol};
use mathhook_core::calculus::summation::educational::SummationEducational;

let i = symbol!(i);
let sum_expr = expr!(i);

let explanation = sum_expr.explain_finite_sum(&i, &expr!(1), &expr!(10));

for step in &explanation.steps {
    println!("{}: {}", step.title, step.description);
}

Modules

educational

Educational features for summation operations

Structs

SummationMethods

Summation methods and utilities

Enums

ConvergenceResult

Result of convergence analysis

Traits

Summation

Trait for summation and product operations