Gröbner basis project
Codebase for research into Gröbner basis computation
File List
Here is a list of all documented files with brief descriptions:
 algorithm_buchberger_basic.cpp
 algorithm_buchberger_basic.hpp
 algorithm_buchberger_dynamic.cpp
 algorithm_buchberger_dynamic.hpp
 algorithm_buchberger_explorer.cpp
 algorithm_buchberger_explorer.hpp
 algorithm_buchberger_explorer_postcustomreduce.cpp
 algorithm_buchberger_explorer_precustomreduce.cpp
 algorithm_buchberger_explorer_serial.cpp
 algorithm_buchberger_explorer_serial.hpp
 betti.cpp
 betti.hpp
 critical_pair.cpp
 critical_pair.hpp
 cyclic_n.hpp
 dense_univariate_integer_poly.cpp
 dense_univariate_integer_poly.hpp
 dense_univariate_rational_poly.cpp
 dense_univariate_rational_poly.hpp
 dynamic_engine.cpp
 dynamic_engine.hpp
 f4_reduction.cpp
 f4_reduction.hpp
 f4_reduction_serial.cpp
 f4_reduction_serial.hpp
 fields.cpp
 fields.hpp
 glpk_solver.cpp
 glpk_solver.hpp
 goda.hpp
 hilbert_functions.cpp
 hilbert_functions.hpp
 indeterminate.cpp
 indeterminate.hpp
 lp_solver.cpp
 lp_solver.hpp
 mainpage.hpp
 monomial.cpp
 monomial.hpp
 monomial_ideal.cpp
 monomial_ideal.hpp
 monomial_ordering.cpp
 monomial_ordering.hpp
 monomial_orderings.cpp
 normal_strategy.cpp
 normal_strategy.hpp
 pack_exponents_test.cxx
 particular_orderings.cpp
 particular_orderings.hpp
 polynomial.cpp
 polynomial.hpp
 polynomial_array.cpp
 polynomial_array.hpp
 polynomial_double_buffered.cpp
 polynomial_double_buffered.hpp
 polynomial_geobucket.cpp
 polynomial_geobucket.hpp
 polynomial_linked_list.cpp
 polynomial_linked_list.hpp
 polynomial_ring.cpp
 polynomial_ring.hpp
 ppl_solver.cpp
 ppl_solver.hpp
 reduction_support.cpp
 reduction_support.hpp
 skeleton.cpp
 skeleton.hpp
 strategies.cpp
 strategies.hpp
 sugar_strategy.cpp
 sugar_strategy.hpp
 system_constants.hpp
 test_4by4.cpp
 test_cab_es1.cpp
 test_cab_es2.cpp
 test_cab_es4.cpp
 test_cab_es5.cpp
 test_cab_es6.cpp
 test_cab_es9.cpp
 test_circle_hyperbola.cpp
 test_cyclic4.cpp
 test_cyclicn.cpp
 test_cyclicn_mpi.cpp
 test_dynamic.cpp
 test_f4.cpp
 test_finite_fields.cpp
 test_glpk_solver.cxx
 test_gmp.cxx
 test_hilbert_functions.cpp
 test_incremental_betti.cpp
 test_initial_analysis.cpp
 test_monomials.cpp
 test_nonsingular.cpp
 user_interface.cpp
 weighted_sugar_strategy.cpp
 weighted_sugar_strategy.hpp