*No copyright* GNU General Public License v2.0 or later ------------------------------------------------------- msolve-0.5.0/interfaces/msolve-to-maple-file-interface.mpl msolve-0.5.0/src/crt/mpq_reconstruct.c msolve-0.5.0/src/crt/mpz_CRT_ui.c msolve-0.5.0/src/fglm/data_fglm.c msolve-0.5.0/src/fglm/fglm_core.c msolve-0.5.0/src/fglm/inner-product.c msolve-0.5.0/src/fglm/libfglm.h msolve-0.5.0/src/fglm/linalg-fglm.c msolve-0.5.0/src/fglm/matrix-mult.c msolve-0.5.0/src/msolve/hilbert.c msolve-0.5.0/src/msolve/iofiles.c msolve-0.5.0/src/msolve/libmsolve.c msolve-0.5.0/src/msolve/lifting-gb.c msolve-0.5.0/src/msolve/lifting.c msolve-0.5.0/src/msolve/linear.c msolve-0.5.0/src/msolve/main.c msolve-0.5.0/src/msolve/msolve-data.c msolve-0.5.0/src/msolve/msolve-data.h msolve-0.5.0/src/msolve/msolve.c msolve-0.5.0/src/msolve/msolve.h msolve-0.5.0/src/msolve/primes.c msolve-0.5.0/src/neogb/basis.c msolve-0.5.0/src/neogb/basis.h msolve-0.5.0/src/neogb/convert.c msolve-0.5.0/src/neogb/data.c msolve-0.5.0/src/neogb/data.h msolve-0.5.0/src/neogb/engine.c msolve-0.5.0/src/neogb/engine.h msolve-0.5.0/src/neogb/f4.c msolve-0.5.0/src/neogb/f4.h msolve-0.5.0/src/neogb/f4sat.c msolve-0.5.0/src/neogb/f4sat.h msolve-0.5.0/src/neogb/gb.c msolve-0.5.0/src/neogb/hash.c msolve-0.5.0/src/neogb/hash.h msolve-0.5.0/src/neogb/io.c msolve-0.5.0/src/neogb/io.h msolve-0.5.0/src/neogb/la.h msolve-0.5.0/src/neogb/la_ff_16.c msolve-0.5.0/src/neogb/la_ff_32.c msolve-0.5.0/src/neogb/la_ff_8.c msolve-0.5.0/src/neogb/la_qq.c msolve-0.5.0/src/neogb/libneogb.h msolve-0.5.0/src/neogb/modular.c msolve-0.5.0/src/neogb/modular.h msolve-0.5.0/src/neogb/nf.c msolve-0.5.0/src/neogb/nf.h msolve-0.5.0/src/neogb/order.c msolve-0.5.0/src/neogb/sba.c msolve-0.5.0/src/neogb/sba.h msolve-0.5.0/src/neogb/sort_r.h msolve-0.5.0/src/neogb/stat.c msolve-0.5.0/src/neogb/stat.h msolve-0.5.0/src/neogb/symbol.c msolve-0.5.0/src/neogb/tools.c msolve-0.5.0/src/neogb/tools.h msolve-0.5.0/src/neogb/update.c msolve-0.5.0/src/neogb/update.h msolve-0.5.0/src/usolve/bisection.h msolve-0.5.0/src/usolve/data_usolve.c msolve-0.5.0/src/usolve/debug.c msolve-0.5.0/src/usolve/debug.h msolve-0.5.0/src/usolve/descartes.c msolve-0.5.0/src/usolve/descartes.h msolve-0.5.0/src/usolve/evaluate.c msolve-0.5.0/src/usolve/evaluate.h msolve-0.5.0/src/usolve/libusolve.h msolve-0.5.0/src/usolve/print_usolve.c msolve-0.5.0/src/usolve/print_usolve.h msolve-0.5.0/src/usolve/refine.c msolve-0.5.0/src/usolve/refine.h msolve-0.5.0/src/usolve/taylor_shift.c msolve-0.5.0/src/usolve/taylor_shift.h msolve-0.5.0/src/usolve/tests.c msolve-0.5.0/src/usolve/univmultiply.c msolve-0.5.0/src/usolve/univmultiply.h msolve-0.5.0/src/usolve/usolve.c msolve-0.5.0/src/usolve/utils.c FSF All Permissive License -------------------------- msolve-0.5.0/m4/ax_check_compile_flag.m4 msolve-0.5.0/m4/ax_count_cpus.m4 msolve-0.5.0/m4/ax_cpu_vendor.m4 msolve-0.5.0/m4/ax_ext.m4 msolve-0.5.0/m4/ax_gcc_builtin.m4 GNU General Public License v2.0 or later [generated file] --------------------------------------------------------- msolve-0.5.0/src/neogb/test-driver GNU General Public License v3.0 or later ---------------------------------------- msolve-0.5.0/m4/ax_gcc_x86_avx_xgetbv.m4 msolve-0.5.0/m4/ax_gcc_x86_cpuid.m4 msolve-0.5.0/m4/ax_openmp.m4 GNU General Public License, Version 2 ------------------------------------- msolve-0.5.0/COPYING GNU Lesser General Public License v2.1 or later ----------------------------------------------- msolve-0.5.0/src/crt/longlong.h msolve-0.5.0/src/crt/ulong_extras.h GNU Lesser General Public License v2.1 or later GNU General Public License v2.0 or later ---------------------------------------------------------------------------------------- msolve-0.5.0/src/fglm/berlekamp_massey.c Unknown or generated -------------------- msolve-0.5.0/.github/workflows/msolve.yml msolve-0.5.0/AUTHORS msolve-0.5.0/INSTALL msolve-0.5.0/Makefile.am msolve-0.5.0/README.md msolve-0.5.0/autogen.sh msolve-0.5.0/configure.ac msolve-0.5.0/doc/biblio.bib msolve-0.5.0/doc/examples/elim2_char1073741827.sh msolve-0.5.0/doc/examples/elim_char1073741827.ms msolve-0.5.0/doc/examples/elim_char1073741827.sh msolve-0.5.0/doc/examples/empty_char0.ms msolve-0.5.0/doc/examples/empty_char0.sh msolve-0.5.0/doc/examples/grevlex_char1073741827.ms msolve-0.5.0/doc/examples/grevlex_char1073741827.sh msolve-0.5.0/doc/examples/grevlex_lm_char1073741827.sh msolve-0.5.0/doc/examples/hypersurface_char0.ms msolve-0.5.0/doc/examples/hypersurface_char0.sh msolve-0.5.0/doc/examples/param_and_reals_char0.sh msolve-0.5.0/doc/examples/param_char0.ms msolve-0.5.0/doc/examples/param_char0.sh msolve-0.5.0/doc/examples/param_char65521.ms msolve-0.5.0/doc/examples/param_char65521.sh msolve-0.5.0/doc/examples/param_simple.ms msolve-0.5.0/doc/examples/param_simple.sh msolve-0.5.0/doc/examples/reals_dim0.ms msolve-0.5.0/doc/examples/reals_dim0.sh msolve-0.5.0/doc/examples/reals_dim0_prec256.sh msolve-0.5.0/doc/examples/saturate_char1073741827.ms msolve-0.5.0/doc/examples/saturate_char1073741827.sh msolve-0.5.0/doc/examples/simple_char0.ms msolve-0.5.0/doc/examples/simple_char0.sh msolve-0.5.0/doc/examples/simple_char65521.ms msolve-0.5.0/doc/examples/simple_char65521.sh msolve-0.5.0/doc/macros.tex msolve-0.5.0/doc/msolve-tutorial.tex msolve-0.5.0/input_files/F4SAT-31.ms msolve-0.5.0/input_files/cp_d_3_n_4_p_2.ms msolve-0.5.0/input_files/eco11-31.ms msolve-0.5.0/input_files/elim-31.ms msolve-0.5.0/input_files/elim-qq.ms msolve-0.5.0/input_files/kat6-31.ms msolve-0.5.0/input_files/kat7-qq.ms msolve-0.5.0/input_files/multy-qq.ms msolve-0.5.0/input_files/nonradical_radicalshape-31.ms msolve-0.5.0/input_files/nonradical_radicalshape-qq.ms msolve-0.5.0/input_files/nonradical_shape-31.ms msolve-0.5.0/input_files/nonradical_shape-qq.ms msolve-0.5.0/input_files/one-16.ms msolve-0.5.0/input_files/one-31.ms msolve-0.5.0/input_files/one-qq.ms msolve-0.5.0/input_files/radical_shape-31.ms msolve-0.5.0/input_files/radical_shape-qq.ms msolve-0.5.0/input_files/reals_dim0.ms msolve-0.5.0/input_files/xy-qq.ms msolve-0.5.0/interfaces/msolve-to-julia-file-interface.txt msolve-0.5.0/interfaces/msolve-to-sage-file-interface.sage msolve-0.5.0/output_files/F4SAT-31.res msolve-0.5.0/output_files/cp_d_3_n_4_p_2.res msolve-0.5.0/output_files/eco11-31.res msolve-0.5.0/output_files/elim-31.e2.res msolve-0.5.0/output_files/elim-31.res msolve-0.5.0/output_files/elim-qq.e2.res msolve-0.5.0/output_files/elim-qq.res msolve-0.5.0/output_files/kat6-31.res msolve-0.5.0/output_files/kat7-qq.res msolve-0.5.0/output_files/multy-qq.res msolve-0.5.0/output_files/nonradical_radicalshape-31.res msolve-0.5.0/output_files/nonradical_radicalshape-qq.p3.res msolve-0.5.0/output_files/nonradical_radicalshape-qq.res msolve-0.5.0/output_files/nonradical_shape-31.res msolve-0.5.0/output_files/nonradical_shape-qq.p1024.res msolve-0.5.0/output_files/nonradical_shape-qq.res msolve-0.5.0/output_files/one-16.res msolve-0.5.0/output_files/one-31.res msolve-0.5.0/output_files/one-qq.g2.res msolve-0.5.0/output_files/one-qq.res msolve-0.5.0/output_files/radical_shape-31.res msolve-0.5.0/output_files/radical_shape-qq.res msolve-0.5.0/output_files/reals_dim0.p256.res msolve-0.5.0/output_files/reals_dim0.res msolve-0.5.0/output_files/xy-qq.res msolve-0.5.0/src/fglm/Makefile.am msolve-0.5.0/src/msolve/Makefile.am msolve-0.5.0/src/msolve/duplicate.c msolve-0.5.0/src/neogb/Makefile.am msolve-0.5.0/src/usolve/Makefile.am msolve-0.5.0/test/diff/diff_F4SAT-31.sh msolve-0.5.0/test/diff/diff_cp_d_3_n_4_p_2.sh msolve-0.5.0/test/diff/diff_eco11-31.sh msolve-0.5.0/test/diff/diff_elim-31.sh msolve-0.5.0/test/diff/diff_elim-qq.sh msolve-0.5.0/test/diff/diff_kat6-31.sh msolve-0.5.0/test/diff/diff_kat7-qq.sh msolve-0.5.0/test/diff/diff_multy-qq.sh msolve-0.5.0/test/diff/diff_nonradical_radicalshape-31.sh msolve-0.5.0/test/diff/diff_nonradical_radicalshape-qq.sh msolve-0.5.0/test/diff/diff_nonradical_shape-31.sh msolve-0.5.0/test/diff/diff_nonradical_shape-qq.sh msolve-0.5.0/test/diff/diff_one-16.sh msolve-0.5.0/test/diff/diff_one-31.sh msolve-0.5.0/test/diff/diff_one-qq.sh msolve-0.5.0/test/diff/diff_radical_shape-31.sh msolve-0.5.0/test/diff/diff_radical_shape-qq.sh msolve-0.5.0/test/diff/diff_reals_dim0.sh msolve-0.5.0/test/diff/diff_source.sh msolve-0.5.0/test/diff/diff_xy-qq.sh msolve-0.5.0/test/fglm/build_matrixn_nonradical_radicalshape-31.c msolve-0.5.0/test/fglm/build_matrixn_nonradical_shape-31.c msolve-0.5.0/test/fglm/build_matrixn_radical_shape-31.c msolve-0.5.0/test/neogb/io/validate_input_data.c msolve-0.5.0/test/scripts/fglm_build_matrixn.mpl msolve-0.5.0/test/scripts/nonradical_radicalshape-31.mpl msolve-0.5.0/test/scripts/nonradical_shape-31.mpl msolve-0.5.0/test/scripts/radical_shape-31.mpl