semialg/__init__.py,sha256=l-rS7zyj678bQCuqlBPmR-sdJok8-sjSaNHIJ3aB4So,1031
semialg/_algebraic_decomposition_types.py,sha256=X7E3FnQwegMckE1GPheVxRSVbj1mE9K-N6EztubVPa0,10492
semialg/_api_policy.py,sha256=sf9O-nu8IR6LE0VLnErqTHsHJ2F88QcmzogiZQ-Y7LU,33960
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=CDHBA03SyK_s9fxPdjEWrOctWenPNDxKXb6DZP5u8iE,3247
semialg/_optimization_backends.py,sha256=5r7iR1vqzKKg2BTMRj9-H7NmjjnCY8nUg08_5qQwT9E,598
semialg/_optimization_certification.py,sha256=q9BVzD3u81CwRc-G0M2C6elezPAnU65yZZ31IrQ2xwM,4916
semialg/_optimization_parametric.py,sha256=Osgnj8ngJo594kY9lf6nKVLC5aPMA5PNBHdlaVhDPy4,18489
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=5fRSC_RwB3UYC4CnwIAE20ktbAEZc6bMfVEzJoUSGEU,18278
semialg/_region_integrate_intrinsic.py,sha256=G6N3eMyMsSGSjwTvtSx4RCyT1pcLoLpAXRaooYCcs1Y,17271
semialg/_region_integrate_parametric.py,sha256=vH9bTv7rIgIDG_t3JB1aw--uDqRMfvuWy1WgKAdLuXQ,9394
semialg/_standard_region_geometry.py,sha256=avr--WjyiTnDbmAkWZJ9Dr79RFOsIv7Cg7NMgyEegyk,13523
semialg/_standard_regions_base.py,sha256=NwOnwJOq43CsHSnq_cJmh93u4OIiGEr076rNGi0_iZY,15814
semialg/_standard_regions_composite.py,sha256=FYLc1sW6cUVSrbeqR-EU2s2vCYc3fx8VKD3WFDzCFE8,12677
semialg/_standard_regions_curved.py,sha256=VU2UDOUva-D0MRZ8D_714cRrXgxJuu0n_sdPtJ2UEq0,20909
semialg/_standard_regions_polyhedral.py,sha256=OAqn0aO-yevm7_JiTIqr-f_2XHEd1n25r2gsjYsuBoc,29782
semialg/_strategy_outcome.py,sha256=tJZ4a41pRZuB7U3UinOv6H1qrbLy2a83LQMHx-_Y5lo,844
semialg/_zero_testing.py,sha256=qb_6zvBGu6mIIBVDH-WHqwAf6Mwa0-pTHJ3QYdVthHg,4895
semialg/affine_geometry.py,sha256=Vvb4mG6GxQrrJRBe1j8gWxOVRlEEsKcwEgjlc0NBquE,4685
semialg/affine_reduction.py,sha256=ssD_6Yi-TdOpmjBSLtkBPQNSKWEgjPu7XPxWZx69ccM,4479
semialg/algebraic_decomposition.py,sha256=7S3gJeTOeMij05B-_97vWJuUTLBo4n2-nh7q1SWwVqk,121188
semialg/algebraic_function_fields.py,sha256=KdomWxB8mDkPfcZaKo6XcggXYLTNbfstZDdRWOqDQRw,22692
semialg/algebraic_geometry.py,sha256=pa8lDvuE2uhhuLEyUbdu3LLsEj6AxLEjeCnpL6vcA7Q,40312
semialg/boundary_topology.py,sha256=-xhPybDSrpiEV1_4PwTTd4cYKv88EH-OrLIDLG80y3s,19917
semialg/cache_control.py,sha256=lcOf7D-yYQOKYLkNxI8XgPoBSK0lSX_Pr3GpDns_bKU,9309
semialg/cache_utils.py,sha256=ldN-hEu0pdxuWAfCK1Dq7kl4rotu9Bd6H8bxf29P6hI,5987
semialg/cad_region.py,sha256=NXo3cUnaaN43zG0VdJkNL4Lzyu1UvlEITY3ItYCIviY,12990
semialg/canonicalization.py,sha256=mosL6y0kS22zxIbVnBbleELMgF9gYWiZmbFB3wofJq8,13338
semialg/certificates.py,sha256=wBTxcFPd8HjxrVHBIXEgz7qz3hoAGcR7JcZTnRWAsyc,14825
semialg/cli.py,sha256=rk2tY5pK0mMS0yf0cEDlSEvyXZwfJCWhr74jwQvAAMg,9185
semialg/conditional.py,sha256=kXA8LB2e_pQn2Cnf06qz4JPRk8IRvHsRmwBVXaPRHJQ,15855
semialg/connectivity.py,sha256=j1nYx7OplBfrIlt4VRqT9jV5nAFksdaDec0OC0R6yoM,16389
semialg/constraint_certificates.py,sha256=dZde0PQyd3QtI8TSgEQazYxPXDGi6_Gr21MkVTnHqNg,8675
semialg/context.py,sha256=u3aUx7-KmGKDL6pXDYl1F2Lz8ZuZqUvl7I0tRzYuDfg,12850
semialg/convex_hull.py,sha256=DhNBFIdesvcI3rEHIt3SKftpiecNjujZAJ0BzHmeevA,2904
semialg/convexity.py,sha256=e2IHOYDgIWlNSEDO7lOlAaIG4Y1pFSL20P9JOJz0Pfw,29382
semialg/decision_diagnostics.py,sha256=PptygqK3pS1KqMRfX-kOPTayaqzudirXLgx-lGOqSrg,831
semialg/decision_portfolio.py,sha256=q4SllE9g8dp7kmwBbb7KjdsoYaE9uTqJIgGXGx79Dcs,5083
semialg/derived_geometry.py,sha256=9VfYu01NX8PDuLB5x06Akmb4GaORAlPfUxEEr_k6jek,18470
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/generation_refinement.py,sha256=0q_-u3PXmc19h8mq3Gtf941IW5CH9zYyZFeJ3HK50cI,6239
semialg/geometry_queries.py,sha256=eAiBMgM05OK1nTaE5T4BEWRAZ0X34_yKZ0NDcWNQ-R8,26592
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/mixed_tetrahedralization.py,sha256=Feq4aD3xbC1gEDId5MtBbxwxDFSnPRAgfnO1F33q4JQ,3877
semialg/model.py,sha256=FZ-mMNvpP4fluZvYEWUFjTZeSC4Gn3sxCqTA13tCvkg,6546
semialg/moments.py,sha256=tpm6EECpAW2fJGfcCi5I3b1mcl3Br-QTzjXRgcv3YQw,9372
semialg/normalization.py,sha256=b_08v43bedYIXXL3SyV7KCyH5X5bh3o8y2sN-A5dNe0,7923
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/parameterization_analysis.py,sha256=BWZEZwqmA8XZ3Xy04vBRf5-YQMycU07Xe8OmqRRDfhI,5418
semialg/parameters.py,sha256=_KS1ND69adyixDDOjDD7Fc3RgRmvnl6k_LrirDyJi2c,14504
semialg/parametric_geometry.py,sha256=p7p-1RP3RfUJvY5TRrjpwjH9JLMI8_wKn4R_sSGiU_I,22343
semialg/parametric_integration.py,sha256=SITIXc-IXqSF2M8EwJA1y2XaWKOZ227Ts4mKPvoKUMw,4579
semialg/parser.py,sha256=WPLz1sWhZYDSPgKkzWDsM5CyYKXihDIKV0RCZKIwWxQ,6265
semialg/polygonal_paths.py,sha256=EUGwm-ugGYrDEJtHAioHFufJ82A5pacTLvoy_boHnn8,7130
semialg/polyhedral.py,sha256=kGczgk5POGoVyFRoz-u0E6RTQKPME15sdOOroFDQnso,18052
semialg/polyhedral_booleans.py,sha256=uCmljXCvE1LTSOMi0_hvEHGHXaC5uJNDyqFwRiuwLTo,3130
semialg/polyhedral_clipping.py,sha256=RVBhsYu5Yo1Y75ibFOnrP6xTvK9yNfcnKOcpzMniSVQ,3758
semialg/polyhedron_formula.py,sha256=ya66oJlMixKhWBjoQruahg13Br8SgA6opxFpEjEWhNM,2655
semialg/polynomial_positivity.py,sha256=J65EAFcXzQutHN8N5-aBouBkuFULJNwH4f6gUu_Mx90,16589
semialg/polytope_decomposition.py,sha256=lvszzq9qlOCTL4yy5Y9-mxLmRu4nsaHMRSuExhKP93k,8744
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=lsmcgX3UDP75-pScU9CJHL-W_n0efirIKjcNbjXQsGE,18340
semialg/reasoning_system.py,sha256=x-DHb2XBvcwksOciWEZCHfTkSz2vYgiiHU_hKoD1wq8,10249
semialg/region_analysis.py,sha256=5tQ7_ktPUqpbPf3L-Ozg38kHA4AFkA0N2bXN63p99iU,32253
semialg/region_coercion.py,sha256=Ib5kC12FVKU14aMXL1LWeFmEfJeY5Y4OxPgU5G5otRQ,13142
semialg/region_conversion.py,sha256=Xi3DaYbzzLtPCo7fodGB7NxdVdVdGfM2KnWWPVU_U2Y,8005
semialg/region_integral_results.py,sha256=0kocsHq-v5-Z2KJSBr9EE5LDqF1gb6sYKMYnI8saFcY,2487
semialg/region_integrate.py,sha256=pWJxhAWuDB32f_AIh2jLEk3CDkXA0BkgRJtBs0iRSME,22145
semialg/region_measurement.py,sha256=uZ-RTPk4adCxyRY4AiFUCJCvC43KFSzquqySqXI7HMM,8853
semialg/region_native_analysis.py,sha256=ImzrCq-y8cb0x7bhh9r1QOLs-bcK-qMVerricUvluiQ,5696
semialg/region_predicates.py,sha256=SGycp_nrSTxaFcCEKnoN1fRLxYW7fBKbLvyn1robieQ,13121
semialg/region_sampling.py,sha256=2VwGAM7V8E8ZTrLhuiu4avjodeg38droj52P-hdZy3w,12918
semialg/region_structural.py,sha256=SC8oyVSPgUrN_83nHJ2qxEh-kTQSnVxy497TTNVro_A,23994
semialg/region_transformations.py,sha256=y7z1IkpRCqvbLbxhSPV_tXJkjGhy7zKk18wRfXFiIh8,20956
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/semialgebraic_local_geometry.py,sha256=aMTeFyczTWVRm9qg4-BSMCZ0ALvY-9zuouhr92phoyU,7993
semialg/solution_geometry.py,sha256=BLVXaP6ooGrKNn6vV11KAY1MHQjQfyD6Xy9fVR2zCcs,16919
semialg/sos_certificates.py,sha256=b7Swfj2w_MGl4x6XJNqUiM1kDQ3xG4FAziT4qszDGOU,16768
semialg/standard_region_integrate.py,sha256=DPyaFQcbraF79Ci8A7J4EsiXE0Mn1N-MlQizEOQfQp8,22357
semialg/standard_regions.py,sha256=oqSTDs2LwelKBpenz9kxeQVl7jy5Ba0O2N-jiD4iEOQ,1431
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=sAb4Kk0aO-6it-9uJ4K7FTPPLt6HVfNvdkE-vPNj5I0,30740
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=MmRFfz_HvkFVUPR9igZaidyP3e1_MVTMeBrSNfCHn48,8999
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=hbGYdxcJF5YzVt-ywtdMZSI_FzfFUCoFT3vsPbaLTe0,60696
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=-JRln6B2Px3konQjuybseYYfi_REOCz_QZtWNv2H-PM,23173
semialg/algebraic/gtz_primary.py,sha256=YhPynNjoyr899rzzpkS-d6j1omVOm2JbE34bE-XBuy4,31524
semialg/algebraic/gtz_zero_dim.py,sha256=VydvrCN--HZzK4F8Q6-dx2wlUf8nKk7IpqcnijiphEQ,15774
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=lsOgsv-QD_pQWU2s7c80DotU-R8vHqWyu5ilXigKcTQ,14824
semialg/decision/_witnesses.py,sha256=Jvlr5VBptgwNN9QCjeaDnJWOc-OtG7wrygJFaaImVao,1434
semialg/decision/api.py,sha256=M6V9oum1TjcE2O29GMTV0zxBQnJAhZFGAvcTVqAQX7k,28677
semialg/decision/sampling_helpers.py,sha256=saNiLX1oieZps1SfHNi6IuTOp9-GQGCSHju7ng8k8fA,4847
semialg/decision/solution.py,sha256=w9vhtJ6bPEApKjl67Se1NKOZML-Cvk72akPFwV6jJ3U,18725
semialg/decomposition/__init__.py,sha256=dP-N6KC0oR4O4Eg5ZW7CFgUKORAjYG6gGMn9kklhhQE,1134
semialg/decomposition/_parametric_support.py,sha256=RGbGg9cie5j2rJG7-woi1J7izqRngD0tEW3Qr9Y5fqg,12677
semialg/decomposition/components.py,sha256=8L_1kTjrNXuxhvKs1JQIdq6WN1ZSyQwaeV2Q_756goo,8962
semialg/decomposition/cylindrical.py,sha256=Lh8f263nAMrWQaJKKfxdFAmPMxTtKIf6QwHLLmw7A-g,30512
semialg/decomposition/parametric.py,sha256=QB01vD1rQg3C2qcr1nLfq5mVfF7aJASp8cMl7romWk0,22345
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/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=kg8dVTrPX0HO4kYB8gje2T3gI39s5nTZjmv84FkAub4,18274
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=WHHunvNVoVusS1M6KRe3WVkXoc3qkOCacndK_VYHT74,4188
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=dKJ3AaSp4EA4gqxeXE97A2Xl1CkrwEEGzM735iaKo5U,1760
semialg/qe/api.py,sha256=6VI7FoV65mIcm6Tj9PX3BCAQF-nggOJmEzTwazljHHA,14746
semialg/qe/blocks.py,sha256=i6hshHqwgTmYteYNqNPpjoozbjQV42-10KDmDwvEZrY,1760
semialg/qe/cell_reconstruction.py,sha256=ATcrcH_oaiwgBoaSsAk3FZC6ia6g8e2AJPOEdCtpBQ8,1884
semialg/qe/complete.py,sha256=_sob8TBmBmDcoB2cGtvetkgx9QRU-O8T9JhL2cP6cX4,33513
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=QSvHzt0uKCSJUIE87zaOms1aAch6PxIzvKfB8nHQ4tQ,863
semialg/reconstruct/cylindrical.py,sha256=Czz9FYC-rCiMo1RcuY3Q4GBm7Oq7-X0zN0jBPpc7r7E,6412
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=IzuqOmYPXvYDAyQVheVT4SfjkK3yaiD2bIIb-d4pocY,2288
semialg/regions/__init__.py,sha256=jIS9oB46PD3VeY35OWWu5TXqA5Y8nJcqG7_ibYhvLUI,1481
semialg/regions/boundary.py,sha256=HMmJy2ryDxauJtJ59dzJ7JoDXrnwG8iHKtKVgj_AoHg,664
semialg/regions/cell_formulas.py,sha256=mvTgrtHiA_AS6TGQ95plyGB6tSOICepOtvFpffsZkr0,1898
semialg/regions/closure.py,sha256=KI42WIHNhXVaVcruMhesxAtjvSPaQD17ZtZPrxYUrdk,418
semialg/regions/component_samples.py,sha256=qYjPH9KdJwtRvlS2Mr4xBKloNz5Wc8qInU9mQfH9K5g,172
semialg/regions/components.py,sha256=ti1J_mHiqBvKiZrMjNeUPCAxLgIDZq1KODV8ZHOLpXY,795
semialg/regions/instances.py,sha256=ta7oVr2ggSBmEDtI3PR-TcpDPclpP9yVw4yEHF9fihU,485
semialg/regions/interior.py,sha256=jXq2oWPAAK8zHUCaGazAPJ1jw69A-9krTiSSyUMnaos,423
semialg/regions/operations.py,sha256=Z-cp0_J_sEPctNGQS2qRa5TRs6HZgzeY7Bn_86p8Qng,33790
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=b8A39tLj8eqIVvcDgLEI6eA2xq2HZv21Uq_zvyybHpM,1056
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=6SehHPPWtaOgKjyCBIJSkZUZHr2zRwWpXI_jLSQsmbU,5160
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=FTXeAZJXH0ZA4tcjnEmsx8uD93SvucLKoKhJ2qODk-Y,34373
semialg/solve/integer/diophantine.py,sha256=l6PEb83Bj3TqL-RlpxTDCpgoQByXRUHLCrKFuDW9F7w,18290
semialg/solve/integer/engine.py,sha256=fVspfQsuUMqbN-NYinVh9_VVlsNOit6ymJ3FhBNQeAk,4829
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=dD3aYLXk7oUT0A4_r4RqoMSCg5hqFw-AWYnB6QqWEoI,14303
semialg/solve/integer/thue.py,sha256=7aCmm1fmt1YCqw51taFMpH-P6TjAvDmRYn0hg_LvXNQ,5898
semialg/solve/transcendental/__init__.py,sha256=tEUb821_ta2xJvWJHk5HQRdbDEhVFDch5mMQpO4nO_s,2785
semialg/solve/transcendental/cleanup.py,sha256=ODmBiPW6wevGZaEdK5xghxiuw29YXzPlXbh7ow0TpNw,2705
semialg/solve/transcendental/engine.py,sha256=ybg0EF8TIquN_2plXc420rFXpjyJ6m0AWs43LEplFyo,13428
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=K7HavpaWT674brEBAq3I1fwony4fWZR0ngOOULTzw2w,8019
semialg/topology/__init__.py,sha256=nUik-L2SI1_xwra6hHGGPDl0tESBzlr2kKuVERYkq_k,783
semialg/topology/components.py,sha256=R9ulF91nSugddm9GSJrEX6QeTTicV0aC_t8H0BPMeO0,3413
semialg/topology/incidence.py,sha256=3A9gvkxmrEv6FCQmvcJwSlhrBRuVifYsc79x2UNMQS0,9389
semialg/topology/invariants.py,sha256=O-V9eOfCBrA2hq8OoDd3WtqLutZaryAiEoiVZ_QbqzE,5247
semialg/topology/operations.py,sha256=IX4H-_IiLSZT0OU3b5mdyw5LUuoRFg-DSeg1evzBFu8,6055
semialg/topology/sample_context.py,sha256=JzRS7CJ2Fi6CQFtrqJWOayScZVf3cdqfXTE6P2KGIPk,3199
semialg/topology/semialgebraic.py,sha256=OslwjwcboVaqVOfPHENV5s-_1fH6cOme2MSlO5QpkUQ,16954
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.2.0.dist-info/licenses/LICENSE,sha256=OXLcl0T2SZ8Pmy2_dmlvKuetivmyPd5m1q-Gyd-zaYY,35149
semialg-1.2.0.dist-info/METADATA,sha256=XN90NHKjNDxLoRiZR3b9Ek1vWIm1FqPpwm1TzvqdRXE,24082
semialg-1.2.0.dist-info/WHEEL,sha256=YVMoNqKzERt-wjUZwJ33xBGAwnFl-4cqbYkTtWa4itE,91
semialg-1.2.0.dist-info/entry_points.txt,sha256=uRMIuahmKIbDI5-EA4b8C9WVUaeV43_u7au7GI9Cads,45
semialg-1.2.0.dist-info/top_level.txt,sha256=AklsgfzD5wqQAXdP_QY9RdKSh9JgqurtBmEsz25fwS4,8
semialg-1.2.0.dist-info/RECORD,,
