F4Computation Class Reference

GBComputation subclass that drives an F4GB engine instance from the engine-side computation API. More...

#include <f4-computation.hpp>

Inheritance diagram for F4Computation:

Public Member Functions
	F4Computation (const VectorArithmetic *VA, const Matrix *m, M2_bool collect_syz, int n_rows_to_keep, M2_arrayint gb_weights, int strategy, M2_bool use_max_degree, int max_degree, int numThreads)
	~F4Computation () override
void	remove_gb () override
enum ComputationStatusCode	computation_is_complete ()
bool	stop_conditions_ok () override
void	start_computation () override
const PolynomialRing *	get_ring () const override
Computation *	set_hilbert_function (const RingElement *h) override
const Matrix *	get_gb () override
const Matrix *	get_mingens () override
const Matrix *	get_change () override
const Matrix *	get_syzygies () override
const Matrix *	get_initial (int nparts) override
const Matrix *	matrix_remainder (const Matrix *m) override
M2_bool	matrix_lift (const Matrix *m, const Matrix **result_remainder, const Matrix **result_quotient) override
int	contains (const Matrix *m) override
void	text_out (buffer &o) const override
int	complete_thru_degree () const override
void	show () const override
Public Member Functions inherited from GBComputation
virtual	~GBComputation ()
GBComputation *	cast_to_GBComputation () override
virtual const Matrix *	get_parallel_lead_terms (M2_arrayint w)
void	text_out (buffer &o) const override
Public Member Functions inherited from Computation
Computation *	set_stop_conditions (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)
enum ComputationStatusCode	status () const
virtual ResolutionComputation *	cast_to_ResolutionComputation ()
Public Member Functions inherited from MutableEngineObject
	MutableEngineObject ()
virtual	~MutableEngineObject ()
unsigned int	hash () const
Public Member Functions inherited from our_gc_cleanup
	our_gc_cleanup ()
virtual	~our_gc_cleanup ()

Private Attributes
const PolynomialRing *	mOriginalRing
const FreeModule *	mFreeModule
const VectorArithmetic *	mVectorArithmetic
MonomialInfo *	mMonoid
F4GB *	mF4GB

Additional Inherited Members
Static Public Member Functions inherited from GBComputation
static GBComputation *	choose_gb (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 numThreads, int max_reduction_count=10)
Static Public Member Functions inherited from our_new_delete
static void *	operator new (size_t size)
static void *	operator new[] (size_t size)
static void	operator delete (void *obj)
static void	operator delete[] (void *obj)
static void *	operator new (size_t size, void *existing_memory)
static void *	operator new[] (size_t size, void *existing_memory)
static void	operator delete (void *obj, void *existing_memory)
static void	operator delete[] (void *obj, void *existing_memory)
Protected Member Functions inherited from GBComputation
	GBComputation ()
Protected Member Functions inherited from Computation
	Computation ()
enum ComputationStatusCode	set_status (enum ComputationStatusCode)
virtual	~Computation ()
Protected Attributes inherited from Computation
StopConditions	stop_

Detailed Description

GBComputation subclass that drives an F4GB engine instance from the engine-side computation API.

Note

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

Owns the F4GB, the source PolynomialRing, the FreeModule the GB lives in, and the optional RingElement* Hilbert function used for early termination. Implements start_computation / stop_conditions_ok / complete_thru_degree by delegating to F4GB's degree-by-degree driver, and exposes the standard get_matrix / get_gb / get_change / get_syzygies accessors the front end polls when done.

Definition at line 72 of file f4-computation.hpp.

---

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

• Macaulay2/e/f4/f4-computation.hpp
• Macaulay2/e/f4/f4-computation.cpp