res_comp Class Reference

One of the Resolution computations, based on Schreyer and Lascala. More...

#include <res-a1.hpp>

Inheritance diagram for res_comp:

Public Member Functions
	res_comp (const Matrix *m, int LengthLimit, int strategy)
virtual	~res_comp ()
void	resize (const Ring *new_ring)
bool	stop_conditions_ok ()
void	skeleton_init (VECTOR(res_pair *)&reslevel)
void	skeleton_pairs (res_pair *&result, res_pair *p)
int	skeleton_maxdegree (const VECTOR(res_pair *)&reslevel)
void	skeleton_stats (const VECTOR(res_pair *)&reslevel)
void	skeleton (int strategy)
void	start_computation ()
int	complete_thru_degree () const
const FreeModule *	free_of (int i) const
const FreeModule *	minimal_free_of (int i) const
Matrix *	make (int i) const
Matrix *	make_minimal (int i) const
const Matrix *	get_matrix (int level)
const FreeModule *	get_free (int level)
int	n_pairs (int lev, int d) const
int	n_left (int lev, int d) const
int	n_minimal (int lev, int d) const
int	n_monoms (int lev, int d) const
int	low_degree () const
int	high_degree () const
int	max_level () const
int	regularity () const
M2_arrayint	betti_skeleton () const
M2_arrayint	betti_remaining () const
M2_arrayint	betti_minimal () const
M2_arrayint	betti_nmonoms () const
M2_arrayint	get_betti (int type) const
void	text_out (const res_pair *p) const
void	stats () const
void	text_out (buffer &o, const res_pair *p) const
void	text_out (buffer &o) 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 ()

Private Member Functions
	VECTOR (res_level *) resn
	VECTOR (res_pair *) base_components
	VECTOR (MonomialIdeal *) search_mi
res_pair *	elem (int lev, int n) const
int	find_ring_divisor (const_exponents exp, ring_elem &result) const
int	find_divisor (const_exponents exp, res_pair *&result) const
res_pair *	reduce (resterm *&f, resterm *&fsyz, resterm *&pivot)
res_pair *	reduce_level_one (resterm *&f, resterm *&fsyz, resterm *&pivot)
void	reduce_gen (resterm *&f) const
resterm *	s_pair (res_pair *fsyz) const
enum ComputationStatusCode	gens (int deg)
enum ComputationStatusCode	pairs (int level, int deg)
enum ComputationStatusCode	reductions (int level, int deg)
void	handle_pair (res_pair *p)
void	handle_gen (res_pair *p)
void	new_pairs (res_pair *p)
int	sort_value (res_pair *p, const std::vector< int > sort_order) const
int	compare_res_pairs (res_pair *f, res_pair *g) const
res_pair *	merge_res_pairs (res_pair *f, res_pair *g) const
void	sort_res_pairs (res_pair *&p) const
void	sort_gens (res_degree *pairs)
void	sort_pairs (int level, int deg)
int	compare_compares (res_pair *f, res_pair *g) const
res_pair *	merge_compares (res_pair *f, res_pair *g) const
void	sort_compares (res_pair *&p) const
void	set_compare_nums (int level, int deg)
int	degree (const res_pair *q) const
void	multi_degree (const res_pair *q, monomial result) const
res_degree *	make_degree_set (int level, int deg)
res_degree *	get_degree_set (int level, int d) const
res_pair *	new_res_pair ()
res_pair *	new_res_pair (int i)
res_pair *	new_res_pair (int syztype, resterm *f)
res_pair *	new_res_pair (int syztype, res_pair *first, res_pair *second)
void	insert_res_pair (int level, res_pair *p)
void	remove_res_pair (res_pair *p)
void	remove_res_degree (res_degree *p)
void	remove_res_level (res_level *lev)
void	initialize (const Matrix *mat, int LengthLimit, int strategy)
void	reduce_minimal (int x, resterm *&f, VECTOR(res_pair *)&elems) const

Private Attributes
const PolynomialRing *	P
res_poly *	R
const Monoid *	M
const Ring *	K
const Matrix *	generator_matrix
stash *	res_pair_stash
stash *	mi_stash
int	n_level
int	n_degree
int	lodegree
int	hidegree
int	length_limit
int	max_degree
int	next_me_number
int	component_number
int	nleft
int	npairs
int	nminimal
size_t	exp_size
size_t	monom_size
int	compare_type

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 Member Functions inherited from ResolutionComputation
	ResolutionComputation ()
Protected Member Functions inherited from Computation
	Computation ()
enum ComputationStatusCode	set_status (enum ComputationStatusCode)
virtual	~Computation ()
Protected Attributes inherited from Computation
StopConditions	stop_

Detailed Description

One of the Resolution computations, based on Schreyer and Lascala.

Definition at line 75 of file res-a1.hpp.

---

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

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