- a -

• add_complex_relations() : SW_Maker
• add_line() : Matrix< T >
• add_relation() : GradedAlgebra< K >, AffineAlgebra< K >
• add_relations() : Exponentiator< K >
• add_term() : Polynomial< K >
• AffineAlgebra() : AffineAlgebra< K >

- b -

• branch() : HomFinder

- c -

• clean_up_equations() : Exponentiator< K >
• clear() : AbstractHomomorphism< K >
• coeff_of() : Polynomial< K >, multiPolynomial< K >
• col_width() : Table< T >
• compute_all_kernels() : HomFinder
• compute_exp_relations() : Exponentiator< K >
• compute_kernel() : AffineHomomorphism< K >
• compute_lambda_relation() : Exponentiator< K >
• compute_tensor_relation() : Exponentiator< K >
• constant_subalgebra() : DerivationAnalyzer
• coords_of() : MilnorAnalyzer, DerivationAnalyzer
• copy() : Table< T >, Tuple< T >
• count_relations() : AffineAlgebra< K >
• create_extra_variables() : Exponentiator< K >
• create_regular_variables() : SW_Maker, Exponentiator< K >, Chern_Maker
• current_order() : PowProd
• cut_down_variables() : AffineAlgebra< K >

- d -

• define_polynomial_variables() : HomFinder
• define_polynomial_variables_brutally() : HomFinder
• degree() : PowProd
• display() : UnstableAlgebra
• divides() : PowProd, multiPolynomial< K >
• done() : MilnorAnalyzer

- e -

• evaluate() : Polynomial< K >
• even_subalgebra() : GradedAlgebra< K >
• exp_classes_after_tensoring() : Exponentiator< K >
• exp_classes_of_ext_power() : Exponentiator< K >
• extend() : HomFinder
• extend_all() : HomFinder

- f -

• factors_through() : AffineHomomorphism< K >
• fill_zeroes() : AffineHomomorphism< K >
• filter_GL() : HomFinder
• find_grobner_basis() : AffineAlgebra< K >
• find_redundancies() : AffineAlgebra< K >
• find_unitary_redundancies() : AffineAlgebra< K >
• fix_alphabets() : UnstableAlgebra, AffineAlgebra< K >, AffineHomomorphism< K >

- g -

• get_data_from() : AffineHomomorphism< K >
• get_equivalence_class() : HomFinder
• get_variables() : AffineAlgebra< K >
• grobnerize() : Ideal< K >
• grobnerize_with_coefficients() : multiIdeal< K >, Ideal< K >

- h -

• has_closure_of() : UnstableAlgebra
• has_image_set() : AbstractHomomorphism< K >
• has_lonely_variable() : Polynomial< K >
• has_unitary_variable() : Polynomial< K >
• hom_degree_of() : GradedAlgebra< K >

- i -

• identify() : HomFinder
• init() : HomFinder
• inverse() : Matrix< T >
• involves_variable() : Polynomial< K >
• is_essentially_contained_in() : AffineHomomorphism< K >
• is_essentially_surjective() : AffineHomomorphism< K >
• is_finite() : AffineHomomorphism< K >
• is_finite_dimensional() : AffineAlgebra< K >
• is_invertible() : Matrix< T >
• is_polynomial_variable() : AffineAlgebra< K >
• is_saturated() : UnstableAlgebra
• is_well_defined() : AffineHomomorphism< K >
• is_zero() : Polynomial< K >

- k -

• kill_extra_variables() : Exponentiator< K >
• kill_top_variable() : UnstableAlgebra, RepresentationRing, GradedAlgebra< K >, AugmentedAlgebra< K >, AffineAlgebra< K >
• kill_variable() : AffineAlgebra< K >

- l -

• lc() : Polynomial< K >, multiPolynomial< K >
• lc_POT() : multiPolynomial< K >
• list_monomials() : GradedAlgebra< K >
• lm() : multiPolynomial< K >
• lm_POT() : multiPolynomial< K >
• lp() : Polynomial< K >, multiPolynomial< K >
• lp_POT() : multiPolynomial< K >
• lt() : Polynomial< K >

- m -

