NCResComputation Class Reference

ResolutionComputation subclass that builds a free resolution over a FreeAlgebraQuotient (non-commutative). More...

#include <nc-res-computation.hpp>

Inheritance diagram for NCResComputation:

Public Member Functions
virtual	~NCResComputation ()
Public Member Functions inherited from ResolutionComputation
virtual ResolutionComputation *	cast_to_ResolutionComputation ()
virtual	~ResolutionComputation ()
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 ()
void	start_computation ()
int	complete_thru_degree () const
const Matrix *	get_matrix (int level)
MutableMatrix *	get_matrix (int slanted_degree, int level)
const FreeModule *	get_free (int level)
M2_arrayint	get_betti (int type) const
void	text_out (buffer &o) const
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
	NCResComputation (const FreeAlgebraQuotient &ring, const Matrix &gbIdealMatrix, int max_level)

Private Attributes
const Matrix &	mInputModuleGB

Friends
ResolutionComputation *	createNCRes (const Matrix *groebnerBasisMatrix, int max_level, int strategy)

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

ResolutionComputation subclass that builds a free resolution over a FreeAlgebraQuotient (non-commutative).

Note

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

Constructor is private; the free function createNCRes (declared friend) instantiates the computation from a GB-presented quotient matrix, a max_level cap on homological degree, and a strategy flag. The class then plugs into the engine's standard ResolutionComputation driver loop (start_computation, partial-progress accessors, etc.) so non-commutative resolutions look the same to front-end callers as the commutative ones.

Definition at line 71 of file nc-res-computation.hpp.

---

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

• Macaulay2/e/NCResolutions/nc-res-computation.hpp
• Macaulay2/e/NCResolutions/nc-res-computation.cpp