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

Slow Hermite normal form computation over ZZ. Replace. More...

#include <hermite.hpp>

Inheritance diagram for HermiteComputation:
GBComputation Computation MutableEngineObject our_gc_cleanup our_new_delete

Public Member Functions

 HermiteComputation (const Matrix *m, int collect_syz, int n_syz)
 ~HermiteComputation ()
virtual void remove_gb ()
virtual void start_computation ()
virtual int complete_thru_degree () const
virtual 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 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 ()
GBComputationcast_to_GBComputation () override
virtual Computationset_hilbert_function (const RingElement *h)
virtual const Matrixget_parallel_lead_terms (M2_arrayint w)
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 ()

Private Member Functions

 VECTOR (hm_elem *) initial
 VECTOR (vec) syz_list
hm_elemnew_gen (int i)
void remove_hm_elem (hm_elem *&p)
void insert (hm_elem *p)
int compare_elems (hm_elem *f, hm_elem *g) const
hm_elemmerge (hm_elem *f, hm_elem *g)
void sort (hm_elem *&p)
void reduce (hm_elem *&p, hm_elem *q)
void gb_reduce (vec &f) const
void gb_reduce (vec &f, vec &fsyz) const
virtual bool stop_conditions_ok ()

Private Attributes

int row
const Matrixgens
hm_elemGB_list
const FreeModuleFsyz
int n_gb
int collect_syz
int n_comps_per_syz

Additional Inherited Members

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

Detailed Description

Slow Hermite normal form computation over ZZ. Replace.

Definition at line 55 of file hermite.hpp.


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