semialg/__init__.py,sha256=fw4qwswz2pgN98HKmin-R2Q5c3XTYHOV0KQkgOskYko,16822
semialg/cache_utils.py,sha256=HzKHwZNz-MqSO6yEzKUBtkimGqe4yboiD1hSVMp7A_c,1602
semialg/cli.py,sha256=wsvX5WKlm5aMS6klJhSSaNSHNYfY1BGxELTbrtS06fs,9234
semialg/conditional.py,sha256=VfxvEW6hfKNOpOxs6Vz6Wxhxvd-bBNNmWRLqMDjdelQ,16797
semialg/connectivity.py,sha256=A88zhwM6NtgJ-_D3c16qe5q5bQpfGGKBuz5oDCET5V4,9169
semialg/context.py,sha256=APGwytD3EntJUvulvQ7iRxM-iJjVXgAJ8KvCjG1zMQ4,3807
semialg/decision_diagnostics.py,sha256=PptygqK3pS1KqMRfX-kOPTayaqzudirXLgx-lGOqSrg,831
semialg/diagnostics.py,sha256=TFB6vDPkTRwhCX0cBXnhmax50Xo9bOvY3vBASh6W89o,824
semialg/dimension_validation.py,sha256=lMQdD-XeiorxfQV9M5X5L0Ut7ZDPz1s16eZLsk4RS_Y,2234
semialg/domain_solve.py,sha256=TZ5CPp0uGCPA8iPJrGb_GTx38avpr0bcHykYGDj-Ols,13319
semialg/domains.py,sha256=BH_1uatS4A-51uEr_pYcTVCd5lsPQ_ljl8lJmC2AcjU,4278
semialg/equivalence.py,sha256=9dq2u0QowHoW4by0UFI3PkA-1ZPq6OzCp2pQ19I2og0,397
semialg/errors.py,sha256=dX1BSuRGWnRfMQFqEfDKRy6r0Sq8ybviBCmiuByOdgo,942
semialg/exact_arithmetic.py,sha256=AxhQ54_UlS-iWksrFTbWU7z5GDSX2kLiS2ml7YWEzRs,3198
semialg/exceptions.py,sha256=Jr5Y2NFNTfF2S9ZBqRvKDUGHXrho22UmgC52eOdI9AE,783
semialg/formula.py,sha256=1350PooRfSQtgGz3r8UGmc8mk7TwQHuKcuNN8qzHmXE,10831
semialg/heuristics.py,sha256=31ERk00_y2d3Ga1VWDCQhP8re2gGmb01PtS0rkL1fgw,1927
semialg/implicit_geometry.py,sha256=lMOqISbE1gPc9D9Qyg9iJ6SVg4ymLClYA8rBW-_4ee8,24330
semialg/interval_decomposition.py,sha256=UoyL5mnzexs5wxp-kbMaO2Tv8N9WprIBG5ON6vc12AY,4363
semialg/invariants.py,sha256=6kjjqf6jTZ7LROueGKOa_-VvsTTQFEFah4GK4_Ej5_4,1642
semialg/measure.py,sha256=HDIYEkcBScABcpIanMLJfpOMkkTt3KFAjepVaMqAI_4,8455
semialg/model.py,sha256=5iwOchSd1rqHGHrDa_5UmX83A4hnfpTe2XqygKcad4U,6496
semialg/moments.py,sha256=zPC2aaEZ-paLmu0HqCNHHx2ZRx4Jp5uZmsUr2DXMh3M,9346
semialg/normalization.py,sha256=yAY2hmb_MnzGnCEXPui6AzBWWZrO7y_0zPtNq0MklaE,4880
semialg/optimization.py,sha256=-5mLLwOkBvsPj4Qq5hMavTDtfSWIz1bGUoCsZ3kByaw,83206
semialg/optimization_active_sets.py,sha256=N6ve9fzSdgY5H_omwe_uhBXLOXNqYiJsRq-9nANkN2Y,6865
semialg/optimization_geometry.py,sha256=hVWakdBlJ2ef7QupMLAOqNn5oXHKuhE2CGgaG93NeLA,1612
semialg/optimization_results.py,sha256=26ALpTPw05CkiSp2kb19A94xKO4xlGJTZgWLzwHaPPM,3661
semialg/parameter_stratification.py,sha256=fzqTdjs2fiqercpmb5JkWw2h774IdvenMuZBRs_p1wQ,7472
semialg/parameters.py,sha256=BM0qKeqAK_EDCju4tx3XysJNXrI4iuHD9OiTzf_meQs,13467
semialg/parametric_integration.py,sha256=TY80oB1PxHVL43KS0f4sR52NDCM7txrNtxqKZMNVUqo,3902
semialg/parser.py,sha256=eseYHn25DKKFDbdAgq-FhtcSH5mZafWJmSiykPsI3CE,6213
semialg/quantifiers.py,sha256=21V0im9xRd7L9sJpA-4pQBRKHB4Qx69alXH1lcVeMyc,6925
semialg/reasoning.py,sha256=5wrMY3HTFtaazh1S_x-BldTe42up_PLaxbTF8kMIxf8,40518
semialg/region_integrate.py,sha256=zrRDIYJIYdaYgymiDBGD_D66Y0Z5fCG112bgB2kfgDA,52394
semialg/relations.py,sha256=zS4iYGUfgw5jcMAyX-gsW04OPgm9O73smBzEyGerBzI,1497
semialg/root_classification.py,sha256=ofdcvTDth73z5e00yNoZN0CNPI9JPk5moDfJH2639aE,10120
semialg/sampling.py,sha256=wzUzvCXy-VaNyhNpOsz1bfCcb2ge2h8mUPiD1vkQGlI,16379
semialg/solution_geometry.py,sha256=pMIZHAKS_-bs5OR_Hqe14AMdnIWU8cRZlIHPWjaoa9c,16845
semialg/standard_region_integrate.py,sha256=Loa3TRAjk3vEXfcpqvItSEETf71rnDQLzKB397ssKnw,18646
semialg/standard_regions.py,sha256=zS-KBSTxJt3g40QRtGspWOKbckBKagTVrVmpNsfHQlI,19232
semialg/status.py,sha256=gtpsoFvs9DzkG_wf9IWmJBsk1-5m3jzNLiKptNeXEnQ,477
semialg/symbol_resolution.py,sha256=HSp_qDUUawMtkpIhDv62XAiZiRf1Z0ZSmxNoyvn0hOo,3509
semialg/symbolic_simplify.py,sha256=vcYvwTfbahPjHm1gVblUFFBHbbLxvAgB-qnWS1K7sqs,22341
semialg/tti.py,sha256=GsL7bjCH2fRYnUQn6_58T2sRzDhJHS-dGU2eIJnnVgw,2438
semialg/algebraic/__init__.py,sha256=lliIxdN4o8Rfwkn5WMdZ0fBRZXGgx2nkWkeS-Ff04Lc,3506
semialg/algebraic/border_basis.py,sha256=Bq3IhcSwNKYwW-mDJ41KsYNUvxy_miORms9ia9bu1EY,38698
semialg/algebraic/cache.py,sha256=FYVouwc6uFv_Md0_m3-_nD1J3QbdCTsVNexy04GqHV0,2653
semialg/algebraic/comparison.py,sha256=bCIOsYHcXZnJ5EbuWQryVFTGrteHDR78h37ucw9pJZg,6417
semialg/algebraic/intervals.py,sha256=R3V5LuSDK1ysCGBk8q76HvWkJT6KdBvDp3QNh95A5KA,1606
semialg/algebraic/roots.py,sha256=ZATNnG_uuohkK1Yt1qI9U_6PUtdWTdxHGaYVfFmc0pU,16953
semialg/algebraic/sample_points.py,sha256=XqUdwlHa3VrjSYzsDzP2PUIIDVTCq8Obo3uk4v_zlAU,2048
semialg/algebraic/samples.py,sha256=Tk4n3lwowIjBga68E7ij5ZANIqgZgMX8qXqlT0vHguA,4543
semialg/algebraic/signs.py,sha256=-0iVc6thAjJyIpmtnJLVgsgwgNqXNTrDYiJV-u4l4Ck,5715
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=6YrMLbzqiGfrqJJWhd_1YatTfCFTjrIBT4jHK7OgAzQ,5262
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=3Ud-FXTXsfOrvj2fpMi9kj1ABuY2V3b0N6Hzz0i9cVg,5736
semialg/algebraic/rational_univariate/signs.py,sha256=1JvpSYmgVZR47Wg9RVExL3uz7Erbs3zjV_xUkY9bsKI,7640
semialg/algebraic/rational_univariate/solve.py,sha256=u9Fx12y_Mx__7nC0iUwa0JUyAdlVI4oKAkKlfFFt4dg,2919
semialg/applications/__init__.py,sha256=fBjId1vRxzGNNvfpWqoi96xKGLqUetsLmV0kVJM26fQ,2746
semialg/applications/barrier_certificates.py,sha256=4ygEWUx4D69a30PsLhnc5f7hv5RXHPv_xLuEZ39rcEM,4333
semialg/applications/constraint_analysis.py,sha256=k9g9_03VX6h15cumTpst7s0fD5zRz2ZTwy59cULP9Hw,5049
semialg/applications/control.py,sha256=D-T5oamC_GDCXQCtbvYYkv_zHIb9zIBye2oVd44_NuM,4767
semialg/applications/lyapunov.py,sha256=39C8JobxPFlv6uge3HZ4hkpyb05D-smaAwPUJMJyXvM,7366
semialg/applications/model_comparison.py,sha256=JYGrFcps-8sxT_1cIFbINRpOUAzU64WXbo7GmHZQatE,5221
semialg/applications/optimization_benchmarks.py,sha256=S3nCga0bmgNlVvoBBU094KoN8n9JbQVDZT4eLqPzkBU,2870
semialg/applications/parameter_regimes.py,sha256=IZAvJ_fQiC-gFIbP0MexxjhtGJqudYzliWLOwy2hdIM,4860
semialg/applications/probability.py,sha256=WT4xw2qSNF2ad9ywnaUM0_LsoNK7u6FwrhXtyRo0Z6g,5002
semialg/applications/response_surfaces.py,sha256=MEvGYJzLC8athLx2JH51xsxtIAXVlIaJXsy4fPTHgdg,3829
semialg/applications/robust_design.py,sha256=GRFieYxTgnIZuRUVkq7IigiPIiSbZl01H9_Kq2MXkPU,4316
semialg/applications/safety.py,sha256=msDgz8m5njN2hBl9ZiKQlM6vUlAXPI25NEWGmDUT3b0,5585
semialg/applications/sensitivity.py,sha256=hQcNiuyhY0nuNjT9-ybdTnnAMlVgmL-B0Y_Tz7UNmFY,4423
semialg/applications/validation.py,sha256=396MUvOSaayKbVrT1_nZ6Ipj7baQVN0CScs24YLY1jY,3413
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=-LDvq_Rp2X-9ksSiNA_PLQ2AY_jmdY3xH1HWmC_nWIk,2750
semialg/cad/bounds.py,sha256=ODTHQxxMEHh7BPtrEkRTY8N1B-fYQRElSlX2REbguhQ,25534
semialg/cad/cells.py,sha256=S_yyW2nxhTpEzDigYbdu2VRVVRyyDNdwC334j31qDaY,49458
semialg/cad/constants.py,sha256=Ez13l6eyg0rZc0n9YK9G4NHq_7Sih4tJwG7QzWSWhvQ,499
semialg/cad/decomposition.py,sha256=omgqJyIXalAojvk3yTn2VikcL1jelejW1J7gE8spJLU,10329
semialg/cad/integration.py,sha256=NOpMnybudk8Gqu1ftnnnn6kdseeXuhd9TdsbFR_ed0w,11351
semialg/cad/performance_cache.py,sha256=eIvcS1Yst_u97XElgEafzmMy2NbveprazxQJ3jxsC7M,954
semialg/cad/polynomial_utils.py,sha256=QtUefKZF4TUYnE1ZCQ9-gR7ZMfJwihY4K5AntbvUoKI,305
semialg/cad/reduced.py,sha256=8TG2JL-0rKvtcSUzZaTvWLWJLJ84rEcggm1BSrv9EBs,27596
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=3x34tbNDDDNc1Q-k8SA2UhJNUG_KJHDPeyY1SrESMdg,2256
semialg/cad/lifting/stack.py,sha256=VY32ZlfqzNJTeOrRnR9rtWr3o5qXbECXat6TsLAv6pM,1891
semialg/cad/projection/__init__.py,sha256=5dxCiPajgzcpWuzoiYDVpOZ3iTwqj7G4UPFr9HyW1wk,773
semialg/cad/projection/collins.py,sha256=qDdS6dcsrssKxk47dGj3zp9GTCayXiOBWhghscyeI88,12502
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=UAn8O3Ejs0OPOeHqz_eddlhScPpaMszPAZ9imeXhotw,9045
semialg/decision/__init__.py,sha256=3XA5KaAa1TaOQVoNq3Gnw1fg9i9h_JRgKY65dh959nc,709
semialg/decision/_inputs.py,sha256=fK1HLtQYovodOwde75fRRDYZaGtqTGp982IkhIO3gcY,3714
semialg/decision/_metadata.py,sha256=ne8MjuRrDGbP8XH747H5OMELGWOPtxasf8P3p5dNi4Q,13142
semialg/decision/_outputs.py,sha256=zJ34HRsbGlSB3HOepVVA0iMspTyEQSuvzIv3uHMiY1E,4736
semialg/decision/_witnesses.py,sha256=NUhXcVCELXoETGNLSt8rdM8BTWtnBuvhSXlvscL1eU8,1431
semialg/decision/api.py,sha256=O0v-X5zjtbaJh0MmBKSSVh0p3_uLymEEkZUA6P4RZlM,30995
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=P33I6rguGTO8q-qIecB9sbJlOGoxVAwYkKeEGiBDY38,10105
semialg/decomposition/cylindrical.py,sha256=XhbLld9UVsv2uVBiMyIBmLidUpIvJ1NglyMfYPBQH2I,23609
semialg/decomposition/generic.py,sha256=EdYV6PGkayQwndFxXNtZKszEfTkVZnfF6An8CGpvr84,17093
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=OwJitpTbrHEM1yAGdCHbq5MHcIXDeGFsKu0LgZ5DyoM,40438
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=A9rktT9StNd-NmJfGkcdNjVpzaYU0VCOH44E90RltbM,2544
semialg/partial/pruning.py,sha256=079nTIOffgLo9ngFuybn7_C7ZbZvE1bvpSG1hRpRm-s,2272
semialg/partial/qe.py,sha256=nZbqC7qWnoXsoU34sr_fi8lU5eLWaVPH782ifaeBszs,18159
semialg/partial/stop_conditions.py,sha256=1OAplfonijTKPfAtOeTnnSSPrgYIZWakfzHtH9Kzu8Y,743
semialg/planner/__init__.py,sha256=OaeRWxcbpF0jJrsiNMMxMMm1Jmpe-2AcNRG7hbPX1cU,1170
semialg/planner/analyze.py,sha256=Ax7XM64Vy_wQwtGTpqsYQX0edjVmSmY0Q3oTbEga_KM,2242
semialg/planner/features.py,sha256=Af3Wp5u7eCuHZIEo5hlH4PD3QczBOWuOchltyn7sCng,7361
semialg/planner/heuristics.py,sha256=OmvQNvQ-nceex6MbQF8KlLk6dFEgpO8nJwHnecdfXS4,20863
semialg/planner/select.py,sha256=S1Sf2tWgNP4WQyJPcINpFaIvEk0ZnzoGysmUAsWV2ZQ,4157
semialg/planner/strategy_memory.py,sha256=5MvewUBsBOzU-1CT6cqRHLMu8icMqxelDj4uYte0Rd0,1025
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=X5oaI8h30JEfHYEBwS7s9mjX0PfsIsqu0A_2X3KDmtk,7168
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=n3-a2W3-6l-EttvmKy21GPOEQQfLuGV25g9Dj2z0GpU,1592
semialg/qe/blocks.py,sha256=i6hshHqwgTmYteYNqNPpjoozbjQV42-10KDmDwvEZrY,1760
semialg/qe/complete.py,sha256=_7J3a4FFfEy8eHhGeFiawb3cLyVfn_FunwLhg7SpSfA,23165
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=XDMm_QsHB8qkB_LXdVVBwJHDXbaBOUI8UAqpEj-xkXU,9394
semialg/reconstruct/__init__.py,sha256=sc0viKURswKOwp-zQsYB823V6SkGHs0jSTfaerCwATc,897
semialg/reconstruct/cylindrical.py,sha256=jpNVeWPbaZCmCeGFD85sHffpNG9TbaWDxZBvxYisb00,4938
semialg/reconstruct/merge.py,sha256=hmAAMLnEqL9atcf9H3Ue-o3HfZt_NJ_qJ0A_Mau5shk,1389
semialg/reconstruct/nested.py,sha256=m6tbdvpiHDnpaEouKmrVYqUOezrfvnAg3oZOrqPIUIQ,6945
semialg/reconstruct/radicals.py,sha256=wgN_O3MNoCTpLlfi4sYP6W64vzFSaQGK1as2blFXBMU,2472
semialg/reconstruct/root_functions.py,sha256=Lvq7ZSaJeWnSK3eOxQsRwiOlAAELvt2KLnxGrBA1WmY,1987
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=_0eJsD24H4LyKw9qTotvhyF09lsBNchSfWpyh3ZL17U,21002
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=cEGPdBdbzk8l1y0QpEZyvYREUTJdbkoGmFiAIwCPyt8,894
semialg/simplify/atoms.py,sha256=su4yM39by7zHPHAilHaHgJZyYShCJC8XFDWGye39PYk,2719
semialg/simplify/boolean.py,sha256=SM7iX1IewmDdR4Vlqbo2BT5z_5UCyWllBlwZtwffC7E,2145
semialg/simplify/bounds.py,sha256=A3N0BI3LI-YYdl2ZhLVKCvb7yVFrX4uzQ54aGVlceXo,6345
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=4djqc5TZQM2cd2PDvwTJAxYwFmw6EyJS_1lrYP_E0AU,4735
semialg/simplify/result.py,sha256=1ejPS21f3Au7JccV17BFWZZuTA8lCjpKvETPa3cIPeo,1563
semialg/solve/__init__.py,sha256=8kEftO8rhHvXQ6ZXm1tuc18AYnbcgj9ff4aVWO_Qsy8,1465
semialg/solve/complete.py,sha256=VOUW3EZc-PNMlIw6XAvPgLSEJm9g-7_g_TEZ0Dbct4A,4000
semialg/solve/domains.py,sha256=PQYkNHZb3Cjfyftq_pJl9Kl_C73gjFZoz88DehBj6zQ,437
semialg/solve/find_instance.py,sha256=mEVsxeh4kEzbl1c50lwI1VJDQoYzk-DWGoU9J3BUdpw,24998
semialg/solve/preprocess.py,sha256=Lf9u6PHaHL1EShJZD2nq1-hcKxhelJD1xazDqxvfRv0,193
semialg/solve/reduce.py,sha256=9Sv8wPXJEYLJaVYyB-lf7G5sd70WoDbnEbGLCr3wJ8E,23356
semialg/solve/resolve.py,sha256=olz8fkO9jE6c_W2BWEzj31-VAx-2zdudKQgCwORNN0Q,2949
semialg/solve/result.py,sha256=UKbMmlXm5X313mw26nYxChic0caNJIdtaXYNGIN8-5I,385
semialg/solve/zero_dimensional.py,sha256=BJujVE3PgBZYKsQjUl8JWGTHiGplLVxRCQgBi88-bys,7748
semialg/solve/integer/__init__.py,sha256=CESETZSXxVVpARvHcJFdlHLBRhd-emCU3sKdl_9Hqak,5183
semialg/solve/integer/_common.py,sha256=p6wZEsSrZeEUzZg9NqbI3AFQE4-S0x0YyqE7TfuL-S8,496
semialg/solve/integer/congruence.py,sha256=mKByizRHbzf9xVYoYRJ0JxQCqcmKnMwLvqwuv2Stt8Y,34182
semialg/solve/integer/diophantine.py,sha256=FU29b0koUU-m8SqpRIp9AUbcOcW-0kv9pvpSEXJiCps,17697
semialg/solve/integer/engine.py,sha256=UtIFhBYoo8x7bX8qEQ3Go4sjdRqowSYQYkSUEg48Sqk,4607
semialg/solve/integer/factorization.py,sha256=EZ_A2urLnRQ-5a2vMYSCO5T53e-zKdNt-lXCt36haTE,13774
semialg/solve/integer/families.py,sha256=mn1Evh_FAtqi28YdGSc0CeDvVMXpaWBLLtyVJ48olZ8,2153
semialg/solve/integer/formula_utils.py,sha256=YknfQEzsz-ZEVfqb_vXK8Xz4-ShNIEkBZR5hbuMsSdw,2607
semialg/solve/integer/groebner_recursion.py,sha256=14TrwSdsMnkfpkXdKyOogpbg0uLID3MS5C_zStyYHts,20370
semialg/solve/integer/linear_divisibility.py,sha256=h_pFfKblgpkqzjyJysOlV3P-24CLNSvzOKqz0FHy00Y,2345
semialg/solve/integer/linear_recursion.py,sha256=Gx6BP3bGHMCu6b3d8A6Lrc_E0IoQRu-zGpEOiodTE4c,8271
semialg/solve/integer/modular_quantifier_elimination.py,sha256=HcS6bUIBEDWtMwLil0_cnYzA6XMso00TJEBIyNzhfDw,17263
semialg/solve/integer/output_normalization.py,sha256=ajO_38oTTyNYo4WhuZPayRezVu8bLgtXrydVia_zPHg,2038
semialg/solve/integer/special_families.py,sha256=usOM0XQTxv1dxpMpNNMY7weJNFjiuLYrloT9lPMFOs4,13587
semialg/solve/integer/thue.py,sha256=5S_9zJV-vaHxyrrlKcDkITOhUEUJHp2-g687eeGgFLM,5908
semialg/solve/transcendental/__init__.py,sha256=U9Fh_CIsbWrfAhJLe6OnXA1pCRFy-giGB4yorxBKGnQ,2819
semialg/solve/transcendental/cleanup.py,sha256=FdeYv5oAQ7PzvuiN0h9vaBQRLOKpqafL9IuX1kPMlG0,2703
semialg/solve/transcendental/engine.py,sha256=oiOtCoq5nP6OZHxpEEft41eh3toaO8PyPz26FItnCNc,13319
semialg/solve/transcendental/families.py,sha256=e-XqPTe0luHRP8Siy8a4c9Srz1iBaNbsiDb1D9s4tKk,7073
semialg/solve/transcendental/periodic.py,sha256=hdPYK4Y_bhWmw3H65oEDxvDU8TYaf_7vPgEBeaze8Sw,3731
semialg/solve/transcendental/preprocess.py,sha256=sMztblfkyzw6R0_0p6iqDOWW7WHjGxnuBrRs7FZ-lPU,6801
semialg/solve/transcendental/quantifier_elimination.py,sha256=asxkjqGWG82psnZnHS7AGx9BwN7GGzLKWg5sgD5cyLI,4828
semialg/solve/transcendental/roots.py,sha256=o6Dpv1ePiymmJW5bj6mjw7JQQVm9CtldxTUfmtWt3-o,13325
semialg/solve/transcendental/semantics.py,sha256=Vb8bRo3v0miplEwZIu1zEamUW7QN5IPSET_Rj9wx1UY,1787
semialg/solve/transcendental/state.py,sha256=ldeJ5GYuxDLsspuxJ5-5lC2GGXZ8HPgEWI2qQgyJYb8,5759
semialg/solve/transcendental/system_roots.py,sha256=98dX48IwTt_6MNpZoJ4FeQyu0fk1RTWsPwI5WgfpMS8,8353
semialg/topology/__init__.py,sha256=nUik-L2SI1_xwra6hHGGPDl0tESBzlr2kKuVERYkq_k,783
semialg/topology/components.py,sha256=vU7Bm0om_YWii0q8H3NlNhLCSXbuMrxMSkZEx9jlrE0,1777
semialg/topology/incidence.py,sha256=AR1GHF-p85z96OqZs0ShiN_EJb-SjTDD8qJmFy23NT4,6398
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.2.0b1.dist-info/licenses/LICENSE,sha256=OXLcl0T2SZ8Pmy2_dmlvKuetivmyPd5m1q-Gyd-zaYY,35149
semialg-0.2.0b1.dist-info/METADATA,sha256=G_-H_gS8DRUAic88eQ9lTzKV7Lm3gTCkX_5Mxvp7Ff4,7599
semialg-0.2.0b1.dist-info/WHEEL,sha256=YVMoNqKzERt-wjUZwJ33xBGAwnFl-4cqbYkTtWa4itE,91
semialg-0.2.0b1.dist-info/entry_points.txt,sha256=uRMIuahmKIbDI5-EA4b8C9WVUaeV43_u7au7GI9Cads,45
semialg-0.2.0b1.dist-info/top_level.txt,sha256=AklsgfzD5wqQAXdP_QY9RdKSh9JgqurtBmEsz25fwS4,8
semialg-0.2.0b1.dist-info/RECORD,,