• make_identity() : AffineHomomorphism< K >, AbstractHomomorphism< K >
• minimalize() : Ideal< K >
• multiply_line() : Matrix< T >
• multiPolynomial() : multiPolynomial< K >

- n -

• nameof() : SimpleAlphabet, AutoAlphabet
• ncols() : Table< T >
• new_variable() : SimpleAlphabet, AffineAlgebra< K >
• nlines() : Table< T >
• nvars() : PowProd, Polynomial< K >

- o -

• of() : AbstractHomomorphism< K >
• one() : AffineAlgebra< K >
• operator *() : Matrix< T >, AbstractHomomorphism< K >
• operator *=() : Polynomial< K >, Matrix< T >, AbstractHomomorphism< K >
• operator()() : Table< T >
• operator+() : Matrix< T >
• operator+=() : Matrix< T >
• operator-=() : Matrix< T >
• operator/() : multiPolynomial< K >
• operator/=() : PowProd
• operator<() : PowProd
• operator=() : Table< T >, Tuple< T >
• operator==() : Tuple< T >, PowProd
• operator[]() : Tuple< T >

- p -

• polvars_are_involved_in() : HomFinder
• Polynomial() : Polynomial< K >
• polynomial_test() : HomFinder
• populate_associated_algebra() : AffineHomomorphism< K >
• populate_GL() : HomFinder
• power_of() : PowProd

- q -

• Q() : UnstableAlgebra

- r -

• re_setup() : MilnorAnalyzer
• read_from_GAP_file() : RepresentationRing, AffineHomomorphism< K >
• read_solutions_from() : HomFinder
• read_variables() : RealRepresentationRing, RepresentationRing
• readline() : Table< T >
• reduce() : Ideal< K >
• reduce_grobner_basis() : AffineAlgebra< K >
• reduced_form() : AffineAlgebra< K >
• remove_extra_data() : AffineHomomorphism< K >
• RepresentationRing() : RepresentationRing
• resize() : Table< T >, Tuple< T >
• restrict_to_elemab() : HomFinder

- s -

• saturate_and_reduce() : UnstableAlgebra
• set_alphabet() : PowProd
• set_delim() : Table< T >
• set_hom_from_matrix() : HomFinder
• set_image() : AbstractHomomorphism< K >
• set_sep() : Tuple< T >
• sets_to_zero() : Polynomial< K >
• setup() : DerivationAnalyzer
• setup_for_Sq1() : MilnorAnalyzer
• shift() : PowProd
• shift_variables() : Polynomial< K >
• simple_section() : AffineHomomorphism< K >
• simplify() : multiIdeal< K >
• size() : Tuple< T >
• sort() : HomFinder
• split_and_sort_relations() : GradedAlgebra< K >
• Sq() : UnstableAlgebra
• start() : SW_Maker, HomFinder, Exponentiator< K >, MilnorAnalyzer
• steal() : Table< T >, Tuple< T >
• swap() : PowProd, AbstractHomomorphism< K >
• swap_lines() : Matrix< T >
• swap_variables() : Polynomial< K >
• swap_variables_order() : UnstableAlgebra, RepresentationRing, GradedAlgebra< K >, AugmentedAlgebra< K >, AffineAlgebra< K >
• syzygy() : multiIdeal< K >, Ideal< K >

- t -

• Table() : Table< T >
• tensor_with() : AffineAlgebra< K >
• test_steenrod() : HomFinder
• top_degree() : GradedAlgebra< K >
• top_variable_redundant() : AffineAlgebra< K >
• translate_homomorphism() : SW_Maker
• Tuple() : Tuple< T >

- u -

• use_order() : PowProd

- v -

• variable_redundant() : AffineAlgebra< K >
• variable_shows_up() : Ideal< K >
• variables_in_use() : SimpleAlphabet

- w -

• weight() : HomFinder
• write_gens() : DerivationAnalyzer
• write_lambda_factors() : Exponentiator< K >
• write_ptrs() : Table< T >
• write_solutions_to() : HomFinder
• write_trivial_steenrod_operations() : UnstableAlgebra

- ~ -

• ~DerivationAnalyzer() : DerivationAnalyzer
• ~Table() : Table< T >
• ~Tuple() : Tuple< T >

---