Loading...
Searching...
No Matches
ReducedGB_Field_Local Class Reference
Computation of a reduced GB w.r.t. a local order, over a field. More...
#include <reducedgb-field-local.hpp>
Inheritance diagram for ReducedGB_Field_Local:
Classes | |
| struct | divisor_info |
| Per-element bookkeeping record used by ReducedGB_Field_Local during local-ring GB minimisation. More... | |
Public Member Functions | |
| virtual | ~ReducedGB_Field_Local () |
| virtual void | remove_gb () |
| virtual void | minimalize (const VECTOR(POLY) &polys0, bool auto_reduced) |
| virtual void | remainder (POLY &f, bool use_denom, ring_elem &denom) |
| virtual void | remainder (gbvector *&f, bool use_denom, ring_elem &denom) |
| Public Member Functions inherited from ReducedGB_Field | |
| virtual | ~ReducedGB_Field () |
| virtual void | set_gb (VECTOR(POLY) &polys0) |
| Public Member Functions inherited from ReducedGB | |
| virtual | ~ReducedGB () |
| virtual GBComputation * | cast_to_GBComputation () |
| 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 * | get_parallel_lead_terms (M2_arrayint w) |
| virtual void | text_out (buffer &o) const |
| 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) |
| Public Member Functions inherited from GBComputation | |
| virtual | ~GBComputation () |
| virtual Computation * | set_hilbert_function (const RingElement *h) |
| 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 | |
| VECTOR (divisor_info) ring_elems | |
| VECTOR (divisor_info) gb_elems | |
| VECTOR (divisor_info) new _poly_elems | |
| VECTOR (int) alpha | |
| VECTOR (int) ring_alpha | |
| VECTOR (int) new pol_alpha | |
| VECTOR (POLY) new pol | |
| bool | find_good_divisor (exponents_t h_exp, int h_comp, int h_deg, int &h_alpha, POLY &result_g, int &result_g_alpha) |
| void | reset_table () |
| void | store_in_table (const POLY &h, exponents_t h_exp, int h_comp, int h_alpha) |
| ReducedGB_Field_Local (GBRing *R0, const PolynomialRing *originalR0, const FreeModule *F0, const FreeModule *Fsyz0, const GBWeight *wt0) | |
| Protected Member Functions inherited from ReducedGB_Field | |
| ReducedGB_Field (GBRing *R0, const PolynomialRing *originalR0, const FreeModule *F0, const FreeModule *Fsyz0) | |
| Protected Member Functions inherited from ReducedGB | |
| VECTOR (POLY) polys | |
| virtual bool | stop_conditions_ok () |
| ReducedGB (GBRing *R0, const PolynomialRing *originalR0, const FreeModule *F0, const FreeModule *Fsyz0) | |
| Protected Member Functions inherited from GBComputation | |
| GBComputation () | |
| Protected Member Functions inherited from Computation | |
| Computation () | |
| enum ComputationStatusCode | set_status (enum ComputationStatusCode) |
| virtual | ~Computation () |
Protected Attributes | |
| MonomialTable * | T1 |
| const GBWeight * | wt |
| Protected Attributes inherited from ReducedGB_Field | |
| MonomialTable * | T |
| const MonomialIdeal * | Rideal |
| Protected Attributes inherited from ReducedGB | |
| GBRing * | R |
| const PolynomialRing * | originalR |
| const FreeModule * | F |
| const FreeModule * | Fsyz |
| Protected Attributes inherited from Computation | |
| StopConditions | stop_ |
Friends | |
| ReducedGB * | ReducedGB::create (const PolynomialRing *originalR0, const FreeModule *F0, const FreeModule *Fsyz0, const GBWeight *wt0) |
Additional Inherited Members | |
| Static Public Member Functions inherited from ReducedGB | |
| static ReducedGB * | create (const PolynomialRing *originalR0, const FreeModule *F0, const FreeModule *Fsyz0, const GBWeight *wt0=nullptr) |
| 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) |
Detailed Description
Computation of a reduced GB w.r.t. a local order, over a field.
Definition at line 14 of file reducedgb-field-local.hpp.
The documentation for this class was generated from the following files:
- Macaulay2/e/reducedgb-field-local.hpp
- Macaulay2/e/reducedgb-field-local.cpp
