Static-method namespace for translating between engine Matrix / vec polynomials and the F4-internal GBF4Polynomial form. More...

Static Public Member Functions
static void	poly_set_degrees (const VectorArithmetic VA, const MonomialInfo MI, const M2_arrayint wts, const GBF4Polynomial &f, int &deg, int &alpha)
static void	from_M2_vec (const VectorArithmetic VA, const MonomialInfo MI, const FreeModule *F, vec v, GBF4Polynomial &result)
static vec	to_M2_vec (const VectorArithmetic VA, const MonomialInfo MI, const GBF4Polynomial &f, const FreeModule *F)
static void	from_M2_matrix (const VectorArithmetic VA, const MonomialInfo MI, const Matrix *m, gb_array &result_polys)
static Matrix *	to_M2_matrix (const VectorArithmetic VA, const MonomialInfo MI, gb_array &polys, const FreeModule *F)
static MutableMatrix *	to_M2_MutableMatrix (const VectorArithmetic VA, coefficient_matrix mat, gb_array &gens, gb_array &gb)

Detailed Description

Static-method namespace for translating between engine Matrix / vec polynomials and the F4-internal GBF4Polynomial form.

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

Every method is static — the class holds no state. It bundles the conversion glue (poly_set_degrees, to_M2_vec, from_M2_vec, matrix-wide variants) that F4Computation uses when handing input to F4GB and reading its output back into the engine's Matrix / MutableMatrix types.

Definition at line 62 of file f4-m2-interface.hpp.

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

Static Public Member Functions