LICENSE
README.md
pyproject.toml
src/funcprops/__init__.py
src/funcprops/_semialg.py
src/funcprops/api.py
src/funcprops/assumption_closure.py
src/funcprops/assumption_normalization.py
src/funcprops/assumptions.py
src/funcprops/asymptotic_tails.py
src/funcprops/cache_control.py
src/funcprops/certified_balls.py
src/funcprops/certified_inequalities.py
src/funcprops/certified_operations.py
src/funcprops/certified_optimization.py
src/funcprops/complex_certification.py
src/funcprops/conditional.py
src/funcprops/conditions.py
src/funcprops/derivative_inequalities.py
src/funcprops/diagnostics.py
src/funcprops/dlmf.py
src/funcprops/engine.py
src/funcprops/exactness.py
src/funcprops/exceptions.py
src/funcprops/explanations.py
src/funcprops/geometry.py
src/funcprops/global_analysis.py
src/funcprops/global_multivariate.py
src/funcprops/infinite_root_families.py
src/funcprops/integration.py
src/funcprops/meromorphic_contours.py
src/funcprops/multivariate_intervals.py
src/funcprops/native_registry.py
src/funcprops/parameter_cells.py
src/funcprops/parameter_discriminants.py
src/funcprops/proof_budget.py
src/funcprops/proof_cache.py
src/funcprops/proof_explanations.py
src/funcprops/proof_telemetry.py
src/funcprops/property_composition.py
src/funcprops/registry.py
src/funcprops/registry_derivatives.py
src/funcprops/registry_transport.py
src/funcprops/results.py
src/funcprops/special_theorems.py
src/funcprops/statistical_special_functions.py
src/funcprops/stratification.py
src/funcprops/sympy_compare.py
src/funcprops/taylor_models.py
src/funcprops/theorem_closure.py
src/funcprops/theorem_registry.py
src/funcprops/transformation.py
src/funcprops/verification.py
src/funcprops/verified_roots.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/data/registry_capabilities.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/complete_monotonicity.py
src/funcprops/real_analysis/convexity.py
src/funcprops/real_analysis/differentiability.py
src/funcprops/real_analysis/domain.py
src/funcprops/real_analysis/integrability.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/regularity_extensions.py
src/funcprops/real_analysis/sign.py
src/funcprops/real_analysis/smoothness.py
src/funcprops/real_analysis/special_functions.py
src/funcprops/real_analysis/staging.py
src/funcprops/real_analysis/structural_properties.py
src/funcprops/real_analysis/variation.py
src/funcprops/real_analysis/zeros.py
src/funcprops/singularities/__init__.py
src/funcprops/singularities/analysis.py
src/funcprops/singularities/geometry.py
src/funcprops/singularities/records.py
src/funcprops/singularities/regularity.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/root_geometry.py
src/funcprops/transcendental/roots.py
src/funcprops/transcendental/unified_real.py
src/funcprops/transcendental/zero_geometry.py
tests/test_advanced_convexity.py
tests/test_advanced_property_families.py
tests/test_api_contract.py
tests/test_boundary_and_attainment_geometry.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_global_analysis.py
tests/test_certified_numerical_analysis.py
tests/test_certified_operations.py
tests/test_certified_real_root_isolation.py
tests/test_complex_root_isolation.py
tests/test_conditional_expression_inputs.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_domain_inverse_branch_contracts.py
tests/test_exactness_boundary.py
tests/test_exported_helpers_and_replay.py
tests/test_extended_regularity_integrability.py
tests/test_extremum_ordering.py
tests/test_global_property_extensions.py
tests/test_indexed_extrema.py
tests/test_indexed_tail_brackets.py
tests/test_indexed_tail_inversion.py
tests/test_integration_parametric_contours.py
tests/test_mathematical_soundness_regressions.py
tests/test_monotonicity_and_singularities.py
tests/test_multivariate_certification.py
tests/test_multivariate_singularity_loci.py
tests/test_native_property_regressions.py
tests/test_parameter_prerequisite_soundness.py
tests/test_parameterized_property_extensions.py
tests/test_piecewise_certified_analysis.py
tests/test_public_assumptions_contract.py
tests/test_public_option_semantics.py
tests/test_real_root_pipeline.py
tests/test_registry.py
tests/test_registry_derivative_certificates.py
tests/test_registry_localization.py
tests/test_registry_multiargument_paths.py
tests/test_registry_multivariate_transport.py
tests/test_registry_native_families.py
tests/test_registry_scalar_transport.py
tests/test_result_and_cache_management.py
tests/test_semialg_delegation.py
tests/test_shared_monotonic_partition.py
tests/test_shared_proof_cache.py
tests/test_singularity_locus_api.py
tests/test_singularity_soundness_regressions.py
tests/test_statistical_special_functions.py
tests/test_structural_properties.py
tests/test_symbolic_property_families.py
tests/test_transcendental_algebraization.py
tests/test_transcendental_certification.py
tests/test_transcendental_real_analysis.py
tests/test_transformation_geometry.py
tests/test_user_friendly_root_api.py
tests/test_vocabulary.py
tests/test_zero_geometry.py
tests/test_zeros_mapping_and_smoothness.py