Loading...
Searching...
No Matches
GBWalker Class Reference
The generic Groebner walk algorithm. Not yet working? More...
#include <gb-walk.hpp>
Inheritance diagram for GBWalker:
Public Member Functions | |
| virtual | ~GBWalker () |
| virtual void | remove_gb () |
| virtual void | start_computation () |
| virtual const PolynomialRing * | get_ring () const |
| virtual Computation * | set_hilbert_function (const RingElement *h) |
| 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 * | get_parallel_lead_terms (M2_arrayint w) |
| 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 |
| virtual int | complete_thru_degree () const |
| virtual void | show () const |
| void | show_mem_usage () |
| Public Member Functions inherited from GBComputation | |
| virtual | ~GBComputation () |
| GBComputation * | cast_to_GBComputation () 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 () |
| 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 GBWalker * | create (MarkedGB *G0, long **order1, long **order2) |
| static GBWalker * | create (const Matrix *gb_under_order1, const MonomialOrdering *order1) |
| 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 | |
| virtual bool | stop_conditions_ok () |
| GBWalker (const Matrix *gb_under_order1, const MonomialOrdering *order1) | |
| GBWalker (MarkedGB *G0, long **order1, long **order2) | |
| Protected Member Functions inherited from GBComputation | |
| GBComputation () | |
| Protected Member Functions inherited from Computation | |
| Computation () | |
| enum ComputationStatusCode | set_status (enum ComputationStatusCode) |
| virtual | ~Computation () |
Private Types | |
| enum | { STATE_compute_w , STATE_do_gb , STATE_reduce , STATE_autoreduce , STATE_done } |
Private Member Functions | |
| VECTOR (M2_arrayint) w_history | |
| void | initialize () |
| GBComputation * | make_gb (const Matrix *M) const |
| bool | compute_next_w () |
| VECTOR (gbvector *) leadterms | |
| VECTOR (POLY) polys | |
Private Attributes | |
| const GBRing * | R |
| const FreeModule * | F |
| MarkedGB * | G |
| long ** | monorder1 |
| long ** | monorder2 |
| enum GBWalker:: { ... } | state |
| M2_arrayint | ww |
| const Matrix * | inwwG |
| GBComputation * | gb_inwwG |
| int | next_to_reduce |
| const Matrix * | H |
| MarkedGB * | G1 |
Additional Inherited Members | |
| Protected Attributes inherited from Computation | |
| StopConditions | stop_ |
Detailed Description
The generic Groebner walk algorithm. Not yet working?
Definition at line 57 of file gb-walk.hpp.
The documentation for this class was generated from the following files:
- Macaulay2/e/gb-walk.hpp
- Macaulay2/e/gb-walk.cpp
