Gröbner basis project
Codebase for research into Gröbner basis computation
- a -
A :
Constant_Polynomial
,
DB_Polynomial_Iterator
,
F4_Reduction_Data
a :
Prime_Field_Element
- b -
big_blocks :
Grading_Order_Data_Allocator< TYPE >
block :
Grading_Order_Data_Allocator< TYPE >
bucket_number :
Geobucket_Iterator
buckets :
Polynomial_Geobucket
- c -
c :
Monomial_Node
,
Polynomial_Term
coeffs :
Dense_Univariate_Integer_Polynomial
,
Dense_Univariate_Rational_Polynomial
cols :
F4_Reduction_Data
cp :
Normal_Strategy
,
Pair_Sugar_Data
,
Pair_WSugar_Strategy
current_grading :
Monomial_Ideal
current_position :
DB_Polynomial_Iterator
- d -
data :
goda_block< TYPE >
data_size :
Grading_Order_Data_Allocator< TYPE >
deg :
Dense_Univariate_Integer_Polynomial
,
Dense_Univariate_Rational_Polynomial
- e -
exponents :
Monomial
- f -
F :
Polynomial_Ring
,
Prime_Field_Element
Fi :
Prime_Field
first :
Critical_Pair_Communication
fully_apply :
CachedWGrevlex_Ordering
- g -
G :
F4_Reduction_Data
g :
Geobucket_Iterator
gens :
Monomial_Ideal
gradings :
Grevlex_Order_Data
,
WGrevlex_Order_Data
- h -
head :
Constant_Polynomial
,
DB_Polynomial_Iterator
,
Polynomial_Linked_List
heads :
F4_Reduction_Data
hGradNum :
Monomial_Ideal
hGradRedNum :
Monomial_Ideal
hNum :
Monomial_Ideal
hPol :
Monomial_Ideal
hRedNum :
Monomial_Ideal
- i -
i :
Constant_Polynomial_Iterator
,
Indeterminate
,
Mutable_Constant_Polynomial_Iterator
I :
PPWithIdeal
ibmap :
Monomial_Ideal
instances :
PPL_Solver
iter_curr :
LLPolynomial_Iterator
- k -
key :
Critical_Pair_Basic
- l -
lp :
PPL_Solver
- m -
m :
Constant_Polynomial
M :
Constant_Polynomial
,
F4_Reduction_Data
m :
Matrix_Ordering
,
PPL_Solver
,
Prime_Field
,
Prime_Field_Element
M_build :
F4_Reduction_Data
mask :
Monomial
max_deg :
PPWithIdeal
min_deg :
PPWithIdeal
mord :
F4_Reduction_Data
- n -
n :
CachedWGrevlex_Ordering
,
Grevlex_Ordering
,
Lex_Ordering
,
Matrix_Ordering
,
Monomial
,
Monomial_Ideal
,
Polynomial_Ring
,
PPL_Solver
,
WGrevlex
names :
Polynomial_Ring
next :
goda_block< TYPE >
,
Monomial_Node
nonzero_entries :
F4_Reduction_Data
num_new_pairs :
PPWithIdeal
number_of_gradings :
Grevlex_Order_Data
,
WGrevlex_Order_Data
- o -
ord_degree :
Monomial
ordering :
Critical_Pair_Dynamic
,
Monomial
,
PPWithIdeal
ordering_data :
Monomial
- p -
p :
Constant_Polynomial_Iterator
,
Critical_Pair_Basic
,
LLPolynomial_Iterator
,
Mutable_Constant_Polynomial_Iterator
,
Poly_Strategy_Data
,
Polynomial_Iterator
pairs :
PPWithIdeal
pi :
Critical_Pair_XPlor
,
Geobucket_Iterator
prev :
Monomial_Node
print_modulus :
Prime_Field
proc :
Critical_Pair_XPlor
- q -
q :
Critical_Pair_Basic
qi :
Critical_Pair_XPlor
- r -
R :
Abstract_Polynomial
,
F4_Reduction_Data
,
Indeterminate
R_build :
F4_Reduction_Data
ray_data :
PPL_Solver
rays :
LP_Solver
rows :
F4_Reduction_Data
Rx :
F4_Reduction_Data
- s -
s :
Critical_Pair_Basic
second :
Critical_Pair_Communication
size :
Dense_Univariate_Integer_Polynomial
,
Dense_Univariate_Rational_Polynomial
strat :
Abstract_Polynomial
strategies :
F4_Reduction_Data
sugar :
Critical_Pair_Communication
,
Pair_Sugar_Data
,
Pair_WSugar_Strategy
,
Poly_Sugar_Data
,
Poly_WSugar_Data
- t -
T :
DB_Polynomial_Iterator
t :
Monomial_Node
,
Polynomial_Term
,
PPWithIdeal
tail :
DB_Polynomial_Iterator
thorough_weighting :
WGrevlex
tp :
Critical_Pair_Basic
tpq :
Critical_Pair_Basic
tq :
Critical_Pair_Basic
- w -
W :
Matrix_Ordering
weights :
CachedWGrevlex_Ordering
,
Poly_WSugar_Data
,
WGrevlex
- x -
X :
PPL_Solver
Generated by
1.8.13