Symbolic Assumptions

Topic: advanced.assumptions

Declare properties about symbols to enable better simplification, solving, and mathematical operations. Assumptions like positivity, reality, integer constraints improve symbolic manipulation accuracy.

Symbolic Assumptions

Assumptions allow you to declare mathematical properties about symbols (positive, real, integer, etc.) to guide MathHook's symbolic engine toward more accurate simplifications and solutions.

Why Assumptions Matter

Without assumptions, MathHook treats all symbols as arbitrary complex numbers, leading to overly conservative results. With assumptions:

√(x²) can simplify to |x| (real assumption) or x (positive assumption)
Inequalities can be solved symbolically
Domain restrictions are enforced

Current Status

Planned Feature: Full assumption system is under development.

Expected API (Future)

#![allow(unused)]
fn main() {
let x = symbol!(x).assume_positive();
let y = symbol!(y).assume_real();
let n = symbol!(n).assume_integer();

let expr = expr!(sqrt(x^2));
// With x > 0: simplifies to x
// Without: stays as sqrt(x^2) or becomes |x|
}