semialg/__init__.py,sha256=LCH-WzRWeModTBnNJ2dEwJHGgci3EFTCy7h2baucmeQ,22971
semialg/advanced.py,sha256=oyBWtG1peVQVYPQ-sgImKyAxxbTGrXdbqhoSb9_pE7M,3398
semialg/cli.py,sha256=OE6mX1z31h_oXH54XvbYPiwZYKHOa5k3punqIMXNBNU,9240
semialg/connectivity.py,sha256=2UmYwJw6gHiFPcoxQCabeBrcFib8wjHjkEsg952YB1I,9166
semialg/decision_diagnostics.py,sha256=PptygqK3pS1KqMRfX-kOPTayaqzudirXLgx-lGOqSrg,831
semialg/diagnostics.py,sha256=TFB6vDPkTRwhCX0cBXnhmax50Xo9bOvY3vBASh6W89o,824
semialg/domain_solve.py,sha256=Js3lj4tGTx5Yrb3KkRmG1xhj-amWLX744RoaCGn-4I8,12655
semialg/domains.py,sha256=BH_1uatS4A-51uEr_pYcTVCd5lsPQ_ljl8lJmC2AcjU,4278
semialg/equivalence.py,sha256=lXPDuGX2eCzOUWweoj2MjilxNjuMEe6F1Z1tUMk3R58,389
semialg/exceptions.py,sha256=Jr5Y2NFNTfF2S9ZBqRvKDUGHXrho22UmgC52eOdI9AE,783
semialg/formula.py,sha256=pspzkhZpywKlTv2M2ySCedhKSxO50_XtwtSuRF48684,9507
semialg/heuristics.py,sha256=31ERk00_y2d3Ga1VWDCQhP8re2gGmb01PtS0rkL1fgw,1927
semialg/implicit_utils.py,sha256=wHFBz8_v8Wrt3WBo7Dfiv2LF1j8tFogd7La1MjB17oM,26374
semialg/invariants.py,sha256=u2bgKslWvvLBj1bIOfHT1N0xzWRL895CyAbuowNoVu0,1511
semialg/measure.py,sha256=X5NwZtc5uFYV5EB9Exjzbfpq-qmH7ArZspBTq-eKkGw,14578
semialg/model.py,sha256=5iwOchSd1rqHGHrDa_5UmX83A4hnfpTe2XqygKcad4U,6496
semialg/moments.py,sha256=_jX_fqC21TYmpTHCeoVMTTl55ss6349JPmdZvjL8oe8,9736
semialg/optimization.py,sha256=t2tg7oikBLdq0kSuFkXFo5z0BGB74en-7p_zEv6cFl4,52988
semialg/parameter_stratification.py,sha256=s-_RlAedLQAh7_5hovgUrMtgWqnhw2CLJneaOls-tBc,6824
semialg/parameters.py,sha256=dbXOzFkBnkVgVGxymzmxEdqI421J2Zt1f9JBwB8CaAg,10881
semialg/parametric_integration.py,sha256=PMX_mfJ2HVMeToqbcm-basl6xffjjsypVGDI8B0XsLk,3752
semialg/parser.py,sha256=eseYHn25DKKFDbdAgq-FhtcSH5mZafWJmSiykPsI3CE,6213
semialg/reasoning.py,sha256=iys_jBIS-kigBW5g72JbSVei1nlQCg43mq9YIUbjo4U,41208
semialg/region_integrate.py,sha256=w-ihQKSv4A-bssvq-Mar8AOuRGpDTKhwKDHEmbQeTGU,56245
semialg/root_classification.py,sha256=ctVEmOg4GRDv0mCWSCrKDsx_TXtCBXiO3JiOV6_lES0,9965
semialg/sampling.py,sha256=nTzCa0v6faUnojMyQuB7HGPlpN5TuErH8GwoB06zkiY,16309
semialg/solution_geometry.py,sha256=I_JRgsbOysUtmC1IWxhGGsBV1OI9XyfJkVUdgu6oyeY,17722
semialg/standard_region_integrate.py,sha256=KX215KQUmEn61LYLc5eA3i_ZHpHpUFjEOMOn7W77Kak,17985
semialg/standard_regions.py,sha256=T2JLkn4d29ICPfzrKLYlc7583p1qw-e-GXmsasDpSmo,13758
semialg/status.py,sha256=gtpsoFvs9DzkG_wf9IWmJBsk1-5m3jzNLiKptNeXEnQ,477
semialg/symbolic_simplify.py,sha256=e4EqpFItfaKj224CCfjJNvhTiYc1L5tqPTczerXbaas,23075
semialg/tti.py,sha256=GsL7bjCH2fRYnUQn6_58T2sRzDhJHS-dGU2eIJnnVgw,2438
semialg/algebraic/__init__.py,sha256=F0eljWqRkFhfwCMj__8JQybiWUaa-IfJQasSDZOeKS0,3364
semialg/algebraic/border_basis.py,sha256=Bq3IhcSwNKYwW-mDJ41KsYNUvxy_miORms9ia9bu1EY,38698
semialg/algebraic/cache.py,sha256=RKVR9BC_bb9ZfZiyfcwz12i4ucaj7JiKnCwaDmdm6JI,1168
semialg/algebraic/comparison.py,sha256=87qnFw71c6reor1VACUXohsXsQPJLsqMq-ot-0_vrL4,2214
semialg/algebraic/intervals.py,sha256=R3V5LuSDK1ysCGBk8q76HvWkJT6KdBvDp3QNh95A5KA,1606
semialg/algebraic/roots.py,sha256=Un80C0N31dHnh6LbRvbrdZfCL7T9B8TtKBw6O20KgAk,5001
semialg/algebraic/sample_points.py,sha256=72f9vS5BBBgQ-w6p5CfCj1garZWJCXi1wYM-I0H72wo,1476
semialg/algebraic/samples.py,sha256=BftRv2gwVkwaQZo6kUPUmKHKxrDwX1SqzGaw-ooQBzE,2811
semialg/algebraic/signs.py,sha256=jgCeBpCzExyPoMeFq8s745h8zGU4WksNPnrIIqJ3y2E,1799
semialg/algebraic/subresultants.py,sha256=Gu-roHXrqp9qpAinllIwFOVs-YeX97vLbZCxhP6rooI,6936
semialg/algebraic/rational_univariate/__init__.py,sha256=cEKM-GXvpUB1mSQ0Ew9SQONmaLI2TOsrhLsm02YfHgs,1364
semialg/algebraic/rational_univariate/construction.py,sha256=TwYSFbF-e7iEaRv7ZfS-boUPvJxyEJdPjd4GDx5ypK4,4681
semialg/algebraic/rational_univariate/formula.py,sha256=-fxS0cNhTx-GxwuQQr1RBzPdDoWr2u8qDISU8LvCHec,6272
semialg/algebraic/rational_univariate/quotient.py,sha256=mJGDwBTPO1zactc_5FlCPNumqg27Nl4yozS8K3SrrTs,7239
semialg/algebraic/rational_univariate/representation.py,sha256=s4dln5dm_YXOo6L8a3Vjh85H0zPBlpwLTyavffmSi5Y,5607
semialg/algebraic/rational_univariate/signs.py,sha256=1JvpSYmgVZR47Wg9RVExL3uz7Erbs3zjV_xUkY9bsKI,7640
semialg/algebraic/rational_univariate/solve.py,sha256=u9Fx12y_Mx__7nC0iUwa0JUyAdlVI4oKAkKlfFFt4dg,2919
semialg/backends/__init__.py,sha256=TeBVAOkDrV6794DelqrJGjQ6bNj99c9bZpibtGU9f14,741
semialg/backends/brown_ec.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
semialg/backends/collins_complete.py,sha256=CoKkjuYd_gXPD8Dm2CSvmKNqJxlTqR_qXwCkGmGT4OI,1534
semialg/backends/fallback.py,sha256=-9c_cvXZ1nNBjp8TvBisrDiwvhJUtruCK2z8FKk71_E,856
semialg/backends/lazard.py,sha256=Ocm39K1QmUHFaf29xnkJqR4xK9OUx0myq6SmAh2-sVM,384
semialg/backends/mccallum.py,sha256=GE9UWyoF8LJkafkYIt87Xv28TPPo3Gf1GhPZNczEscw,394
semialg/backends/registry.py,sha256=AsH85nl20I-qeM2YN8ISC5vbrmtLafB5AhXXYGswuQ0,1047
semialg/backends/tticad.py,sha256=cF82sOkgQLvGyV90a2qx-XttGfXYSn85HuyKKnhEs1Q,248
semialg/benchmarks/__init__.py,sha256=dtfVYw9j1fyO32NAsa8x4WA9cTs6tRtzaDhlVKXRBYk,911
semialg/benchmarks/cases.py,sha256=Qy35xBroyjxMwMcCr8BrFsoZfHvPg0b5vlL_gDRwrnc,2246
semialg/benchmarks/results.py,sha256=4F0n8iT2zpzTYi0Eo2ityepmlf-6PMxiB0GMobnAeyc,2118
semialg/benchmarks/seeded_witnesses.py,sha256=AsbS2moYgHqaSae-O1kx6yoW6qVt5iRXR2e8ybik7U8,1968
semialg/cad/__init__.py,sha256=bp-THLd6itUQya6DRrUY5QZ2r3VKYOCek_Hyo2mMs6o,1653
semialg/cad/cells.py,sha256=COWUg27Qv_XSjRODGWsUVRBwqMXbglAgUfwQzDlj9ZQ,22920
semialg/cad/constants.py,sha256=Ez13l6eyg0rZc0n9YK9G4NHq_7Sih4tJwG7QzWSWhvQ,499
semialg/cad/decomposition.py,sha256=wwxJYwZ-wAs4KCf4TynPKmOJfFzuttBk-J6EXv5oGIc,9842
semialg/cad/reduced.py,sha256=8SBJH4TA2Zg1Syp7LnhGt0u-bmQ1IzYrqxFHUAUW6Wk,27623
semialg/cad/lifting/__init__.py,sha256=zFw-G_tmyjsiSFs9vutZfXHAVtGaGLHo3aQjeZzzVhA,215
semialg/cad/lifting/lazard.py,sha256=jpkEIQnjrVS8Mn-H2g5pZaEr8GoEIE02vGS7HvNf6TY,3403
semialg/cad/lifting/sign_invariance.py,sha256=J55NK6f6pZBYDBenT5HemGp3qc0XenUdgEzjoNI8dfA,2282
semialg/cad/lifting/stack.py,sha256=pkh_yE_m2WgJt-wSSxfqzfrWCN0neBZ06flURehabKA,1917
semialg/cad/projection/__init__.py,sha256=5dxCiPajgzcpWuzoiYDVpOZ3iTwqj7G4UPFr9HyW1wk,773
semialg/cad/projection/collins.py,sha256=4LCn6HHqDL1h7ZZsavX_L0TO1wehKt-6qj5JBjZyt44,10813
semialg/cad/projection/lazard.py,sha256=eHaDe-TVr5kNVtuMhgrmlGggS_83t18EfIcK3r-Rl5Y,828
semialg/cad/projection/mccallum.py,sha256=SmcQvZxAMzTQRGk8SPJw-nUCBcydP46h1znoVbLBwf0,864
semialg/cad/projection/reduced.py,sha256=LManeG9R6x_8Piz1D7j4GJw20qgESNdcKGQm1xDL2oQ,8411
semialg/decision/__init__.py,sha256=3XA5KaAa1TaOQVoNq3Gnw1fg9i9h_JRgKY65dh959nc,709
semialg/decision/api.py,sha256=dzxp0u_oig2yfE8HBOUp86amFJtM9d8Wg1xaikAnf0g,50316
semialg/decision/sampling_helpers.py,sha256=poQx28p4Vju-sfNP_M9npdT77bdUGVOwOBWhXJaWb_A,5062
semialg/decision/solution.py,sha256=nLhaiDufhDJH6BheH90D9dunNyppDnm3eLM2LOeVImg,18179
semialg/decomposition/__init__.py,sha256=t8FDkBkS63EjPSyDfwvasGcsu1sISvsuPF-wvITBBc8,1083
semialg/decomposition/components.py,sha256=qDA36Sdx805xyLQjiO8-KMBznBDdoJ9dANPcoGki1cQ,10121
semialg/decomposition/cylindrical.py,sha256=ancGX5ZT4NFEnG7xBplpopefzxnKKVtKZvK5jvDTL0o,23805
semialg/decomposition/generic.py,sha256=yUSqzRNnyCIxKA59iPZrHuFd_ojx7t-8R5asu_5yvnw,16368
semialg/docs/__init__.py,sha256=AbpHGcgLb-kRsJGnwFEktk7uzpZOCcBY74-YBdrKVGs,1
semialg/ec/__init__.py,sha256=18y-SjvnTbb_XQ1IYKfmczASxO6g16MSMcKoJM7IUl8,203
semialg/ec/propagation.py,sha256=Bch_H-bepmsb5kZcJfb4DY3q5xaiROx90a8oPsKWGVU,2139
semialg/ec/scoring.py,sha256=cBt9hHpMFHoplF4hd0oGw1c-4122Zp-bB50r7_29JcE,1398
semialg/ec/selection.py,sha256=faSeZRcmuAreTPbp1kW1CEa09LDy5PPbLr0_5LZ44PY,1276
semialg/experimental/__init__.py,sha256=hCoWtI-TIrTApHOj1p6VnK5jQnctMhSopgfq2QmsDQA,43
semialg/formulas/__init__.py,sha256=0hW6fwZk3z6FNJU3BspEfsu0wRs6fi8ajQjJkwGthok,646
semialg/formulas/boolean.py,sha256=-W7wx0eghPuxqaMrljFru6Cd3LOLRWx18lUh_C9HrV8,6313
semialg/generic/__init__.py,sha256=0IybBb1t7DAbjWeSBkNg0i6VJEqvxA5EWlExSjajqo4,444
semialg/generic/exceptional.py,sha256=4r3MQjsmZglOOVcmNbjXHSPsQXB-wuXNIkHG-FAWzdI,5263
semialg/generic/split.py,sha256=lTpOVrNn-j6-RHF1YGNOmvidizveDINQE8XaEsq3-Lk,2633
semialg/instances/__init__.py,sha256=eCEaU8CME73vPd77ZPyZ_Y1Phk_MMdSKCv8nU1t2zrE,2318
semialg/instances/modular_sampling.py,sha256=aZGmVrPdycWqISLqr6ZZd6263PyZ9qVE1lLGXsqrGeg,1380
semialg/instances/random_sections.py,sha256=QyBoADIoNFt9v3pTOkwN-yiDAOSK8DOE9hIXRmZBv_U,1921
semialg/instances/real_fallbacks.py,sha256=lRm6hLCNskN-voy2syOiMT8Xy2e-1FEQ5iscaeAuJmA,39534
semialg/instances/rule_extension.py,sha256=yCFlWmS3UdbGzr_xPTDjyJ2oZGP4TdN4mMisYGf58FU,2588
semialg/instances/witness_generation.py,sha256=wrhOY5vOVDt5si75g59W_3HJY8kealEG3sX179wpPVw,4228
semialg/partial/__init__.py,sha256=nmelYyRk7fDWKGpu8hq2jr21Viy-lPjcWEVDxs2nN-I,549
semialg/partial/lazy_lifting.py,sha256=mUc8h0Rgc1ffiDvPC6n58tSF5NykmKf1P0NAY4yuNRg,2457
semialg/partial/pruning.py,sha256=JnoxcNb4i8bscvSC0TY3oib0RXrOTmOdbdREZ7is3m8,2199
semialg/partial/qe.py,sha256=8K_2BROWvNqwY6YU8vqrkyj08AWWKq7PQkI9QMgAceo,10246
semialg/partial/stop_conditions.py,sha256=1OAplfonijTKPfAtOeTnnSSPrgYIZWakfzHtH9Kzu8Y,743
semialg/planner/__init__.py,sha256=JmNtmLQA1oH08IVTPowQnhnA1jhP1P9A4tYAVZh1vJI,1093
semialg/planner/analyze.py,sha256=Ax7XM64Vy_wQwtGTpqsYQX0edjVmSmY0Q3oTbEga_KM,2242
semialg/planner/features.py,sha256=K3p6rR5a9iOGYfSS6vSMJ3WtJ2H52YUjBf0eHEumlfM,6811
semialg/planner/heuristics.py,sha256=sG-OGdZcD3Rju5y6JHTdJxzSdpbwspWWvXp2YRrxj8o,6279
semialg/planner/history.py,sha256=11BVbOyEeBp85IfpdHhpTe4Uj5UXDIUCuYGtaGg-Y28,1462
semialg/planner/select.py,sha256=JTW66f6-5HY5E0VYBkIfH_uH6M94PD_NtVPP5n37fI0,4001
semialg/planner/strategy_memory.py,sha256=ZYbxZRJ5SWg5cn-YVuoVgdESmoxMnxi0lPWtlKkZDC4,1458
semialg/preprocess/__init__.py,sha256=VGLW5gYL_vWa8HJbikypdNZ59HfBEZQJVX-wHDsiXAg,643
semialg/preprocess/abs.py,sha256=vOZF1R-K2xPV5z3ERjCj6QFcwMThwY99mORJHcOAqBM,79
semialg/preprocess/auxiliary.py,sha256=NmLc5OOaF2x-qZPuBBVieg5WpFAf8CqnhYkuePD7SjY,1067
semialg/preprocess/branching.py,sha256=3owhbJ-q33DF8CE3cm_CrHLAahASdAwaxaeSQqHoZq8,1035
semialg/preprocess/formula_normalize.py,sha256=o_f4G070pj3cHay2HEYSwe1c71kxRqPT0kn54W7ALjI,2631
semialg/preprocess/groebner.py,sha256=qkudiYlX1N_iz7Lb4pjCeppUFUyLhOpUhTa-Ba1SyIU,968
semialg/preprocess/rational_power.py,sha256=f1M8avNX6A358YFuKiiDJ-X5H0oOri5-7fcWhA3NKbU,107
semialg/preprocess/semialgebraicize.py,sha256=CIMPoGL9nKBoI4CEbz4W6AFkYItP6Vx3yKus29Lx5Uw,7221
semialg/proof/__init__.py,sha256=n1BfG10g68bE2ONMVY9WNM007NhVC9IIhojstWeFPuM,302
semialg/proof/delineability.py,sha256=oF_4L6GrACDRCHOuh_-sxRAsUhdTM8XweSI9J8nSEZQ,225
semialg/proof/lifting_certificate.py,sha256=hXS6pV0AUowjj_r64NM6JzXLgdG7uR1c5qDoAjvUMZU,871
semialg/proof/projection_certificate.py,sha256=6jqSYPCSVR1Rq0s2I-hafkXp1oRJeNKEvnwV4ePJP4I,1234
semialg/qe/__init__.py,sha256=Z4mmepWAuFGbFd8YFvyLbfiIQyx93aIGIqkf-sVC_5A,1591
semialg/qe/blocks.py,sha256=i6hshHqwgTmYteYNqNPpjoozbjQV42-10KDmDwvEZrY,1760
semialg/qe/complete.py,sha256=iP1XSn9l-gZq7p1OOOhbKpBme7hUge9c-GGSik1Mhrc,22599
semialg/qe/prenex.py,sha256=3HPud1ljJKibRD0v_uJyF4m8J4CNRMA6y9OFEuzzQuQ,2657
semialg/qe/witnesses.py,sha256=S76vWiKsu6XgFoEQ3uoDmZSQ6PNly-2XP3H_qoiTeHk,2350
semialg/qe/virtual_substitution/__init__.py,sha256=GuknOYniC7EpOpk8kDtLNwGdGdLfScPdAiSXUtZklRQ,1094
semialg/qe/virtual_substitution/atoms.py,sha256=yunfsZIjTF20UZhKiYYEZachljMdITAkeQ6yxlgyp30,2500
semialg/qe/virtual_substitution/eliminate.py,sha256=46fIntiiu97MVKBNpKOJ34hFnmrFdYIdGgh6m8mh59M,9415
semialg/qe/virtual_substitution/planner.py,sha256=ojVdfloC9pzYmPui5WfD9uTDJBQ7nC6F4RkTlFnEtNA,228
semialg/qe/virtual_substitution/substitution.py,sha256=JDUvlS0Db4QB1_gPryKobro3MfgQqvzCKoS_aAKCdXg,10955
semialg/qe/virtual_substitution/types.py,sha256=2M9pLkWmAVADEnF-wZZ2atC2JeUA_fQ0RZwMd6Ye4YQ,2324
semialg/qe/virtual_substitution/witness.py,sha256=_-XpDcj9EzbXtWebayZY__dPlKg2ls8Y5hWSZcNpwak,9562
semialg/reconstruct/__init__.py,sha256=-jWwzVZeOgoCvNpAW-7FkWvgv1s5SUNASBxYChK9NjM,776
semialg/reconstruct/cylindrical.py,sha256=JYo2fL-uCcymKz6gh7_fDxxZTX0wM19OLcwBB_y-6gQ,3389
semialg/reconstruct/merge.py,sha256=hmAAMLnEqL9atcf9H3Ue-o3HfZt_NJ_qJ0A_Mau5shk,1389
semialg/reconstruct/nested.py,sha256=m6tbdvpiHDnpaEouKmrVYqUOezrfvnAg3oZOrqPIUIQ,6945
semialg/reconstruct/radicals.py,sha256=kwefbVb9NbW4Fi6RYAt_QH-SyRupkIFPvLw-Aq7Or-s,2069
semialg/reconstruct/root_functions.py,sha256=NCrvQrCnMr4ZDy8KJwfdT77tvVfbS3aakss5NfiSG-M,1647
semialg/regions/__init__.py,sha256=-yc2Res41kFqCd2CJl1XDzU6VZLL7NMCDpHRjDIpXZI,874
semialg/regions/boundary.py,sha256=2qyFfma-KEGPfQ4D0I2_U_z5GqIZDLXN7p1kuCYvX9M,580
semialg/regions/closure.py,sha256=JaD9jEL8_h7nujlDmHFohtlHCnzTFnTOO0e_jHxZ4ow,397
semialg/regions/common.py,sha256=2IrqZQNrI3RZ_ImdMXRNKoEnQUlg6ZcSGDlBXwv2i6o,1813
semialg/regions/component_samples.py,sha256=qYjPH9KdJwtRvlS2Mr4xBKloNz5Wc8qInU9mQfH9K5g,172
semialg/regions/components.py,sha256=76xfXmT9agwjcpmX6pIjE3brUInr8ga7c9ruz6K1agQ,806
semialg/regions/instances.py,sha256=ta7oVr2ggSBmEDtI3PR-TcpDPclpP9yVw4yEHF9fihU,485
semialg/regions/interior.py,sha256=94ZzNspwHmymrqvtWqivN7Ftb9rBsKQqj-arUSwCxfI,402
semialg/regions/operations.py,sha256=SEDoX8MeTPrVA10UJqwNVrs187mMNj8arx2EyypgxGI,20827
semialg/reports/__init__.py,sha256=Icx-A0uvuu34XEJcuqesnhOC5PjbUAYS4oY1Abnd490,359
semialg/reports/dashboard.py,sha256=9eUOtrqNbPrz9CBykg2CrUo_SpoVyCmfAzyqp2eu_vs,2361
semialg/reports/regressions.py,sha256=UTGxBXhgsxVEWYlEUv6hOam8YezkvHHbi8EY8uR8y6A,1157
semialg/simplify/__init__.py,sha256=n6fjHhJTmNFlJORjm3BKpuCZrJ6CtBAOkFufKjR0b_E,842
semialg/simplify/atoms.py,sha256=53wqV53y7lCR-hj48cRRMIAuHeEdkfZeYhb7Ogl6AaA,2644
semialg/simplify/boolean.py,sha256=SM7iX1IewmDdR4Vlqbo2BT5z_5UCyWllBlwZtwffC7E,2145
semialg/simplify/bounds.py,sha256=33bIQzebIQgcmSlQxjII5GFg7578TbCSSIv-lQNWDho,6258
semialg/simplify/cell_union.py,sha256=KBFNkx_cMe8R__cmm0RpRkNw1pArmx5WR_zXPrVyUXU,3878
semialg/simplify/equality.py,sha256=gnnhUO9xT-Kbxe2rrJW-f5lPpjQ14gmUmj2iMcxqXDM,1912
semialg/simplify/implication.py,sha256=_-oGB_QW9n5AD54KW82EkDfPrsFbJuWamOHDnm3_o20,6291
semialg/simplify/intervals.py,sha256=iwS9D-6K8qbF6dqZi4OQZ2UfbAyOhEYDK2q1GED3IeQ,5008
semialg/simplify/result.py,sha256=1ejPS21f3Au7JccV17BFWZZuTA8lCjpKvETPa3cIPeo,1563
semialg/solve/__init__.py,sha256=P-24zRlTBx1xpyC8FeqGfv_X7eTPFprgfyi6cOCWwv8,1411
semialg/solve/complete.py,sha256=FEr7DQarRmXnq-70s1SUOVmY54aEgUqytUHan1RuNHg,3395
semialg/solve/domains.py,sha256=PQYkNHZb3Cjfyftq_pJl9Kl_C73gjFZoz88DehBj6zQ,437
semialg/solve/find_instance.py,sha256=_qfYQQK6OXALeiW7ijtoa-THZtgdswtYNtLGBCEMJis,24817
semialg/solve/preprocess.py,sha256=Lf9u6PHaHL1EShJZD2nq1-hcKxhelJD1xazDqxvfRv0,193
semialg/solve/reduce.py,sha256=TQVBD0AUaxtG9MqBea8rdHzxVTKeWbG2ZfP92LHRb4I,23191
semialg/solve/resolve.py,sha256=olz8fkO9jE6c_W2BWEzj31-VAx-2zdudKQgCwORNN0Q,2949
semialg/solve/result.py,sha256=UKbMmlXm5X313mw26nYxChic0caNJIdtaXYNGIN8-5I,385
semialg/solve/zero_dimensional.py,sha256=XPcio5ip1Uru3x8hEo4GmuB6ZFSS9OizayG8p_iVBIo,7646
semialg/solve/integer/__init__.py,sha256=zuYHykrLq-G68Y31MZML6gZXletd0QCLdRbMgTON3ck,5221
semialg/solve/integer/congruence.py,sha256=EDpfCCv7sUeweYv8OqHm-dbE9hz_Q974uL3fFLcqsAI,29020
semialg/solve/integer/diophantine.py,sha256=L2eyA3nKyMys9lzwldU9BotDwAh0ZuqI-XySrOUZLuM,17633
semialg/solve/integer/engine.py,sha256=UtIFhBYoo8x7bX8qEQ3Go4sjdRqowSYQYkSUEg48Sqk,4607
semialg/solve/integer/factorization.py,sha256=4SWKs_H_PR22L9uca1kaAHnRqicPqQ_a9iOYIPTomNY,13872
semialg/solve/integer/families.py,sha256=mn1Evh_FAtqi28YdGSc0CeDvVMXpaWBLLtyVJ48olZ8,2153
semialg/solve/integer/groebner_recursion.py,sha256=CLInMOjUcIdpgFDc7yUQgtndoMUBMMWDkdqkuHcva-s,20793
semialg/solve/integer/linear_divisibility.py,sha256=Bo3EyN3G5B5CmK5OWrDtPJtgcsnPElQtGNsjeltcnCI,2410
semialg/solve/integer/linear_recursion.py,sha256=sEiXdkO8OoiaZpNnZRrCgpKTP8cdNUaA3_HsNzszj4E,8352
semialg/solve/integer/modular_quantifier_elimination.py,sha256=EWSlbWzeHsu5dPp8jQzRSBCR5w_xhsD9pU6qRwXs0Vs,17156
semialg/solve/integer/output_normalization.py,sha256=ajO_38oTTyNYo4WhuZPayRezVu8bLgtXrydVia_zPHg,2038
semialg/solve/integer/special_families.py,sha256=rQ-Pdvc4uVum1Hjsz_UX3G2GTTjrCT9Qz_R_hvX1FdU,13544
semialg/solve/integer/thue.py,sha256=5S_9zJV-vaHxyrrlKcDkITOhUEUJHp2-g687eeGgFLM,5908
semialg/solve/transcendental/__init__.py,sha256=GEz_zG1HiblDn98hdKsrg21atLKlq7NdK-sqtTti8lI,2808
semialg/solve/transcendental/cleanup.py,sha256=FdeYv5oAQ7PzvuiN0h9vaBQRLOKpqafL9IuX1kPMlG0,2703
semialg/solve/transcendental/engine.py,sha256=n9jzjSXcFDJJnepMqbSk5R5YnnZKq65DdCOZupDY2uw,8421
semialg/solve/transcendental/families.py,sha256=pRhVgKyw0ZA75zX0-kxten5r4KUYB_xEmqFI9pWEWCk,7004
semialg/solve/transcendental/periodic.py,sha256=bxVWg2fpfE0irCKAKnMR1adGWtLZkxDKLvqkM8xhy7M,2961
semialg/solve/transcendental/preprocess.py,sha256=sMztblfkyzw6R0_0p6iqDOWW7WHjGxnuBrRs7FZ-lPU,6801
semialg/solve/transcendental/quantifier_elimination.py,sha256=fOrBMXpx2-ZzJMfD90qvZSIkGSFs0SOsxzR_ONbTLrM,4578
semialg/solve/transcendental/roots.py,sha256=ZjQtCIKHdiCLz6s_2kp1rcB-ormxx7C6H7H9IFetr-A,11374
semialg/solve/transcendental/state.py,sha256=FLYky8ok57D2PKytiWO_1_Ib6MFo1H4Vzv17un5bWpc,5286
semialg/solve/transcendental/system_roots.py,sha256=U7kbei1q6htlN439BLLGY4794KMdcCvk0cVsw7JHpAo,5871
semialg/topology/__init__.py,sha256=nUik-L2SI1_xwra6hHGGPDl0tESBzlr2kKuVERYkq_k,783
semialg/topology/components.py,sha256=vU7Bm0om_YWii0q8H3NlNhLCSXbuMrxMSkZEx9jlrE0,1777
semialg/topology/incidence.py,sha256=XbcYYBDch9p2_k0Mu6V5aqTw_YhAKbI8IXcJfN3kksU,4135
semialg/topology/operations.py,sha256=V3-r8oQuMCPIFc7Kzi089Vx7A9D1yzF5s8KyVyCzzpg,4735
semialg/tticad/__init__.py,sha256=eYZhucWxQL8k_gCEGOBoWjYPK1uG3IQERjT_kFIpKfs,299
semialg/tticad/families.py,sha256=jbe2056BEOm19bZzoqiyjCzTP0nO4sJzL7kduq7Sl9o,1073
semialg/tticad/invariance.py,sha256=1_5g_kUftSbdsrWbGLvTajybAqem8_PZPxSQ4_qnmK0,951
semialg/tticad/lifting.py,sha256=tt5tLsxzltq14C5hZk9o3nyS3faBcEyN8mXScXZWoSM,910
semialg/tticad/projection.py,sha256=tL7wYYf06hmXt54GX5CU7z7XZtUtohiguPUISmU6qXs,1141
semialg/tticad/safe.py,sha256=zhjhp_e7EK3D7Q1sk77I5jzkgKpSpyHyGAijVGg3tP0,9171
semialg/univariate/__init__.py,sha256=hCq9z_XlLsQ5g_t_Zugdpuk9rm_sgJ-rM8rV8ot9NTo,320
semialg/univariate/decomposition.py,sha256=VUnYUdaCVt32sM_kBSzhH-XDL30ZtybfaiLTkGEcsy0,1492
semialg/univariate/interval_witness.py,sha256=xaBrLrNWW1d3jOwnc377iW5KNSAN4J0n74VXqNa92zY,1199
semialg/validation/__init__.py,sha256=kxjDJi9BcuiXDWlJENuhIYxBtX09AEp51HBBqO_oiGU,1708
semialg/validation/backend_crosscheck.py,sha256=MUuzOEKnuyqLRxvUtrv9GdZgzDIGmK26FsYF_7we4e4,1237
semialg/validation/checkers.py,sha256=i19PY0F242JCJRd2dJSTZ7ebqRMRHZF55RE67TyMdGk,1673
semialg/validation/corpus.py,sha256=OG05bxchCzSJIVD44pczxgWhn1mrcnow3duuvvVVa48,3724
semialg/validation/equivalence.py,sha256=G33rEI0FgjO0D0i5EbpWNv7cELLzEZ2svGvhOlxIO-o,1252
semialg/validation/minimize.py,sha256=I_1nvUt9qMqzXmD0zMgB4quz9Z4L96UmikAu0yTHbwA,1674
semialg/validation/random_formulas.py,sha256=BrDegCFQ7MD3euMdZsxnEyTi_1_MCs_uZFBdE7JTDCU,3016
semialg/validation/regression.py,sha256=BBROO356_rtcjCxWrCKaf49cY4YNGws81UFEY251q34,3691
semialg/validation/runner.py,sha256=3wDRZtuJEo3XWt_XMkwcCQ7SbOBZs6Z9XJ_fGUj42Pw,5931
semialg/validation/solution_checking.py,sha256=rE33vwh8hAiKE7bjUmq_uY02WCPmOsGtkPFHnByq8RA,1985
semialg/validation/symmetric_difference.py,sha256=w1UAbvxp0HAgIU1fwJxFLBVL8CqNF8P7Ct_Q8o5-b18,1673
semialg/validation/witness_verification.py,sha256=svZa1TEpyshxEo2ysTKHaDi4geE2CLtMYMMUjB36UjQ,1442
semialg-0.1.0.dist-info/licenses/LICENSE,sha256=OXLcl0T2SZ8Pmy2_dmlvKuetivmyPd5m1q-Gyd-zaYY,35149
semialg-0.1.0.dist-info/METADATA,sha256=DnmD7A8AranZUvPb9SS4cNP80SMjtIkRMDznI5yitIQ,16842
semialg-0.1.0.dist-info/WHEEL,sha256=YVMoNqKzERt-wjUZwJ33xBGAwnFl-4cqbYkTtWa4itE,91
semialg-0.1.0.dist-info/entry_points.txt,sha256=uRMIuahmKIbDI5-EA4b8C9WVUaeV43_u7au7GI9Cads,45
semialg-0.1.0.dist-info/top_level.txt,sha256=AklsgfzD5wqQAXdP_QY9RdKSh9JgqurtBmEsz25fwS4,8
semialg-0.1.0.dist-info/RECORD,,
