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 | |