mathhook-core 0.2.0

Core mathematical engine for MathHook - expressions, algebra, and solving
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76

//! Polynomial Function Intelligence
//!
//! Dedicated module for polynomial families with complete mathematical properties,
//! recurrence relations, orthogonality, and educational explanations.

pub mod chebyshev;
pub mod evaluation;
pub mod hermite;
pub mod laguerre;
pub mod legendre;
pub mod polynomial_eval;
pub mod symbolic;

pub use polynomial_eval::{degree, expand, factor, roots};

use crate::functions::properties::FunctionProperties;
use std::collections::HashMap;

/// Polynomial Function Intelligence Registry
///
/// Manages mathematical intelligence for all polynomial families
/// with proper modular separation by polynomial type.
pub struct PolynomialIntelligence {
    /// Legendre polynomials P_n(x)
    legendre: legendre::LegendreIntelligence,

    /// Hermite polynomials H_n(x)
    hermite: hermite::HermiteIntelligence,

    /// Laguerre polynomials L_n(x)
    laguerre: laguerre::LaguerreIntelligence,

    /// Chebyshev polynomials T_n(x), U_n(x)
    chebyshev: chebyshev::ChebyshevIntelligence,
}

impl Default for PolynomialIntelligence {
    fn default() -> Self {
        Self::new()
    }
}

impl PolynomialIntelligence {
    /// Create new polynomial intelligence system
    pub fn new() -> Self {
        Self {
            legendre: legendre::LegendreIntelligence::new(),
            hermite: hermite::HermiteIntelligence::new(),
            laguerre: laguerre::LaguerreIntelligence::new(),
            chebyshev: chebyshev::ChebyshevIntelligence::new(),
        }
    }

    /// Get all polynomial function properties
    ///
    /// Returns a HashMap of all polynomial functions and their properties
    /// for integration with the universal registry.
    pub fn get_all_properties(&self) -> HashMap<String, FunctionProperties> {
        let mut properties = HashMap::with_capacity(64);

        properties.extend(self.legendre.get_properties());
        properties.extend(self.hermite.get_properties());
        properties.extend(self.laguerre.get_properties());
        properties.extend(self.chebyshev.get_properties());

        properties
    }

    /// Check if function is a polynomial
    pub fn is_polynomial_function(&self, name: &str) -> bool {
        self.legendre.has_function(name)
            || self.hermite.has_function(name)
            || self.laguerre.has_function(name)
            || self.chebyshev.has_function(name)
    }
}