Macaulay2 Engine
Loading...
Searching...
No Matches
GBComputation Class Referenceabstract

base class for Groebner basis computations. More...

#include <comp-gb.hpp>

Inheritance diagram for GBComputation:
Computation MutableEngineObject our_gc_cleanup our_new_delete F4Computation GBDeclared GBProxy GBWalker GB_comp GBinhom_comp GaussElimComputation HermiteComputation ReducedGB binomialGB_comp gbA newf4::GBF4Interface

Public Member Functions

virtual ~GBComputation ()
virtual void remove_gb ()=0
GBComputationcast_to_GBComputation () override
virtual const Ringget_ring () const =0
virtual Computationset_hilbert_function (const RingElement *h)
void start_computation () override=0
int complete_thru_degree () const override=0
virtual const Matrixget_gb ()=0
virtual const Matrixget_mingens ()=0
virtual const Matrixget_change ()=0
virtual const Matrixget_syzygies ()=0
virtual const Matrixget_initial (int nparts)=0
virtual const Matrixget_parallel_lead_terms (M2_arrayint w)
virtual const Matrixmatrix_remainder (const Matrix *m)=0
virtual M2_bool matrix_lift (const Matrix *m, const Matrix **result_remainder, const Matrix **result_quotient)=0
virtual int contains (const Matrix *m)=0
void text_out (buffer &o) const override
Public Member Functions inherited from Computation
Computationset_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 ResolutionComputationcast_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 GBComputationchoose_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

 GBComputation ()
Protected Member Functions inherited from Computation
 Computation ()
enum ComputationStatusCode set_status (enum ComputationStatusCode)
virtual bool stop_conditions_ok ()=0
virtual ~Computation ()

Friends

class GBProxy

Additional Inherited Members

Protected Attributes inherited from Computation
StopConditions stop_

Detailed Description

base class for Groebner basis computations.

Definition at line 66 of file comp-gb.hpp.


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