Struct SpecialProperties 

pub struct SpecialProperties {
    pub has_derivative: bool,
    pub has_antiderivative: bool,
    pub antiderivative_rule: Option<AntiderivativeRule>,
    pub recurrence_relations: Vec<RecurrenceRule>,
    pub differential_equation: Option<DifferentialEquation>,
    pub special_values: Vec<SpecialValue>,
    pub asymptotic_behavior: Option<AsymptoticData>,
    pub wolfram_name: Option<&'static str>,
}

Special function properties (gamma, bessel, zeta, etc.)

Comprehensive mathematical properties for advanced special functions following SymPy’s approach but optimized for performance.

Note: Evaluation is handled by direct dispatch through Expression::evaluate_function_dispatch() for performance. This struct stores only mathematical properties, not evaluation logic.

Fields

has_derivative: bool

Quick derivative check

has_antiderivative: bool

Quick antiderivative check

antiderivative_rule: Option<AntiderivativeRule>

Antiderivative rule (if known)

recurrence_relations: Vec<RecurrenceRule>

Recurrence relations for symbolic computation Examples: Γ(n+1) = n·Γ(n), J_{n+1} = (2n/x)J_n - J_{n-1}

differential_equation: Option<DifferentialEquation>

Differential equation the function satisfies Examples: Bessel DE, hypergeometric DE

special_values: Vec<SpecialValue>

Special values for exact computation

asymptotic_behavior: Option<AsymptoticData>

Asymptotic behavior for large arguments

wolfram_name: Option<&'static str>

Wolfram Language function name Used for Wolfram formatting without hardcoded matches Example: “gamma” → “Gamma”, “zeta” → “Zeta”

Trait Implementations

impl Clone for SpecialProperties

fn clone(&self) -> SpecialProperties

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for SpecialProperties

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.