semialg/__init__.py,sha256=r3lcyYnne2ZeNDNXNuRNzrkijGS5Oil2yF2VQLdRlQU,1031
semialg/_api_policy.py,sha256=qxhB1Cw-6u6DT__dN-l0dYar7V0t4zRSVQbwYgUgwGs,19470
semialg/_critical_loci.py,sha256=yeq5VpwpEtubAHvx6PnHfkOb7ndmHfW1MeKXygr3I68,4268
semialg/_errors.py,sha256=9djnFkvmlkwIS4EkjWyAtlzPVrZEgdnx7_9OIxqk79Q,469
semialg/_function_algebraization.py,sha256=28sTU5epJ1oZzv8cgZJ41yAdhD5OZVIsO59LSrwZzAg,9789
semialg/_function_analysis_convexity.py,sha256=0Kq_0cTGUK1xYyWU3_rSVxxt3GuhheizBeDr5tHNWnY,29666
semialg/_function_analysis_monotonicity.py,sha256=rUPYKrBj-J7fKePoXCwXo8z9f6xmMDgLLcudEw3dm3w,21021
semialg/_function_analysis_partitions.py,sha256=SzWZuWyb_BCIGfKaDoo5zBeWYpyfQOrM2xci2srjJzs,28577
semialg/_function_analysis_properties.py,sha256=5Ax0nk5knDav-KIhqNWsegd-q6iTuJhR3s0yonl_FAY,20499
semialg/_function_graph_image.py,sha256=SA7Se6Jd60J70jIMTNs0VhaLyIOvpsffJc1I7lraBuI,5787
semialg/_immutable.py,sha256=EoNcEsTAtgLgQjjDNg3T-WW-IikdnH9sCaLVVxALtQQ,1049
semialg/_linear_relations.py,sha256=MxvlcPl3OLG99uq8VRCqM4ikwUXsgt_nC7zLS2_bCA0,4265
semialg/_optimization_backends.py,sha256=5r7iR1vqzKKg2BTMRj9-H7NmjjnCY8nUg08_5qQwT9E,598
semialg/_optimization_certification.py,sha256=yQVV4xx_9Ptk5gzMIT53jhIN1iQjt881fXsOo5are3Q,4930
semialg/_optimization_parametric.py,sha256=G-oADFXqEa7ZQ5LK36TbFzdDDWUtIlU22e6Wq9bHzAk,17065
semialg/_optimization_range.py,sha256=HZUT7DGFXO_fM07Ac72HFbOvOCoONEoI3yrdCFtICZA,16077
semialg/_optimization_specializations.py,sha256=-q-Ck9X-rW6scvcj2S9p5Jf-5NzD_E9esPPPF_heCEQ,13194
semialg/_public_api.py,sha256=Yh5sa81NXzMMjyHjtCl7vbfMaEreFNTeYqqqBBtzfkI,214
semialg/_range_special_cases.py,sha256=FnuYuxhvjcsM_UQ-KPLOyVisurPpyTFxwkq-MGLgsCg,15257
semialg/_region_integrate_cad.py,sha256=vzyhVIXtopCVbegoG180ExO-YFmHgw6T93hl_30MMDU,13001
semialg/_region_integrate_geometry.py,sha256=ouASRRfTRojg6ZVe_Tq3aj3D_mNDLyIVJJ1D2XfpV20,16120
semialg/_region_integrate_intrinsic.py,sha256=t7-5zLHap0UzRYDmH9ga5J-7wT9jR_IXG2GRAHl0xhE,13374
semialg/_region_integrate_parametric.py,sha256=7dfCuaWYA0Z-SafmLPr1Gp_ltn8buVAfxqXhtf1eRG8,9404
semialg/affine_geometry.py,sha256=VFpZnwW68M1mbUFPlOXOaZfhkKUkIvnFjGIrFXC5qrM,4223
semialg/affine_reduction.py,sha256=ssD_6Yi-TdOpmjBSLtkBPQNSKWEgjPu7XPxWZx69ccM,4479
semialg/algebraic_decomposition.py,sha256=Ppc639gv7nj8gAJ6zWZop4zvdfDZ8-AGNFy3QKqccIQ,39725
semialg/algebraic_geometry.py,sha256=r59jg28MG02Q2p4R2hs_oSGSQhvZQ-qcf38JnmklgIw,10795
semialg/cache_utils.py,sha256=qQHQMzW4Ptr6-gpfY9HmyCpKP-BoUNeKC89jmo3FAXc,2659
semialg/cad_region.py,sha256=NXo3cUnaaN43zG0VdJkNL4Lzyu1UvlEITY3ItYCIviY,12990
semialg/certificates.py,sha256=P_PadhBAg3ybmj70AwCjFZFI0GRlRgl5Gyax3BCv0zA,8001
semialg/cli.py,sha256=TkMw1MA5p_3SMSoGsQoZd4cvyywo4GbZhrol0i5AJdQ,9331
semialg/conditional.py,sha256=zCJLNFvfoU67W7RTVBxSaRSvYb9QIL8vzAlAw1Gq0yk,15843
semialg/connectivity.py,sha256=WwJL7etvdmCK234953i28_3eMhD_xu-KdIk61jCho9k,16435
semialg/context.py,sha256=qf3L9Xw1W9k-J7MqEX071_qKNrdKwzVf7omNfkyhd98,12856
semialg/convexity.py,sha256=gKaQ3DYeEzY1HEIZHqArt4irEUrwTC44JfRnztIMGU4,29765
semialg/decision_diagnostics.py,sha256=PptygqK3pS1KqMRfX-kOPTayaqzudirXLgx-lGOqSrg,831
semialg/derived_geometry.py,sha256=BOkxaaNQG4HcwU1z2vtJNX1vkeBKAJshw0wqLk7ZQwE,18764
semialg/diagnostics.py,sha256=TFB6vDPkTRwhCX0cBXnhmax50Xo9bOvY3vBASh6W89o,824
semialg/dimension_validation.py,sha256=5193JZbQuvY4owZtX1sUPWvN-JUB7EE5rBi8XBIfjcs,2681
semialg/domain_solve.py,sha256=qSPR5Yxd2sY_F17x4KiD85WS_GTDUPje1DrNvEVMc4I,16067
semialg/domains.py,sha256=aC5w3H19THV4aTKsUd_tf0DG-Ias2TIbyr3FgT28WoM,4261
semialg/equivalence.py,sha256=9dq2u0QowHoW4by0UFI3PkA-1ZPq6OzCp2pQ19I2og0,397
semialg/errors.py,sha256=K9jVGjfQhQE1k6EyzAMG3ysmYlzjLh9oN_Nv4_wovpw,2251
semialg/exact_arithmetic.py,sha256=ks5TzfEbuj3a1tN_NCRIImJrpyyy1Y9jkf63pAFRcWw,3615
semialg/exceptions.py,sha256=cl8tXJCNqI5nN3j341b0Td46S_seGu0UL0ShpfG7_-g,907
semialg/formula.py,sha256=f8I4Na9viqFAOXn1AznksIm9SrEiih6iBhlzSPD2xLo,11775
semialg/function_analysis.py,sha256=a65WOEfp--puITbunwNB9H05MoYLAXJorcz08n3rPB0,19051
semialg/function_graph.py,sha256=bgEjy91e1oaGBEkJiHqoNGGJYcPcI7MILIjmpMr5VMc,14343
semialg/function_properties.py,sha256=w0Mn7REVN9zoifL-VUiuS4pW7ehyROsGzHkmD9yKeOM,20079
semialg/geometry_queries.py,sha256=oXUNFQEWXAquCE89ZGRbv95n8cvNSxYDQqkHLmqAzsc,23461
semialg/heuristics.py,sha256=-JE3hLdpiaD44OQCdco7hak7mgjMSAQz5UBl-PQ7r24,7258
semialg/implicit_geometry.py,sha256=GpXDa5r2sgdDPUtgty3umlA0NpvrmmN7-5ToByc5js0,24461
semialg/incidence.py,sha256=bD2hsBgvtXg1csBdsL3s1iMhLLiV-J_cIsSVYCJn8jM,6632
semialg/inequality_reduction.py,sha256=l-cilZsTQr_EF8FUJPaqJXyKncQAjyTzAAdI559LNuQ,1029
semialg/internal_symbols.py,sha256=JVqgyXidtxxUYElU_vL9yDglzZqc0KttHTzmnBbOvOM,507
semialg/interval_decomposition.py,sha256=ObJXN-96jv_0SHT06UMJelUSwrcMm8eBPhT-kJUa1qk,4353
semialg/invariants.py,sha256=64JntPZp9_Cp7OjdRkP2KS3LT177WNAsfcfZlj5ybaM,1702
semialg/map_degree.py,sha256=or0iK91IvApjSHm-2iH1OGWMjCdUfhRtefC5YK3AFXY,2837
semialg/matrix_analysis.py,sha256=yW07TPlGLlHCj7rIdoPf7D7f7KPPG5P3717vBZEEdrg,16703
semialg/measure.py,sha256=SxH8BlSnQj7AGWn_1OS-ez-78XuXRPwzhFSJySAf9EY,2449
semialg/model.py,sha256=5iwOchSd1rqHGHrDa_5UmX83A4hnfpTe2XqygKcad4U,6496
semialg/moments.py,sha256=H89SSYg3DgCU2jvvmKzQc8_Dl5Ae_fnsshQmw1jSWCg,9352
semialg/normalization.py,sha256=Yr2kARo7EV6IDhHaCqu4iYKPVku5Etz1kvdA0eh6fEw,8155
semialg/optimization.py,sha256=3oiPBGAxoygsuu6oy6Yf-IXrn7GehVLwuEQ9UMgTUC4,37355
semialg/optimization_active_sets.py,sha256=MGZpt_RALDwQ3erEgoVTT0n5Lqxl1CXyg73N_e1-K7k,6686
semialg/optimization_geometry.py,sha256=8-JokCHj_zvQ8GHaynZnn6rfDzwX2sB9tTLBTv094EY,1717
semialg/optimization_results.py,sha256=26ALpTPw05CkiSp2kb19A94xKO4xlGJTZgWLzwHaPPM,3661
semialg/parameter_stratification.py,sha256=t1GUjQIS_X5vyOUAXOY4azvTdNwZ7RCTT9xrZ6YY7ug,12021
semialg/parameters.py,sha256=SSqjI_NIPEXx-fXyNF1RuNL_N54DNQ9pu-Oost9M4BY,14295
semialg/parametric_geometry.py,sha256=fBICzMZbvlqgAKkWAW6xs4vpVVwU11JGohpnplEGCwk,13259
semialg/parametric_integration.py,sha256=nENWzRq0ZvRcirlA3LeZpPFJlN0Zb3lJsFpMMAksshM,4541
semialg/parser.py,sha256=WPLz1sWhZYDSPgKkzWDsM5CyYKXihDIKV0RCZKIwWxQ,6265
semialg/polyhedral_clipping.py,sha256=tG9L4JQWti6XcfxWTOAwFCDpaY3YGpqmPSYVz0VMBbg,3772
semialg/polynomial_positivity.py,sha256=W9pUCKwWxF9nSJDp0psDd6fC3dLT1w9jQu6nQSoM_0Y,7291
semialg/presolve.py,sha256=nqP_ya7iRyYypCvYoSWit9aNBaLGbF4VYsGXvBGfvM0,10216
semialg/quantifiers.py,sha256=mVXnplDpppGu09VDAQF8_zcVDDEtoN1BonxLvCfKUFc,6961
semialg/real_algebraic.py,sha256=6udniBJKK4PDbMZcLzplzQcV32vo0pUfaSeMuNT4C6M,11126
semialg/reasoning.py,sha256=rrIBvZ441LNf_D6scOeJkczXoFDGVtD5Pkl2BDlO2eU,1079
semialg/reasoning_assumptions.py,sha256=N_hwipzPPv9QYwgHa3TdAkiZV2SFrcHXA1af7I-ZGd8,10548
semialg/reasoning_regions.py,sha256=xX9dtqHdx02QFlL-TaGB4gaA4-GUfjHvDU81clOTTTk,14326
semialg/reasoning_results.py,sha256=fbTBEYapMIj6VHThZH5N6QwUkN3XVHP11Qa776NTspQ,2286
semialg/reasoning_signs.py,sha256=q668kMHFx1xt7vWjH-IZ47qzkXbntm_jDEeT3DKexoE,18221
semialg/reasoning_system.py,sha256=TIt0EfEqkQP5Pp9g3LiY96_c8TQwEjCHu7EAhEICf2U,10112
semialg/region_analysis.py,sha256=ACtpI-HIm1e-cI5s6DtjHEhm9AJqrFO9QVS3k9gBbWo,33225
semialg/region_coercion.py,sha256=ISz3qRNfZoTr7j_V5TuV38WoU1cq8SdNVp2JuEzAuNo,10101
semialg/region_integral_results.py,sha256=0kocsHq-v5-Z2KJSBr9EE5LDqF1gb6sYKMYnI8saFcY,2487
semialg/region_integrate.py,sha256=i2pldUmB7-npeu-YWOw6FNPsi-qhLIIhgG-z9tu9my4,21627
semialg/region_predicates.py,sha256=AbndywJoWf00CD6qqeChOz_Bz6VEtFZXWA_T8gPFBP8,12975
semialg/relations.py,sha256=zS4iYGUfgw5jcMAyX-gsW04OPgm9O73smBzEyGerBzI,1497
semialg/root_classification.py,sha256=iNekC3U8cDekLkvdOWoGeaaxbcDbFcHCngQOUbNYpwA,25313
semialg/sampling.py,sha256=orWqdicrz7usmP6KepD414hVUWbPre5mUC5-KdlmSGw,18424
semialg/solution_geometry.py,sha256=urzUFrfhWNZ-BPwinmgA_2080jpPc9qfMc3xiCjpeXg,16970
semialg/standard_region_integrate.py,sha256=MtLD8M3HRaCBE3Nowwbhkl4UWxhWzl5ZQYuWa0w1JM8,23243
semialg/standard_regions.py,sha256=UbI7GA53ll_wsJ-aL6SOqiKsAct95OdCjpp_KUYftoA,36120
semialg/status.py,sha256=gtpsoFvs9DzkG_wf9IWmJBsk1-5m3jzNLiKptNeXEnQ,477
semialg/strict_feasibility.py,sha256=Xp2JW8TZZWki96HcBXLQsmXC9qhM453ADs9B8k_nDnQ,4734
semialg/structural_keys.py,sha256=p4OuHtdXY7KmjkLi9v4PVL7l_W4wRZmZeS0ikloA3is,1982
semialg/symbol_resolution.py,sha256=NOAb_ZsuTD1uHNBZwFk0u1ZuCsuNnagarFlAoYWj1UA,4860
semialg/symbolic_regions.py,sha256=5Yv4ad0pXivAeilRP5Jbz_nYgXPNoCkUAOHRk3nk_Mc,26244
semialg/symbolic_simplify.py,sha256=wuZRmVzT8Zg40ekkVTXaTZy14PtqMeXaBdlEKpijmjI,21660
semialg/tti.py,sha256=GsL7bjCH2fRYnUQn6_58T2sRzDhJHS-dGU2eIJnnVgw,2438
semialg/witness_heuristics.py,sha256=l4UAUzFoCVjLJVuEn3-j5e52xYGMvvca73o_i1lI_L8,7589
semialg/algebraic/__init__.py,sha256=gK0k7vLPwPYPsubINg7vZNZS4hyeWUI-wq71quvvnXw,3940
semialg/algebraic/border_basis.py,sha256=blT4H6vJpgL-kenvCZC0Bw3wOhgPRzlfiWi-QcI6cRk,38477
semialg/algebraic/cache.py,sha256=F0tOJZvm3oJaffaq7WSAmwkLNOpOdwetN7I1sMJcg3M,4557
semialg/algebraic/comparison.py,sha256=qZlzVDxF5PrRZrQ5MIhxNse0AxfbxhgtvKrKKB5Olpc,6530
semialg/algebraic/equality_ideal.py,sha256=rN1g4ufTBRR4LuQXCIwacnKwiCCnYZ8CW-zYkXK5tgA,26900
semialg/algebraic/groebner_utils.py,sha256=33lwkIqsyTx_FQ-e1r7WPNfivIxUl817yELwkngPfrc,2151
semialg/algebraic/intervals.py,sha256=R3V5LuSDK1ysCGBk8q76HvWkJT6KdBvDp3QNh95A5KA,1606
semialg/algebraic/roots.py,sha256=hJgLP7Iuevv7D2vbXviByMurE8zI4kJ-U0pzu9g3LWc,17146
semialg/algebraic/sample_points.py,sha256=os4uFuj3wI21bgLdpbnhIU8cA4GQ8JcI9reUBO83I7E,2015
semialg/algebraic/samples.py,sha256=Tk4n3lwowIjBga68E7ij5ZANIqgZgMX8qXqlT0vHguA,4543
semialg/algebraic/signs.py,sha256=N4hJMV5MmIMFZ5UDZPwmlCOzWTi7W9Z85ZSovSCV7TY,5764
semialg/algebraic/subresultants.py,sha256=8AJwqfMcSvMErkGysz8BSHbPqw9S9BYJtPMnpI_lk6M,7157
semialg/algebraic/rational_univariate/__init__.py,sha256=cEKM-GXvpUB1mSQ0Ew9SQONmaLI2TOsrhLsm02YfHgs,1364
semialg/algebraic/rational_univariate/_domains.py,sha256=zDWxlD2Kx38cfU0fcI-1aULK-3QzTodX1XLYAomdYho,583
semialg/algebraic/rational_univariate/construction.py,sha256=sddTRZ4kfH1Vg7EAXih5PJ8m12AirVF6ohkZVRHD5B8,6130
semialg/algebraic/rational_univariate/formula.py,sha256=lAokN8dGBhOUGZUrJa1mRptTJWmIcbWtrPfGQy5xChg,7188
semialg/algebraic/rational_univariate/quotient.py,sha256=c_MGFc27gonjZGr2rdSbLjGv-uYnHU14opdZambSVO0,10621
semialg/algebraic/rational_univariate/representation.py,sha256=dC7GQ1SlLcEmucG58GnKiwBneG1a3Vn8c0OJfxM--Z8,5831
semialg/algebraic/rational_univariate/signs.py,sha256=IYQ-z8AD8s6wj3ED91NJZwng7fj8Btx6I6wFT8OjIyQ,8806
semialg/algebraic/rational_univariate/solve.py,sha256=ZIQQhSlFcKJwVOPpICflZhbhfsAmfE-gVTRekn9n_rw,3459
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=oEGTHRCrFwBzpHqQ-zKAbAx0RobdDGqLE1s6CmRUfvw,4846
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=4ykNmpNcKMLZ4lyLdTEuaAWaHPa62Bvt9sZPqe1_v0Y,4903
semialg/applications/probability.py,sha256=WT4xw2qSNF2ad9ywnaUM0_LsoNK7u6FwrhXtyRo0Z6g,5002
semialg/applications/response_surfaces.py,sha256=MEvGYJzLC8athLx2JH51xsxtIAXVlIaJXsy4fPTHgdg,3829
semialg/applications/robust_design.py,sha256=-puItuc28P985HHk-Mr5BETeRunIrbGEMNY5V80jDAc,4325
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=AbpHGcgLb-kRsJGnwFEktk7uzpZOCcBY74-YBdrKVGs,1
semialg/backends/collins_complete.py,sha256=CoKkjuYd_gXPD8Dm2CSvmKNqJxlTqR_qXwCkGmGT4OI,1534
semialg/backends/fallback.py,sha256=-9c_cvXZ1nNBjp8TvBisrDiwvhJUtruCK2z8FKk71_E,856
semialg/backends/lazard.py,sha256=vjZFwH7lIhByV_8F8Jad5Z82dkBjCORsHQjZiJQl5S4,434
semialg/backends/mccallum.py,sha256=mbi0lCYYPS3q2yCdVTr0fK_vxzKMtPsB1V7-AvdbR10,444
semialg/backends/registry.py,sha256=AsH85nl20I-qeM2YN8ISC5vbrmtLafB5AhXXYGswuQ0,1047
semialg/backends/tticad.py,sha256=b587y1AG_2lKye2oB_nC6vsAG_d82MfP7kiuRsCSQjQ,259
semialg/benchmarks/__init__.py,sha256=oZUA_IN23AzVHGnmydtUeW8Gq_iZbOKorrHwzMFu99U,1079
semialg/benchmarks/cases.py,sha256=Qy35xBroyjxMwMcCr8BrFsoZfHvPg0b5vlL_gDRwrnc,2246
semialg/benchmarks/performance.py,sha256=nODUp2qEU5Mf_ycAdeL6qdRtUaY6VFx9HPxGDjxk7xU,2873
semialg/benchmarks/results.py,sha256=4F0n8iT2zpzTYi0Eo2ityepmlf-6PMxiB0GMobnAeyc,2118
semialg/benchmarks/seeded_witnesses.py,sha256=AsbS2moYgHqaSae-O1kx6yoW6qVt5iRXR2e8ybik7U8,1968
semialg/cad_algorithms/__init__.py,sha256=OJrTm-qU5LB9UKhD0PLDzLfcOGWlw_4qkjlOKP0K1PY,2625
semialg/cad_algorithms/bounds.py,sha256=H_fGGy6Hk7eTXPYrkFRxexd1zi26OR_GvR36teRoLFQ,26415
semialg/cad_algorithms/cell_complex.py,sha256=w-DnWLzaaMOFFBI7wlghqLqAvbqPpa2uNdZzoCqad3g,6386
semialg/cad_algorithms/cells.py,sha256=UUfa1HAgoLz6p188Q4ASmd3WRsywEW_BclkaQu-Z35c,2076
semialg/cad_algorithms/constants.py,sha256=Ez13l6eyg0rZc0n9YK9G4NHq_7Sih4tJwG7QzWSWhvQ,499
semialg/cad_algorithms/cylindrical_solution.py,sha256=wygQie7PFTgQb5ZMiPoVQOG5pQZGeoI1Fh2_l40JzPE,10441
semialg/cad_algorithms/decomposition.py,sha256=eTGTJWF6OcNqqUHxZ-6WL5D7y_KJSqL9uhWpk7Hcxgw,14427
semialg/cad_algorithms/explicit_cells.py,sha256=abZZjdEQMPFRFl7yq8uBWbXKoDvnfzzo4_dfpFT1lRY,22240
semialg/cad_algorithms/integration.py,sha256=GIMKdskDSbEYxy2HwCDY1uBp0K59cuDeQUFP8GvJaH8,11619
semialg/cad_algorithms/meshing.py,sha256=ZSJM18MLivCILTVI_kjHg7BxEy91Ciploy7evFVn8dY,13113
semialg/cad_algorithms/numerical_boundaries.py,sha256=Es91SRWLCuI8j1iWwYvHruie7kj6XdhHLA3IlhLRqZ8,4384
semialg/cad_algorithms/performance_cache.py,sha256=BuEkU--ASCWLhVtstt9yLWecaX1lJV5qzGr274nS868,2431
semialg/cad_algorithms/point_location.py,sha256=JbylRp-AD0pLZyxXwtBflhgEJnjnwG0JZeCr906gPs4,3031
semialg/cad_algorithms/polynomial_utils.py,sha256=8riQVNNQwS1YKsWRBMkTg1yUhR8mMDcjBgsqf_1TaIU,8710
semialg/cad_algorithms/reduced.py,sha256=vJkz_sm3dBA_o68FR9OhmiNEAY-kOnoYP7rIFU40Vio,27341
semialg/cad_algorithms/selected_samples.py,sha256=eITzyvvrHBF4yJ6jlCnp2wkhPGH7rv4WCkTHo931sqg,1606
semialg/cad_algorithms/structured_cells.py,sha256=gxzkFZAHrs2eZnmTcoBR7iD2lOf9mYO_WDNZMqUNRxw,20362
semialg/cad_algorithms/lifting/__init__.py,sha256=p2GuW9sBeYtpj6lDFMATmZrh1kHVfX9PWRYIDcM9MkQ,328
semialg/cad_algorithms/lifting/groebner.py,sha256=qGhINEgHQnjBJR-le5YBOZ9HOMAC6YyOU7WAsS8UPss,8127
semialg/cad_algorithms/lifting/lazard.py,sha256=SJziANh56z39LzDI2dhXf0vI4u2oNo4sUcVx2a6jIFU,3530
semialg/cad_algorithms/lifting/sign_invariance.py,sha256=3x34tbNDDDNc1Q-k8SA2UhJNUG_KJHDPeyY1SrESMdg,2256
semialg/cad_algorithms/lifting/stack.py,sha256=uXOat3O0kiY-kEZly-sQXuN-yVCnFAPC3w3IGKe-8DQ,2002
semialg/cad_algorithms/projection/__init__.py,sha256=DpF7NTdkJnevkqKkB973w1cuoT9nSMzX-mF0q_wH7wY,930
semialg/cad_algorithms/projection/collins.py,sha256=tsB-pILFpHMSGrF9buJndBT_XMZcHXxOn0hEirtwmJM,11684
semialg/cad_algorithms/projection/groebner.py,sha256=n21bhtM045w84RMHI3oykDwp8MvVolqnEwYGoOiLBhU,7052
semialg/cad_algorithms/projection/lazard.py,sha256=Uhpa17PPUyPA-QeWIftNDxmesP2ioyJVxkvvYVC5_Rg,819
semialg/cad_algorithms/projection/mccallum.py,sha256=SmcQvZxAMzTQRGk8SPJw-nUCBcydP46h1znoVbLBwf0,864
semialg/cad_algorithms/projection/reduced.py,sha256=7xxkkwDWqQToy_Z4fpbQCFLT-WZNDknxTZJ21guAvnc,8555
semialg/decision/__init__.py,sha256=3XA5KaAa1TaOQVoNq3Gnw1fg9i9h_JRgKY65dh959nc,709
semialg/decision/_inputs.py,sha256=Z7RNM73rKq0maeKmHsMb_uRvP71kRkDL0rG_OTq3AYM,3722
semialg/decision/_metadata.py,sha256=jOblXO-WNkxplk1h_h5MrSFRLDSoQ2jDWKsGj-NulD8,14752
semialg/decision/_outputs.py,sha256=C-L-a9gWNieCz6wE5D0kJgNVRaWpio56ZblRR78qkhY,4911
semialg/decision/_predicates.py,sha256=cB9DEDyjhg0dNv6WTxi9EqCm10kiFHDtYfjS3tVVDFw,12432
semialg/decision/_solve_api.py,sha256=OYeJxcS5zuwLBLiSV6OdSY5oNYw_T259_IF2wUaNVTk,14316
semialg/decision/_witnesses.py,sha256=GiQl7o6se34HqXol7KoH2aotO7zd6It6qq_bheQWLaY,1413
semialg/decision/api.py,sha256=Sjul02aazQarB-YlqfzvsR2DSyNJGCDItGsvDGSv1LE,32110
semialg/decision/sampling_helpers.py,sha256=ZjGDt-JX3gpEXH-ojBYvfNMtZkASevt94t_VuRBqxCM,5055
semialg/decision/solution.py,sha256=B8VHq_Gopf68GZha3te6WjK3HSHg8fAdb9jUatt3tEE,18529
semialg/decomposition/__init__.py,sha256=t8FDkBkS63EjPSyDfwvasGcsu1sISvsuPF-wvITBBc8,1083
semialg/decomposition/components.py,sha256=u1lzsphutTcZeTshhzYPV7sM9nzs1Iu4X3-JR0uGDLc,8729
semialg/decomposition/cylindrical.py,sha256=SB7oI4vUa3mckriUWdufvzHhwk1Zu5qIycSkavpGlXk,29630
semialg/decomposition/generic.py,sha256=L5qpFCvliJaveEr9OclNP74M8fZeI7PqE_Cx_esk_Kk,17414
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=LgI87ZiLauHAeOBfacyl63ANLmtr1X636WNJDyKEg4A,3290
semialg/ec/selection.py,sha256=G8yciPUE_4q5pe_iO6AjKj4RQs0XALvpcztCg3XNVH8,1345
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=z-GJLBGQI4IYWtLenvj-QvhnaGFZfNcAQ4Ew2WtSwJw,5348
semialg/generic/split.py,sha256=IUENkcxM48GyOEIL-6Bbn3Nxu4bEvY0TBicJ2wR_aHo,2656
semialg/instances/__init__.py,sha256=d66ZHBSOEfR2Dtt8ETgRc29huXkNY-Ss6vdk9KTcJes,2326
semialg/instances/modular_sampling.py,sha256=aZGmVrPdycWqISLqr6ZZd6263PyZ9qVE1lLGXsqrGeg,1380
semialg/instances/random_sections.py,sha256=ZXeRua1yWJrZGAxHFwrVtYQ2u0Vewe3WlXk-AwYO71c,2077
semialg/instances/real_bounds.py,sha256=AppnkbSVMxXainU8w469raAdng46HmBj6J0T6hVe5SY,8714
semialg/instances/real_dispatch.py,sha256=AxwJX3f2T0zfm4AA0q1So8gb-wcvKaPy9-gALsCRpLM,2261
semialg/instances/real_fallbacks.py,sha256=hnyKYCrM4zdNXRAy5OfK-hr7ByqbXUiVYyBiA_KGCEs,1852
semialg/instances/real_utils.py,sha256=t2-g5yG89me298X-zmbX0Vnj6T5H84lwZJHReGxK7jY,18223
semialg/instances/real_witnesses.py,sha256=P-j8qN5jYgBjqN7dfI4mswM37cPzzc3GNOVWcoS8Mcs,16276
semialg/instances/rule_extension.py,sha256=leOzPSY-6VJ55a4WRZvVbx9fq0mRUNLBIU92ysUG3zI,2659
semialg/instances/witness_generation.py,sha256=iVD2E0Ezk0qLsk7Jm_cjiPr1NHOoaLkHkdRDmEzP7oU,7426
semialg/partial/__init__.py,sha256=nmelYyRk7fDWKGpu8hq2jr21Viy-lPjcWEVDxs2nN-I,549
semialg/partial/lazy_lifting.py,sha256=rFQQjx5IN2tHtq4m2iYO8lWH1Ayc0egmBb45-Vi9RGU,2619
semialg/partial/pruning.py,sha256=KxASSN8S-iy16KjgNrWLTKWDn9PmyXYH7jTYzqTjWGo,2367
semialg/partial/qe.py,sha256=XSSenHeQ7PVEzASciq7OHpNuOAUBHx8J00cD5VPeDBY,18586
semialg/partial/stop_conditions.py,sha256=1OAplfonijTKPfAtOeTnnSSPrgYIZWakfzHtH9Kzu8Y,743
semialg/planner/__init__.py,sha256=WGJbkk5hd5iy4E65sfAqt3J1o1qdHhdmZB5825qmpoo,1300
semialg/planner/analyze.py,sha256=Ax7XM64Vy_wQwtGTpqsYQX0edjVmSmY0Q3oTbEga_KM,2242
semialg/planner/features.py,sha256=dD-_NTzrMt2Bu3t3l_5eMJ9eaC7RDhgsalePAKZZJNU,7589
semialg/planner/heuristics.py,sha256=yCJzHvlTdwCILFyrgg9zuYaa5U2IMbp8t7KOX5ujMSM,28333
semialg/planner/select.py,sha256=T9qaXO8xtg2fDQQjyLY1DZqRhu9QnoK2vG8C7HOfmyk,4267
semialg/planner/strategy_memory.py,sha256=5MvewUBsBOzU-1CT6cqRHLMu8icMqxelDj4uYte0Rd0,1025
semialg/preprocess/__init__.py,sha256=t1AksPDZVVvylL8Rsm8isV0084VZBw_CZDPmf3LU0QM,795
semialg/preprocess/abs.py,sha256=vOZF1R-K2xPV5z3ERjCj6QFcwMThwY99mORJHcOAqBM,79
semialg/preprocess/algebraic.py,sha256=NLTq7WxWRzdM4Av_uBHNCt9hWnjp8UKJcq4h4m9NsNw,3395
semialg/preprocess/auxiliary.py,sha256=NmLc5OOaF2x-qZPuBBVieg5WpFAf8CqnhYkuePD7SjY,1067
semialg/preprocess/branching.py,sha256=3owhbJ-q33DF8CE3cm_CrHLAahASdAwaxaeSQqHoZq8,1035
semialg/preprocess/formula_normalize.py,sha256=rE-1GIaN2D1kX_mQ-PeUPjAfcpgqkgraApOMWaVmVRU,2724
semialg/preprocess/groebner.py,sha256=54gDivnRibpu-ttAWActwDwGToPDS3DGco8IpqIevJg,1040
semialg/preprocess/rational_power.py,sha256=f1M8avNX6A358YFuKiiDJ-X5H0oOri5-7fcWhA3NKbU,107
semialg/preprocess/semialgebraicize.py,sha256=6Fg9x1lqFTEmViBEu3dyooKsLfEUxLvfKgvCsh4H8bI,7340
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/cell_reconstruction.py,sha256=ATcrcH_oaiwgBoaSsAk3FZC6ia6g8e2AJPOEdCtpBQ8,1884
semialg/qe/complete.py,sha256=3Fy_e-6PTJ5OFybAS8xdg5cm8o3gy-iRr4UVk-5j2xU,32911
semialg/qe/prenex.py,sha256=aYst-NjQMqTUyjjTMu-NrbZg9eoTmf6Nh43mvmNJ8GQ,3133
semialg/qe/witnesses.py,sha256=WR4A7eOUAy4an_UhKp3tHoqfWlxx7YRV4dEQAgEfUZk,2361
semialg/qe/virtual_substitution/__init__.py,sha256=oTeQBLl_N7W7ReOT2CwdvQu5eDdbTkG1VQkA1F2SXBE,1096
semialg/qe/virtual_substitution/atoms.py,sha256=fzi-jz1oIP2Bi9kK7Etb_-OgI5FrcF79WWny24rcraE,2207
semialg/qe/virtual_substitution/eliminate.py,sha256=ro9I9Gf80Te4GBdnBGvaM9h0tB77_3JsFX5I_EP3eVk,9445
semialg/qe/virtual_substitution/planner.py,sha256=9q4zmCkYmX6twiNk5eUS6FuGWd_WKSl4QQ1fcSZe0js,230
semialg/qe/virtual_substitution/results.py,sha256=2M9pLkWmAVADEnF-wZZ2atC2JeUA_fQ0RZwMd6Ye4YQ,2324
semialg/qe/virtual_substitution/substitution.py,sha256=eAq2BieyOc3JucZc23C4LSY5pfQg0lXFpW-aB5VpveA,10952
semialg/qe/virtual_substitution/witness.py,sha256=cWiQrJvDq-zSbt1M7bhQfFM-reKq8AdlXL9V6-Sp9FQ,9399
semialg/reconstruct/__init__.py,sha256=sc0viKURswKOwp-zQsYB823V6SkGHs0jSTfaerCwATc,897
semialg/reconstruct/cylindrical.py,sha256=TJS7eQWTashcDTVuS6n1yOOK03JbnecvabCqutiRx_s,6506
semialg/reconstruct/merge.py,sha256=XY22aVfBfpfaL9cJu1I3SWH6MqcyQyOq8K3ywHCsH38,1400
semialg/reconstruct/nested.py,sha256=AVlZzYU4B6uf_BAq9r9rB3vUM3xp00wB5mpdELi26Wc,7475
semialg/reconstruct/radicals.py,sha256=wgN_O3MNoCTpLlfi4sYP6W64vzFSaQGK1as2blFXBMU,2472
semialg/reconstruct/root_functions.py,sha256=4_yecdBpW-O6WmRzWYdPvS2Kmxf7xqiUJ2hEX4gwoFo,2505
semialg/regions/__init__.py,sha256=AigGHhZUCN-KtzOz4Vkei9C4ZeRdzQu4Jw0Yz5r_rx8,1323
semialg/regions/boundary.py,sha256=VfVFX4P_8JGbETYrIpDIYKcrIqpJWzjpy87kboNyZqM,622
semialg/regions/cell_formulas.py,sha256=i-wlExudgvOoKmPfYhl-XeiJA9Eis2g2uMuzLOrlUe4,1848
semialg/regions/closure.py,sha256=BCF1DMaNzeDVh1WdNHGtOZ3ArJVziUBemx7gsuApKaU,404
semialg/regions/component_samples.py,sha256=qYjPH9KdJwtRvlS2Mr4xBKloNz5Wc8qInU9mQfH9K5g,172
semialg/regions/components.py,sha256=fJVJlZ2EPfclIdcQ_FbiMf5fo2N44L-lFyBlDp2PbcM,787
semialg/regions/instances.py,sha256=ta7oVr2ggSBmEDtI3PR-TcpDPclpP9yVw4yEHF9fihU,485
semialg/regions/interior.py,sha256=8wHXcm7DBp1imBhEYTXrfBgCKJshZZ_cAiSG92tKmCc,409
semialg/regions/operations.py,sha256=3_8IsYNayj9FGqFgMxtRQdDtDroIEgxJ4p4TgTv4mow,30067
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=Vs1bn4BHA-Ket5_Y0Hfyh2_R9Im2Pk61UKb9Nvw8zaU,1134
semialg/simplify/atoms.py,sha256=AYRvc4GWX-tT8qGJnyXERYpE3Juj6OBWVp5VbvTlpxo,6194
semialg/simplify/boolean.py,sha256=XemRmmBoJm9usqg3TWZUP2GYL-OxrS-oIZ8u4UXbTSM,2785
semialg/simplify/bounds.py,sha256=-_0sRKg1bMI-uBRUlWseOXKFseLck0R30U0Omu7Rm0I,6399
semialg/simplify/cell_union.py,sha256=HhM7wN3EpO5EabT0sM9a5lBO_cHVagYI6bDcZ_YSCbw,7506
semialg/simplify/equality.py,sha256=5NXWGCMMN0hBOxE6Ydn6lP8bZPWl3VBk4xiE6AFiamI,1796
semialg/simplify/formula.py,sha256=fMJSCYOkLmZtOCfbvxPLVQXzf5OSeyr9Zas_47BHJHI,3865
semialg/simplify/implication.py,sha256=sTR2EfpcWNTuElptj3QDLLC62siFan0pZfsjloqBrbc,16342
semialg/simplify/intervals.py,sha256=akf9TdAPgRNu22ObrEIjWnNKxoRZTV110s-Lc4HoRbc,4770
semialg/solve/__init__.py,sha256=8kEftO8rhHvXQ6ZXm1tuc18AYnbcgj9ff4aVWO_Qsy8,1465
semialg/solve/complete.py,sha256=i31XrFm6HYypXcS6CuMM_r8ZQdhaiyQyliTV9mh3W8s,4036
semialg/solve/domains.py,sha256=PQYkNHZb3Cjfyftq_pJl9Kl_C73gjFZoz88DehBj6zQ,437
semialg/solve/equality_ideal.py,sha256=1snLwl4pAyWhEhCwtZsPEeyuxcgifcy5H4MzD0e4lUE,1166
semialg/solve/find_instance.py,sha256=n-ZDf2aSVaS7bVtfgrqPlW4lXepp7kIJ4mTGcnWU6l0,26292
semialg/solve/planner.py,sha256=oJQ4VvtkGumJjqxQEKbb9p8EytkO0P5gzZja531ihpU,10824
semialg/solve/preprocess.py,sha256=Lf9u6PHaHL1EShJZD2nq1-hcKxhelJD1xazDqxvfRv0,193
semialg/solve/reduce.py,sha256=uXC1oq3C2GkXcbU5d1FU076oCLo4iurGZ8_ZVRYeafg,23716
semialg/solve/resolve.py,sha256=xMRcHDxfLY7WcqIbsTcXIOykRuji9Hs0h_OGly0Y0_4,3115
semialg/solve/result.py,sha256=0XWDpRP_aw_fJAt_3f14FGACy5B92ZV6U9mLQNZRmDI,368
semialg/solve/zero_dimensional.py,sha256=Y-tqMg_9HHIGZZFORUkMQIPbzk54MNyJr4FgldVTeyA,8398
semialg/solve/integer/__init__.py,sha256=vb7iVJb2VqN5kWi1r0D7c7RRwDutlEvsT3pw9vMY1uw,5328
semialg/solve/integer/_common.py,sha256=PaMIjwJjrhAWWbi4_zyJD8qbJMiNfcC_9AOYj-rf9mI,478
semialg/solve/integer/_linear_candidates.py,sha256=JdyaqOmsHmHQ2sP78ChG2bqIRWuibvJR8Nh8pfbjRzQ,1154
semialg/solve/integer/congruence.py,sha256=azrJ7FNDBEk2dS4mJx_2ECPcKehEhWI6deOqcB-TBy0,34895
semialg/solve/integer/diophantine.py,sha256=mnXFnLo6eWooDxMxQ1VsTxu38Gv2GKd1qpT0G_luZQc,18341
semialg/solve/integer/engine.py,sha256=nUpOwf2dbPUYeuV3KbUoK52MzGIZc71aHMifVYiHFCo,4835
semialg/solve/integer/factorization.py,sha256=WypolzGeIAkhQAPSoNdmdVgo-Vfu7Aig6JFy6SkW48o,14211
semialg/solve/integer/families.py,sha256=mn1Evh_FAtqi28YdGSc0CeDvVMXpaWBLLtyVJ48olZ8,2153
semialg/solve/integer/formula_utils.py,sha256=6PYf2cn-2E6pTJ29PrkhQZDLoUA_4cLBV7JNl8faaC8,2524
semialg/solve/integer/groebner_recursion.py,sha256=5l1nUEpsgfrzArY4HAQhBLIR3t1v0VcCsod2qK9e3fo,20315
semialg/solve/integer/linear_divisibility.py,sha256=0wXIqw9YsbkL42QoMPkYkC0aP6FE-4OB8UNF7jMh2so,2132
semialg/solve/integer/linear_recursion.py,sha256=3RSDkThKCRCJbI53V_WK2gewVlAK0u2h0ZtaGQjT9qg,8160
semialg/solve/integer/modular_quantifier_elimination.py,sha256=1JxLsCMvbjHcmxOPkN8DgAUlxvdr_WxX_-1BltrFeCc,17757
semialg/solve/integer/output_normalization.py,sha256=ajO_38oTTyNYo4WhuZPayRezVu8bLgtXrydVia_zPHg,2038
semialg/solve/integer/special_families.py,sha256=ejfFDyQMhfESFxYJZZWDSIwYolozzGQ7RlE3Vjg3kb8,13686
semialg/solve/integer/thue.py,sha256=9Pr7_7rp3YWS5F4ZMzD5E2Csmzu1vqra8of4FtdW00E,6102
semialg/solve/transcendental/__init__.py,sha256=5o1PzfzTkA6W8g0p8vA820cIFjLZF-WzmYYYUaCzvXs,2841
semialg/solve/transcendental/cleanup.py,sha256=FdeYv5oAQ7PzvuiN0h9vaBQRLOKpqafL9IuX1kPMlG0,2703
semialg/solve/transcendental/engine.py,sha256=Nd25Lkfg8KiA4S6nnRZ-VXogy6vWB7mS1xVW6jXypmU,13423
semialg/solve/transcendental/families.py,sha256=H_h5za4Wlv1qUDi8CD1Dj27B6Aa-a1ktVykoNGGBwrw,6671
semialg/solve/transcendental/periodic.py,sha256=hOHD3zWFWMZzwTjl_qVdPDrfLmnFfUrwyl8bzMy6Ufw,3790
semialg/solve/transcendental/preprocess.py,sha256=OCBm8DHgmUWOeYaJDFuIDMm0rMMV5zZ6HLKAUTymgZg,7319
semialg/solve/transcendental/quantifier_elimination.py,sha256=SKpKzk3Cz0u_o-lJMsuD3KWId0tBeYN-O-bXq48dTts,5006
semialg/solve/transcendental/roots.py,sha256=ozssi6ofhXiWEObsFYPNhb7pwGIEfhtHPQcyIUGeBzg,13643
semialg/solve/transcendental/semantics.py,sha256=Vb8bRo3v0miplEwZIu1zEamUW7QN5IPSET_Rj9wx1UY,1787
semialg/solve/transcendental/state.py,sha256=jyPhYE4y3pqtc2CBkilwqxO4np15iCJOP93LHZmIhdc,6071
semialg/solve/transcendental/system_roots.py,sha256=WjkLkMh4Mj1sXWyiWhyWRSHtbcx5sSafWArJkwYEIgA,8415
semialg/topology/__init__.py,sha256=nUik-L2SI1_xwra6hHGGPDl0tESBzlr2kKuVERYkq_k,783
semialg/topology/components.py,sha256=tu0un4lO2KRolnvlcp8xmXrCdwUjRPA_beIqx4-w4WU,1799
semialg/topology/incidence.py,sha256=901vzRrAOZhOYhJzzgsNO21BqnGAY0AUvn1cIcpEBFA,7701
semialg/topology/operations.py,sha256=M11CDKjpeuEAFBew7OikcT50aQeeyDCu688YD2rR2bA,6068
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=5IX456DWpx9v3mc2ueSYbXEf6G_mi_u-RphFfFn45xo,9221
semialg/univariate/__init__.py,sha256=hCq9z_XlLsQ5g_t_Zugdpuk9rm_sgJ-rM8rV8ot9NTo,320
semialg/univariate/decomposition.py,sha256=Pu3k4qzQx4WOxhkRO0GWfDAVhsL6tpY5UkjSu-cgUvg,1640
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=4xAqaYnVI0gDS_esPylqJtsMwQShgtP64uILqZOAOZ0,1787
semialg/validation/corpus.py,sha256=JoZt5Z70ZEupwezzJexVgP5pbwJ3wB1UFxkcf41sqrA,3710
semialg/validation/equivalence.py,sha256=iRDT5Qjf18r0_Z7X2urrufAQoU_NUq7CvHrVxeLo1uc,1348
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=cTttSghuWlHqNof2c_9BtHVVBrZ4C75DZ0uaI5qQVbM,6234
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-1.0.0.dist-info/licenses/LICENSE,sha256=OXLcl0T2SZ8Pmy2_dmlvKuetivmyPd5m1q-Gyd-zaYY,35149
semialg-1.0.0.dist-info/METADATA,sha256=gWiRV3lT16C50Ka_AHggHkpd2gIQQOfHWP34O6VQBec,14533
semialg-1.0.0.dist-info/WHEEL,sha256=YVMoNqKzERt-wjUZwJ33xBGAwnFl-4cqbYkTtWa4itE,91
semialg-1.0.0.dist-info/entry_points.txt,sha256=uRMIuahmKIbDI5-EA4b8C9WVUaeV43_u7au7GI9Cads,45
semialg-1.0.0.dist-info/top_level.txt,sha256=AklsgfzD5wqQAXdP_QY9RdKSh9JgqurtBmEsz25fwS4,8
semialg-1.0.0.dist-info/RECORD,,
