semialg/__init__.py,sha256=r3lcyYnne2ZeNDNXNuRNzrkijGS5Oil2yF2VQLdRlQU,1031
semialg/_algebraic_decomposition_types.py,sha256=X7E3FnQwegMckE1GPheVxRSVbj1mE9K-N6EztubVPa0,10492
semialg/_api_policy.py,sha256=ZR4jRuA5OJW-3rmtZneLCaOwCsJejGWW9dSvjoqyORI,30714
semialg/_critical_loci.py,sha256=yeq5VpwpEtubAHvx6PnHfkOb7ndmHfW1MeKXygr3I68,4268
semialg/_errors.py,sha256=TBm3oPFEGRtMvuTCj_myuU7XkT0lNnjxj4tjRIv3p2Q,294
semialg/_flint_arithmetic.py,sha256=E9ORm_EQ-MPM1xvlXsxmfcJ3GOZBG1oEC2eP84NstyI,10152
semialg/_function_algebraization.py,sha256=T3pcHsgAbY98XhsnyFL8RCcTLITt_DCwdwIvYaWr4uI,9827
semialg/_function_analysis_convexity.py,sha256=0Kq_0cTGUK1xYyWU3_rSVxxt3GuhheizBeDr5tHNWnY,29666
semialg/_function_analysis_monotonicity.py,sha256=nwyBsfQYHIUtha8yO71nQ89uvYAbKM8cf4KHD_xhmno,20763
semialg/_function_analysis_partitions.py,sha256=SzWZuWyb_BCIGfKaDoo5zBeWYpyfQOrM2xci2srjJzs,28577
semialg/_function_analysis_properties.py,sha256=da8ogudF23Oe9D3_69NTfM118TdXFV1ouin8oki1UvM,20474
semialg/_function_field_compression.py,sha256=jqs01gvt931ZTRQnLTjmw_EFK9VPSPPDjRDcMJbpQIE,18907
semialg/_function_field_factorization.py,sha256=IIcQTTMotkVch_ubmxmEZmy1RUVyD4FQEM8adEYo_30,8831
semialg/_function_graph_image.py,sha256=Opg_B9QrTUHHOKbGUDnyocvV_ow6njqZWejsVdPabSg,5835
semialg/_immutable.py,sha256=EoNcEsTAtgLgQjjDNg3T-WW-IikdnH9sCaLVVxALtQQ,1049
semialg/_linear_relations.py,sha256=VmD1IIMo0j-ZVk52DDdWHr-tBdXcWJlwDcb6gthbCyU,4038
semialg/_optimization_backends.py,sha256=5r7iR1vqzKKg2BTMRj9-H7NmjjnCY8nUg08_5qQwT9E,598
semialg/_optimization_certification.py,sha256=q9BVzD3u81CwRc-G0M2C6elezPAnU65yZZ31IrQ2xwM,4916
semialg/_optimization_parametric.py,sha256=mnjL9-iKosRkUQaZuPJl-dDIHn5CQQKbZkpD16VlgFM,17348
semialg/_optimization_range.py,sha256=Iz4LleyqW2t_a5-IYLxc6A-wIaH5O9B_DSIK-QhzfCE,15746
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=BX0UhHJQWeChTY6DBCzqU3DWSGC7o33M3alXi1crToM,15451
semialg/_region_integrate_cad.py,sha256=1DSBwNEGv3KY3nCPZNj5a6RlKVOxq8ocMw3itPjx-FI,13046
semialg/_region_integrate_geometry.py,sha256=RJK1Du9IHuLW0KeKXYqclfIHP0fpSetHVqJgqXyF_TE,17394
semialg/_region_integrate_intrinsic.py,sha256=1tcPa7sUg0ZsoaTSaWx-cT0lYzeHEKplQiLzD2hOFDU,17268
semialg/_region_integrate_parametric.py,sha256=7dfCuaWYA0Z-SafmLPr1Gp_ltn8buVAfxqXhtf1eRG8,9404
semialg/_standard_region_geometry.py,sha256=ICDT8jNDmO9vpgCY4_aYY0iyo_ArhWZjm14PPgJGgxg,13891
semialg/_standard_regions_base.py,sha256=nU1KTrwPSppNacSjASBWCgq6EG4nxw9PWt1iHaeqQtA,15808
semialg/_standard_regions_composite.py,sha256=uWyj4vyUXKBe6yE-Rq6U8PNUAAzcUgS6H1CsfwXStbE,12737
semialg/_standard_regions_curved.py,sha256=5yomDzbnZaCK8PxPcqF6h1NxRd482uBhR-30GKJzCD0,20958
semialg/_standard_regions_polyhedral.py,sha256=-Jf_hv5KbH7bHxpwjXG1RSMsIqLmfyGiZ4pW7CIBo8c,29559
semialg/_zero_testing.py,sha256=ve1MsTqkIaqmmYyaRL8L3_7WxVFevaYST-85xwCU2Co,3806
semialg/affine_geometry.py,sha256=Vvb4mG6GxQrrJRBe1j8gWxOVRlEEsKcwEgjlc0NBquE,4685
semialg/affine_reduction.py,sha256=ssD_6Yi-TdOpmjBSLtkBPQNSKWEgjPu7XPxWZx69ccM,4479
semialg/algebraic_decomposition.py,sha256=9w_joYer-kTjnjA4x9fpOw3RMj6SgBMZQ9OIlZjRyXA,121214
semialg/algebraic_function_fields.py,sha256=KdomWxB8mDkPfcZaKo6XcggXYLTNbfstZDdRWOqDQRw,22692
semialg/algebraic_geometry.py,sha256=Zexxy7kpArNig8s8nhzMS2-eDsx0B6PlohdkuknTioo,15764
semialg/cache_control.py,sha256=PleWPzo_CIPTdEyM_wQyDQ4cfJSAN8lNYUo5pwS8vvo,9059
semialg/cache_utils.py,sha256=ldN-hEu0pdxuWAfCK1Dq7kl4rotu9Bd6H8bxf29P6hI,5987
semialg/cad_region.py,sha256=NXo3cUnaaN43zG0VdJkNL4Lzyu1UvlEITY3ItYCIviY,12990
semialg/certificates.py,sha256=wBTxcFPd8HjxrVHBIXEgz7qz3hoAGcR7JcZTnRWAsyc,14825
semialg/cli.py,sha256=TkMw1MA5p_3SMSoGsQoZd4cvyywo4GbZhrol0i5AJdQ,9331
semialg/conditional.py,sha256=kXA8LB2e_pQn2Cnf06qz4JPRk8IRvHsRmwBVXaPRHJQ,15855
semialg/connectivity.py,sha256=WwJL7etvdmCK234953i28_3eMhD_xu-KdIk61jCho9k,16435
semialg/context.py,sha256=1RKPvo0pu0Hvq64ASk9SumxWFPKUkmpyNVCHVRPB7o4,12843
semialg/convexity.py,sha256=e2IHOYDgIWlNSEDO7lOlAaIG4Y1pFSL20P9JOJz0Pfw,29382
semialg/decision_diagnostics.py,sha256=PptygqK3pS1KqMRfX-kOPTayaqzudirXLgx-lGOqSrg,831
semialg/decision_portfolio.py,sha256=6uF2qilUrWZqy2mewtrJFpu1-vOELYWznMtIwtyTXgc,4711
semialg/derived_geometry.py,sha256=cIjYLir5IFPkaRn10LDsFcWdKXO8frbj2eqJ6C84dLo,19720
semialg/diagnostics.py,sha256=TFB6vDPkTRwhCX0cBXnhmax50Xo9bOvY3vBASh6W89o,824
semialg/dimension_validation.py,sha256=5193JZbQuvY4owZtX1sUPWvN-JUB7EE5rBi8XBIfjcs,2681
semialg/domain_solve.py,sha256=YKtXwAd8lLP5oXY7XVg9jJmBE7oG8hIFdHuCH3GpemM,16039
semialg/domains.py,sha256=DAWtfOXTrAg-8Y2hSnPRl-rxkpxdAUKtX_6HBiKzb3Q,4262
semialg/equivalence.py,sha256=9dq2u0QowHoW4by0UFI3PkA-1ZPq6OzCp2pQ19I2og0,397
semialg/errors.py,sha256=pzs8B2F-12z-Jk-IFHCsq1kaGiuPko3epd2-kzhCpWQ,2587
semialg/exact_arithmetic.py,sha256=cN9m4ekmPOEAP-5ZaQGZmvr3Q0j_PSEnytkP3hMCC_Q,3645
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=Uu_bIhQwGyoznVhNoLhDZKhQg1Vl4yOf17JnRU65u6Q,14888
semialg/function_properties.py,sha256=Ajh4hHxKePegeK-now4Fz1bwzzo3l2PHs8s5MxVp-gA,21865
semialg/geometry_queries.py,sha256=pOYfbrb4EZSZlIh0bQn8ihr0NUApuFhkfe7rtWjc9GA,25776
semialg/geometry_validity.py,sha256=f5HGn-2fFmGyqnAHQ5ehKeqbK8A6C-5JasuMDgIx8oI,3854
semialg/heuristics.py,sha256=-JE3hLdpiaD44OQCdco7hak7mgjMSAQz5UBl-PQ7r24,7258
semialg/implicit_geometry.py,sha256=pXAQRhRoNQeFQUbiKNQh3LYQY8VmDClojYXK9eMu3K4,24538
semialg/incidence.py,sha256=bD2hsBgvtXg1csBdsL3s1iMhLLiV-J_cIsSVYCJn8jM,6632
semialg/inequality_reduction.py,sha256=l-cilZsTQr_EF8FUJPaqJXyKncQAjyTzAAdI559LNuQ,1029
semialg/internal_symbols.py,sha256=DiE7AHwRBux1Oy1DBgcBd-EKj2b2dNIreT8n1UlMdwI,2089
semialg/interval_decomposition.py,sha256=Qt-_Yqw4O_c3UUMvHp6ehy667ghLJWJeuHldKawXyXs,4422
semialg/invariants.py,sha256=1pAcWUEdiRAXAuzZOydHFkB6lU_RLdSEmK31-3yPp1o,1735
semialg/map_degree.py,sha256=zm1rrZtQS-Aw-_Q26bepyKBPf8mmQ5FPjfHvZj-jJyw,2823
semialg/matrix_analysis.py,sha256=m3CsHGlT-yklDbWm0tcNBBV9sVNvp1tPqgAPBKEGkh0,16821
semialg/measure.py,sha256=SxH8BlSnQj7AGWn_1OS-ez-78XuXRPwzhFSJySAf9EY,2449
semialg/model.py,sha256=FZ-mMNvpP4fluZvYEWUFjTZeSC4Gn3sxCqTA13tCvkg,6546
semialg/moments.py,sha256=0XMFjOTBXw0p-MqkfWTiikcdA6T9C7iP2HkuaS0hZsg,9400
semialg/normalization.py,sha256=RYQoQ60oOnhAw4R8KGddsqAc3fasSOOZ_tCXSstkWOA,8141
semialg/optimization.py,sha256=bZQOMsSSkxvMdB2S2j5AIdq6M6VI0gerYxAXYaT95Ts,37416
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=v2quvFPdNIB4aO9_zMsizHptVjWupgaRXCgqIj6cvcg,14230
semialg/parameters.py,sha256=419-9_GGc0bPYzIFc-embaf_5nsFi8z8owMv29FvBxE,14632
semialg/parametric_geometry.py,sha256=J1_zSm47V9Uf-mnVzf-cr4rLf5jvGm_IGDC6Fo96K74,22429
semialg/parametric_integration.py,sha256=SITIXc-IXqSF2M8EwJA1y2XaWKOZ227Ts4mKPvoKUMw,4579
semialg/parser.py,sha256=WPLz1sWhZYDSPgKkzWDsM5CyYKXihDIKV0RCZKIwWxQ,6265
semialg/polyhedral.py,sha256=kGczgk5POGoVyFRoz-u0E6RTQKPME15sdOOroFDQnso,18052
semialg/polyhedral_clipping.py,sha256=RVBhsYu5Yo1Y75ibFOnrP6xTvK9yNfcnKOcpzMniSVQ,3758
semialg/polynomial_positivity.py,sha256=G2Ts2hDlyEdHluC8IE0iRe-3Ioh9cBRodDBYBmNXHiI,16202
semialg/presolve.py,sha256=glo2Q1PHkX8qQobh7MEQ2I4DlWBw0SQlut_GFGFDihY,10203
semialg/quantifiers.py,sha256=TrjgBHU9cx-1ILes0l50tl0dsUXqu25RDd2aYyiIN2E,6934
semialg/real_algebraic.py,sha256=v_kSzkREepYSxbEm6B4NRabwsmt3uoHb5zDBYZ3jL_Y,17486
semialg/reasoning.py,sha256=rrIBvZ441LNf_D6scOeJkczXoFDGVtD5Pkl2BDlO2eU,1079
semialg/reasoning_assumptions.py,sha256=8N5cb8c55l97XWDMdyuTSlI7pofjYHsArqT0EDrxEsE,10584
semialg/reasoning_regions.py,sha256=0OLHWA0o9iJEgYYeCZ6PpbYSqCzqGAsZEn1on5jBWCk,14972
semialg/reasoning_results.py,sha256=fbTBEYapMIj6VHThZH5N6QwUkN3XVHP11Qa776NTspQ,2286
semialg/reasoning_signs.py,sha256=ABXqqcim89_YwMvL7xurunUQeApBcwvyc0G4vDxyzsk,18355
semialg/reasoning_system.py,sha256=x-DHb2XBvcwksOciWEZCHfTkSz2vYgiiHU_hKoD1wq8,10249
semialg/region_analysis.py,sha256=5tQ7_ktPUqpbPf3L-Ozg38kHA4AFkA0N2bXN63p99iU,32253
semialg/region_coercion.py,sha256=gSKKGe3jzp6m82c7oizaU4sv-KARNqT7GbBJIKuMM9M,13983
semialg/region_integral_results.py,sha256=0kocsHq-v5-Z2KJSBr9EE5LDqF1gb6sYKMYnI8saFcY,2487
semialg/region_integrate.py,sha256=LsCKIAYDF_Njh2_rWUrh3ZlllFYFL0dDNLz-iS9NRjw,21944
semialg/region_measurement.py,sha256=TZl6tLHEe0SIaZFhTlg_Gxs4G6TT8F8VkCOUABD096A,8752
semialg/region_native_analysis.py,sha256=ISrYgoVLAMjYyUtZMWh1lHEauCwEQMlnMAjUBHKQ4VA,2851
semialg/region_predicates.py,sha256=AbndywJoWf00CD6qqeChOz_Bz6VEtFZXWA_T8gPFBP8,12975
semialg/region_sampling.py,sha256=STd-HrOGxZpe1fs65tLDh5tGpma6Ss0jzSe9brg96TM,13024
semialg/region_structural.py,sha256=il1lGd5h8hZA3WP2BREyQDTzZuwmsEv-z5yQmYVT9Ys,24041
semialg/region_transformations.py,sha256=2ulxchBLIzCwb5-SS030tovFre0JDsqKDE5c5cNICqk,14378
semialg/relations.py,sha256=zS4iYGUfgw5jcMAyX-gsW04OPgm9O73smBzEyGerBzI,1497
semialg/roadmaps.py,sha256=3UQX7_qgZuGP2ICUvSMoGuhwTPNwM6AriDgBFRu7FmI,4459
semialg/root_classification.py,sha256=nBnzc5rnZ7YSwMJqj4aRCnbgcO7EsshvEmoYjPTbGoo,25392
semialg/sampling.py,sha256=RdPw58X0ly91JnH4sfr8YKr7oAR_QImyYTXydNhoA4U,16773
semialg/sdp_backends.py,sha256=Tga22qbpLwsZ98hiP5kgml89iiKAF_rYv8viB6njBdA,5272
semialg/solution_geometry.py,sha256=SUtyMYWK8MGVYmXhFKg1VTzgJoeni64DFHepvRsjTrQ,17015
semialg/sos_certificates.py,sha256=fC-MH7uTkhH2xh15aa7Jr8WXj0TELHMyfBxd4ARahtM,16238
semialg/standard_region_integrate.py,sha256=8M77GmQnI1-5skmlP4iNvhA1zqYLlsazkoKe_IuGUEk,24141
semialg/standard_regions.py,sha256=-g1DpsEWNUDRJm9-XEEjNjSE0QGFRNq17V0YR0AqVKU,1403
semialg/status.py,sha256=Gy0FQmt_b6AI6BJOaa8LjlUgUEz5O1lY_jLX4pN82Jo,476
semialg/strict_feasibility.py,sha256=Xp2JW8TZZWki96HcBXLQsmXC9qhM453ADs9B8k_nDnQ,4734
semialg/structural_keys.py,sha256=GpwVHEnU7I82Gvqu_BJ6A-VspaD79wFu6L3MR2i-fgY,1968
semialg/symbol_resolution.py,sha256=NOAb_ZsuTD1uHNBZwFk0u1ZuCsuNnagarFlAoYWj1UA,4860
semialg/symbolic_regions.py,sha256=UCRgPcSTzDHxvdZq7LOgcPdpWq7hZqGchzF8QAw4Rmw,30345
semialg/symbolic_simplify.py,sha256=XaK5hNknZ2TplK3BnClnRr01vt8-O6_iOhzxJjFfWGU,21709
semialg/tti.py,sha256=GsL7bjCH2fRYnUQn6_58T2sRzDhJHS-dGU2eIJnnVgw,2438
semialg/witness_heuristics.py,sha256=VJqFEn-smvRFw8E8djEf468DewDid3EgIxUVrrMt60s,7611
semialg/algebraic/__init__.py,sha256=vK7vxZQcai1gTB5RUTYK0OUyHtdcnB37ptYUOggFC4A,9133
semialg/algebraic/_border_basis_normalization.py,sha256=lkecV6gVEhdC2_7qXM9RT7QSpEnpUWC9sKVBcr_wsoc,9465
semialg/algebraic/_border_basis_types.py,sha256=LmzyHSQIDAHVjwEKFCUqdCpxKtgLJU3T83DpaOIPD3E,1433
semialg/algebraic/_gtz_primary_certification.py,sha256=GiFNd1CD8RUwOwFkvhGAzKdx43n2n-BWr-CG_5tAVIc,12854
semialg/algebraic/_gtz_primary_types.py,sha256=CGXnJea_L9Hd3qw4uyLfjcmeDSEqGaUXdm3dmefovEU,3221
semialg/algebraic/_modular_certification.py,sha256=ahQLdlOYj2a1-K2y6w7jAPaZko7-Q2LeIwpaj9vystI,7100
semialg/algebraic/_modular_resultants.py,sha256=8l9m63IiT9ueQxOKOtcM4S7ATcoNS9ABIRKQM7Gs5Rg,11563
semialg/algebraic/_modular_types.py,sha256=kMLqdkpmIT2QMq9-U3-rIHU69NQzQUrikkeJoLu5kSs,4551
semialg/algebraic/_root_certificate_types.py,sha256=m5l6_kHDpw7ZTuO5x3gDzOOURRK2m6v-1sAcChHO-XU,1283
semialg/algebraic/_root_certification.py,sha256=u49_Sktqmj9xFxFunByS_w3Ps5CRLKErbDVEABzw2Yg,4793
semialg/algebraic/border_basis.py,sha256=rhDdqYXt1bcW1e9LWwjQYfXwj2lduq3Xe8Bu2xFYGVY,28593
semialg/algebraic/cache.py,sha256=5Uuz1HBB60z0EdKEJtWIf4N7Ph6phF2FMDwOCTRHBqo,14697
semialg/algebraic/comparison.py,sha256=W2A258GAdKtS-w_k4nZKdyRAlAL_4zeq3cxt-tA9OPI,60921
semialg/algebraic/equality_ideal.py,sha256=499bFCyykNYcQkhQHDITh3jO3BUXG19z00Tq5E3Y5-s,26886
semialg/algebraic/exact_sign.py,sha256=jMvxdlPF2_HKGsRF7GmlZA5J5UWMoCstpOruom6gaJs,995
semialg/algebraic/groebner_utils.py,sha256=SFRvHAA3ez-cioRIQI-Z_nw6HntPlFeu_SkIpLPIC7U,5293
semialg/algebraic/gtz.py,sha256=yK2hK2CgRaIiiGRtdr5CpAjZGwxlNvX8ciAqkM3xorI,23420
semialg/algebraic/gtz_primary.py,sha256=YhPynNjoyr899rzzpkS-d6j1omVOm2JbE34bE-XBuy4,31524
semialg/algebraic/gtz_zero_dim.py,sha256=GyDB4iz8hlDVHycMpn2HWq-TSXi-7Ma19aXElgIXI5g,16077
semialg/algebraic/hilbert.py,sha256=DtCJr0KdGBkBkT3TpA31YN8A7DAaIF1hjxnrOoG5hgg,6559
semialg/algebraic/ideal_ops.py,sha256=g1VeXJSYmvT4BOm4SKp02lVVTI7Yzqv7PA-Wd6IkrN0,4676
semialg/algebraic/intervals.py,sha256=R3V5LuSDK1ysCGBk8q76HvWkJT6KdBvDp3QNh95A5KA,1606
semialg/algebraic/modular.py,sha256=Mhw6Dyj7KAfN3etaL01gl0NjyxOwHPwSOyHhz0FKuLw,27493
semialg/algebraic/roots.py,sha256=YcwWOF6k5G1KbHWNSQE7QW4_BJgKSESzo7XjEB60_-o,52677
semialg/algebraic/sample_points.py,sha256=LAzJlFH9cFEg151zVuPFBRQ399oe5_zddZXf-2AbTyA,2379
semialg/algebraic/samples.py,sha256=F62Aw5O_UOobnYWyEJBHzfO3_dWMYswRsK5XIk4TAt4,78442
semialg/algebraic/signs.py,sha256=gpcCJ8sUGCeJ6z5p-WGJKMBQ3bIr25_ningVw6HmxY0,49820
semialg/algebraic/subresultants.py,sha256=Kw-lVkKcTVA7Kxl5FvlYeJ8BiVLa0amjxC_uxFk-A3w,8733
semialg/algebraic/thom.py,sha256=V5uya7VR4lfYv2btwCIaUw0TtsGZhgeA53gD7LX560w,4374
semialg/algebraic/toric.py,sha256=O3RcGKT9n_WxFNyhM-gfuWEnYcbItKS2QE2tlqJXOKw,7514
semialg/algebraic/rational_univariate/__init__.py,sha256=shefIInXz-tHSgJA7vL55qmdWi_naCrcqSIz7_wCPbc,1574
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=z493W5NLR1SLsKPnSazRuUQKUMR0VIBRq2KTw8R7kLA,6292
semialg/algebraic/rational_univariate/signs.py,sha256=-HY0Gs6QOfxB4PT5DfAURuxn8tMyIHdMwh_-uxP9EDo,7833
semialg/algebraic/rational_univariate/solve.py,sha256=6ZbtLvpRwsOVFanPw-jVElR6BAdzqg6PklVeUSJv-lw,3510
semialg/algebraic/rational_univariate/thom.py,sha256=3o0gRQD-RqPJrRWG9JWwaO8QR4GbTqJ5O-NTGg-QG3o,2399
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=LtgNihYpudP73_VG-ykEILuF8_pzb7go87tEbbCEP2s,7421
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=oMJXaFSvZiChPIcIiQEUwJkUUQmM3UcIPVGv0h1lurY,1707
semialg/benchmarks/__main__.py,sha256=DczlnKM2H6NkL3C76m2JXLhI4ezMgWS2qtoSjC22htw,1817
semialg/benchmarks/cases.py,sha256=kNjg3-476KTcLY8YlBu5bZ4juTYMW3Jsaey73PzlPKo,9621
semialg/benchmarks/performance.py,sha256=nODUp2qEU5Mf_ycAdeL6qdRtUaY6VFx9HPxGDjxk7xU,2873
semialg/benchmarks/results.py,sha256=4F0n8iT2zpzTYi0Eo2ityepmlf-6PMxiB0GMobnAeyc,2118
semialg/benchmarks/runner.py,sha256=n9hr6JOAjI0dd9yNEiyuU9GXesitZwlFunhD66ZQFdk,9075
semialg/benchmarks/seeded_witnesses.py,sha256=AsbS2moYgHqaSae-O1kx6yoW6qVt5iRXR2e8ybik7U8,1968
semialg/benchmarks/tticad_dataset.py,sha256=GIeEuxnINWvdm4GD6EheYCjdmO_nyk4m_zp6F2SkKc8,10903
semialg/benchmarks/wilson_cad_bank.py,sha256=XTO8oHJpPLewQNQ3StynXjpt6HFB0Xzj6_hFzwt-vMA,16444
semialg/cad_algorithms/__init__.py,sha256=OJrTm-qU5LB9UKhD0PLDzLfcOGWlw_4qkjlOKP0K1PY,2625
semialg/cad_algorithms/bounds.py,sha256=X1moZOiNn1vKbCyezSGG6WlAHKXzZo1k9ZpeZawwxZE,26677
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=x_jE53oGoCy7-mFXZC6YqGFyAzk3LRYg-7ICRbICHGI,25051
semialg/cad_algorithms/explicit_cells.py,sha256=XDcQKRBRkTELagO6EIWuy0zBoqB99s2Vm_42EJZLC-k,24521
semialg/cad_algorithms/integration.py,sha256=6LsRtJrj7aNGa_thV6AlriJi-H3g01jfutAW2HgqQ8M,11996
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=Ff0vzR300wgoVIXqxovjeGSZboMO_W9bjHtK-Ywwftw,2705
semialg/cad_algorithms/point_location.py,sha256=JbylRp-AD0pLZyxXwtBflhgEJnjnwG0JZeCr906gPs4,3031
semialg/cad_algorithms/polynomial_utils.py,sha256=GMwOCqQi1CQPWbroIxxvxybwQJ_zezjrWDU7e5yz5SI,9896
semialg/cad_algorithms/reduced.py,sha256=DqZmFEMPU_rEvhPOs9CKFzbAafvbEAT7Qojrhswgvq0,29982
semialg/cad_algorithms/selected_samples.py,sha256=eITzyvvrHBF4yJ6jlCnp2wkhPGH7rv4WCkTHo931sqg,1606
semialg/cad_algorithms/structured_cells.py,sha256=BF036p0jSHk5C_uHdK4hcoJ1Uuvw6kb1il5X-FhEnwg,20463
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=dvIn9Ez_HC30CSEfuYmNdcVhZGdQxoQPFCIbsR2Rg7I,3516
semialg/cad_algorithms/lifting/sign_invariance.py,sha256=JB3PiNXZevtq3mRtON_XtvFOylC8INWwcuJ7f8Y3Wew,2261
semialg/cad_algorithms/lifting/stack.py,sha256=1NQlJCByJK8wPIyrkxMN7ejG-kOolEi5h7LSnM4nN9A,2915
semialg/cad_algorithms/projection/__init__.py,sha256=DpF7NTdkJnevkqKkB973w1cuoT9nSMzX-mF0q_wH7wY,930
semialg/cad_algorithms/projection/collins.py,sha256=gfFxorHZh61DDPnlv3tepkdLohy0CJZRxMcwMSUpmXA,12176
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=tn3jfb36us5OLxKsGFzQg3E_GKaI9zjpg-LWAZWh0_s,8908
semialg/decision/__init__.py,sha256=3XA5KaAa1TaOQVoNq3Gnw1fg9i9h_JRgKY65dh959nc,709
semialg/decision/_formula_support.py,sha256=CbIZ1MdUrtKp5QtO9NpIQ1pXo1vSRoTwz_r2B5ywF5Y,4434
semialg/decision/_inputs.py,sha256=30IRNrNz1yH-j0mVp56IdMWWkpb3WENYrmZ2o_DysFs,4294
semialg/decision/_metadata.py,sha256=jOblXO-WNkxplk1h_h5MrSFRLDSoQ2jDWKsGj-NulD8,14752
semialg/decision/_outputs.py,sha256=SRzJwpqKoQHZqsBUL3wa2GF_xlXi3_NtOdXInhXjbg8,4267
semialg/decision/_predicates.py,sha256=2T5zLbgeU8_KnMGpBUeYj_mPyok6o8DPm6yWazX9gcI,13797
semialg/decision/_rur.py,sha256=k4Ye8tuyyDToWEwS6-SKa3MlXmTjKpCN7oVPtURcLEI,1618
semialg/decision/_solve_api.py,sha256=E5SNYp-Iy7QFy-3Q-hHKuUVkyfehu8_WHz7VlUKdnXo,14234
semialg/decision/_witnesses.py,sha256=Jvlr5VBptgwNN9QCjeaDnJWOc-OtG7wrygJFaaImVao,1434
semialg/decision/api.py,sha256=MvlnmKjBIeCuEwXqhaAi4YLamoGjxM3CNeEsA_EZwzk,28887
semialg/decision/sampling_helpers.py,sha256=saNiLX1oieZps1SfHNi6IuTOp9-GQGCSHju7ng8k8fA,4847
semialg/decision/solution.py,sha256=w9vhtJ6bPEApKjl67Se1NKOZML-Cvk72akPFwV6jJ3U,18725
semialg/decomposition/__init__.py,sha256=t8FDkBkS63EjPSyDfwvasGcsu1sISvsuPF-wvITBBc8,1083
semialg/decomposition/components.py,sha256=8L_1kTjrNXuxhvKs1JQIdq6WN1ZSyQwaeV2Q_756goo,8962
semialg/decomposition/cylindrical.py,sha256=JzlhVYXOPjnP-8UMGZhgQY4Qi4j7fz3SBjxWJa2UfeI,29842
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=x4JnREpZc-JK9cxTB8QTn_ovErvbEHiU2ECnR5NO9kM,5320
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=uKAwiDSf9BBoVLvub7e1oI1C1MQmYGbyZVfODeFAGZM,8763
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=jmXLFqYE09zsRvdF-WfokAuWtfB6kyyYO9B56nluk6E,16362
semialg/instances/rule_extension.py,sha256=leOzPSY-6VJ55a4WRZvVbx9fq0mRUNLBIU92ysUG3zI,2659
semialg/instances/witness_generation.py,sha256=wVS28iTtxLR89g4BHsJov6j5jJFE29B8LdPXizWIHB8,7431
semialg/partial/__init__.py,sha256=nmelYyRk7fDWKGpu8hq2jr21Viy-lPjcWEVDxs2nN-I,549
semialg/partial/lazy_lifting.py,sha256=_ixkT4Ij7Lau_9UIr9qCd7gjWV430huCP9yiVtTn-xI,2669
semialg/partial/pruning.py,sha256=KxASSN8S-iy16KjgNrWLTKWDn9PmyXYH7jTYzqTjWGo,2367
semialg/partial/qe.py,sha256=uKNFDx5ft3ghF713JTMB7_fVdPa9tduWQ0Vzm-CFSTc,20148
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=gG3Sf2x2ILpIarMk1iBL-PPED0x_Vsp5OgWZtgKapjE,28922
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=WUvsU57ZPFC69PB3d_8zCop1p_iEFfOSl5KORluvv5E,7327
semialg/proof/__init__.py,sha256=zkCA2GnQgXqdaYE0VVPBOj7P773zpgxnlhUUBgCOM3Y,375
semialg/proof/bounds.py,sha256=gKaFkH4K82z89L31KSq94-hN9s7PpWr-gP0rEx42DOc,2656
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=rDQoKkeaDfIuxETz_pVn3ezm-Zfp5GW8WRmaG30yado,33758
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=_TsuWmvf4FNYbs82yxZkjehuIeAM4MdJE7WnKeW7e5E,9431
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=-FQ--fCtUkucsjZjMljAvCCh0Gi2G-gEg4UCidL3a80,9454
semialg/reconstruct/__init__.py,sha256=sc0viKURswKOwp-zQsYB823V6SkGHs0jSTfaerCwATc,897
semialg/reconstruct/cylindrical.py,sha256=8kLfR_IypiytD6FZjrrE5lSqqPFZuaTx8NK6O9lUHng,6604
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=kgGSwSBcxDxooHGYugXQuF8Riznhrwxr2f6GVVjcRsM,1365
semialg/regions/boundary.py,sha256=VfVFX4P_8JGbETYrIpDIYKcrIqpJWzjpy87kboNyZqM,622
semialg/regions/cell_formulas.py,sha256=mvTgrtHiA_AS6TGQ95plyGB6tSOICepOtvFpffsZkr0,1898
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=xM0Cfy7te6SAyUGJ3TxnIPJtKW-HV5P_6iyJ5jp-ytU,32722
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=3slx7qdK0YkZkasb8f8zUmtYLxi22AjRnC1vipI9gJo,6185
semialg/simplify/boolean.py,sha256=y-B3yaVfTsACyeAE1amWCe_kdz91iAb_eJMmfPc92qE,2840
semialg/simplify/bounds.py,sha256=5RCPEwxWCLv3fxr_xhJLPd18AkDh3bfOCpbxQ5nOQ9k,6385
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=KKrSr4GfbM4ry1ZPJ2J-3VBV4_ylbj5X33p3bg1lL90,4772
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=OZySytyPBqWdekqrxtsPe07irwdizmk50s5yIIhGOrg,27397
semialg/solve/planner.py,sha256=kbq-YppfLmvuBVX21graPdZSe35-jgG5wQav8MMCM1c,10811
semialg/solve/preprocess.py,sha256=Lf9u6PHaHL1EShJZD2nq1-hcKxhelJD1xazDqxvfRv0,193
semialg/solve/reduce.py,sha256=2tejTiQ86PCYOm9GCk6s4qf_H6_c8QtZzW55ehxY4ys,25065
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=P4uRJxRIWcZz5Nd1YcckoEgKER-Qw2zOjZXZx88oOB0,8182
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=IXjOP85AB6kKGb361yn_SsgOujKstF8d00xcZ0rgKPk,34869
semialg/solve/integer/diophantine.py,sha256=8ICn6sQumawYiVDogefnbqt8L4TUZxzhHyEa2Xep3Zk,18439
semialg/solve/integer/engine.py,sha256=nUpOwf2dbPUYeuV3KbUoK52MzGIZc71aHMifVYiHFCo,4835
semialg/solve/integer/factorization.py,sha256=0UezhQu7Ck2hXI8jAlwXPTU_si_w8NJYTTtBwOK65ks,14294
semialg/solve/integer/families.py,sha256=kn754VRKUayT8777fUL-FsbHV1ebMAw2xgPNpX2U2ok,2349
semialg/solve/integer/formula_utils.py,sha256=8Yu0xwVGUB4lVNf4ziO32jWyzC4FcVoFS_7biOjWGi8,2511
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=34K5IPs-2lwjs8w6dFtXkd125h3mwL4e2lqUlp9E_Os,14309
semialg/solve/integer/thue.py,sha256=9Pr7_7rp3YWS5F4ZMzD5E2Csmzu1vqra8of4FtdW00E,6102
semialg/solve/transcendental/__init__.py,sha256=HswZEplA0_QeTqxUbsHmEnZZ6slDC0o2kbk9PjFRUJA,2845
semialg/solve/transcendental/cleanup.py,sha256=ODmBiPW6wevGZaEdK5xghxiuw29YXzPlXbh7ow0TpNw,2705
semialg/solve/transcendental/engine.py,sha256=B-zEfH6M8-btfhn8fgHLKILabLQiWnXHVl0DYCg6sWI,13426
semialg/solve/transcendental/families.py,sha256=H_h5za4Wlv1qUDi8CD1Dj27B6Aa-a1ktVykoNGGBwrw,6671
semialg/solve/transcendental/periodic.py,sha256=6c67ZtB-vPE-abtDl8mLn8jCxgO6GWtLbKStkFcQKvw,3792
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=zsqUKNS7CB5lf-H7PZOkm3Z6n4-odMPTBAmA2Q6MygM,13645
semialg/solve/transcendental/semantics.py,sha256=9NHykuybIglf3Cd9XcFOgInswEuOYcvBFjeyyre0UgI,1788
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=QZTXZFAto9iJZvU9RxHi2irZr9HLdd6OG0W2Ui9nnjk,1814
semialg/topology/incidence.py,sha256=901vzRrAOZhOYhJzzgsNO21BqnGAY0AUvn1cIcpEBFA,7701
semialg/topology/invariants.py,sha256=xJ6xO-Y45QbEVjtT-wp51zqnGNY7uPwvc5Xas4bxc1Y,3834
semialg/topology/operations.py,sha256=IX4H-_IiLSZT0OU3b5mdyw5LUuoRFg-DSeg1evzBFu8,6055
semialg/topology/semialgebraic.py,sha256=DGw2bzLUffuX0WAg6ILibZ_-VQ8dTdrLiK9aWoMU7P0,17033
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=R7F69X-FsUv871jDXhoUbfZC2hf-eka8-NjPlT9ZFno,322
semialg/univariate/decomposition.py,sha256=Pu3k4qzQx4WOxhkRO0GWfDAVhsL6tpY5UkjSu-cgUvg,1640
semialg/univariate/interval_witness.py,sha256=ucAb_QlFHoy10w6ccj0SvZT-lfHjSaYh48VMz-mjBYg,1201
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=8qNnSe1SwUkuwwFRaemVogXnBb13i_4mi6OeQe6zDf0,1661
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.1.0.dist-info/licenses/LICENSE,sha256=OXLcl0T2SZ8Pmy2_dmlvKuetivmyPd5m1q-Gyd-zaYY,35149
semialg-1.1.0.dist-info/METADATA,sha256=9LHBv5GJrjoxalG9_v6KWsAehmdqHiMZYBje11dzJto,21218
semialg-1.1.0.dist-info/WHEEL,sha256=YVMoNqKzERt-wjUZwJ33xBGAwnFl-4cqbYkTtWa4itE,91
semialg-1.1.0.dist-info/entry_points.txt,sha256=uRMIuahmKIbDI5-EA4b8C9WVUaeV43_u7au7GI9Cads,45
semialg-1.1.0.dist-info/top_level.txt,sha256=AklsgfzD5wqQAXdP_QY9RdKSh9JgqurtBmEsz25fwS4,8
semialg-1.1.0.dist-info/RECORD,,
