autstr

• autstr package
  • Subpackages
    • autstr.buildin package
      • Submodules
      • autstr.buildin.automata module
      • autstr.buildin.presentations module
      • autstr.buildin.tree_presentations module
      • Module contents
    • autstr.utils package
      • Submodules
      • autstr.utils.automata_tools module
      • autstr.utils.logic module
      • autstr.utils.misc module
      • autstr.utils.tree_automata_tools module
      • Module contents
  • Submodules
  • autstr.algebra module
    • Z1pElement
      • Z1pElement.num
      • Z1pElement.exp
    • Z1pLocalization
      • Z1pLocalization.normalize()
      • Z1pLocalization.element()
      • Z1pLocalization.from_fraction()
      • Z1pLocalization.add()
      • Z1pLocalization.neg()
      • Z1pLocalization.sub()
      • Z1pLocalization.equals()
      • Z1pLocalization.sigma
      • Z1pLocalization.presentation
      • Z1pLocalization.encode()
      • Z1pLocalization.evaluate()
      • Z1pLocalization.check()
    • z1p_localization()
    • FiniteBooleanAlgebras
      • FiniteBooleanAlgebras.advice()
      • FiniteBooleanAlgebras.encode()
      • FiniteBooleanAlgebras.evaluate()
      • FiniteBooleanAlgebras.check()
      • FiniteBooleanAlgebras.get_structure()
  • autstr.arithmetic module
    • Term
      • Term.arithmetic
      • Term.update_presentation()
      • Term.evaluate()
      • Term.get_variables()
      • Term.substitute()
    • RelationalAlgebraTerm
      • RelationalAlgebraTerm.drop()
      • RelationalAlgebraTerm.ex()
      • RelationalAlgebraTerm.exinf()
      • RelationalAlgebraTerm.isempty()
      • RelationalAlgebraTerm.isfinite()
    • ExInfRATerm
      • ExInfRATerm.update_presentation()
      • ExInfRATerm.get_variables()
    • BaseRATerm
      • BaseRATerm.get_variables()
      • BaseRATerm.update_presentation()
      • BaseRATerm.to_fo()
    • BinaryRATerm
      • BinaryRATerm.get_variables()
      • BinaryRATerm.update_presentation()
    • IntersectionRATerm
    • UnionRATerm
    • ComplementRATerm
      • ComplementRATerm.update_presentation()
      • ComplementRATerm.get_variables()
    • DropRATerm
      • DropRATerm.update_presentation()
      • DropRATerm.get_variables()
    • ElementaryTerm
      • ElementaryTerm.to_term()
      • ElementaryTerm.eq()
      • ElementaryTerm.lt()
      • ElementaryTerm.gt()
      • ElementaryTerm.evaluate()
      • ElementaryTerm.update_presentation()
    • ConstantETerm
      • ConstantETerm.get_variables()
      • ConstantETerm.update_presentation()
    • VariableETerm
      • VariableETerm.update_presentation()
      • VariableETerm.get_variables()
      • VariableETerm.get_name()
    • NegatedETerm
      • NegatedETerm.update_presentation()
      • NegatedETerm.get_variables()
    • AdditionETerm
      • AdditionETerm.update_presentation()
      • AdditionETerm.get_variables()
  • autstr.chain_ring module
    • modulus()
    • valuation()
    • is_unit()
    • unit_inverse()
    • to_digits()
    • from_digits()
    • inv_mod_pp()
    • smith_normal_form()
    • saturate()
    • module_cut_rank()
    • right_invertible()
    • right_inverse()
    • solve_left()
    • factor_two_sided()
  • autstr.cocycle_groups module
    • CocycleSites
      • CocycleSites.check_tensor()
      • CocycleSites.multiply()
      • CocycleSites.identity()
      • CocycleSites.cut_profile()
      • CocycleSites.cut_width()
    • fixed_k_sites()
    • laminar_sites()
    • point_target_sites()
    • scattered_sites()
    • CocycleRankWidthGroups
      • CocycleRankWidthGroups.MARKERS
      • CocycleRankWidthGroups.advice()
      • CocycleRankWidthGroups.encode()
      • CocycleRankWidthGroups.decode()
      • CocycleRankWidthGroups.multiply()
      • CocycleRankWidthGroups.simulate()
      • CocycleRankWidthGroups.cls
      • CocycleRankWidthGroups.evaluate()
      • CocycleRankWidthGroups.check()
      • CocycleRankWidthGroups.get_structure()
      • CocycleRankWidthGroups.implicit_cls
      • CocycleRankWidthGroups.check_implicit()
      • CocycleRankWidthGroups.evaluate_implicit()
  • autstr.composition module
    • prefix()
    • disjoint_union()
    • direct_product()
    • class_union()
    • tagged_advice()
    • tagged_element()
    • direct_product_closure()
    • blocks()
  • autstr.graphs module
    • StringGraph
      • StringGraph.num_nodes
      • StringGraph.edges()
      • StringGraph.encode_set()
      • StringGraph.to_networkx()
      • StringGraph.to_graphviz()
    • TreeDepthGraph
      • TreeDepthGraph.height
      • TreeDepthGraph.edges()
      • TreeDepthGraph.from_networkx()
    • PathWidthGraph
      • PathWidthGraph.width
      • PathWidthGraph.edges()
      • PathWidthGraph.from_networkx()
    • TreeDepthClass
      • TreeDepthClass.advice()
    • PathWidthClass
      • PathWidthClass.advice()
  • autstr.groups module
    • IndexTwoCyclicGroups
      • IndexTwoCyclicGroups.FAMILY_SYMBOLS
      • IndexTwoCyclicGroups.advice()
      • IndexTwoCyclicGroups.dihedral()
      • IndexTwoCyclicGroups.dicyclic()
      • IndexTwoCyclicGroups.semidihedral()
      • IndexTwoCyclicGroups.modular()
      • IndexTwoCyclicGroups.cyclic()
      • IndexTwoCyclicGroups.abelian()
      • IndexTwoCyclicGroups.parameters()
      • IndexTwoCyclicGroups.encode()
      • IndexTwoCyclicGroups.multiply()
      • IndexTwoCyclicGroups.evaluate()
      • IndexTwoCyclicGroups.check()
      • IndexTwoCyclicGroups.check_implicit()
      • IndexTwoCyclicGroups.get_structure()
    • ExtraspecialGroups
      • ExtraspecialGroups.advice()
      • ExtraspecialGroups.encode()
      • ExtraspecialGroups.multiply()
      • ExtraspecialGroups.evaluate()
      • ExtraspecialGroups.check()
      • ExtraspecialGroups.check_implicit()
      • ExtraspecialGroups.get_structure()
    • FiniteAbelianGroups
      • FiniteAbelianGroups.advice()
      • FiniteAbelianGroups.encode()
      • FiniteAbelianGroups.evaluate()
      • FiniteAbelianGroups.check()
      • FiniteAbelianGroups.check_implicit()
      • FiniteAbelianGroups.get_structure()
    • CutRankGroups
      • CutRankGroups.MARKER
      • CutRankGroups.letters
      • CutRankGroups.entry_letters
      • CutRankGroups.cls
      • CutRankGroups.linear_cut_rank()
      • CutRankGroups.advice()
      • CutRankGroups.clique_form()
      • CutRankGroups.matching_form()
      • CutRankGroups.multiply()
      • CutRankGroups.simulate()
      • CutRankGroups.identity()
      • CutRankGroups.encode()
      • CutRankGroups.decode()
      • CutRankGroups.evaluate()
      • CutRankGroups.check()
      • CutRankGroups.implicit_cls
      • CutRankGroups.check_implicit()
      • CutRankGroups.evaluate_implicit()
      • CutRankGroups.get_structure()
  • autstr.implicit module
    • ImplicitDFA
      • ImplicitDFA.initial()
      • ImplicitDFA.step()
      • ImplicitDFA.accepting()
    • dfa_atom()
    • dfa_product()
    • dfa_complement()
    • dfa_project()
    • run_dfa()
    • ImplicitTA
      • ImplicitTA.step()
      • ImplicitTA.accepting()
    • ta_atom()
    • ta_product()
    • ta_complement()
    • ta_project()
    • run_ta()
    • StringSolutionSet
    • TreeSolutionSet
    • MappedSolutions
    • check_string()
    • check_tree()
    • relativized_query()
    • check_class_string()
    • check_class_tree()
    • evaluate_class_string()
    • evaluate_class_tree()
    • ImplicitClass
      • ImplicitClass.check()
      • ImplicitClass.evaluate()
    • ImplicitTreeClass
      • ImplicitTreeClass.check()
      • ImplicitTreeClass.evaluate()
  • autstr.mtbdd module
    • num_bits()
    • ComputedTable
      • ComputedTable.mask
      • ComputedTable.shift
      • ComputedTable.keys
      • ComputedTable.vals
      • ComputedTable.get()
      • ComputedTable.remap()
    • bits_of()
    • NodeStore
      • NodeStore.terminal()
      • NodeStore.make()
      • NodeStore.is_terminal()
      • NodeStore.letter()
      • NodeStore.const()
      • NodeStore.build_rows()
      • NodeStore.map_letters()
      • NodeStore.recode_letters()
      • NodeStore.set_path()
      • NodeStore.cofactor()
      • NodeStore.mux()
      • NodeStore.rename()
      • NodeStore.apply2()
      • NodeStore.apply1()
      • NodeStore.quantify_letter()
      • NodeStore.terminals()
      • NodeStore.reset()
      • NodeStore.collect()
      • NodeStore.export()
      • NodeStore.import_nodes()
      • NodeStore.size()
      • NodeStore.eval_batch()
    • var_tables()
  • autstr.presentations module
    • AutomaticPresentationSerializer
      • AutomaticPresentationSerializer.MAGIC
      • AutomaticPresentationSerializer.VERSION
      • AutomaticPresentationSerializer.HEADER_FORMAT
      • AutomaticPresentationSerializer.HEADER_SIZE
      • AutomaticPresentationSerializer.serialize()
      • AutomaticPresentationSerializer.deserialize()
    • AutomaticPresentation
      • AutomaticPresentation.automatic_presentation_to_file()
      • AutomaticPresentation.automatic_presentation_from_file()
      • AutomaticPresentation.get_relation_symbols()
      • AutomaticPresentation.update()
      • AutomaticPresentation.check()
      • AutomaticPresentation.evaluate()
  • autstr.sparse_automata module
    • SparseDFASerializer
      • SparseDFASerializer.VERSION
      • SparseDFASerializer.HEADER_FORMAT
      • SparseDFASerializer.HEADER_SIZE
      • SparseDFASerializer.METADATA_FORMAT
      • SparseDFASerializer.METADATA_SIZE
      • SparseDFASerializer.serialize()
      • SparseDFASerializer.deserialize()
      • SparseDFASerializer.to_bytes()
      • SparseDFASerializer.from_bytes()
    • SparseDFA
      • SparseDFA.num_symbols
      • SparseDFA.num_nodes
      • SparseDFA.encode_symbol()
      • SparseDFA.decode_symbol()
      • SparseDFA.dense_next()
      • SparseDFA.default_states
      • SparseDFA.exception_symbols
      • SparseDFA.exception_states
      • SparseDFA.max_exceptions
      • SparseDFA.transition()
      • SparseDFA.compute()
      • SparseDFA.accepts()
      • SparseDFA.accepts_batch()
      • SparseDFA.successors()
      • SparseDFA.reverse_transition()
      • SparseDFA.is_empty()
      • SparseDFA.is_finite()
      • SparseDFA.complement()
      • SparseDFA.intersection()
      • SparseDFA.union()
      • SparseDFA.alphabet_projection()
      • SparseDFA.intersect_subtapes()
      • SparseDFA.regular_right_quotient()
      • SparseDFA.fill_defaults()
      • SparseDFA.sparsify()
      • SparseDFA.minimize()
      • SparseDFA.show_diagram()
      • SparseDFA.sparse_dfa_to_file()
      • SparseDFA.sparse_dfa_from_file()
    • recode()
    • reduce_set_nfa()
    • SparseNFA
      • SparseNFA.subset_id()
      • SparseNFA.compute()
      • SparseNFA.accepts()
      • SparseNFA.determinize()
      • SparseNFA.show_diagram()
  • autstr.sparse_tree_automata module
    • Tree
      • Tree.label
      • Tree.left
      • Tree.right
      • Tree.size()
    • tree_to_arrays()
    • convolve_trees()
    • SparseTreeAutomaton
      • SparseTreeAutomaton.BOT
      • SparseTreeAutomaton.num_symbols
      • SparseTreeAutomaton.num_nodes
      • SparseTreeAutomaton.pair_node()
      • SparseTreeAutomaton.transitions()
      • SparseTreeAutomaton.dense_delta()
      • SparseTreeAutomaton.exceptions()
      • SparseTreeAutomaton.run()
      • SparseTreeAutomaton.accepts()
      • SparseTreeAutomaton.complement()
      • SparseTreeAutomaton.intersection()
      • SparseTreeAutomaton.union()
      • SparseTreeAutomaton.reachable_states()
      • SparseTreeAutomaton.is_empty()
  • autstr.tree_graphs module
    • TreeWidthGraph
      • TreeWidthGraph.num_nodes
      • TreeWidthGraph.width
      • TreeWidthGraph.edges()
      • TreeWidthGraph.encode_set()
      • TreeWidthGraph.to_networkx()
      • TreeWidthGraph.from_networkx()
    • TreeWidthClass
      • TreeWidthClass.advice()
      • TreeWidthClass.evaluate()
      • TreeWidthClass.check()
      • TreeWidthClass.get_structure()
    • CliqueWidthGraph
      • CliqueWidthGraph.encode_set()
      • CliqueWidthGraph.to_networkx()
      • CliqueWidthGraph.clique()
      • CliqueWidthGraph.complete_bipartite()
      • CliqueWidthGraph.path()
      • CliqueWidthGraph.cycle()
    • CliqueWidthClass
      • CliqueWidthClass.advice()
      • CliqueWidthClass.evaluate()
      • CliqueWidthClass.check()
      • CliqueWidthClass.get_structure()
    • RankWidthGraph
      • RankWidthGraph.cut_matrix()
      • RankWidthGraph.width
      • RankWidthGraph.encode_set()
      • RankWidthGraph.encode_set_padded()
      • RankWidthGraph.decode_set()
      • RankWidthGraph.to_networkx()
      • RankWidthGraph.caterpillar()
      • RankWidthGraph.clique()
      • RankWidthGraph.path()
      • RankWidthGraph.cycle()
      • RankWidthGraph.complete_bipartite()
    • RankWidthClass
      • RankWidthClass.cls
      • RankWidthClass.advice()
      • RankWidthClass.evaluate()
      • RankWidthClass.check()
      • RankWidthClass.implicit_cls
      • RankWidthClass.check_implicit()
      • RankWidthClass.evaluate_implicit()
      • RankWidthClass.get_structure()
  • autstr.tree_groups module
    • TreeExtraspecialGroups
      • TreeExtraspecialGroups.spine()
      • TreeExtraspecialGroups.advice()
      • TreeExtraspecialGroups.encode()
      • TreeExtraspecialGroups.evaluate()
      • TreeExtraspecialGroups.check()
      • TreeExtraspecialGroups.check_implicit()
      • TreeExtraspecialGroups.get_structure()
    • CutRankTreeGroups
      • CutRankTreeGroups.MARKERS
      • CutRankTreeGroups.n_entries
      • CutRankTreeGroups.cls
      • CutRankTreeGroups.spine()
      • CutRankTreeGroups.balanced()
      • CutRankTreeGroups.tree_cut_rank()
      • CutRankTreeGroups.advice()
      • CutRankTreeGroups.clique_form()
      • CutRankTreeGroups.matching_form()
      • CutRankTreeGroups.multiply()
      • CutRankTreeGroups.identity()
      • CutRankTreeGroups.simulate()
      • CutRankTreeGroups.encode()
      • CutRankTreeGroups.evaluate()
      • CutRankTreeGroups.check()
      • CutRankTreeGroups.decode()
      • CutRankTreeGroups.implicit_cls
      • CutRankTreeGroups.check_implicit()
      • CutRankTreeGroups.evaluate_implicit()
      • CutRankTreeGroups.get_structure()
  • autstr.tree_presentations module
    • tree_one()
    • tree_zero()
    • TreeAutomaticPresentation
      • TreeAutomaticPresentation.get_relation_symbols()
      • TreeAutomaticPresentation.update()
      • TreeAutomaticPresentation.check()
      • TreeAutomaticPresentation.evaluate()
  • autstr.tree_uniform module
    • sta_from_delta()
    • UniformlyTreeAutomaticClass
      • UniformlyTreeAutomaticClass.check()
      • UniformlyTreeAutomaticClass.check_implicit()
      • UniformlyTreeAutomaticClass.evaluate_implicit()
      • UniformlyTreeAutomaticClass.define()
      • UniformlyTreeAutomaticClass.get_structure()
  • autstr.uniform module
    • dfa_from_delta()
    • UniformlyAutomaticClass
      • UniformlyAutomaticClass.get_relation_symbols()
      • UniformlyAutomaticClass.evaluate()
      • UniformlyAutomaticClass.check()
      • UniformlyAutomaticClass.check_implicit()
      • UniformlyAutomaticClass.evaluate_implicit()
      • UniformlyAutomaticClass.define()
      • UniformlyAutomaticClass.get_structure()
  • Module contents