passagemath-singular 10.6.31rc3__cp314-cp314-musllinux_1_2_x86_64.whl
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Potentially problematic release.
This version of passagemath-singular might be problematic. Click here for more details.
- PySingular.cpython-314-x86_64-linux-musl.so +0 -0
- passagemath_singular-10.6.31rc3.dist-info/METADATA +183 -0
- passagemath_singular-10.6.31rc3.dist-info/RECORD +493 -0
- passagemath_singular-10.6.31rc3.dist-info/WHEEL +5 -0
- passagemath_singular-10.6.31rc3.dist-info/top_level.txt +3 -0
- passagemath_singular.libs/libSingular-4-67059f19.4.1.so +0 -0
- passagemath_singular.libs/libcddgmp-30166d29.so.0.1.3 +0 -0
- passagemath_singular.libs/libfactory-4-9d37bcf4.4.1.so +0 -0
- passagemath_singular.libs/libflint-fd6f12fc.so.21.0.0 +0 -0
- passagemath_singular.libs/libgcc_s-0cd532bd.so.1 +0 -0
- passagemath_singular.libs/libgf2x-9e30c3e3.so.3.0.0 +0 -0
- passagemath_singular.libs/libgfortran-2c33b284.so.5.0.0 +0 -0
- passagemath_singular.libs/libgmp-0e7fc84e.so.10.5.0 +0 -0
- passagemath_singular.libs/libgsl-42cda06f.so.28.0.0 +0 -0
- passagemath_singular.libs/libmpfr-aaecbfc0.so.6.2.1 +0 -0
- passagemath_singular.libs/libncursesw-9c9e32c3.so.6.5 +0 -0
- passagemath_singular.libs/libntl-26885ca2.so.44.0.1 +0 -0
- passagemath_singular.libs/libomalloc-0-e9ff96db.9.6.so +0 -0
- passagemath_singular.libs/libopenblasp-r0-905cb27d.3.29.so +0 -0
- passagemath_singular.libs/libpolys-4-8bcf8e7d.4.1.so +0 -0
- passagemath_singular.libs/libquadmath-bb76a5fc.so.0.0.0 +0 -0
- passagemath_singular.libs/libreadline-06542304.so.8.2 +0 -0
- passagemath_singular.libs/libsingular_resources-4-73bf7623.4.1.so +0 -0
- passagemath_singular.libs/libstdc++-5d72f927.so.6.0.33 +0 -0
- sage/algebras/all__sagemath_singular.py +3 -0
- sage/algebras/fusion_rings/all.py +19 -0
- sage/algebras/fusion_rings/f_matrix.py +2448 -0
- sage/algebras/fusion_rings/fast_parallel_fmats_methods.cpython-314-x86_64-linux-musl.so +0 -0
- sage/algebras/fusion_rings/fast_parallel_fmats_methods.pxd +5 -0
- sage/algebras/fusion_rings/fast_parallel_fmats_methods.pyx +538 -0
- sage/algebras/fusion_rings/fast_parallel_fusion_ring_braid_repn.cpython-314-x86_64-linux-musl.so +0 -0
- sage/algebras/fusion_rings/fast_parallel_fusion_ring_braid_repn.pxd +3 -0
- sage/algebras/fusion_rings/fast_parallel_fusion_ring_braid_repn.pyx +331 -0
- sage/algebras/fusion_rings/fusion_double.py +899 -0
- sage/algebras/fusion_rings/fusion_ring.py +1580 -0
- sage/algebras/fusion_rings/poly_tup_engine.cpython-314-x86_64-linux-musl.so +0 -0
- sage/algebras/fusion_rings/poly_tup_engine.pxd +24 -0
- sage/algebras/fusion_rings/poly_tup_engine.pyx +579 -0
- sage/algebras/fusion_rings/shm_managers.cpython-314-x86_64-linux-musl.so +0 -0
- sage/algebras/fusion_rings/shm_managers.pxd +24 -0
- sage/algebras/fusion_rings/shm_managers.pyx +780 -0
- sage/algebras/letterplace/all.py +1 -0
- sage/algebras/letterplace/free_algebra_element_letterplace.cpython-314-x86_64-linux-musl.so +0 -0
- sage/algebras/letterplace/free_algebra_element_letterplace.pxd +18 -0
- sage/algebras/letterplace/free_algebra_element_letterplace.pyx +755 -0
- sage/algebras/letterplace/free_algebra_letterplace.cpython-314-x86_64-linux-musl.so +0 -0
- sage/algebras/letterplace/free_algebra_letterplace.pxd +35 -0
- sage/algebras/letterplace/free_algebra_letterplace.pyx +914 -0
- sage/algebras/letterplace/letterplace_ideal.cpython-314-x86_64-linux-musl.so +0 -0
- sage/algebras/letterplace/letterplace_ideal.pyx +408 -0
- sage/algebras/quatalg/all.py +2 -0
- sage/algebras/quatalg/quaternion_algebra.py +4778 -0
- sage/algebras/quatalg/quaternion_algebra_cython.cpython-314-x86_64-linux-musl.so +0 -0
- sage/algebras/quatalg/quaternion_algebra_cython.pyx +261 -0
- sage/algebras/quatalg/quaternion_algebra_element.cpython-314-x86_64-linux-musl.so +0 -0
- sage/algebras/quatalg/quaternion_algebra_element.pxd +29 -0
- sage/algebras/quatalg/quaternion_algebra_element.pyx +2176 -0
- sage/all__sagemath_singular.py +11 -0
- sage/ext_data/all__sagemath_singular.py +1 -0
- sage/ext_data/singular/function_field/core.lib +98 -0
- sage/interfaces/all__sagemath_singular.py +1 -0
- sage/interfaces/singular.py +2835 -0
- sage/libs/all__sagemath_singular.py +1 -0
- sage/libs/singular/__init__.py +1 -0
- sage/libs/singular/decl.pxd +1168 -0
- sage/libs/singular/function.cpython-314-x86_64-linux-musl.so +0 -0
- sage/libs/singular/function.pxd +87 -0
- sage/libs/singular/function.pyx +1901 -0
- sage/libs/singular/function_factory.py +61 -0
- sage/libs/singular/groebner_strategy.cpython-314-x86_64-linux-musl.so +0 -0
- sage/libs/singular/groebner_strategy.pxd +22 -0
- sage/libs/singular/groebner_strategy.pyx +582 -0
- sage/libs/singular/option.cpython-314-x86_64-linux-musl.so +0 -0
- sage/libs/singular/option.pyx +671 -0
- sage/libs/singular/polynomial.cpython-314-x86_64-linux-musl.so +0 -0
- sage/libs/singular/polynomial.pxd +39 -0
- sage/libs/singular/polynomial.pyx +661 -0
- sage/libs/singular/ring.cpython-314-x86_64-linux-musl.so +0 -0
- sage/libs/singular/ring.pxd +58 -0
- sage/libs/singular/ring.pyx +893 -0
- sage/libs/singular/singular.cpython-314-x86_64-linux-musl.so +0 -0
- sage/libs/singular/singular.pxd +72 -0
- sage/libs/singular/singular.pyx +1944 -0
- sage/libs/singular/standard_options.py +145 -0
- sage/matrix/all__sagemath_singular.py +1 -0
- sage/matrix/matrix_mpolynomial_dense.cpython-314-x86_64-linux-musl.so +0 -0
- sage/matrix/matrix_mpolynomial_dense.pxd +7 -0
- sage/matrix/matrix_mpolynomial_dense.pyx +615 -0
- sage/rings/all__sagemath_singular.py +1 -0
- sage/rings/function_field/all__sagemath_singular.py +1 -0
- sage/rings/function_field/derivations_polymod.py +911 -0
- sage/rings/function_field/element_polymod.cpython-314-x86_64-linux-musl.so +0 -0
- sage/rings/function_field/element_polymod.pyx +406 -0
- sage/rings/function_field/function_field_polymod.py +2611 -0
- sage/rings/function_field/ideal_polymod.py +1775 -0
- sage/rings/function_field/order_polymod.py +1475 -0
- sage/rings/function_field/place_polymod.py +681 -0
- sage/rings/polynomial/all__sagemath_singular.py +1 -0
- sage/rings/polynomial/multi_polynomial_ideal_libsingular.cpython-314-x86_64-linux-musl.so +0 -0
- sage/rings/polynomial/multi_polynomial_ideal_libsingular.pxd +5 -0
- sage/rings/polynomial/multi_polynomial_ideal_libsingular.pyx +339 -0
- sage/rings/polynomial/multi_polynomial_libsingular.cpython-314-x86_64-linux-musl.so +0 -0
- sage/rings/polynomial/multi_polynomial_libsingular.pxd +30 -0
- sage/rings/polynomial/multi_polynomial_libsingular.pyx +6277 -0
- sage/rings/polynomial/plural.cpython-314-x86_64-linux-musl.so +0 -0
- sage/rings/polynomial/plural.pxd +48 -0
- sage/rings/polynomial/plural.pyx +3171 -0
- sage/symbolic/all__sagemath_singular.py +1 -0
- sage/symbolic/comparison_impl.pxi +428 -0
- sage/symbolic/constants_c_impl.pxi +178 -0
- sage/symbolic/expression.cpython-314-x86_64-linux-musl.so +0 -0
- sage/symbolic/expression.pxd +7 -0
- sage/symbolic/expression.pyx +14200 -0
- sage/symbolic/getitem_impl.pxi +202 -0
- sage/symbolic/pynac.pxi +572 -0
- sage/symbolic/pynac_constant_impl.pxi +133 -0
- sage/symbolic/pynac_function_impl.pxi +206 -0
- sage/symbolic/pynac_impl.pxi +2576 -0
- sage/symbolic/pynac_wrap.h +124 -0
- sage/symbolic/series_impl.pxi +272 -0
- sage/symbolic/substitution_map_impl.pxi +94 -0
- sage_wheels/bin/ESingular +0 -0
- sage_wheels/bin/Singular +0 -0
- sage_wheels/bin/TSingular +0 -0
- sage_wheels/lib/singular/MOD/cohomo.la +41 -0
- sage_wheels/lib/singular/MOD/cohomo.so +0 -0
- sage_wheels/lib/singular/MOD/customstd.la +41 -0
- sage_wheels/lib/singular/MOD/customstd.so +0 -0
- sage_wheels/lib/singular/MOD/freealgebra.la +41 -0
- sage_wheels/lib/singular/MOD/freealgebra.so +0 -0
- sage_wheels/lib/singular/MOD/gfanlib.la +41 -0
- sage_wheels/lib/singular/MOD/gfanlib.so +0 -0
- sage_wheels/lib/singular/MOD/gitfan.la +41 -0
- sage_wheels/lib/singular/MOD/gitfan.so +0 -0
- sage_wheels/lib/singular/MOD/interval.la +41 -0
- sage_wheels/lib/singular/MOD/interval.so +0 -0
- sage_wheels/lib/singular/MOD/loctriv.la +41 -0
- sage_wheels/lib/singular/MOD/loctriv.so +0 -0
- sage_wheels/lib/singular/MOD/machinelearning.la +41 -0
- sage_wheels/lib/singular/MOD/machinelearning.so +0 -0
- sage_wheels/lib/singular/MOD/p_Procs_FieldGeneral.la +41 -0
- sage_wheels/lib/singular/MOD/p_Procs_FieldGeneral.so +0 -0
- sage_wheels/lib/singular/MOD/p_Procs_FieldIndep.la +41 -0
- sage_wheels/lib/singular/MOD/p_Procs_FieldIndep.so +0 -0
- sage_wheels/lib/singular/MOD/p_Procs_FieldQ.la +41 -0
- sage_wheels/lib/singular/MOD/p_Procs_FieldQ.so +0 -0
- sage_wheels/lib/singular/MOD/p_Procs_FieldZp.la +41 -0
- sage_wheels/lib/singular/MOD/p_Procs_FieldZp.so +0 -0
- sage_wheels/lib/singular/MOD/partialgb.la +41 -0
- sage_wheels/lib/singular/MOD/partialgb.so +0 -0
- sage_wheels/lib/singular/MOD/pyobject.la +41 -0
- sage_wheels/lib/singular/MOD/pyobject.so +0 -0
- sage_wheels/lib/singular/MOD/singmathic.la +41 -0
- sage_wheels/lib/singular/MOD/singmathic.so +0 -0
- sage_wheels/lib/singular/MOD/sispasm.la +41 -0
- sage_wheels/lib/singular/MOD/sispasm.so +0 -0
- sage_wheels/lib/singular/MOD/subsets.la +41 -0
- sage_wheels/lib/singular/MOD/subsets.so +0 -0
- sage_wheels/lib/singular/MOD/systhreads.la +41 -0
- sage_wheels/lib/singular/MOD/systhreads.so +0 -0
- sage_wheels/lib/singular/MOD/syzextra.la +41 -0
- sage_wheels/lib/singular/MOD/syzextra.so +0 -0
- sage_wheels/libexec/singular/MOD/change_cost +0 -0
- sage_wheels/libexec/singular/MOD/singularsurf +11 -0
- sage_wheels/libexec/singular/MOD/singularsurf_jupyter +9 -0
- sage_wheels/libexec/singular/MOD/singularsurf_win +10 -0
- sage_wheels/libexec/singular/MOD/solve_IP +0 -0
- sage_wheels/libexec/singular/MOD/surfex +16 -0
- sage_wheels/libexec/singular/MOD/toric_ideal +0 -0
- sage_wheels/share/factory/gftables/10201 +342 -0
- sage_wheels/share/factory/gftables/1024 +37 -0
- sage_wheels/share/factory/gftables/10609 +356 -0
- sage_wheels/share/factory/gftables/11449 +384 -0
- sage_wheels/share/factory/gftables/11881 +398 -0
- sage_wheels/share/factory/gftables/121 +6 -0
- sage_wheels/share/factory/gftables/12167 +408 -0
- sage_wheels/share/factory/gftables/125 +7 -0
- sage_wheels/share/factory/gftables/12769 +428 -0
- sage_wheels/share/factory/gftables/128 +7 -0
- sage_wheels/share/factory/gftables/1331 +47 -0
- sage_wheels/share/factory/gftables/1369 +48 -0
- sage_wheels/share/factory/gftables/14641 +490 -0
- sage_wheels/share/factory/gftables/15625 +523 -0
- sage_wheels/share/factory/gftables/16 +3 -0
- sage_wheels/share/factory/gftables/16129 +540 -0
- sage_wheels/share/factory/gftables/16384 +549 -0
- sage_wheels/share/factory/gftables/16807 +563 -0
- sage_wheels/share/factory/gftables/1681 +58 -0
- sage_wheels/share/factory/gftables/169 +8 -0
- sage_wheels/share/factory/gftables/17161 +574 -0
- sage_wheels/share/factory/gftables/1849 +64 -0
- sage_wheels/share/factory/gftables/18769 +628 -0
- sage_wheels/share/factory/gftables/19321 +646 -0
- sage_wheels/share/factory/gftables/19683 +659 -0
- sage_wheels/share/factory/gftables/2048 +71 -0
- sage_wheels/share/factory/gftables/2187 +75 -0
- sage_wheels/share/factory/gftables/2197 +76 -0
- sage_wheels/share/factory/gftables/2209 +76 -0
- sage_wheels/share/factory/gftables/22201 +742 -0
- sage_wheels/share/factory/gftables/22801 +762 -0
- sage_wheels/share/factory/gftables/2401 +82 -0
- sage_wheels/share/factory/gftables/243 +11 -0
- sage_wheels/share/factory/gftables/24389 +815 -0
- sage_wheels/share/factory/gftables/24649 +824 -0
- sage_wheels/share/factory/gftables/25 +3 -0
- sage_wheels/share/factory/gftables/256 +11 -0
- sage_wheels/share/factory/gftables/26569 +888 -0
- sage_wheels/share/factory/gftables/27 +3 -0
- sage_wheels/share/factory/gftables/27889 +932 -0
- sage_wheels/share/factory/gftables/2809 +96 -0
- sage_wheels/share/factory/gftables/28561 +954 -0
- sage_wheels/share/factory/gftables/289 +12 -0
- sage_wheels/share/factory/gftables/29791 +995 -0
- sage_wheels/share/factory/gftables/29929 +1000 -0
- sage_wheels/share/factory/gftables/3125 +107 -0
- sage_wheels/share/factory/gftables/32 +4 -0
- sage_wheels/share/factory/gftables/32041 +1070 -0
- sage_wheels/share/factory/gftables/32761 +1094 -0
- sage_wheels/share/factory/gftables/32768 +1095 -0
- sage_wheels/share/factory/gftables/343 +14 -0
- sage_wheels/share/factory/gftables/3481 +118 -0
- sage_wheels/share/factory/gftables/361 +14 -0
- sage_wheels/share/factory/gftables/36481 +1218 -0
- sage_wheels/share/factory/gftables/3721 +126 -0
- sage_wheels/share/factory/gftables/37249 +1244 -0
- sage_wheels/share/factory/gftables/38809 +1296 -0
- sage_wheels/share/factory/gftables/39601 +1322 -0
- sage_wheels/share/factory/gftables/4 +3 -0
- sage_wheels/share/factory/gftables/4096 +139 -0
- sage_wheels/share/factory/gftables/44521 +1486 -0
- sage_wheels/share/factory/gftables/4489 +152 -0
- sage_wheels/share/factory/gftables/49 +4 -0
- sage_wheels/share/factory/gftables/4913 +166 -0
- sage_wheels/share/factory/gftables/49729 +1660 -0
- sage_wheels/share/factory/gftables/5041 +170 -0
- sage_wheels/share/factory/gftables/50653 +1691 -0
- sage_wheels/share/factory/gftables/512 +20 -0
- sage_wheels/share/factory/gftables/51529 +1720 -0
- sage_wheels/share/factory/gftables/52441 +1750 -0
- sage_wheels/share/factory/gftables/529 +20 -0
- sage_wheels/share/factory/gftables/5329 +180 -0
- sage_wheels/share/factory/gftables/54289 +1812 -0
- sage_wheels/share/factory/gftables/57121 +1906 -0
- sage_wheels/share/factory/gftables/58081 +1938 -0
- sage_wheels/share/factory/gftables/59049 +1971 -0
- sage_wheels/share/factory/gftables/6241 +210 -0
- sage_wheels/share/factory/gftables/625 +23 -0
- sage_wheels/share/factory/gftables/63001 +2102 -0
- sage_wheels/share/factory/gftables/64 +5 -0
- sage_wheels/share/factory/gftables/6561 +221 -0
- sage_wheels/share/factory/gftables/6859 +231 -0
- sage_wheels/share/factory/gftables/6889 +232 -0
- sage_wheels/share/factory/gftables/729 +27 -0
- sage_wheels/share/factory/gftables/7921 +266 -0
- sage_wheels/share/factory/gftables/8 +3 -0
- sage_wheels/share/factory/gftables/81 +5 -0
- sage_wheels/share/factory/gftables/8192 +276 -0
- sage_wheels/share/factory/gftables/841 +30 -0
- sage_wheels/share/factory/gftables/9 +3 -0
- sage_wheels/share/factory/gftables/9409 +316 -0
- sage_wheels/share/factory/gftables/961 +34 -0
- sage_wheels/share/info/singular.info +191898 -0
- sage_wheels/share/singular/LIB/GND.lib +1359 -0
- sage_wheels/share/singular/LIB/JMBTest.lib +976 -0
- sage_wheels/share/singular/LIB/JMSConst.lib +1363 -0
- sage_wheels/share/singular/LIB/KVequiv.lib +699 -0
- sage_wheels/share/singular/LIB/SingularityDBM.lib +491 -0
- sage_wheels/share/singular/LIB/VecField.lib +1542 -0
- sage_wheels/share/singular/LIB/absfact.lib +959 -0
- sage_wheels/share/singular/LIB/ainvar.lib +730 -0
- sage_wheels/share/singular/LIB/aksaka.lib +419 -0
- sage_wheels/share/singular/LIB/alexpoly.lib +2542 -0
- sage_wheels/share/singular/LIB/algebra.lib +1193 -0
- sage_wheels/share/singular/LIB/all.lib +136 -0
- sage_wheels/share/singular/LIB/arcpoint.lib +514 -0
- sage_wheels/share/singular/LIB/arnold.lib +4553 -0
- sage_wheels/share/singular/LIB/arnoldclassify.lib +2058 -0
- sage_wheels/share/singular/LIB/arr.lib +3486 -0
- sage_wheels/share/singular/LIB/assprimeszerodim.lib +755 -0
- sage_wheels/share/singular/LIB/autgradalg.lib +3361 -0
- sage_wheels/share/singular/LIB/bfun.lib +1964 -0
- sage_wheels/share/singular/LIB/bimodules.lib +774 -0
- sage_wheels/share/singular/LIB/brillnoether.lib +226 -0
- sage_wheels/share/singular/LIB/brnoeth.lib +5017 -0
- sage_wheels/share/singular/LIB/central.lib +2169 -0
- sage_wheels/share/singular/LIB/chern.lib +4162 -0
- sage_wheels/share/singular/LIB/cimonom.lib +571 -0
- sage_wheels/share/singular/LIB/cisimplicial.lib +1835 -0
- sage_wheels/share/singular/LIB/classify.lib +3239 -0
- sage_wheels/share/singular/LIB/classify2.lib +1462 -0
- sage_wheels/share/singular/LIB/classifyMapGerms.lib +1515 -0
- sage_wheels/share/singular/LIB/classify_aeq.lib +3253 -0
- sage_wheels/share/singular/LIB/classifyceq.lib +2092 -0
- sage_wheels/share/singular/LIB/classifyci.lib +1133 -0
- sage_wheels/share/singular/LIB/combinat.lib +91 -0
- sage_wheels/share/singular/LIB/compregb.lib +276 -0
- sage_wheels/share/singular/LIB/control.lib +1636 -0
- sage_wheels/share/singular/LIB/crypto.lib +3795 -0
- sage_wheels/share/singular/LIB/curveInv.lib +667 -0
- sage_wheels/share/singular/LIB/curvepar.lib +1817 -0
- sage_wheels/share/singular/LIB/customstd.lib +100 -0
- sage_wheels/share/singular/LIB/deRham.lib +5979 -0
- sage_wheels/share/singular/LIB/decodegb.lib +2134 -0
- sage_wheels/share/singular/LIB/decomp.lib +1655 -0
- sage_wheels/share/singular/LIB/deflation.lib +872 -0
- sage_wheels/share/singular/LIB/deform.lib +925 -0
- sage_wheels/share/singular/LIB/difform.lib +3055 -0
- sage_wheels/share/singular/LIB/divisors.lib +750 -0
- sage_wheels/share/singular/LIB/dmod.lib +5817 -0
- sage_wheels/share/singular/LIB/dmodapp.lib +3269 -0
- sage_wheels/share/singular/LIB/dmodideal.lib +1211 -0
- sage_wheels/share/singular/LIB/dmodloc.lib +2645 -0
- sage_wheels/share/singular/LIB/dmodvar.lib +818 -0
- sage_wheels/share/singular/LIB/dummy.lib +17 -0
- sage_wheels/share/singular/LIB/elim.lib +1009 -0
- sage_wheels/share/singular/LIB/ellipticcovers.lib +548 -0
- sage_wheels/share/singular/LIB/enumpoints.lib +146 -0
- sage_wheels/share/singular/LIB/equising.lib +2127 -0
- sage_wheels/share/singular/LIB/ffmodstd.lib +2384 -0
- sage_wheels/share/singular/LIB/ffsolve.lib +1289 -0
- sage_wheels/share/singular/LIB/findifs.lib +778 -0
- sage_wheels/share/singular/LIB/finitediff.lib +1768 -0
- sage_wheels/share/singular/LIB/finvar.lib +7989 -0
- sage_wheels/share/singular/LIB/fpadim.lib +2429 -0
- sage_wheels/share/singular/LIB/fpalgebras.lib +1666 -0
- sage_wheels/share/singular/LIB/fpaprops.lib +1462 -0
- sage_wheels/share/singular/LIB/freegb.lib +3853 -0
- sage_wheels/share/singular/LIB/general.lib +1350 -0
- sage_wheels/share/singular/LIB/gfan.lib +1768 -0
- sage_wheels/share/singular/LIB/gitfan.lib +3130 -0
- sage_wheels/share/singular/LIB/gkdim.lib +99 -0
- sage_wheels/share/singular/LIB/gmspoly.lib +589 -0
- sage_wheels/share/singular/LIB/gmssing.lib +1739 -0
- sage_wheels/share/singular/LIB/goettsche.lib +909 -0
- sage_wheels/share/singular/LIB/graal.lib +1366 -0
- sage_wheels/share/singular/LIB/gradedModules.lib +2541 -0
- sage_wheels/share/singular/LIB/graphics.lib +360 -0
- sage_wheels/share/singular/LIB/grobcov.lib +7706 -0
- sage_wheels/share/singular/LIB/groups.lib +1123 -0
- sage_wheels/share/singular/LIB/grwalk.lib +507 -0
- sage_wheels/share/singular/LIB/hdepth.lib +194 -0
- sage_wheels/share/singular/LIB/help.cnf +57 -0
- sage_wheels/share/singular/LIB/hess.lib +1946 -0
- sage_wheels/share/singular/LIB/hnoether.lib +4292 -0
- sage_wheels/share/singular/LIB/hodge.lib +400 -0
- sage_wheels/share/singular/LIB/homolog.lib +1965 -0
- sage_wheels/share/singular/LIB/hyperel.lib +975 -0
- sage_wheels/share/singular/LIB/inout.lib +679 -0
- sage_wheels/share/singular/LIB/integralbasis.lib +6224 -0
- sage_wheels/share/singular/LIB/interval.lib +1418 -0
- sage_wheels/share/singular/LIB/intprog.lib +778 -0
- sage_wheels/share/singular/LIB/invar.lib +443 -0
- sage_wheels/share/singular/LIB/involut.lib +980 -0
- sage_wheels/share/singular/LIB/jacobson.lib +1215 -0
- sage_wheels/share/singular/LIB/kskernel.lib +534 -0
- sage_wheels/share/singular/LIB/latex.lib +3146 -0
- sage_wheels/share/singular/LIB/lejeune.lib +651 -0
- sage_wheels/share/singular/LIB/linalg.lib +2040 -0
- sage_wheels/share/singular/LIB/locnormal.lib +212 -0
- sage_wheels/share/singular/LIB/lrcalc.lib +526 -0
- sage_wheels/share/singular/LIB/makedbm.lib +294 -0
- sage_wheels/share/singular/LIB/mathml.lib +813 -0
- sage_wheels/share/singular/LIB/matrix.lib +1372 -0
- sage_wheels/share/singular/LIB/maxlike.lib +1132 -0
- sage_wheels/share/singular/LIB/methods.lib +212 -0
- sage_wheels/share/singular/LIB/moddiq.lib +322 -0
- sage_wheels/share/singular/LIB/modfinduni.lib +181 -0
- sage_wheels/share/singular/LIB/modnormal.lib +218 -0
- sage_wheels/share/singular/LIB/modprimdec.lib +1278 -0
- sage_wheels/share/singular/LIB/modquotient.lib +269 -0
- sage_wheels/share/singular/LIB/modstd.lib +1024 -0
- sage_wheels/share/singular/LIB/modular.lib +545 -0
- sage_wheels/share/singular/LIB/modules.lib +2561 -0
- sage_wheels/share/singular/LIB/modwalk.lib +609 -0
- sage_wheels/share/singular/LIB/mondromy.lib +1016 -0
- sage_wheels/share/singular/LIB/monomialideal.lib +3851 -0
- sage_wheels/share/singular/LIB/mprimdec.lib +2353 -0
- sage_wheels/share/singular/LIB/mregular.lib +1863 -0
- sage_wheels/share/singular/LIB/multigrading.lib +5629 -0
- sage_wheels/share/singular/LIB/ncHilb.lib +777 -0
- sage_wheels/share/singular/LIB/ncModslimgb.lib +791 -0
- sage_wheels/share/singular/LIB/ncalg.lib +16311 -0
- sage_wheels/share/singular/LIB/ncall.lib +31 -0
- sage_wheels/share/singular/LIB/ncdecomp.lib +468 -0
- sage_wheels/share/singular/LIB/ncfactor.lib +13371 -0
- sage_wheels/share/singular/LIB/ncfrac.lib +1023 -0
- sage_wheels/share/singular/LIB/nchilbert.lib +448 -0
- sage_wheels/share/singular/LIB/nchomolog.lib +759 -0
- sage_wheels/share/singular/LIB/ncloc.lib +361 -0
- sage_wheels/share/singular/LIB/ncpreim.lib +795 -0
- sage_wheels/share/singular/LIB/ncrat.lib +2849 -0
- sage_wheels/share/singular/LIB/nctools.lib +1887 -0
- sage_wheels/share/singular/LIB/nets.lib +1456 -0
- sage_wheels/share/singular/LIB/nfmodstd.lib +1000 -0
- sage_wheels/share/singular/LIB/nfmodsyz.lib +732 -0
- sage_wheels/share/singular/LIB/noether.lib +1106 -0
- sage_wheels/share/singular/LIB/normal.lib +8700 -0
- sage_wheels/share/singular/LIB/normaliz.lib +2226 -0
- sage_wheels/share/singular/LIB/ntsolve.lib +362 -0
- sage_wheels/share/singular/LIB/numerAlg.lib +560 -0
- sage_wheels/share/singular/LIB/numerDecom.lib +2261 -0
- sage_wheels/share/singular/LIB/olga.lib +1933 -0
- sage_wheels/share/singular/LIB/orbitparam.lib +351 -0
- sage_wheels/share/singular/LIB/parallel.lib +319 -0
- sage_wheels/share/singular/LIB/paraplanecurves.lib +3110 -0
- sage_wheels/share/singular/LIB/perron.lib +202 -0
- sage_wheels/share/singular/LIB/pfd.lib +2223 -0
- sage_wheels/share/singular/LIB/phindex.lib +642 -0
- sage_wheels/share/singular/LIB/pointid.lib +673 -0
- sage_wheels/share/singular/LIB/polybori.lib +1430 -0
- sage_wheels/share/singular/LIB/polyclass.lib +525 -0
- sage_wheels/share/singular/LIB/polylib.lib +1174 -0
- sage_wheels/share/singular/LIB/polymake.lib +1902 -0
- sage_wheels/share/singular/LIB/presolve.lib +1533 -0
- sage_wheels/share/singular/LIB/primdec.lib +9576 -0
- sage_wheels/share/singular/LIB/primdecint.lib +1782 -0
- sage_wheels/share/singular/LIB/primitiv.lib +401 -0
- sage_wheels/share/singular/LIB/puiseuxexpansions.lib +1631 -0
- sage_wheels/share/singular/LIB/purityfiltration.lib +960 -0
- sage_wheels/share/singular/LIB/qhmoduli.lib +1561 -0
- sage_wheels/share/singular/LIB/qmatrix.lib +293 -0
- sage_wheels/share/singular/LIB/random.lib +455 -0
- sage_wheels/share/singular/LIB/ratgb.lib +489 -0
- sage_wheels/share/singular/LIB/realclassify.lib +5759 -0
- sage_wheels/share/singular/LIB/realizationMatroids.lib +772 -0
- sage_wheels/share/singular/LIB/realrad.lib +1197 -0
- sage_wheels/share/singular/LIB/recover.lib +2628 -0
- sage_wheels/share/singular/LIB/redcgs.lib +3984 -0
- sage_wheels/share/singular/LIB/reesclos.lib +465 -0
- sage_wheels/share/singular/LIB/resbinomial.lib +2802 -0
- sage_wheels/share/singular/LIB/resgraph.lib +789 -0
- sage_wheels/share/singular/LIB/resjung.lib +820 -0
- sage_wheels/share/singular/LIB/resolve.lib +5110 -0
- sage_wheels/share/singular/LIB/resources.lib +170 -0
- sage_wheels/share/singular/LIB/reszeta.lib +5473 -0
- sage_wheels/share/singular/LIB/ring.lib +1328 -0
- sage_wheels/share/singular/LIB/ringgb.lib +343 -0
- sage_wheels/share/singular/LIB/rinvar.lib +1153 -0
- sage_wheels/share/singular/LIB/rootisolation.lib +1481 -0
- sage_wheels/share/singular/LIB/rootsmr.lib +709 -0
- sage_wheels/share/singular/LIB/rootsur.lib +886 -0
- sage_wheels/share/singular/LIB/rstandard.lib +607 -0
- sage_wheels/share/singular/LIB/rwalk.lib +336 -0
- sage_wheels/share/singular/LIB/sagbi.lib +1353 -0
- sage_wheels/share/singular/LIB/sagbiNormaliz.lib +1622 -0
- sage_wheels/share/singular/LIB/sagbiNormaliz0.lib +1498 -0
- sage_wheels/share/singular/LIB/sagbigrob.lib +449 -0
- sage_wheels/share/singular/LIB/schreyer.lib +321 -0
- sage_wheels/share/singular/LIB/schubert.lib +2551 -0
- sage_wheels/share/singular/LIB/sets.lib +524 -0
- sage_wheels/share/singular/LIB/sheafcoh.lib +1663 -0
- sage_wheels/share/singular/LIB/signcond.lib +437 -0
- sage_wheels/share/singular/LIB/sing.lib +1094 -0
- sage_wheels/share/singular/LIB/sing4ti2.lib +419 -0
- sage_wheels/share/singular/LIB/solve.lib +2243 -0
- sage_wheels/share/singular/LIB/spcurve.lib +1077 -0
- sage_wheels/share/singular/LIB/spectrum.lib +62 -0
- sage_wheels/share/singular/LIB/sresext.lib +757 -0
- sage_wheels/share/singular/LIB/ssi.lib +143 -0
- sage_wheels/share/singular/LIB/standard.lib +2769 -0
- sage_wheels/share/singular/LIB/stanleyreisner.lib +473 -0
- sage_wheels/share/singular/LIB/stdmodule.lib +547 -0
- sage_wheels/share/singular/LIB/stratify.lib +1070 -0
- sage_wheels/share/singular/LIB/surf.lib +506 -0
- sage_wheels/share/singular/LIB/surf_jupyter.lib +223 -0
- sage_wheels/share/singular/LIB/surfacesignature.lib +522 -0
- sage_wheels/share/singular/LIB/surfex.lib +1462 -0
- sage_wheels/share/singular/LIB/swalk.lib +877 -0
- sage_wheels/share/singular/LIB/symodstd.lib +1570 -0
- sage_wheels/share/singular/LIB/systhreads.lib +74 -0
- sage_wheels/share/singular/LIB/tasks.lib +1324 -0
- sage_wheels/share/singular/LIB/tateProdCplxNegGrad.lib +2412 -0
- sage_wheels/share/singular/LIB/teachstd.lib +858 -0
- sage_wheels/share/singular/LIB/template.lib +116 -0
- sage_wheels/share/singular/LIB/toric.lib +1119 -0
- sage_wheels/share/singular/LIB/transformation.lib +116 -0
- sage_wheels/share/singular/LIB/triang.lib +1197 -0
- sage_wheels/share/singular/LIB/tropical.lib +8741 -0
- sage_wheels/share/singular/LIB/tropicalEllipticCovers.lib +2922 -0
- sage_wheels/share/singular/LIB/tropicalNewton.lib +1128 -0
- sage_wheels/share/singular/LIB/tst.lib +1108 -0
- sage_wheels/share/singular/LIB/weierstr.lib +241 -0
- sage_wheels/share/singular/LIB/zeroset.lib +1478 -0
- sage_wheels/share/singular/emacs/.emacs-general +184 -0
- sage_wheels/share/singular/emacs/.emacs-singular +234 -0
- sage_wheels/share/singular/emacs/COPYING +44 -0
- sage_wheels/share/singular/emacs/cmd-cmpl.el +241 -0
- sage_wheels/share/singular/emacs/ex-cmpl.el +1681 -0
- sage_wheels/share/singular/emacs/hlp-cmpl.el +4318 -0
- sage_wheels/share/singular/emacs/lib-cmpl.el +179 -0
- sage_wheels/share/singular/emacs/singular.el +4273 -0
- sage_wheels/share/singular/emacs/singular.xpm +39 -0
- sage_wheels/share/singular/singular.idx +5002 -0
|
@@ -0,0 +1,419 @@
|
|
|
1
|
+
////////////////////////////////////////////////////////////////////////////////
|
|
2
|
+
version="version aksaka.lib 4.1.2.0 Feb_2019 "; // $Id: 06e8bda8d32db16fbfe80cd86e6374c06e8d4a87 $
|
|
3
|
+
category="Teaching";
|
|
4
|
+
info="
|
|
5
|
+
LIBRARY: aksaka.lib Procedures for primality testing after Agrawal, Saxena, Kayal
|
|
6
|
+
AUTHORS: Christoph Mang
|
|
7
|
+
|
|
8
|
+
OVERVIEW:
|
|
9
|
+
Algorithms for primality testing in polynomial time
|
|
10
|
+
based on the ideas of Agrawal, Saxena and Kayal.
|
|
11
|
+
|
|
12
|
+
PROCEDURES:
|
|
13
|
+
|
|
14
|
+
fastExpt(a,m,n) a^m for numbers a,m; if a^k>n n+1 is returned
|
|
15
|
+
log2(n) logarithm to basis 2 of n
|
|
16
|
+
PerfectPowerTest(n) checks if there are a,b>1, so that a^b=n
|
|
17
|
+
wurzel(r) square root of number r
|
|
18
|
+
euler(r) phi-function of Euler
|
|
19
|
+
coeffmod(f,n) polynomial f modulo number n (coefficients mod n)
|
|
20
|
+
powerpolyX(q,n,a,r) (polynomial a)^q modulo (poly r,number n)
|
|
21
|
+
ask(n) ASK-Algorithm; deterministic Primality test
|
|
22
|
+
";
|
|
23
|
+
|
|
24
|
+
LIB "crypto.lib";
|
|
25
|
+
LIB "ntsolve.lib";
|
|
26
|
+
|
|
27
|
+
///////////////////////////////////////////////////////////////
|
|
28
|
+
// //
|
|
29
|
+
// FAST (MODULAR) EXPONENTIATION //
|
|
30
|
+
// //
|
|
31
|
+
///////////////////////////////////////////////////////////////
|
|
32
|
+
proc fastExpt(bigint a,bigint m,bigint n)
|
|
33
|
+
"USAGE: fastExpt(a,m,n); a, m, n = number;
|
|
34
|
+
RETURN: the m-th power of a; if a^m>n the procedure returns n+1
|
|
35
|
+
NOTE: uses fast exponentiation
|
|
36
|
+
EXAMPLE:example fastExpt; shows an example
|
|
37
|
+
"
|
|
38
|
+
{
|
|
39
|
+
bigint b,c,d;
|
|
40
|
+
c=m;
|
|
41
|
+
b=a;
|
|
42
|
+
d=1;
|
|
43
|
+
while(c>=1)
|
|
44
|
+
{
|
|
45
|
+
if(b>n)
|
|
46
|
+
{
|
|
47
|
+
return(n+1);
|
|
48
|
+
}
|
|
49
|
+
if((c mod 2)==1)
|
|
50
|
+
{
|
|
51
|
+
d=d*b;
|
|
52
|
+
if(d>n)
|
|
53
|
+
{
|
|
54
|
+
return(n+1);
|
|
55
|
+
}
|
|
56
|
+
}
|
|
57
|
+
b=b^2;
|
|
58
|
+
c=c div 2;
|
|
59
|
+
}
|
|
60
|
+
return(d)
|
|
61
|
+
}
|
|
62
|
+
example
|
|
63
|
+
{ "EXAMPLE:"; echo = 2;
|
|
64
|
+
fastExpt(2,10,1022);
|
|
65
|
+
}
|
|
66
|
+
////////////////////////////////////////////////////////////////////////////
|
|
67
|
+
proc coeffmod(poly f,bigint n)
|
|
68
|
+
"USAGE: coeffmod(f,n);
|
|
69
|
+
ASSUME: poly f depends on at most var(1) of the basering
|
|
70
|
+
RETURN: poly f modulo number n
|
|
71
|
+
NOTE: at first the coefficients of the monomials of the polynomial f are
|
|
72
|
+
determined, then their remainder modulo n is calculated,
|
|
73
|
+
after that the polynomial 'is put together' again
|
|
74
|
+
EXAMPLE:example coeffmod; shows an example
|
|
75
|
+
"
|
|
76
|
+
{
|
|
77
|
+
matrix M=coeffs(f,var(1)); //Bestimmung der Polynomkoeffizienten
|
|
78
|
+
int i=1;
|
|
79
|
+
poly g;
|
|
80
|
+
int o=nrows(M);
|
|
81
|
+
|
|
82
|
+
while(i<=o)
|
|
83
|
+
{
|
|
84
|
+
g=g+(bigint(leadcoef(M[i,1])) mod n)*var(1)^(i-1) ;
|
|
85
|
+
// umwandeln der Koeffizienten in bigint,
|
|
86
|
+
// Berechnung der Reste dieser bigint modulo n,
|
|
87
|
+
// Polynom mit neuen Koeffizienten wieder zusammensetzen
|
|
88
|
+
i++;
|
|
89
|
+
}
|
|
90
|
+
return(g);
|
|
91
|
+
}
|
|
92
|
+
example
|
|
93
|
+
{ "EXAMPLE:"; echo = 2;
|
|
94
|
+
ring R = 0,x,dp;
|
|
95
|
+
poly f=2457*x4+52345*x3-98*x2+5;
|
|
96
|
+
bigint n=3;
|
|
97
|
+
coeffmod(f,n);
|
|
98
|
+
}
|
|
99
|
+
//////////////////////////////////////////////////////////////////////////
|
|
100
|
+
proc powerpolyX(bigint q,bigint n,poly a,poly r)
|
|
101
|
+
"USAGE: powerpolyX(q,n,a,r);
|
|
102
|
+
RETURN: the q-th power of poly a modulo poly r and number n
|
|
103
|
+
EXAMPLE:example powerpolyX; shows an example
|
|
104
|
+
"
|
|
105
|
+
{
|
|
106
|
+
ideal I=r;
|
|
107
|
+
|
|
108
|
+
if(q==1){return(coeffmod(reduce(a,I),n));}
|
|
109
|
+
if((q mod 5)==0){return(coeffmod(reduce(powerpolyX(q div 5,n,a,r)^5,I),n));}
|
|
110
|
+
if((q mod 4)==0){return(coeffmod(reduce(powerpolyX(q div 4,n,a,r)^4,I),n));}
|
|
111
|
+
if((q mod 3)==0){return(coeffmod(reduce(powerpolyX(q div 3,n,a,r)^3,I),n));}
|
|
112
|
+
if((q mod 2)==0){return(coeffmod(reduce(powerpolyX(q div 2,n,a,r)^2,I),n));}
|
|
113
|
+
|
|
114
|
+
return(coeffmod(reduce(a*powerpolyX(q-1,n,a,r),I),n));
|
|
115
|
+
}
|
|
116
|
+
example
|
|
117
|
+
{ "EXAMPLE:"; echo = 2;
|
|
118
|
+
ring R=0,x,dp;
|
|
119
|
+
poly a=3*x3-x2+5;
|
|
120
|
+
poly r=x7-1;
|
|
121
|
+
bigint q=123;
|
|
122
|
+
bigint n=5;
|
|
123
|
+
powerpolyX(q,n,a,r);
|
|
124
|
+
}
|
|
125
|
+
///////////////////////////////////////////////////////////////
|
|
126
|
+
// //
|
|
127
|
+
// GENERAL PROCEDURES //
|
|
128
|
+
// //
|
|
129
|
+
///////////////////////////////////////////////////////////////
|
|
130
|
+
proc log2(bigint xx)
|
|
131
|
+
"USAGE: log2(x);
|
|
132
|
+
RETURN: logarithm to basis 2 of x
|
|
133
|
+
NOTE: calculates the natural logarithm of x with a power-series
|
|
134
|
+
of the ln, then the basis is changed to 2
|
|
135
|
+
EXAMPLE: example log2; shows an example
|
|
136
|
+
"
|
|
137
|
+
{
|
|
138
|
+
ring r=0,@x,dp;
|
|
139
|
+
number b,c,d,t,l,x;
|
|
140
|
+
x=number(xx);
|
|
141
|
+
int k;
|
|
142
|
+
// log2=logarithmus zur basis 2,
|
|
143
|
+
// log=natuerlicher logarithmus
|
|
144
|
+
b=100000000000000000000000000000000000000000000000000;
|
|
145
|
+
c=141421356237309504880168872420969807856967187537695; // c/b=sqrt(2)
|
|
146
|
+
d=69314718055994530941723212145817656807550013436026; // d/b=log(2)
|
|
147
|
+
|
|
148
|
+
//bringen x zunaechst zwischen 1/sqrt(2) und sqrt(2), so dass Reihe schnell
|
|
149
|
+
//konvergiert, berechnen dann Reihe bis 30. Summanden und letztendlich
|
|
150
|
+
//log2(x)=log(x)/log(2)=(log(x/2^j)+j*log(2))/log(2) fuer grosse x
|
|
151
|
+
//log2(x)=log(x)/log(2)=(log(x*2^j)-j*log(2))/log(2) fuer kleine x
|
|
152
|
+
|
|
153
|
+
number j=0;
|
|
154
|
+
if(x<(b/c))
|
|
155
|
+
{
|
|
156
|
+
while(x<(b/c))
|
|
157
|
+
{
|
|
158
|
+
x=x*2;
|
|
159
|
+
j=j+1;
|
|
160
|
+
}
|
|
161
|
+
t=(x-1)/(x+1);
|
|
162
|
+
k=0;
|
|
163
|
+
l=0;
|
|
164
|
+
while(k<30) //fuer x*2^j wird Reihe bis k-tem Summanden berechnet
|
|
165
|
+
{
|
|
166
|
+
l=l+2*(t^(2*k+1))/(2*k+1); //l=log(x*2^j) nach k Summanden
|
|
167
|
+
k=k+1;
|
|
168
|
+
}
|
|
169
|
+
return (intPart((l*b/d)-j)); //log2(x)=log(x*2^j)/log(2)-j wird ausgegeben
|
|
170
|
+
}
|
|
171
|
+
while(x>(c/b))
|
|
172
|
+
{
|
|
173
|
+
x=x/2;
|
|
174
|
+
j=j+1;
|
|
175
|
+
}
|
|
176
|
+
t=(x-1)/(x+1);
|
|
177
|
+
k=0;
|
|
178
|
+
l=0;
|
|
179
|
+
while(k<30) //fuer x/2^j wird Reihe bis k-tem Summanden berechnet
|
|
180
|
+
{
|
|
181
|
+
l=l+2*(t^(2*k+1))/(2*k+1); //l=log(x/2^j) nach k Summanden
|
|
182
|
+
k=k+1;
|
|
183
|
+
}
|
|
184
|
+
return(intPart(((l*b/d)+j))); //hier wird log2(x)=log(x/2^j)/log(2)+j ausgegeben
|
|
185
|
+
}
|
|
186
|
+
example
|
|
187
|
+
{ "EXAMPLE:"; echo = 2;
|
|
188
|
+
log2(1024);
|
|
189
|
+
}
|
|
190
|
+
//////////////////////////////////////////////////////////////////////////
|
|
191
|
+
proc wurzel(number r)
|
|
192
|
+
"USAGE: wurzel(r);
|
|
193
|
+
ASSUME: characteristic of basering is 0, r>=0
|
|
194
|
+
RETURN: number, square root of r
|
|
195
|
+
EXAMPLE:example wurzel; shows an example
|
|
196
|
+
"
|
|
197
|
+
{
|
|
198
|
+
poly f=var(1)^2-r; //Wurzel wird als Nullstelle eines Polys
|
|
199
|
+
//mit proc nt_solve genaehert
|
|
200
|
+
def B=basering;
|
|
201
|
+
ring R=(real,40),var(1),dp;
|
|
202
|
+
poly g=imap(B,f);
|
|
203
|
+
list l=nt_solve(g,1.1);
|
|
204
|
+
number m=leadcoef(l[1][1]);
|
|
205
|
+
setring B;
|
|
206
|
+
return(imap(R,m));
|
|
207
|
+
}
|
|
208
|
+
example
|
|
209
|
+
{ "EXAMPLE:"; echo = 2;
|
|
210
|
+
ring R = 0,x,dp;
|
|
211
|
+
wurzel(7629412809180100);
|
|
212
|
+
}
|
|
213
|
+
//////////////////////////////////////////////////////////////////////////
|
|
214
|
+
proc euler(bigint r)
|
|
215
|
+
"USAGE: euler(r);
|
|
216
|
+
RETURN: bigint phi(r), where phi is Eulers phi-function
|
|
217
|
+
NOTE: first r is factorized with proc PollardRho, then phi(r) is
|
|
218
|
+
calculated with the help of phi(p) of every factor p;
|
|
219
|
+
EXAMPLE:example euler; shows an example
|
|
220
|
+
"
|
|
221
|
+
{
|
|
222
|
+
list l=PollardRho(r,5000,1); //bestimmen der Primfaktoren von r
|
|
223
|
+
int k;
|
|
224
|
+
bigint phi=r;
|
|
225
|
+
for(k=1;k<=size(l);k++)
|
|
226
|
+
{
|
|
227
|
+
phi=phi-phi div l[k]; //berechnen phi(r) mit Hilfe der
|
|
228
|
+
} //Primfaktoren und Eigenschaften der phi-Fktn
|
|
229
|
+
return(phi);
|
|
230
|
+
}
|
|
231
|
+
example
|
|
232
|
+
{ "EXAMPLE:"; echo = 2;
|
|
233
|
+
euler(99991);
|
|
234
|
+
}
|
|
235
|
+
///////////////////////////////////////////////////////////////
|
|
236
|
+
// //
|
|
237
|
+
// PERFECT POWER TEST //
|
|
238
|
+
// //
|
|
239
|
+
///////////////////////////////////////////////////////////////
|
|
240
|
+
proc PerfectPowerTest(bigint n)
|
|
241
|
+
"USAGE: PerfectPowerTest(n);
|
|
242
|
+
RETURN: 0 if there are numbers a,b>1 with a^b=n;
|
|
243
|
+
1 if there are no numbers a,b>1 with a^b=n;
|
|
244
|
+
if printlevel>=1 and there are a,b>1 with a^b=n,
|
|
245
|
+
then a,b are printed
|
|
246
|
+
EXAMPLE:example PerfectPowerTest; shows an example
|
|
247
|
+
"
|
|
248
|
+
{
|
|
249
|
+
bigint a,b,c,e,f,m,l,p;
|
|
250
|
+
b=2;
|
|
251
|
+
l=log2(n);
|
|
252
|
+
e=0;
|
|
253
|
+
f=1;
|
|
254
|
+
|
|
255
|
+
while(b<=l)
|
|
256
|
+
{
|
|
257
|
+
a=1;
|
|
258
|
+
c=n;
|
|
259
|
+
|
|
260
|
+
while(c-a>=2)
|
|
261
|
+
{
|
|
262
|
+
m=(a+c) div 2;
|
|
263
|
+
p=fastExpt(m,b,n);
|
|
264
|
+
|
|
265
|
+
if(p==n)
|
|
266
|
+
{
|
|
267
|
+
if(printlevel>=1){"es existieren Zahlen a,b>1 mit a^b=n";
|
|
268
|
+
"a=";m;"b=";b;pause();}
|
|
269
|
+
return(e);
|
|
270
|
+
}
|
|
271
|
+
|
|
272
|
+
if(p<n)
|
|
273
|
+
{
|
|
274
|
+
a=m;
|
|
275
|
+
}
|
|
276
|
+
else
|
|
277
|
+
{
|
|
278
|
+
c=m;
|
|
279
|
+
}
|
|
280
|
+
}
|
|
281
|
+
b=b+1;
|
|
282
|
+
}
|
|
283
|
+
if(printlevel>=1){"es existieren keine Zahlen a,b>1 mit a^b=n";pause();}
|
|
284
|
+
return(f);
|
|
285
|
+
}
|
|
286
|
+
example
|
|
287
|
+
{ "EXAMPLE:"; echo = 2;
|
|
288
|
+
PerfectPowerTest(887503681);
|
|
289
|
+
}
|
|
290
|
+
///////////////////////////////////////////////////////////////
|
|
291
|
+
// //
|
|
292
|
+
// ASK PRIMALITY TEST //
|
|
293
|
+
// //
|
|
294
|
+
///////////////////////////////////////////////////////////////
|
|
295
|
+
proc ask(bigint n)
|
|
296
|
+
"USAGE: ask(n);
|
|
297
|
+
ASSUME: n>1
|
|
298
|
+
RETURN: 0 if n is composite;
|
|
299
|
+
1 if n is prime;
|
|
300
|
+
if printlevel>=1, you are informed what the procedure will do
|
|
301
|
+
or has calculated
|
|
302
|
+
NOTE: ASK-algorithm; uses proc powerpolyX for step 5
|
|
303
|
+
EXAMPLE:example ask; shows an example
|
|
304
|
+
"
|
|
305
|
+
{
|
|
306
|
+
bigint c,p;
|
|
307
|
+
c=0;
|
|
308
|
+
p=1;
|
|
309
|
+
|
|
310
|
+
if(n==2) { return(p); }
|
|
311
|
+
if(printlevel>=1){"Beginn: Test ob a^b=n fuer a,b>1";pause();}
|
|
312
|
+
if(0==PerfectPowerTest(n)) // Schritt1 des ASK-Alg.
|
|
313
|
+
{ return(c); }
|
|
314
|
+
if(printlevel>=1)
|
|
315
|
+
{
|
|
316
|
+
"Beginn: Berechnung von r, so dass ord(n) in Z/rZ groesser log2(n)^2 ";
|
|
317
|
+
pause();
|
|
318
|
+
}
|
|
319
|
+
bigint k,M,M2,b;
|
|
320
|
+
int r; // Zeile 526-542: Schritt 2
|
|
321
|
+
M=log2(n); // darin sind die Schritte
|
|
322
|
+
M2=M^2; // 3 und 4 integriert
|
|
323
|
+
r=2;
|
|
324
|
+
|
|
325
|
+
if(gcd(n,r)!=1) //falls ggt ungleich eins, Teiler von n gefunden,
|
|
326
|
+
// Schritt 3 des ASK-Alg.
|
|
327
|
+
{
|
|
328
|
+
if(printlevel>=1){"Zahl r gefunden mit r|n";"r=";r;pause();}
|
|
329
|
+
return(c);
|
|
330
|
+
}
|
|
331
|
+
if(r==n-1) // falls diese Bedingung erfuellt ist, ist
|
|
332
|
+
// ggT(a,n)=1 fuer 0<a<=r, schritt 4 des ASK-Alg.
|
|
333
|
+
{
|
|
334
|
+
if(printlevel>=1){"ggt(r,n)=1 fuer alle 1<r<n";pause();}
|
|
335
|
+
return(p);
|
|
336
|
+
}
|
|
337
|
+
k=1;
|
|
338
|
+
b=1;
|
|
339
|
+
|
|
340
|
+
while(k<=M2) //Beginn des Ordnungstests fuer aktuelles r
|
|
341
|
+
{
|
|
342
|
+
b=((b*n) mod r);
|
|
343
|
+
if(b==1) //tritt Bedingung ein so gilt fuer aktuelles r,k:
|
|
344
|
+
//n^k=1 mod r
|
|
345
|
+
//tritt Bedingung ein, wird wegen k<=M2=intPart(log2(n)^2)
|
|
346
|
+
//r erhoeht,k=0 gesetzt und Ordnung erneut untersucht
|
|
347
|
+
//tritt diese Bedingung beim groessten k=intPart(log2(n)^2)
|
|
348
|
+
//nicht ein, so ist ord_r_(n)>log2(n)^2 und Schleife
|
|
349
|
+
//wird nicht mehr ausgefuehrt
|
|
350
|
+
{
|
|
351
|
+
if(r==2147483647)
|
|
352
|
+
{
|
|
353
|
+
string e="error: r ueberschreitet integer Bereich und darf
|
|
354
|
+
nicht als Grad eines Polynoms verwendet werden";
|
|
355
|
+
return(e);
|
|
356
|
+
}
|
|
357
|
+
r=r+1;
|
|
358
|
+
if(gcd(n,r)!=1) //falls ggt ungleich eins, Teiler von n gefunden,
|
|
359
|
+
//wird aufgrund von Schritt 3 des ASK-Alg. fuer
|
|
360
|
+
//jeden Kandidaten r getestet
|
|
361
|
+
{
|
|
362
|
+
if(printlevel>=1){"Zahl r gefunden mit r|n";"r=";r;pause();}
|
|
363
|
+
return(c);
|
|
364
|
+
}
|
|
365
|
+
if(r==n-1) //falls diese Bedingung erfuellt ist,
|
|
366
|
+
//ist n wegen Zeile 571 prim
|
|
367
|
+
//wird aufgrund von Schritt 4 des ASK-Alg. fuer
|
|
368
|
+
//jeden Kandidaten r getestet
|
|
369
|
+
{
|
|
370
|
+
if(printlevel>=1){"ggt(r,n)=1 fuer alle 1<r<n";pause();}
|
|
371
|
+
return(p);
|
|
372
|
+
}
|
|
373
|
+
|
|
374
|
+
k=0; //fuer neuen Kandidaten r, muss k fuer den
|
|
375
|
+
//Ordnungstest zurueckgesetzt werden
|
|
376
|
+
}
|
|
377
|
+
k=k+1;
|
|
378
|
+
}
|
|
379
|
+
if(printlevel>=1)
|
|
380
|
+
{
|
|
381
|
+
"Zahl r gefunden, so dass ord(n) in Z/rZ groesser log2(n)^2 ";
|
|
382
|
+
"r=";r;pause();
|
|
383
|
+
}
|
|
384
|
+
ring @R=0,@x,dp;
|
|
385
|
+
bigint l=1; // Zeile 603-628: Schritt 5
|
|
386
|
+
poly f,g; // Zeile 618 ueberprueft Gleichungen fuer
|
|
387
|
+
// das jeweilige a
|
|
388
|
+
g=var(1)^r-1;
|
|
389
|
+
bigint grenze=intPart(wurzel(euler(r))*M);
|
|
390
|
+
|
|
391
|
+
if(printlevel>=1)
|
|
392
|
+
{"Beginn: Ueberpruefung ob (x+a)^n kongruent x^n+a mod (x^r-1,n)
|
|
393
|
+
fuer 0<a<=intPart(wurzel(phi(r))*log2(n))=";grenze;pause();
|
|
394
|
+
}
|
|
395
|
+
while(l<=grenze) //
|
|
396
|
+
{
|
|
397
|
+
if(printlevel>=1){"a=";l;}
|
|
398
|
+
f=var(1)+l;
|
|
399
|
+
if(powerpolyX(bigint(n),bigint(n),f,g)!=(var(1)^(int((n mod r)))+l))
|
|
400
|
+
{
|
|
401
|
+
if(printlevel>=1)
|
|
402
|
+
{"Fuer a=";l;"ist (x+a)^n nicht kongruent x^n+a mod (x^r-1,n)";
|
|
403
|
+
pause();
|
|
404
|
+
}
|
|
405
|
+
return(c);
|
|
406
|
+
}
|
|
407
|
+
l=l+1;
|
|
408
|
+
}
|
|
409
|
+
if(printlevel>=1)
|
|
410
|
+
{"(x+a)^n kongruent x^n+a mod (x^r-1,n) fuer 0<a<wurzel(phi(r))*log2(n)";
|
|
411
|
+
pause();
|
|
412
|
+
}
|
|
413
|
+
return(p); // Schritt 6
|
|
414
|
+
}
|
|
415
|
+
example
|
|
416
|
+
{ "EXAMPLE:"; echo = 2;
|
|
417
|
+
//ask(100003);
|
|
418
|
+
ask(32003);
|
|
419
|
+
}
|