Macaulay2 Engine
Loading...
Searching...
No Matches
GBDeclared Class Reference

declared Groebner bases. More...

#include <comp-gb-declared.hpp>

Inheritance diagram for GBDeclared:
GBComputation Computation MutableEngineObject our_gc_cleanup our_new_delete

Public Member Functions

 GBDeclared (const Matrix *m0, const Matrix *gb, const Matrix *change, const Matrix *syz0)
 GBDeclared (const Matrix *leadterms, const Matrix *m0, const Matrix *gb, const Matrix *change, const Matrix *syz0)
virtual ~GBDeclared ()
virtual void remove_gb ()
virtual GBComputationcast_to_GBComputation ()
virtual void start_computation ()
virtual int complete_thru_degree () const
virtual const Ringget_ring () const
virtual const Matrixget_gb ()
virtual const Matrixget_mingens ()
virtual const Matrixget_change ()
virtual const Matrixget_syzygies ()
virtual const Matrixget_initial (int nparts)
virtual const Matrixget_parallel_lead_terms (M2_arrayint w)
virtual const Matrixmatrix_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
Public Member Functions inherited from GBComputation
virtual ~GBComputation ()
virtual Computationset_hilbert_function (const RingElement *h)
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 GBComputationcreate (const Matrix *m, const Matrix *gb, const Matrix *change, const Matrix *syz)
static GBComputationcreate (const Matrix *leadterms, const Matrix *m, const Matrix *gb, const Matrix *change, const Matrix *syz)
Static Public Member Functions inherited from GBComputation
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

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

Private Attributes

ReducedGBG
const Matrixtrimmed_gens
const Matrixsyz

Additional Inherited Members

Protected Attributes inherited from Computation
StopConditions stop_

Detailed Description

declared Groebner bases.

Definition at line 52 of file comp-gb-declared.hpp.


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