gbres_comp Class Reference

One of the Resolution computations, based on computing step by step. More...

#include <res-a2.hpp>

Inheritance diagram for gbres_comp:

Public Member Functions
	gbres_comp (const Matrix *m, int length, int orig_syz, int strategy)
	gbres_comp (const Matrix *m, int length, int orig_syz, const RingElement *hf, int strategy)
virtual	~gbres_comp ()
void	start_computation ()
bool	is_done ()
Matrix *	reduce (const Matrix *m, Matrix *&lift)
M2_arrayint	betti_minimal () const
const FreeModule *	free_module (int level) const
const Matrix *	min_gens_matrix (int level)
const Matrix *	initial_matrix (int n, int level)
const Matrix *	gb_matrix (int level)
const Matrix *	change_matrix (int level)
int	complete_thru_degree () const
const Matrix *	get_matrix (int level)
const FreeModule *	get_free (int level)
M2_arrayint	get_betti (int type) const
void	text_out (buffer &o) const
void	stats () const
Public Member Functions inherited from ResolutionComputation
virtual ResolutionComputation *	cast_to_ResolutionComputation ()
virtual	~ResolutionComputation ()
virtual MutableMatrix *	get_matrix (int level, int degree)
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 GBComputation *	cast_to_GBComputation ()
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 ()

Protected Member Functions
bool	stop_conditions_ok ()
Protected Member Functions inherited from ResolutionComputation
	ResolutionComputation ()
Protected Member Functions inherited from Computation
	Computation ()
enum ComputationStatusCode	set_status (enum ComputationStatusCode)
virtual	~Computation ()

Private Member Functions
void	setup (const Matrix *m, int length, int origsyz, int strategy)

Private Attributes
const PolynomialRing *	originalR
stash *	mi_stash
GBRing *	GR
int	n_nodes
gb_node **	nodes
int	lo_degree
int	last_completed_degree
int	strategy_flags

Additional Inherited Members
Static Public Member Functions inherited from ResolutionComputation
static void	betti_init (int lo, int hi, int len, int *&bettis)
static M2_arrayint	betti_make (int lo, int hi, int len, int *bettis)
static void	betti_display (buffer &o, M2_arrayint a)
static ResolutionComputation *	choose_res (const Matrix *m, M2_bool resolve_cokernel, int max_level, M2_bool use_max_slanted_degree, int max_slanted_degree, int algorithm, int strategy, int numThreads, M2_bool parallelizeByDegree)
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 Attributes inherited from Computation
StopConditions	stop_

Detailed Description

One of the Resolution computations, based on computing step by step.

Induced (Schreyer) orders are used to speed up computation.

Definition at line 247 of file res-a2.hpp.

---

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

• Macaulay2/e/res-a2.hpp
• Macaulay2/e/res-a2.cpp