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

#include <res-a2.hpp>

Inheritance diagram for gb2_comp:
gb_node our_new_delete

Public Member Functions

 gb2_comp (FreeModule *Fsyz, stash *mi_stash, gb_node *gens, int lodegree, int orig_syz, int level, int strategy)
 ~gb2_comp ()
virtual void set_output (gb_node *p)
bool receive_generator (gbvector *f, int n, const ring_elem denom)
void end_degree ()
bool is_done ()
enum ComputationStatusCode calc_gb (int deg)
enum ComputationStatusCode calc_gens (int deg)
virtual void reduce (gbvector *&f, gbvector *&fsyz)
virtual RingElementhilbertNumerator ()
int n_gb_elems () const
const FreeModuleoutput_free_module () const
Matrixmin_gens_matrix ()
Matrixget_matrix ()
Matrixinitial_matrix (int n)
Matrixgb_matrix ()
Matrixchange_matrix ()
void debug_out (s_pair *q) const
void debug_out (buffer &o, s_pair *q) const
virtual void text_out (buffer &o) const
void stats () const
Public Member Functions inherited from gb_node
virtual ~gb_node ()

Private Member Functions

 VECTOR (gb_elem *) gb
 VECTOR (monideal_pair *) monideals
void setup (FreeModule *Fsyz, stash *mi_stash, gb_node *gens, int lodegree, int origsyz, int level, int strategy)
s_pairnew_ring_pair (gb_elem *p, const int *lcm)
s_pairnew_s_pair (gb_elem *p, gb_elem *q, const int *lcm)
void remove_pair (s_pair *&p)
void find_pairs (gb_elem *p)
void compute_s_pair (s_pair *p)
void gb_reduce (gbvector *&f, gbvector *&fsyz)
void gb_geo_reduce (gbvector *&f, gbvector *&fsyz)
void gb_insert (gbvector *f, gbvector *fsyz, int ismin)
int gb_sort_partition (int lo, int hi)
void gb_sort (int lo, int hi)
void flush_pairs ()
Matrixmake_lead_term_matrix ()
void schreyer_append (gbvector *f)
bool s_pair_step ()
int get_pairs ()

Private Attributes

const PolynomialRingoriginalR
GBRingGR
const MonoidM
const RingK
stashmi_stash
FreeModuleF
FreeModuleFsyz
int level
int state
int this_degree
int n_gb_first
s_pair_heapspairs
s_pairthese_pairs
gc_vector< inttotal_pairs
gb_nodesyz
gb_nodegens
int n_gb
int n_mingens
int n_subring
int n_syz
int n_pairs
int n_pairs_computed
int n_pairs_syz
int n_pairs_usyz
int n_pairs_gb
int n_pairs_zero
int n_pairs_hilb
int n_pairs_gcd
int orig_syz
int strategy_flags
char use_hilb
RingElementhf
int hf_numgens_gb
int hf_numgens_F
int n_gb_syz

Additional Inherited Members

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)

Detailed Description

Definition at line 109 of file res-a2.hpp.


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