#include "matrix.hpp"
#include <algorithm>
#include <iostream>
#include <vector>
#include "interface/gmp-util.h"
#include "interface/random.h"
#include "ExponentVector.hpp"
#include "style.hpp"
#include "text-io.hpp"
#include "ring.hpp"
#include "comb.hpp"
#include "polyring.hpp"
#include "assprime.hpp"
#include "monideal.hpp"
#include "relem.hpp"
#include "freemod.hpp"
#include "util.hpp"
#include "exptable.h"
#include "matrix-con.hpp"
#include "monomial-collection.hpp"
#include "M2FreeAlgebra.hpp"

Go to the source code of this file.

Functions
static MonomialIdeal *	makemonideal (const Matrix *A)
static int	signdivide (int n, const_exponents a, const_exponents b, exponents_t exp)
void	NCMonomials (ModuleMonomialSet &H, const Matrix *M)
Matrix *	NCMonomialMatrix (ModuleMonomialSet &H, const FreeModule *target)
Matrix *	NCCoefficientMatrix (ModuleMonomialSet &H, const Matrix *M)
std::pair< Matrix , Matrix >	NCCoefficientMatrix (const Matrix *M)
static void	get_part_of_expvector (M2_arrayint vars, exponent big, int comp, exponent result)
static vec	coeffs_of_vec (exponent_table E, M2_arrayint vars, const FreeModule F, vec f)

Functions