funcprops/__init__.py,sha256=YPbs8-289OgNvdqUAL_mgcW3VdGr2RTpFNFcEHInYK4,12963
funcprops/_semialg.py,sha256=5gBqM4WfOkh5fgkPXNGtLsjiWrRd6ervfBye5IjDW7c,8096
funcprops/api.py,sha256=_JJtI044oAT1u0ugmtfPRH4L7G3p19aYcaE89CzDo1w,23110
funcprops/assumption_closure.py,sha256=LTomDH4H1NoRA3rD6oKRkyNX8JOy-qjJTksoPkM7NHs,2002
funcprops/assumption_normalization.py,sha256=uvYv_6UI54bBIVCv-avPzlfZEWcP3EWABDXHGne2izA,2301
funcprops/assumptions.py,sha256=WD1n_idzkFGW0f4aw7uxCmx5T6uK7G8qLGi61RJA_KM,11320
funcprops/asymptotic_tails.py,sha256=I5Idt2pdqqyx3e0i5ZnkL2j7kYcbEgheG274t1sw3ms,4412
funcprops/cache_control.py,sha256=X4P59B-fuw0GS9o0koEKUKeLZzbEhjVRUh3PNkxDkEc,2257
funcprops/certified_balls.py,sha256=IEdUYO8YS_PAbS19fuLI8LbsT9R39-RYhxqyi_-SCH8,1589
funcprops/certified_inequalities.py,sha256=04Ge2lbXqaUhiSHAGUGqLnUZ9HmQwGcpu3GCYcgX5Bg,2904
funcprops/certified_operations.py,sha256=lCrXP6xxEBnO_qe4ys-YPu4xuw6qZPXtojY-GWWlzZ0,26645
funcprops/certified_optimization.py,sha256=DgF4NxBdkMGeQ3FY1uuPtaQR7B7mpOruMuNmgb7e9Kk,3055
funcprops/complex_certification.py,sha256=O1LbYXuKTsHncSJauJrIuSeFlgvaadr84X8JseNAe_o,5593
funcprops/conditional.py,sha256=kYNq0jZTfjXCGT2Fqf9B7Hr70DzeRKSK-IDYRfDpHac,1603
funcprops/conditions.py,sha256=d0ni0VVlksAfzle_wFdYK5eDRcWWJGZGvH-niUjo9H0,2377
funcprops/derivative_inequalities.py,sha256=Ukdqgfm8msOLFNK1jUawQcZtED1eNMndQmat2Qmn2Gg,1496
funcprops/diagnostics.py,sha256=Xxuidp1mjteucPH0rJjhF1Ij5Dxijl00d9-ppbE-Tk8,778
funcprops/dlmf.py,sha256=NAwz49M80Zi7hP2w3Z_rzyJU4wkmpPU7Z9DhLuLVn9A,778
funcprops/engine.py,sha256=_PV73tbr5-zGwEcLKrDYoncPiY2CgSUJ-fSJZ1_RhAE,10967
funcprops/exactness.py,sha256=t6xfN8WktmFsQOKhM_EbswEkrWYASB7IdThrtAR8JWA,3699
funcprops/exceptions.py,sha256=GO_K15dSIz7Jq1DNaJm-RcAqeXlIdRV2Olq5dZAXpXQ,1210
funcprops/explanations.py,sha256=KeVLs8OEwV79Z0JJuY97F_SolPwf2yswONfGPXv2__Y,1451
funcprops/geometry.py,sha256=MNR6h5AsbQiG5IdhiW4nhpz-DmVODo08-OJ_NYteVgo,16177
funcprops/global_analysis.py,sha256=nNrvaQUnz1pzkCn-1ttlG_Klp6TJHFWVqkId02uiiLM,1596
funcprops/global_multivariate.py,sha256=0MDpZM4NVu_r3mpHGUXd7VsokGCg09CTHYo5hBsBC7k,3849
funcprops/infinite_root_families.py,sha256=B1sJNue4rv1CMmIno-Z7pq-y-7UDX5XTsFVc6edTSHk,2640
funcprops/integration.py,sha256=77gncqMKqyCLNDQxdf_amsQuIaZtLjunOK3o3SzcCqI,18154
funcprops/meromorphic_contours.py,sha256=XcKM_gS_i9wzNxnSZrpDI_BdhxikNFyLMdxpiZ8iYZo,2665
funcprops/multivariate_intervals.py,sha256=RiPjE95JP3HSGWuppsEM3ozTgT3bDmQFTojrk9PI4b0,4991
funcprops/native_registry.py,sha256=koAE0373JmChnj-NqqC0-5CzHyvX423fWCYmpfTXvrI,9229
funcprops/parameter_cells.py,sha256=xThFV_PESqTAbXDm8GrEuYfn8UBmDAR-9L2TdXwCv0g,4767
funcprops/parameter_discriminants.py,sha256=jDyXtZeHMNvs5HiK6tIC_5jEBM-SHA3tXR9kmu15fYU,2388
funcprops/proof_budget.py,sha256=FPKFHZRG7JKoqH6Pzk--kmH5u5Tw_zEy6XYf4CA_tOY,1475
funcprops/proof_cache.py,sha256=gZ2DWSSdjjc9clX1aqwSOQk9NEMub5Wg0n2pZh3e7VQ,10191
funcprops/proof_explanations.py,sha256=Cx6GZB1fCUz21TvHDKOk3_gFFXcv8vEyrCdbgctAf3Q,1625
funcprops/proof_telemetry.py,sha256=DL7jOu7J0HTipW9hO_yLNGVjIpHjHXukQhO8D5zfXP0,863
funcprops/property_composition.py,sha256=BuxZJmJBMg_j6XDsWfT9tGpE_UHYte2YjD0lWawmdPI,4185
funcprops/registry.py,sha256=nyAttFf7UcURhfFFxTff1OxNOWuOawmoyXbAfLAeEzQ,19965
funcprops/registry_derivatives.py,sha256=8riO8Lkj0nP60d4nRzb0gE7hlwqAc_lhN--fNa403wM,18066
funcprops/registry_transport.py,sha256=cSUBITCdXwKhYKZsKWVo90dLbYYK8r_QYsSMtYH7qzs,18943
funcprops/results.py,sha256=F4Pbav35-gnpc87WAPbDZhqBfZiNKnLR0cQv95uYrqQ,11685
funcprops/special_theorems.py,sha256=K4FOo1e17ztWuWWnSXW1t71MntJcB5TSN5Ag8qFTvl0,4342
funcprops/statistical_special_functions.py,sha256=TD3AU81CgREhPb-ieIgI73pHCk2fhfkP89ACKa0Ebn8,3834
funcprops/stratification.py,sha256=nxWGSPGXX4EpXnJFRn0rVcMH377RO9F5GMxlLVEG3iQ,18846
funcprops/sympy_compare.py,sha256=j2zRRJPQLwmfgyUBWHECqPe0BIGbTKxCTImjpaC-rpM,1879
funcprops/taylor_models.py,sha256=54aqx2N4oJAvnasG6N0Upb08YqVdQTd9dDILmxssUH0,2870
funcprops/theorem_closure.py,sha256=x9sDzBC1uPiBveR0EjSZ9WblYL8q2Dn17OE1ghN4m4k,956
funcprops/theorem_registry.py,sha256=pynXU-X0AKrw017Soxfnxf9X_iYY1BxoDGpXXGN_e64,2639
funcprops/transformation.py,sha256=x7iEcHN0O7Khxuf1MZGY3PMkR1zEHeuIsj4ZcQxgaLQ,13920
funcprops/verification.py,sha256=nzLFa47qyRWztdLbI3GUuy1s6zmKDz89L7ykyTqTVm8,17553
funcprops/verified_roots.py,sha256=bYznU54jghbpEq6r3yy7E4OVX81PwLy0q7K61hdH2C4,2099
funcprops/branchcuts/__init__.py,sha256=IrnqOX5WZzdABO0uBVk6d-oZLMojxnEQ1VmGHZaG980,4219
funcprops/branchcuts/computation.py,sha256=ec7rsx4VCyVSJrDVeJJvIAu4wdza_aT3C9kZb54e_gI,27969
funcprops/branchcuts/core.py,sha256=KHxY6CL8EblN3ZPJZN0OA0oD7oQh2xGvuQFAJglQ3oM,32797
funcprops/branchcuts/post_simplify.py,sha256=apfNuvsAXY0stwQvF0jKclvYnxpOssfIWqKW6WDEFLI,15236
funcprops/data/catalogue.json,sha256=Ycj8Gu5lX8tU4lySrNPxVJd4iF9scANpectCh2qE3PI,5269115
funcprops/data/dlmf_audit.json,sha256=HlK_-uIcJgwtFmmyflFW_LaYsauXt64WEjYTTc1rdU0,92775
funcprops/data/registry_capabilities.json,sha256=q_3CcEB-xeUiJnjW9fFJnI7qKPhwgeQqK-lgXHIfEzU,1515
funcprops/real_analysis/__init__.py,sha256=LS_yqBzC2NxqDmAAhKQGJZcNz1Q_WdazrP9wWjjhEAc,1676
funcprops/real_analysis/advanced_convexity.py,sha256=QEal7OEph_H9VJ7Vj1VGFbOQye9l4chTSeaaE0PIdkA,8446
funcprops/real_analysis/boundedness.py,sha256=gIPIJs-mJdw32KqLAPcy3Lccev7X_mgNHOD3QBCPRMQ,7577
funcprops/real_analysis/common.py,sha256=ShRnsWM9z1QaCXMu2bzGPuXlTeucTK_UVZb31jZqTQw,11897
funcprops/real_analysis/complete_monotonicity.py,sha256=ExxHw7jEIZsQosr4uoVqLUjkc8r4QwtWhFtOcfmlG1w,4290
funcprops/real_analysis/convexity.py,sha256=1LyNFPkU36c4t4WyqkAThKkIt5ijRFXr2_3oDO92oVw,27010
funcprops/real_analysis/differentiability.py,sha256=shAR8I31Lv8xOqXbPPyZsrJCLXYuZr-loYIYUu1xo3o,4334
funcprops/real_analysis/domain.py,sha256=D9x0oFCEwbxlAQkCV2BVwA1DCBHJGtbJ0wdhbX17bCw,7566
funcprops/real_analysis/integrability.py,sha256=GmIAnLTFWrF8nLK349DGh_77FYUrdBxexTVitdYcs-M,3693
funcprops/real_analysis/mapping.py,sha256=L3r-Lwm-hw4Jxw9dSZNvtOZ-g0bjcgzy9R6NOcnINiQ,13906
funcprops/real_analysis/monotonic_certificates.py,sha256=0aSNMEbY67mzDuoPrnvJ0SQfW5d0-VBp8QYRnzEIwh4,31411
funcprops/real_analysis/monotonicity.py,sha256=vu-K5Gsp30nvI-oe7zIKZXQvGcrh3jj5UpsRgvFsxH0,28987
funcprops/real_analysis/oscillation.py,sha256=4w0rU8GAQLiINz1ONbVZpDMccGgmQ-_CP4QovyV3DqE,5519
funcprops/real_analysis/piecewise.py,sha256=gQyKbsb565WpDioSSkCVvcK6FROZ38QKGZIgvI3Z5r4,14463
funcprops/real_analysis/range.py,sha256=Uu1LraHAMLsoEjuArbTEcaTPI3dumyieM2Cgz7FP3D0,21532
funcprops/real_analysis/regularity_extensions.py,sha256=EAbKDFA_dBPt478SFfhYVo-c40GiA_J7g8fiAvmn-DU,6188
funcprops/real_analysis/sign.py,sha256=pfNt8S_utuJfexr9KrBIJhF7n7VpSqyZvjawnP3I2-M,20488
funcprops/real_analysis/smoothness.py,sha256=Q7Yo6hD3p4h4Zkr_pgtdbuzwIDVBHBXtUjX5rIcvXlQ,15361
funcprops/real_analysis/special_functions.py,sha256=viN0cywbH69knsyFv1a88Dk-H4DKvhBqK5IfNIGK4Qw,27410
funcprops/real_analysis/staging.py,sha256=ZLiAX90iq-gPkrnHlGVca-zMh9dNr82ZV5N6xIwtANo,180
funcprops/real_analysis/structural_properties.py,sha256=Bo0DWxS_riMfHdDyQO6Tz61gO_LCtt7ZcmswL6PMuJ4,20929
funcprops/real_analysis/variation.py,sha256=khwqNA16o7hJcu7EbO4ziX-3q-ot4L1CMgG7HAq6eLg,2826
funcprops/real_analysis/zeros.py,sha256=0G2KEe0_xcMif0_C-d4g7MS9uXQti0AT98wiEawwqkk,12775
funcprops/singularities/__init__.py,sha256=vfn9JMRXPWQXoAH7K2RgKHQ3AFuch9gutRRQMwstMpI,3960
funcprops/singularities/analysis.py,sha256=ykiXCLpvtq59i0et6i4sEd-7aKZxmP1CexviC6uzwsM,10900
funcprops/singularities/geometry.py,sha256=Ag_pqKP_hin68PuXZsxncfo7akP3m4ANIq9NPaFJjrs,24234
funcprops/singularities/records.py,sha256=BoesTUBOI5jvvk4G20tQwp0uKY6X7HTCPr1dQwxpSNk,39026
funcprops/singularities/regularity.py,sha256=YHtQV1hC9_9yjLKCk75IHQtI0Wjr-PD6tLGhJCeGhZU,33272
funcprops/transcendental/__init__.py,sha256=yz8-6Mnw4-uLQTJxR2od_uOMt8cKPPiz6-llIglbKRc,3636
funcprops/transcendental/algebraize.py,sha256=2L2LXfmVH4iiUztb8t8XuVsij01j1NHOJnoH4C6BgQU,6026
funcprops/transcendental/analytic.py,sha256=n3Mo-4gpWetVqUIEGvWFqWSUhKlQzcELvicjQPu84Cw,7744
funcprops/transcendental/complex_roots.py,sha256=YRkkWj150TphXOIhlnSp0ymZh0Mims7YjpUB5tYYOXk,15674
funcprops/transcendental/exp_fourier.py,sha256=C_U5s18U89PmwJU1pFQWNr_IF80ZkLQHVuKEVco2ywI,6977
funcprops/transcendental/extrema.py,sha256=JM2YEf5SaEa4-80Pf_9e2XB8ceX3J5E-DRzqh6h-M2s,29393
funcprops/transcendental/periodic.py,sha256=CH9IXvkIV4LtaXk_a9WG_fxTgZj1TLVMYBFH0zqimoI,7260
funcprops/transcendental/proof.py,sha256=eDRx6DwWxiCNusI5J7063yRnQwcZggBe8uFeVdLbPvo,3079
funcprops/transcendental/real_interval.py,sha256=eXS4RVEAngSvu59XF8qvHknT16ghZuulG4PLvrb2GVY,3856
funcprops/transcendental/real_sign.py,sha256=GXHv0aXZ7nN5OfF1vqOgP7BuBPPTh6PTiRC4SOwEZ4s,3711
funcprops/transcendental/reduce.py,sha256=AmC1fEZRVE015xT2x2trrIIMX3ljXhdGMQhQm577lcU,9593
funcprops/transcendental/root_geometry.py,sha256=Pp9ZmGer6hIZdLlWap0d34t0Otmh5aZ3Otu1Me9jVVw,2300
funcprops/transcendental/roots.py,sha256=2xw7P2SP7mdf4IyHNUG6UXP7g-keNr-hE8nsh1TpH6s,48434
funcprops/transcendental/unified_real.py,sha256=mbHZnPnquBktUvcMcr2w__8mJZIF6QH-PQ2gSfNAYBE,1836
funcprops/transcendental/zero_geometry.py,sha256=gmossQBfcPP8DGUePAQG5HWMKPLWfNeiFs61XJLkYZI,39204
funcprops-0.3.0.dist-info/licenses/LICENSE,sha256=OXLcl0T2SZ8Pmy2_dmlvKuetivmyPd5m1q-Gyd-zaYY,35149
funcprops-0.3.0.dist-info/METADATA,sha256=QRg8WYeAa_dGf4HBpMK8WwfZbf6tpIZOkFJU0XyXC_o,14775
funcprops-0.3.0.dist-info/WHEEL,sha256=YVMoNqKzERt-wjUZwJ33xBGAwnFl-4cqbYkTtWa4itE,91
funcprops-0.3.0.dist-info/top_level.txt,sha256=jk186mdxNzdJCigjKQx_lwqvKSd2CrSWAQZWWlWrDsw,10
funcprops-0.3.0.dist-info/RECORD,,
