opengalois/__init__.py,sha256=EnnSf_uR6jZ_DgvV-ME-aMkcOZMp8RVm1zHZdGlYuT8,506
opengalois/__main__.py,sha256=fo9aIOFucy1nW6g6mZwKKbrQVGgdWvkOzZZ_lmolv2g,114
opengalois/api.py,sha256=B7mNG1CS9k2v2TYwY1E9CVEHLorY1bn1s9psTDDuVL4,4848
opengalois/certificate.py,sha256=HDd9vEbE3-ZWvZNVkkQRW1kUtUuXV3nXwF9Gkd46zvc,4364
opengalois/cli.py,sha256=54sZvuJC0E6PzXosHra9VyuiEX3rpBgB8VdcLuEGIhw,19390
opengalois/explain.py,sha256=mZEeB532pYbRz6ficnDRD-KjCWkClVEZCvIlztcpVyA,11809
opengalois/models.py,sha256=WTxV48gTTL6DGC-CyT31WCoHSNUmkGsQr01Cqi8aGpA,1318
opengalois/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
opengalois/verify.py,sha256=IsF3J8SdLVShW3LV0LsoBOZxuVeqOx0LEFIrXdO3WnA,243995
opengalois/algorithms/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
opengalois/algorithms/cuerpos_finitos.py,sha256=SoVzhxaSEGMIdQLZ4tm9D_Tz8ZjYc60jb0BOKnJSYi0,602
opengalois/algorithms/dummit_quintic_tables.py,sha256=imKrDCGxiek09pzwgLcIPMwJ5IhtjgcAvhwj6gGdE0E,50757
opengalois/algorithms/factorization.py,sha256=FGXiY8U52OQEzBSjhAiU66HSIB_--OEtpFUcvux5mB0,20179
opengalois/algorithms/factorization_fpx.py,sha256=KsrbtRIITLQ0tGOMzGojeqyJK4pPgzpNX2eWzM6dORE,9028
opengalois/algorithms/factorization_leg.py,sha256=jGxIItcpsuMZ8eh2OGLeatZoh1X_gVmcNcOmk2yuuJ8,9388
opengalois/algorithms/intfactor.py,sha256=11UA4jqQtAnrtgIZX1iyDQ8BLqoZdR5F67fCRTZHdl8,6692
opengalois/codec/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
opengalois/codec/rationals.py,sha256=BBiluh8n84kY8HWGSkjRTtXdto-WYsfnVQZkYwYHwu4,1812
opengalois/engine/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
opengalois/engine/context.py,sha256=pxACCzv50LvFv_E2Ju-EqLQzbm_05qfA4T3EzSBS4eg,4487
opengalois/engine/engine.py,sha256=8RiUsgs1J2DpXfsZ43WsOfreBcDi6BcmF5USOUwf9oc,4854
opengalois/engine/objects.py,sha256=WWTSV_hVI6limEUZkQrX7eO3xGFayj4MBqnjCTiKQck,13148
opengalois/engine/registry.py,sha256=79ZqJ5RNP-LRnmcOq4guxlRgJuYnoj20r4YfhFjFK3s,2690
opengalois/engine/procedures/procedure.py,sha256=Y0DtQXU_M4EBUArvRWdPztjE2TqebkwUkw1WT6k5LLE,854
opengalois/engine/procedures/reducible.py,sha256=mXrQ7bEdjLxL38Dw4wfgauE-PKdAKFjhDJg491FwPWk,38100
opengalois/engine/procedures/irreducible/_radical_utils.py,sha256=zn4kMVX_xTsorvtAfbph73LRK1WLHM4dGvJtj56gwE4,6920
opengalois/engine/procedures/irreducible/deg1.py,sha256=rywh-c0Hi_0SCMECUukXrsLmmDdFNbYJ2lltJhxQdAI,4597
opengalois/engine/procedures/irreducible/deg2.py,sha256=ILG6_-Q0NzBmt7-XdxxN-7LktrVP6aFobIwtz0USrOs,6122
opengalois/engine/procedures/irreducible/deg3.py,sha256=nUUxKBDhZ3yRp6YkuSuVgxP6cwlVBDG5wtcjTMSzJ4A,15441
opengalois/engine/procedures/irreducible/deg4.py,sha256=rGpgKDu5UKbEl8SEwEHC_GioPJPyAf2ACfB79t2A_WU,32723
opengalois/engine/procedures/irreducible/deg5.py,sha256=5BL8zJWXcCDgp8VqlLIV4O4kJ-iGLu8yV6pStDE7UkM,52260
opengalois/explain/__init__.py,sha256=Z9u7NJXlooGr9dHWjI_mX1I5p2ilmrF6ov1eojMcd0Q,767
opengalois/explain/api.py,sha256=Im8I_I1WQ4GnoYrPLZ7QuhOnt8SSIdjNKE4ddqDs-vk,8575
opengalois/explain/context.py,sha256=mSarnVaj_VgpDlHynnSE-K-vF768CfiFXZKxhrT0wOQ,6998
opengalois/explain/errors.py,sha256=Eg1BbhPKRCjJlvHjnrDECJpya3HNTD6moeZt6NczoA4,1119
opengalois/explain/graph.py,sha256=NDxU_91JVcNirtkHHqTMuQ9pTMCXJFl4lwQ17wY3KRc,2742
opengalois/explain/math_render.py,sha256=HvN3CigoIEcuI49ZBDUYwfPOqvVDov5wq9GGvXzSzyQ,18952
opengalois/explain/pdf.py,sha256=qdwbXEYoNArALc66cA7ql9GrA2sQjYFJS5JtgUz55ns,4292
opengalois/explain/proof_model.py,sha256=8VYVgttdmoy4oArjYrAsnplQDz7sLbzDceftsKCuCCs,1524
opengalois/explain/renderers/__init__.py,sha256=fSJoYijZt0DRoQKQ0G2R0cS6UcVPxHemOZPhJ-Bz5jw,225
opengalois/explain/renderers/latex.py,sha256=De09IU9PEfyTymE1HSzYAxkyEyUgvgEVdLloihCY8ec,2307
opengalois/explain/renderers/markdown.py,sha256=QVN8B87XGK5JUmL7yfnP2lJ6G4yX8N-v7cq5VTD4C5c,1722
opengalois/explain/templates/__init__.py,sha256=1MLm7f9R6xN2RC70m68Z3knwpfZNva6CdN2aQc_ytGg,362
opengalois/explain/templates/registry.py,sha256=pk2SELk5i_MPrvWv7ZVWAx0dywBNHdwp_PEqrxUshHU,2343
opengalois/explain/templates/le5_core_1/__init__.py,sha256=iqEBReNrqAHS8NpGXwpV0ZGRdLToozqImfHOjE7UAic,378
opengalois/explain/templates/le5_core_1/_helpers.py,sha256=0hS87NAqwUt2TXki6wudVy1jknVdzl5XV7UwleZm8so,1789
opengalois/explain/templates/le5_core_1/basic.py,sha256=4l2dFwBuIr6dJsDvXjAjmJq4kwbFpbaKEmUvvMjzaTA,11555
opengalois/explain/templates/le5_core_1/discriminant.py,sha256=oK_U8F8GIwVos0O6kVASHPQ3gIDhKV_Qp6AwSAwXJ5E,5417
opengalois/explain/templates/le5_core_1/galois.py,sha256=PAYF2oduzAGT4_O_fBdgQ6FAnGlgyRLuIwSmiunnU6s,51551
opengalois/explain/templates/le5_core_1/radicals.py,sha256=e50XQf-LQcdC70RC31dOgBePPivgqsyTKDWVX7xIf8M,23480
opengalois/explain/templates/le5_core_1/statements.py,sha256=vOnPHvLCNzwzQewH5ghFEIWetnqPJEaqacGZxeRArl8,10248
opengalois/nodes/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
opengalois/nodes/discriminant.py,sha256=ZUlyGEnHyNvHvpURbtkeewNAPiJZ0yA_eUbH5LSiDX8,6149
opengalois/nodes/kappe_warren.py,sha256=k-4ZnlNmgFgjbXOJ5HWkU1pfb1T5mUPEfHQiwOii-xU,10985
opengalois/nodes/normalize.py,sha256=xWwAr1Dx_2IC0kWnWrMT67b4pFZcilIfVVjYwoyO7Z0,3405
opengalois/nodes/reducibility.py,sha256=MzRwafXClBdoKV4IFh-lNZs3S3VjLAQIJlYVUsGEb1Q,11689
opengalois/nodes/resolvent.py,sha256=W9GiOXgsx6XjGofpVcYjLELVB4Mc_rHOEev41vWtb08,13212
opengalois/nodes/square.py,sha256=3MWXM5F6kcaItg-_42SmHS7-WV0S5pfIiQTUGJidZe8,6622
opengalois/polyops/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
opengalois/polyops/asc_fpx.py,sha256=dk_-TMOgV1pvpR45lJPtvpXSWGz5r_5FLPzcaJJqyBI,7880
opengalois/polyops/desc_qx.py,sha256=_F9XbSWRyrPwI543YE79lEOA_TinHN4ZluNGDAVyTDk,7490
opengalois/polyops/desc_zx.py,sha256=vWWrnIUT99ZAuqUshkNs-yCmvFIgqbQV1WSxy4Um90s,6626
opengalois/radicals/__init__.py,sha256=0WhTlskL1Hz10cU0w1ZLxJXJbFvYc_SH_ABioVJmAxg,1290
opengalois/radicals/ast.py,sha256=_BeZdEj2rYz729ePdIcNNpGqfoR869JqdwSCMS4Y0Sw,7981
opengalois/radicals/canon.py,sha256=G1blyevD7TDkMB1hiRAavnRRO7FarfSAbmQnAK6NGzA,8047
opengalois/radicals/cli_format.py,sha256=5xzFI5wf9NKGBH53_g95WU0r9fBmNjyEYB0TnUJMH5Q,26640
opengalois/radicals/codec.py,sha256=YjljQOEo8G6XHiaf2RM6GG0_5VtfVv8UfU5qTsjCTVM,10228
opengalois/radicals/parse.py,sha256=gmnpKfrzYyDy12m9VXNCnp7RLDUZj5mlERtXgIH0zx4,727
opengalois/radicals/render.py,sha256=5Kcbqesm5OC-3FxxQuMuU4iBsJycCHqE-68DX9GLXsQ,14909
opengalois/radicals/schemes/__init__.py,sha256=jmktTSAr8SS1Au4yoliLDnCW9cdFd0UNhAOf2xQ478g,358
opengalois/radicals/schemes/deg1_trivial.py,sha256=DuLS3IojYJKJchFG2u1JVeB_XDLiG3K190yMs4_XqOQ,888
opengalois/radicals/schemes/deg2_quadratic_formula.py,sha256=9uZc9StvJChtV5cz9d2yJwXs0Xj7Y1KrDyJxG-QVEc8,1338
opengalois/radicals/schemes/deg3_cardano_depressed_monic.py,sha256=UmSlgCxAH-3yj5MxLCGgMDgJzvPhlYCGjPlg20nUAS4,2523
opengalois/radicals/schemes/deg4_ferrari_depressed_monic.py,sha256=r3WRu8Npf-qCo39oBWq5kZgTL-dH0OAHxC9Nh3pZeIs,1956
opengalois/radicals/schemes/deg5_mcclintock_depressed_monic.py,sha256=0FTCACJJmtzffeLb2K5KRg2c3pNq4-7GOYZ5IC4jKbc,82681
opengalois/radicals/schemes/lift_depressed_monic.py,sha256=QzJMnoFk9kGCcIgVH0qI8JZNMsi4DOmmQx90huy4S5w,804
opengalois/rulesets/__init__.py,sha256=8E9RxRFBJWPfR8O675bLHKBoK1me29fA0HDiiJqaWyk,748
opengalois/rulesets/le5_core_1.py,sha256=V3i1e3maerNvY3mj4UpKCV_Vc8ixBlNoIRAlUHJsSc8,11781
opengalois/rulesets/registry.py,sha256=ukNc1N6rABcYBC5nuf3l-tg62JPjwX7AxbRZgSuJL_0,1749
opengalois/rulesets/types.py,sha256=gkwL_xEOp2_wJeVn34LQiDMG7N-_m1TTQLCA6eFXLrA,2097
opengalois/schemas/certificate/3.0.0.json,sha256=0laiodhpwgaSeLuGq1PV2MPxWBk-uhZqcc6d9e2NpV4,9045
opengalois/schemas/certificate/3.1.0.json,sha256=9cxun-49QB6LGogWPXLKpZtfBd_KsHl-CP_4wew-crk,7605
opengalois-0.2.0.dist-info/licenses/LICENSE,sha256=6nRH2tGg9-j7vtktyZyXZG1T4ajCjKEyKvZNqeYKOjE,1103
opengalois-0.2.0.dist-info/METADATA,sha256=RdbDFpVahfbCwBJDQi-eayJYH8gYIGCzsBQXRv4cB1Y,11124
opengalois-0.2.0.dist-info/WHEEL,sha256=aeYiig01lYGDzBgS8HxWXOg3uV61G9ijOsup-k9o1sk,91
opengalois-0.2.0.dist-info/entry_points.txt,sha256=_FpG5YlGfFMEqVu1rqE7ML-n6vubuLO9t5v8QIVK610,51
opengalois-0.2.0.dist-info/top_level.txt,sha256=PaFPiF9Sq6XyUx8okTpDz7uMSQz5EH87tlqefbbpNgM,11
opengalois-0.2.0.dist-info/RECORD,,
