libsemigroups_pybind11
0.10.1
Installation
Changelog
API REFERENCE
Congruences
Digraphs
Elements
Finitely presented semigroups
Semigroups
Words
Miscellaneous
Bibliography
Bibliography
Further info
Authors
libsemigroups_pybind11
Index
Index
_
|
A
|
B
|
C
|
D
|
E
|
F
|
G
|
H
|
I
|
K
|
L
|
M
|
N
|
O
|
P
|
Q
|
R
|
S
|
T
|
U
|
V
|
W
_
__contains__() (Konieczny method)
__eq__() (Bipartition method)
(Matrix method)
(PBR method)
(Perm method)
(PPerm method)
(Transf method)
__getitem__() (Bipartition method)
(Matrix method)
(PBR method)
(Perm method)
(PPerm method)
(Transf method)
__iadd__() (Matrix method)
__imul__() (Matrix method)
__init__() (FroidurePin method)
(Konieczny method)
(Matrix method)
__iter__() (FroidurePin method)
__lt__() (Bipartition method)
(Matrix method)
(PBR method)
(Perm method)
(PPerm method)
(Transf method)
__mul__() (Bipartition method)
(Matrix method)
(PBR method)
(Perm method)
(PPerm method)
(Transf method)
A
accept_state() (Stephen method)
accepts() (in module _libsemigroups_pybind11)
ActionDigraph (class in _libsemigroups_pybind11)
ActionDigraph.algorithm (class in _libsemigroups_pybind11)
active_rules() (KnuthBendix method)
add_cycle() (in module libsemigroups_pybind11.action_digraph_helper)
add_edge() (ActionDigraph method)
add_generator() (FroidurePin method)
(Konieczny method)
add_generators() (FroidurePin method)
add_identity_rules()
built-in function
add_inverse_rules()
built-in function
add_nodes() (ActionDigraph method)
(Forest method)
add_pair() (Congruence method)
(ToddCoxeter method)
add_rule()
built-in function
add_rule() (FpSemigroup method)
(Kambites method)
(KnuthBendix method)
add_rule_and_check()
built-in function
add_rules()
built-in function
add_rules() (FpSemigroup method)
(Kambites method)
(KnuthBendix method)
add_to_out_degree() (ActionDigraph method)
add_word() (Ukkonen method)
add_word_no_checks() (Ukkonen method)
add_words() (in module _libsemigroups_pybind11)
add_words_no_checks() (in module _libsemigroups_pybind11)
add_zero_rules()
built-in function
alphabet() (FpSemigroup method)
(Kambites method)
(KnuthBendix method)
(Presentation method)
alphabet_from_rules() (Presentation method)
alternating_group()
built-in function
are_rules_sorted()
built-in function
at() (FroidurePin method)
author (built-in class)
B
batch_size() (FroidurePin method)
Bipartition (class in _libsemigroups_pybind11)
BMat8 (class in _libsemigroups_pybind11)
Boolean (MatrixKind attribute)
brauer_monoid()
built-in function
built-in function
add_identity_rules()
add_inverse_rules()
add_rule()
add_rule_and_check()
add_rules()
add_zero_rules()
alternating_group()
are_rules_sorted()
brauer_monoid()
change_alphabet()
character()
chinese_monoid()
dual_symmetric_inverse_monoid()
fibonacci_semigroup()
first_unused_letter()
full_transformation_monoid()
greedy_reduce_length()
is_strongly_compressible()
length()
letter()
longest_common_subword()
longest_rule()
longest_rule_length()
make()
make_semigroup()
monogenic_semigroup()
normalize_alphabet()
orientation_preserving_monoid()
orientation_reversing_monoid()
partial_transformation_monoid()
partition_monoid()
plactic_monoid()
rectangular_band()
reduce_complements()
reduce_to_2_generators()
redundant_rule()
remove_duplicate_rules()
remove_redundant_generators()
remove_trivial_rules()
replace_subword()
replace_word()
reverse()
shortest_rule()
shortest_rule_length()
singular_brauer_monoid()
sort_each_rule()
sort_rules()
stellar_monoid()
strongly_compress()
stylic_monoid()
symmetric_group()
symmetric_inverse_monoid()
temperley_lieb_monoid()
uniform_block_bijection_monoid()
C
change_alphabet()
built-in function
char_to_uint() (FpSemigroup method)
(Kambites method)
(KnuthBendix method)
character()
built-in function
check_confluence_interval() (KnuthBendix method)
chinese_monoid()
built-in function
class_index_to_word() (Congruence method)
(ToddCoxeter method)
clear() (Forest method)
closure() (FroidurePin method)
col_space_basis() (BMat8 method)
column_space_size() (BMat8 method)
compatible() (ToddCoxeter method)
complete() (ToddCoxeter method)
concurrency_threshold() (FroidurePin method)
confluent() (KnuthBendix method)
Congruence (class in _libsemigroups_pybind11)
congruence_kind (class in libsemigroups_pybind11)
const_contains() (Congruence method)
(ToddCoxeter method)
contains() (Congruence method)
(FroidurePin method)
(Konieczny method)
(Konieczny.DClass method)
(ToddCoxeter method)
contains_empty_string() (KnuthBendix method)
contains_empty_word() (Presentation method)
copy_add_generators() (FroidurePin method)
copy_closure() (FroidurePin method)
current_length() (FroidurePin method)
current_max_word_length() (FroidurePin method)
current_number_of_D_classes() (Konieczny method)
current_number_of_H_classes() (Konieczny method)
current_number_of_idempotents() (Konieczny method)
current_number_of_L_classes() (Konieczny method)
current_number_of_R_classes() (Konieczny method)
current_number_of_regular_D_classes() (Konieczny method)
current_number_of_regular_L_classes() (Konieczny method)
current_number_of_regular_R_classes() (Konieczny method)
current_number_of_rules() (FroidurePin method)
current_position() (FroidurePin method)
current_size() (FroidurePin method)
(Konieczny method)
D
D_class_of_element() (Konieczny method)
D_classes() (Konieczny method)
dead() (Congruence method)
(FpSemigroup method)
(FroidurePin method)
(Kambites method)
(KnuthBendix method)
(Konieczny method)
(Stephen method)
(ToddCoxeter method)
degree() (Bipartition method)
(FroidurePin method)
(Konieczny method)
(PBR method)
(Perm method)
(PPerm method)
(Transf method)
dot() (in module libsemigroups_pybind11.action_digraph_helper)
(in module libsemigroups_pybind11.ukkonen)
dual_symmetric_inverse_monoid()
built-in function
E
edges_iterator() (ActionDigraph method)
empty() (ToddCoxeter method)
enumerate() (FroidurePin method)
equal_to() (FpSemigroup method)
(FroidurePin method)
(Kambites method)
(KnuthBendix method)
F
factorisation() (FroidurePin method)
fast_product() (FroidurePin method)
fibonacci_semigroup()
built-in function
final_letter() (FroidurePin method)
finished() (Congruence method)
(FpSemigroup method)
(FroidurePin method)
(Kambites method)
(KnuthBendix method)
(Konieczny method)
(Stephen method)
(ToddCoxeter method)
first_letter() (FroidurePin method)
first_unused_letter()
built-in function
follow_path() (in module libsemigroups_pybind11.action_digraph_helper)
Forest (class in _libsemigroups_pybind11)
FpSemigroup (class in _libsemigroups_pybind11)
froidure_pin() (FpSemigroup method)
(Kambites method)
(KnuthBendix method)
froidure_pin_policy() (ToddCoxeter method)
FroidurePin (built-in class)
full_transformation_monoid()
built-in function
G
generating_pairs() (Congruence method)
(ToddCoxeter method)
generator() (FroidurePin method)
(Konieczny method)
generators() (Konieczny method)
get() (BMat8 method)
gilman_digraph() (KnuthBendix method)
greedy_reduce_length()
built-in function
H
has_froidure_pin() (FpSemigroup method)
(Kambites method)
(KnuthBendix method)
has_identity() (Kambites method)
has_knuth_bendix() (Congruence method)
(FpSemigroup method)
has_parent_froidure_pin() (Congruence method)
(ToddCoxeter method)
has_quotient_froidure_pin() (Congruence method)
(ToddCoxeter method)
has_todd_coxeter() (Congruence method)
(FpSemigroup method)
I
idempotents() (FroidurePin method)
identity() (Bipartition method)
(FpSemigroup method)
(Kambites method)
(KnuthBendix method)
(PBR method)
(Perm method)
(PPerm method)
(Transf method)
images() (Perm method)
(PPerm method)
(Transf method)
immutable() (FroidurePin method)
index() (Presentation method)
init() (Stephen method)
Integer (MatrixKind attribute)
inverse() (Perm method)
(PPerm method)
inverses() (FpSemigroup method)
(Kambites method)
(KnuthBendix method)
is_acyclic() (in module libsemigroups_pybind11.action_digraph_helper)
is_finite() (FroidurePin method)
is_idempotent() (FroidurePin method)
is_left_factor() (in module _libsemigroups_pybind11)
is_monoid() (FroidurePin method)
is_obviously_finite() (FpSemigroup method)
(Kambites method)
(KnuthBendix method)
is_obviously_infinite() (FpSemigroup method)
(Kambites method)
(KnuthBendix method)
is_piece() (in module _libsemigroups_pybind11)
is_piece_no_checks() (in module _libsemigroups_pybind11)
is_quotient_obviously_finite() (Congruence method)
(ToddCoxeter method)
is_quotient_obviously_infinite() (Congruence method)
(ToddCoxeter method)
is_regular_D_class() (Konieczny.DClass method)
is_regular_element() (BMat8 method)
(Konieczny method)
is_standardized() (ToddCoxeter method)
is_strongly_compressible()
built-in function
is_subword() (in module _libsemigroups_pybind11)
is_subword_no_checks() (in module _libsemigroups_pybind11)
is_suffix() (in module _libsemigroups_pybind11)
is_suffix_no_checks() (in module _libsemigroups_pybind11)
is_transverse_block() (Bipartition method)
is_unique_letter() (Ukkonen method)
K
Kambites (class in _libsemigroups_pybind11)
kill() (Congruence method)
(FpSemigroup method)
(FroidurePin method)
(Kambites method)
(KnuthBendix method)
(Konieczny method)
(Stephen method)
(ToddCoxeter method)
kind() (Congruence method)
(ToddCoxeter method)
knuth_bendix() (Congruence method)
(FpSemigroup method)
knuth_bendix_by_overlap_length() (KnuthBendix method)
KnuthBendix (class in _libsemigroups_pybind11)
KnuthBendix.overlap (class in _libsemigroups_pybind11)
Konieczny (built-in class)
Konieczny.DClass (built-in class)
L
label() (Forest method)
left_blocks() (Bipartition method)
left_cayley_graph() (FroidurePin method)
left_factors() (in module _libsemigroups_pybind11)
left_one() (PPerm method)
length()
built-in function
length() (FroidurePin method)
length_of_distinct_words() (Ukkonen method)
length_of_words() (Ukkonen method)
less() (Congruence method)
(ToddCoxeter method)
letter()
built-in function
letter() (Presentation method)
longest_common_subword()
built-in function
longest_rule()
built-in function
longest_rule_length()
built-in function
lookahead() (ToddCoxeter method)
lookup() (Bipartition method)
lower_bound() (ToddCoxeter method)
M
make()
built-in function
make() (Bipartition static method)
(in module libsemigroups_pybind11)
(in module libsemigroups_pybind11.action_digraph_helper)
(PBR static method)
(Perm static method)
(PPerm static method)
(Transf static method)
make_identity() (Bipartition static method)
(in module libsemigroups_pybind11)
(PBR static method)
(Perm static method)
(PPerm static method)
(Transf static method)
make_semigroup()
built-in function
Matrix (class in libsemigroups_pybind11)
MatrixKind (class in libsemigroups_pybind11)
max_overlap() (KnuthBendix method)
max_rules() (KnuthBendix method)
max_threads() (FroidurePin method)
max_word_length() (Ukkonen method)
maximal_piece_prefix() (in module _libsemigroups_pybind11)
maximal_piece_prefix_no_checks() (in module _libsemigroups_pybind11)
maximal_piece_suffix() (in module _libsemigroups_pybind11)
maximal_piece_suffix_no_checks() (in module _libsemigroups_pybind11)
MaxPlus (MatrixKind attribute)
MaxPlusTrunc (MatrixKind attribute)
minimal_factorisation() (FroidurePin method)
minimum_dim() (BMat8 method)
MinPlus (MatrixKind attribute)
MinPlusTrunc (MatrixKind attribute)
monogenic_semigroup()
built-in function
multiplicity() (Ukkonen method)
N
name (ActionDigraph.algorithm property)
(KnuthBendix.overlap property)
(ToddCoxeter.froidure_pin_options property)
(ToddCoxeter.lookahead_options property)
(ToddCoxeter.order property)
(ToddCoxeter.strategy_options property)
neighbor() (ActionDigraph method)
next_lookahead() (ToddCoxeter method)
next_neighbor() (ActionDigraph method)
nodes_iterator() (ActionDigraph method)
non_trivial_classes() (Congruence method)
(ToddCoxeter method)
normal_form() (FpSemigroup method)
(Kambites method)
(KnuthBendix method)
normal_forms() (KnuthBendix method)
(ToddCoxeter method)
normal_forms_alphabet() (KnuthBendix method)
normalize_alphabet()
built-in function
NTP (MatrixKind attribute)
number_of_active_rules() (KnuthBendix method)
number_of_blocks() (Bipartition method)
number_of_classes() (Congruence method)
(ToddCoxeter method)
number_of_cols() (BMat8 method)
(Matrix method)
number_of_D_classes() (Konieczny method)
number_of_distinct_subwords() (in module _libsemigroups_pybind11)
number_of_distinct_words() (Ukkonen method)
number_of_edges() (ActionDigraph method)
number_of_generating_pairs() (Congruence method)
(ToddCoxeter method)
number_of_generators() (Congruence method)
(FroidurePin method)
(Konieczny method)
(ToddCoxeter method)
number_of_H_classes() (Konieczny method)
number_of_idempotents() (FroidurePin method)
(Konieczny method)
(Konieczny.DClass method)
number_of_L_classes() (Konieczny method)
(Konieczny.DClass method)
number_of_left_blocks() (Bipartition method)
number_of_left_factors() (in module _libsemigroups_pybind11)
number_of_nodes() (ActionDigraph method)
(Forest method)
number_of_non_trivial_classes() (Congruence method)
(ToddCoxeter method)
number_of_normal_forms() (Kambites method)
(KnuthBendix method)
number_of_paths() (ActionDigraph method)
number_of_paths_algorithm() (ActionDigraph method)
number_of_pieces() (in module _libsemigroups_pybind11)
(Kambites method)
number_of_pieces_no_checks() (in module _libsemigroups_pybind11)
number_of_R_classes() (Konieczny method)
(Konieczny.DClass method)
number_of_regular_D_classes() (Konieczny method)
number_of_regular_L_classes() (Konieczny method)
number_of_regular_R_classes() (Konieczny method)
number_of_right_blocks() (Bipartition method)
number_of_rows() (BMat8 method)
(Matrix method)
number_of_rules() (FpSemigroup method)
(FroidurePin method)
(Kambites method)
(KnuthBendix method)
number_of_scc() (ActionDigraph method)
number_of_words() (in module _libsemigroups_pybind11)
(Ukkonen method)
number_of_words_accepted() (in module _libsemigroups_pybind11)
O
one() (BMat8 method)
(Matrix method)
orientation_preserving_monoid()
built-in function
orientation_reversing_monoid()
built-in function
out_degree() (ActionDigraph method)
out_neighbors() (in module libsemigroups_pybind11.action_digraph_helper)
overlap_policy() (KnuthBendix method)
P
panilo_iterator() (ActionDigraph method)
panislo_iterator() (ActionDigraph method)
parent() (Forest method)
parent_froidure_pin() (Congruence method)
(ToddCoxeter method)
parent_iterator() (Forest method)
partial_transformation_monoid()
built-in function
partition_monoid()
built-in function
PBR (class in _libsemigroups_pybind11)
Perm (built-in class)
pieces() (in module _libsemigroups_pybind11)
pieces_no_checks() (in module _libsemigroups_pybind11)
pilo_iterator() (ActionDigraph method)
pislo_iterator() (ActionDigraph method)
plactic_monoid()
built-in function
position() (FroidurePin method)
position_to_sorted_position() (FroidurePin method)
PPerm (built-in class)
prefix() (FroidurePin method)
Presentation (built-in class)
presentation() (Stephen method)
product_by_reduction() (FroidurePin method)
product_inplace() (Bipartition method)
(Matrix method)
(PBR method)
(Perm method)
(PPerm method)
(Transf method)
ProjMaxPlus (MatrixKind attribute)
pstilo_iterator() (ActionDigraph method)
pstislo_iterator() (ActionDigraph method)
Q
quotient_froidure_pin() (Congruence method)
(ToddCoxeter method)
R
random() (ActionDigraph static method)
(BMat8 static method)
random_acyclic() (ActionDigraph static method)
random_interval() (ToddCoxeter method)
random_shuffle_generating_pairs() (ToddCoxeter method)
rank() (Bipartition method)
(Perm method)
(PPerm method)
(Transf method)
rectangular_band()
built-in function
reduce_complements()
built-in function
reduce_to_2_generators()
built-in function
redundant_rule()
built-in function
regular_D_classes() (Konieczny method)
remove_duplicate_rules()
built-in function
remove_redundant_generators()
built-in function
remove_trivial_rules()
built-in function
rep() (Konieczny.DClass method)
replace_subword()
built-in function
replace_word()
built-in function
report() (Congruence method)
(FpSemigroup method)
(FroidurePin method)
(Kambites method)
(KnuthBendix method)
(Konieczny method)
(Stephen method)
(ToddCoxeter method)
report_every() (Congruence method)
(FpSemigroup method)
(FroidurePin method)
(Kambites method)
(KnuthBendix method)
(Konieczny method)
(Stephen method)
(ToddCoxeter method)
report_why_we_stopped() (Congruence method)
(FpSemigroup method)
(FroidurePin method)
(Kambites method)
(KnuthBendix method)
(Konieczny method)
(Stephen method)
(ToddCoxeter method)
ReportGuard (class in _libsemigroups_pybind11)
reserve() (ActionDigraph method)
(FroidurePin method)
(ToddCoxeter method)
reverse()
built-in function
reverse_nodes_iterator() (ActionDigraph method)
reverse_spanning_forest() (ActionDigraph method)
rewrite() (KnuthBendix method)
right_blocks() (Bipartition method)
right_cayley_graph() (FroidurePin method)
right_one() (PPerm method)
root_of_scc() (ActionDigraph method)
row() (Matrix method)
row_space_basis() (BMat8 method)
row_space_size() (BMat8 method)
rows() (BMat8 method)
(Matrix method)
rules (Presentation attribute)
rules() (FpSemigroup method)
(FroidurePin method)
(Kambites method)
(KnuthBendix method)
run() (Congruence method)
(FpSemigroup method)
(FroidurePin method)
(Kambites method)
(KnuthBendix method)
(Konieczny method)
(Stephen method)
(ToddCoxeter method)
run_for() (Congruence method)
(FpSemigroup method)
(FroidurePin method)
(Kambites method)
(KnuthBendix method)
(Konieczny method)
(Stephen method)
(ToddCoxeter method)
run_until() (Congruence method)
(FpSemigroup method)
(FroidurePin method)
(Kambites method)
(KnuthBendix method)
(Konieczny method)
(Stephen method)
(ToddCoxeter method)
running() (FpSemigroup method)
(FroidurePin method)
(Kambites method)
(KnuthBendix method)
(Konieczny method)
(Stephen method)
S
save() (ToddCoxeter method)
scc_id() (ActionDigraph method)
scc_iterator() (ActionDigraph method)
scc_roots_iterator() (ActionDigraph method)
sccs_iterator() (ActionDigraph method)
set() (BMat8 method)
(Forest method)
set_alphabet() (FpSemigroup method)
(Kambites method)
(KnuthBendix method)
set_identity() (FpSemigroup method)
(Kambites method)
(KnuthBendix method)
set_inverses() (FpSemigroup method)
(Kambites method)
(KnuthBendix method)
set_number_of_generators() (Congruence method)
(ToddCoxeter method)
set_word() (Stephen method)
shortest_rule()
built-in function
shortest_rule_length()
built-in function
shrink_to_fit() (ToddCoxeter method)
silo() (in module _libsemigroups_pybind11)
singular_brauer_monoid()
built-in function
sislo() (in module _libsemigroups_pybind11)
size() (FpSemigroup method)
(FroidurePin method)
(Kambites method)
(KnuthBendix method)
(Konieczny method)
(Konieczny.DClass method)
size_H_class() (Konieczny.DClass method)
small_overlap_class() (Kambites method)
sort_each_rule()
built-in function
sort_generating_pairs() (ToddCoxeter method)
sort_rules()
built-in function
sorted() (FroidurePin method)
sorted_at() (FroidurePin method)
sorted_position() (FroidurePin method)
spanning_forest() (ActionDigraph method)
standardize() (ToddCoxeter method)
started() (FpSemigroup method)
(FroidurePin method)
(Kambites method)
(KnuthBendix method)
(Konieczny method)
(Stephen method)
stellar_monoid()
built-in function
Stephen (class in _libsemigroups_pybind11)
stopped() (FpSemigroup method)
(FroidurePin method)
(Kambites method)
(KnuthBendix method)
(Konieczny method)
(Stephen method)
stopped_by_predicate() (Congruence method)
(FpSemigroup method)
(FroidurePin method)
(Kambites method)
(KnuthBendix method)
(Konieczny method)
(Stephen method)
(ToddCoxeter method)
strategy() (ToddCoxeter method)
string_to_word() (FpSemigroup method)
(Kambites method)
(KnuthBendix method)
strongly_compress()
built-in function
stylic_monoid()
built-in function
suffix() (FroidurePin method)
swap() (BMat8 method)
(Matrix method)
symmetric_group()
built-in function
symmetric_inverse_monoid()
built-in function
T
temperley_lieb_monoid()
built-in function
timed_out() (Congruence method)
(FpSemigroup method)
(FroidurePin method)
(Kambites method)
(KnuthBendix method)
(Konieczny method)
(Stephen method)
(ToddCoxeter method)
to_gap_string() (FpSemigroup method)
(KnuthBendix method)
(ToddCoxeter method)
to_int() (BMat8 method)
todd_coxeter() (Congruence method)
(FpSemigroup method)
ToddCoxeter (class in _libsemigroups_pybind11)
ToddCoxeter.froidure_pin_options (class in _libsemigroups_pybind11)
ToddCoxeter.lookahead_options (class in _libsemigroups_pybind11)
ToddCoxeter.order (class in _libsemigroups_pybind11)
ToddCoxeter.strategy_options (class in _libsemigroups_pybind11)
topological_sort() (in module libsemigroups_pybind11.action_digraph_helper)
Transf (built-in class)
transpose() (BMat8 method)
(Matrix method)
U
uint_to_char() (FpSemigroup method)
(Kambites method)
(KnuthBendix method)
Ukkonen (class in _libsemigroups_pybind11)
ukkonen() (Kambites method)
undef() (PPerm method)
uniform_block_bijection_monoid()
built-in function
unique_letter() (Ukkonen method)
unsafe_neighbor() (ActionDigraph method)
unsafe_next_neighbor() (ActionDigraph method)
V
validate() (ActionDigraph method)
(Presentation method)
validate_alphabet() (Presentation method)
validate_letter() (FpSemigroup method)
(Kambites method)
(KnuthBendix method)
(Presentation method)
validate_rules() (Presentation method)
validate_word() (FpSemigroup method)
(Kambites method)
(KnuthBendix method)
(Ukkonen method)
W
wilo() (in module _libsemigroups_pybind11)
wislo() (in module _libsemigroups_pybind11)
word() (Stephen method)
word_graph() (Stephen method)
word_index() (Ukkonen method)
word_to_class_index() (Congruence method)
(ToddCoxeter method)
word_to_element() (FroidurePin method)
word_to_string() (FpSemigroup method)
(Kambites method)
(KnuthBendix method)
words_accepted() (in module _libsemigroups_pybind11)