|
Macaulay2 Engine
|
Slow Hermite normal form computation over ZZ. Replace. More...
#include <hermite.hpp>
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 Ring * | get_ring () const |
| virtual const Matrix * | get_gb () |
| virtual const Matrix * | get_mingens () |
| virtual const Matrix * | get_change () |
| virtual const Matrix * | get_syzygies () |
| virtual const Matrix * | get_initial (int nparts) |
| virtual const Matrix * | matrix_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 () |
| GBComputation * | cast_to_GBComputation () override |
| virtual Computation * | set_hilbert_function (const RingElement *h) |
| virtual const Matrix * | get_parallel_lead_terms (M2_arrayint w) |
| 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 ResolutionComputation * | cast_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_elem * | new_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_elem * | merge (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 Matrix * | gens |
| hm_elem * | GB_list |
| const FreeModule * | Fsyz |
| int | n_gb |
| int | collect_syz |
| int | n_comps_per_syz |
Additional Inherited Members | |
| Static Public Member Functions inherited from GBComputation | |
| static GBComputation * | choose_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_ |
Slow Hermite normal form computation over ZZ. Replace.
Definition at line 55 of file hermite.hpp.