LICENSE
README.md
pyproject.toml
src/funcprops/__init__.py
src/funcprops/_semialg.py
src/funcprops/api.py
src/funcprops/conditions.py
src/funcprops/dlmf.py
src/funcprops/engine.py
src/funcprops/exceptions.py
src/funcprops/proof_cache.py
src/funcprops/registry.py
src/funcprops/results.py
src/funcprops/singularities.py
src/funcprops/stratification.py
src/funcprops/sympy_compare.py
src/funcprops/verification.py
src/funcprops.egg-info/PKG-INFO
src/funcprops.egg-info/SOURCES.txt
src/funcprops.egg-info/dependency_links.txt
src/funcprops.egg-info/requires.txt
src/funcprops.egg-info/top_level.txt
src/funcprops/branchcuts/__init__.py
src/funcprops/branchcuts/computation.py
src/funcprops/branchcuts/core.py
src/funcprops/branchcuts/post_simplify.py
src/funcprops/data/catalogue.json
src/funcprops/data/dlmf_audit.json
src/funcprops/real_analysis/__init__.py
src/funcprops/real_analysis/advanced_convexity.py
src/funcprops/real_analysis/boundedness.py
src/funcprops/real_analysis/common.py
src/funcprops/real_analysis/convexity.py
src/funcprops/real_analysis/differentiability.py
src/funcprops/real_analysis/domain.py
src/funcprops/real_analysis/mapping.py
src/funcprops/real_analysis/monotonic_certificates.py
src/funcprops/real_analysis/monotonicity.py
src/funcprops/real_analysis/oscillation.py
src/funcprops/real_analysis/piecewise.py
src/funcprops/real_analysis/range.py
src/funcprops/real_analysis/sign.py
src/funcprops/real_analysis/smoothness.py
src/funcprops/real_analysis/special_functions.py
src/funcprops/real_analysis/structural_properties.py
src/funcprops/real_analysis/zeros.py
src/funcprops/transcendental/__init__.py
src/funcprops/transcendental/algebraize.py
src/funcprops/transcendental/analytic.py
src/funcprops/transcendental/complex_roots.py
src/funcprops/transcendental/exp_fourier.py
src/funcprops/transcendental/extrema.py
src/funcprops/transcendental/periodic.py
src/funcprops/transcendental/proof.py
src/funcprops/transcendental/real_interval.py
src/funcprops/transcendental/real_sign.py
src/funcprops/transcendental/reduce.py
src/funcprops/transcendental/roots.py
src/funcprops/transcendental/zero_geometry.py
tests/test_advanced_convexity.py
tests/test_api_contract.py
tests/test_branchcut_core.py
tests/test_branchcut_input_validation.py
tests/test_branchcut_post_simplify.py
tests/test_branchcut_restrictions.py
tests/test_branchcuts_integration.py
tests/test_cache_input_validation.py
tests/test_certified_real_root_isolation.py
tests/test_completed_real_root_pipeline.py
tests/test_complex_root_isolation.py
tests/test_conditional_singularity_analysis.py
tests/test_derivative_cache.py
tests/test_dlmf_formula_audit.py
tests/test_dlmf_stratification.py
tests/test_domain_cell_root_isolation.py
tests/test_exported_helpers_and_replay.py
tests/test_extremum_ordering.py
tests/test_indexed_extrema.py
tests/test_indexed_tail_brackets.py
tests/test_indexed_tail_inversion.py
tests/test_monotonicity_and_singularities.py
tests/test_native_property_regressions.py
tests/test_public_option_semantics.py
tests/test_registry.py
tests/test_semialg_delegation.py
tests/test_shared_monotonic_partition.py
tests/test_shared_proof_cache.py
tests/test_structural_properties.py
tests/test_transcendental_algebraization.py
tests/test_transcendental_certification.py
tests/test_transcendental_real_analysis.py
tests/test_vocabulary.py
tests/test_zero_geometry.py
tests/test_zeros_mapping_and_smoothness.py