#include "interface/groebner.h"
#include <iostream>
#include <limits>
#include <sstream>
#include "Eschreyer.hpp"
#include "hilb.hpp"
#include "comp-gb.hpp"
#include "comp-res.hpp"
#include "comp-gb-declared.hpp"
#include "text-io.hpp"
#include "sagbi.hpp"
#include "exceptions.hpp"
#include "gb-walk.hpp"
#include "relem.hpp"
#include "util.hpp"
#include "matrix-ncbasis.hpp"
#include "M2FreeAlgebra.hpp"
#include "NCAlgebras/FreeAlgebra.hpp"
#include "NCAlgebras/NCGroebner.hpp"
#include "NCAlgebras/NCF4.hpp"
#include "poly.hpp"
#include "interrupted.hpp"
#include "schreyer-resolution/res-f4-computation.hpp"
#include "mathicgb.h"
#include "matrix-stream.hpp"

Classes
class	MGBCallback
	mathicgb (mgb) callback that polls the engine's interrupt flag during a long-running GB computation. More...

Functions
void	test_over_RR_or_CC (const Ring *R)
const RingElement *	IM2_Matrix_Hilbert (const Matrix *M)
const Matrix *	rawKernelOfGB (const Matrix *M)
Computation *	IM2_GB_make (const Matrix *m, M2_bool collect_syz, int n_rows_to_keep, M2_arrayint gb_weights, M2_bool use_max_degree, int max_degree, int algorithm, int strategy, int max_reduction_count)
Computation *	IM2_res_make (const Matrix *m, M2_bool resolve_cokernel, int max_level, M2_bool use_max_slanted_degree, int max_slanted_degree, int algorithm, int strategy, M2_bool parallelizeByDegree)
Computation *	IM2_GB_set_hilbert_function (Computation C, const RingElement h)
Computation *	IM2_GB_force (const Matrix m, const Matrix gb, const Matrix change, const Matrix syz)
Computation *	rawMarkedGB (const Matrix leadterms, const Matrix m, const Matrix gb, const Matrix change, const Matrix *syz)
Computation *	rawGroebnerWalk (const Matrix gb, const MonomialOrdering order1)
Computation *	IM2_Computation_set_stop (Computation *G, M2_bool always_stop, M2_arrayint degree_limit, int basis_element_limit, int syzygy_limit, int pair_limit, int codim_limit, int subring_limit, M2_bool just_min_gens, M2_arrayint length_limit)
Computation *	rawStartComputation (Computation *C)
enum ComputationStatusCode	rawStatus1 (Computation *C)
int	rawStatus2 (Computation *C)
void	rawShowComputation (const Computation *C)
const Matrix *	rawGBGetMatrix (Computation *C)
const Matrix *	rawGBMinimalGenerators (Computation *C)
const Matrix *	rawGBChangeOfBasis (Computation *C)
const Matrix *	rawGBGetLeadTerms (Computation *C, int nparts)
const Matrix *	rawGBGetParallelLeadTerms (Computation *C, M2_arrayint w)
const Matrix *	rawGBSyzygies (Computation *C)
const Matrix *	rawGBMatrixRemainder (Computation C, const Matrix m)
M2_bool	IM2_GB_matrix_lift (Computation C, const Matrix m, const Matrix result_remainder, const Matrix result_quotient)
int	IM2_GB_contains (Computation C, const Matrix m)
const Matrix *	rawResolutionGetMatrix (Computation *C, int level)
MutableMatrix *	rawResolutionGetMatrix2 (Computation *C, int level, int degree)
MutableMatrix *	rawResolutionGetMutableMatrixB (Computation C, const Ring R, int level)
MutableMatrix *	rawResolutionGetMutableMatrix2B (Computation C, const Ring KK, int level, int degree)
const FreeModule *	rawResolutionGetFree (Computation *C, int level)
int	IM2_Resolution_status (Computation C, int complete_up_through_this_degree, int *complete_up_through_this_level)
enum ComputationStatusCode	IM2_Resolution_status_level (Computation C, int level, M2_bool minimize, int complete_up_through_this_degree)
M2_arrayintOrNull	rawResolutionBetti (Computation *C, int type)
M2_string	IM2_GB_to_string (Computation *C)
unsigned int	rawComputationHash (const Computation *C)
Matrix *	rawSubduction (int numparts, const Matrix M, const RingMap F, Computation *C)
Matrix *	rawSubduction1 (int numparts, const Ring rawT, const Ring rawS, const Matrix m, const RingMap inclusionAmbient, const RingMap fullSubstitution, const RingMap substitutionInclusion, Computation rawGBI, Computation rawGBReductionIdeal)
void	rawDisplayMatrixStream (const Matrix *inputMatrix)
bool	monomialOrderingToMatrix (const struct MonomialOrdering &mo, std::vector< int > &mat, bool &base_is_revlex, int &component_direction, int &component_is_before_row)
const Matrix *	rawMGB (const Matrix *inputMatrix, int reducer, int spairGroupSize, int nthreads, M2_string logging)
ConstPolyList	matrixToPolyList (const M2FreeAlgebraOrQuotient A, const Matrix input)
template<typename PolyL>
const Matrix *	polyListToMatrix (const M2FreeAlgebraOrQuotient *A, const PolyL &elems, int numrows, int numcols)
const Matrix *	rawNCGroebnerBasisTwoSided (const Matrix *input, int maxdeg, int strategy)
const Matrix *	rawNCReductionTwoSided (const Matrix toBeReduced, const Matrix reducerMatrix)
const Matrix *	rawNCBasis (const Matrix *gb2SidedIdeal, M2_arrayint lo_degree, M2_arrayint hi_degree, int limit)

Variables
bool	warning_given_for_gb_or_res_over_RR_or_CC = false

Classes

Functions

Variables