GB_comp Class Reference

A Groebner basis computation class for homogeneous input modules. More...

#include <gb-homog2.hpp>

Inheritance diagram for GB_comp:

Public Member Functions
virtual int	kind ()
void	start_computation ()
virtual const PolynomialRing *	get_ring () const
virtual Computation *	set_hilbert_function (const RingElement *h)
virtual const Matrix *	get_gb ()
virtual const Matrix *	get_mingens ()
virtual const Matrix *	get_change ()
virtual const Matrix *	get_syzygies ()
virtual const Matrix *	get_initial (int nparts)
virtual const Matrix *	get_parallel_lead_terms (M2_arrayint w)
virtual const Matrix *	matrix_remainder (const Matrix *m)
virtual M2_bool	matrix_lift (const Matrix *m, const Matrix **result_remainder, const Matrix **result_quotient)
virtual int	contains (const Matrix *m)
virtual void	text_out (buffer &o) const
virtual int	complete_thru_degree () const
Public Member Functions inherited from GBComputation
virtual	~GBComputation ()
GBComputation *	cast_to_GBComputation () override
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 ()
virtual void	show () const
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 ()

Static Public Member Functions
static GB_comp *	create (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)
static GB_comp *	create_forced (const Matrix *m, const Matrix *gb, const Matrix *mchange)
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)

Private Member Functions
	VECTOR (gb_elem *) _gb
	VECTOR (monideal_pair *) _monideals
	VECTOR (gbvector *) _syz
void	initialize0 (const Matrix *m, int csyz, int nsyz, M2_arrayint gb_weights)
void	initialize (const Matrix *m, int csyz, int nsyz, M2_arrayint gb_weights, int strategy)
void	initialize_forced (const Matrix *m, const Matrix *gb, const Matrix *mchange)
s_pair *	new_var_pair (gb_elem *p, const int *lcm)
s_pair *	new_ring_pair (gb_elem *p, const int *lcm)
s_pair *	new_s_pair (gb_elem *p, gb_elem *q, const int *lcm)
s_pair *	new_gen (int i, gbvector *f, ring_elem denom)
void	remove_pair (s_pair *&p)
void	find_pairs (gb_elem *p)
void	compute_s_pair (s_pair *p)
void	gb_reduce (gbvector *&f, gbvector *&fsyz)
void	gb_geo_reduce (gbvector *&f, gbvector *&fsyz)
void	gb_insert (gbvector *f, gbvector *fsyz, int ismin)
int	gb_sort_partition (int lo, int hi)
void	gb_sort (int lo, int hi)
void	flush_pairs (int deg)
RingElement *	compute_hilbert_function () const
int	next_degree ()
ComputationStatusCode	computation_is_complete () const
bool	new_pairs_step ()
int	s_pair_step ()
int	gen_step ()
bool	auto_reduce_step ()
	GB_comp ()
virtual	~GB_comp ()
virtual void	remove_gb ()
void	add_gens (int lo, int hi, const Matrix *m)
void	debug_out (s_pair *q) const
virtual bool	stop_conditions_ok ()

Private Attributes
const PolynomialRing *	originalR
GBRing *	_GR
const GBWeight *	weightInfo_
const Monoid *	_M
const Ring *	_K
const FreeModule *	_F
const FreeModule *	_Fsyz
int	_this_degree
int	_state
int	_ar_i
int	_ar_j
int	_np_i
s_pair_heap *	_spairs
s_pair_heap *	_gens
int	_n_gb
int	_n_gens_left
int	_n_pairs_computed
int	_n_subring
int	_n_syz
int	_n_saved_gcd
int	_n_reductions
bool	_collect_syz
int	_n_rows_per_syz
bool	_is_ideal
int	_strategy
bool	_use_hilb
bool	_hilb_new_elems
int	_hilb_n_in_degree
int	_n_saved_hilb
const RingElement *	_hf_orig
RingElement *	_hf_diff

Additional Inherited Members
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

A Groebner basis computation class for homogeneous input modules.

Definition at line 63 of file gb-homog2.hpp.

---

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

• Macaulay2/e/gb-homog2.hpp
• Macaulay2/e/gb-homog2.cpp