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