Loading...
Searching...
No Matches
GaussElimComputation Class Reference
Gaussian elimination class. To be rewritten. More...
#include <gauss.hpp>
Inheritance diagram for GaussElimComputation:
Public Member Functions | |
| GaussElimComputation (const Matrix *m, int collect_syz, int n_syz) | |
| ~GaussElimComputation () | |
| virtual void | remove_gb () |
| virtual void | start_computation () |
| virtual int | complete_thru_degree () const |
| virtual const 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) |
| void | text_out (buffer &o) const override |
| 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 () |
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 Member Functions | |
| VECTOR (vec) syz_list | |
| gm_elem * | new_gen (int i) |
| void | remove_gm_elem (gm_elem *&p) |
| void | insert (gm_elem *p) |
| void | reduce (gm_elem *&p, gm_elem *q) |
| void | reduce (vec &f, vec &fsyz, bool tail_only=false) |
| void | reduce (vec &f) |
Private Attributes | |
| int | row |
| gm_elem ** | reduce_list |
| gm_elem ** | gb_list |
| const Ring * | R |
| const Matrix * | gens |
| const FreeModule * | Fsyz |
| int | n_gb |
| int | n_pairs |
| int | n_syz |
| 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 Attributes inherited from Computation | |
| StopConditions | stop_ |
Detailed Description
Gaussian elimination class. To be rewritten.
This class provides very slow Gaussian elimination functionality, and also only over (exact) fields.
The documentation for this class was generated from the following files:
