Static-method namespace bridging engine Matrix / vec values and the resolution engine's ResPolynomial representation. More...

Static Public Member Functions
static void	from_M2_vec (const ResPolyRing &R, const FreeModule *F, vec v, ResPolynomial &result)
static vec	to_M2_vec (const ResPolyRing &R, const ResPolynomial &f, const FreeModule *F)
static FreeModule *	to_M2_freemodule (const PolynomialRing *R, SchreyerFrame &C, int lev)
static FreeModule *	to_M2_freemodule (const PolynomialRing R, const FreeModule F, SchreyerFrame &C, int lev)
static Matrix *	to_M2_matrix (SchreyerFrame &C, int lev, const FreeModule tar, const FreeModule src)
static MutableMatrix *	to_M2_MutableMatrix (SchreyerFrame &C, const Ring *R, int lev)
static MutableMatrix *	to_M2_MutableMatrix (SchreyerFrame &C, const Ring *K, int lev, int degree)
template<typename RingType>
static double	setDegreeZeroMap (SchreyerFrame &C, DMat< RingType > &result, int slanted_degree, int lev)
static std::pair< Matrix *, double >	setDegreeZeroMap (SchreyerFrame &C, int slanted_degree, int lev)

Detailed Description

Static-method namespace bridging engine Matrix / vec values and the resolution engine's ResPolynomial representation.

Note: AI-generated documentation. Verify against the source before relying on it.

Resolution-side counterpart of F4toM2Interface: every method is static. Provides from_M2_vec / to_M2_vec and the matrix-wide variants used by F4ResComputation when handing input to the SchreyerFrame and reading the resulting ResPolynomial syzygies back into engine-side vecs and Matrix*es for the front end.

Definition at line 60 of file res-f4-m2-interface.hpp.

The documentation for this class was generated from the following files:

Static Public Member Functions