add_relation(const Polynomial< K > &rel) | GradedAlgebra< K > | [inline] |
AffineAlgebra() | AffineAlgebra< K > | [inline] |
count_relations() const | AffineAlgebra< K > | [inline] |
cut_down_variables(list< Polynomial< K > > &polys) | AffineAlgebra< K > | [inline] |
cut_down_variables() (defined in AffineAlgebra< K >) | AffineAlgebra< K > | [inline] |
even_subalgebra(GradedAlgebra< K > &ans, AffineHomomorphism< K > &inclusion) const | GradedAlgebra< K > | [inline] |
find_grobner_basis() | AffineAlgebra< K > | [inline] |
find_redundancies() | AffineAlgebra< K > | [inline] |
find_unitary_redundancies() | AffineAlgebra< K > | [inline] |
fix_alphabets() | AffineAlgebra< K > | [inline, virtual] |
get_variables() const | AffineAlgebra< K > | [inline] |
hom_degree_of(const Polynomial< K > &x) const | GradedAlgebra< K > | [inline] |
hom_degrees | GradedAlgebra< K > | |
hom_part_of(const Polynomial< K > &x, long n) const (defined in GradedAlgebra< K >) | GradedAlgebra< K > | [inline] |
is_finite_dimensional() const | AffineAlgebra< K > | [inline] |
is_homogeneous(const Polynomial< K > x) const (defined in GradedAlgebra< K >) | GradedAlgebra< K > | [inline] |
is_polynomial_variable(const Polynomial< K > &P) const | AffineAlgebra< K > | [inline] |
kill_top_variable(const Polynomial< K > &replacement, list< Polynomial< K > > &polys) | GradedAlgebra< K > | [inline, virtual] |
kill_top_variable(const Polynomial< K > &replacement) (defined in GradedAlgebra< K >) | GradedAlgebra< K > | [inline, virtual] |
kill_top_variable(const Polynomial< K > replacement) (defined in AffineAlgebra< K >) | AffineAlgebra< K > | [inline] |
kill_variable(long var, const Polynomial< K > &replacement, list< Polynomial< K > > &polys) | AffineAlgebra< K > | [inline] |
kill_variable(long var, const Polynomial< K > &replacement) (defined in AffineAlgebra< K >) | AffineAlgebra< K > | [inline] |
list_monomials(long degree, Tuple< Polynomial< K > > &result) const | GradedAlgebra< K > | [inline] |
nameof(long var_num) const | SimpleAlphabet | [virtual] |
names | SimpleAlphabet | [protected] |
new_variable(const string &name, long degree) (defined in GradedAlgebra< K >) | GradedAlgebra< K > | [inline] |
AffineAlgebra::new_variable(const string &name) | AffineAlgebra< K > | [inline] |
one() const | AffineAlgebra< K > | [inline] |
operator<< (defined in GradedAlgebra< K >) | GradedAlgebra< K > | [friend] |
operator<<(ofstream &file, GradedAlgebra< K > &A) | GradedAlgebra< K > | [friend] |
operator<< (defined in AffineAlgebra< K >) | AffineAlgebra< K > | [friend] |
operator<< (defined in AffineAlgebra< K >) | AffineAlgebra< K > | [friend] |
operator>> (defined in GradedAlgebra< K >) | GradedAlgebra< K > | [friend] |
operator>> (defined in AffineAlgebra< K >) | AffineAlgebra< K > | [friend] |
reduce_grobner_basis() | AffineAlgebra< K > | [inline] |
reduced_form(const Polynomial< K > &f) const | AffineAlgebra< K > | [inline] |
relations | AffineAlgebra< K > | |
SimpleAlphabet() (defined in SimpleAlphabet) | SimpleAlphabet | |
split_and_sort_relations() | GradedAlgebra< K > | [inline] |
swap_variables_order(long i, long j, list< Polynomial< K > > &polys) | GradedAlgebra< K > | [inline, virtual] |
swap_variables_order(long i, long j) (defined in GradedAlgebra< K >) | GradedAlgebra< K > | [inline, virtual] |
tensor_with(const AffineAlgebra< K > &that) | AffineAlgebra< K > | [inline] |
top_degree() const | GradedAlgebra< K > | [inline] |
top_variable_redundant(Polynomial< K > &result) | AffineAlgebra< K > | [inline] |
var_in_use | SimpleAlphabet | [protected] |
variable_redundant(long var, Polynomial< K > &result) const | AffineAlgebra< K > | [inline] |
variables_in_use() const | SimpleAlphabet | |
verbose | AffineAlgebra< K > | |
very_verbose (defined in AffineAlgebra< K >) | AffineAlgebra< K > | |
~Alphabet() (defined in Alphabet) | Alphabet | [inline, virtual] |