res-f4-m2-interface.cpp File Reference

#include "m2tbb.hpp"
#include "schreyer-resolution/res-f4-m2-interface.hpp"
#include "ZZ.hpp"
#include "aring-RRR.hpp"
#include "aring-zz-gmp.hpp"
#include "aring-zzp-ffpack.hpp"
#include "aring-zzp-flint.hpp"
#include "aring.hpp"
#include "coeffrings.hpp"
#include "comp.hpp"
#include "mat-linalg.hpp"
#include "dmat.hpp"
#include "interface/m2-types.h"
#include "error.h"
#include "exceptions.hpp"
#include "freemod.hpp"
#include "gauss.hpp"
#include "gbring.hpp"
#include "interface/groebner.h"
#include "mat.hpp"
#include "matrix-con.hpp"
#include "matrix.hpp"
#include "monoid.hpp"
#include "newdelete.hpp"
#include "polyring.hpp"
#include "ring.hpp"
#include "schreyer-resolution/res-f4-computation.hpp"
#include "schreyer-resolution/res-moninfo.hpp"
#include "schreyer-resolution/res-monomial-types.hpp"
#include "schreyer-resolution/res-poly-ring.hpp"
#include "schreyer-resolution/res-schreyer-frame.hpp"
#include "schreyer-resolution/res-schreyer-order.hpp"
#include "timing.hpp"
#include <cstdlib>
#include <chrono>
#include <iostream>
#include <type_traits>
#include <vector>

Go to the source code of this file.

Classes
class	DegreeZeroMapGenerator
	View of one cell of a SchreyerFrame as the degree-zero (scalar) part of the differential between two homological levels. More...
class	DegreeZeroMapGenerator::iterator
	Column iterator over the parent DegreeZeroMapGenerator's degree-zero submap. More...

Functions
template<typename Gen>
Matrix *	matrixFromSparseMatrixGenerator (Gen &G)
template<typename RingType, typename Gen>
void	setDMatFromSparseMatrixGenerator (Gen &G, DMat< RingType > &M)
template<typename RingType, typename Gen>
void	setDMatFromSparseMatrixGeneratorTransposed (Gen &G, DMat< RingType > &M)
M2_arrayint	rawMinimalBetti (Computation *C, M2_arrayint slanted_degree_limit, M2_arrayint length_limit)