Index

_

__and__() (AbstractClosed method) (AbstractClosedEnumerable method) __call__() (AbstractClosure method) (AbstractClosureEnumerable method) (AbstractPolarity method) (AbstractPolarityEnumerable method) (NumericalClosure method)

__or__() (AbstractClosed method) (AbstractClosedEnumerable method)

A

AbstractClosed (class in galactic.algebras.closure) AbstractClosedEnumerable (class in galactic.algebras.closure) AbstractClosure (class in galactic.algebras.closure) AbstractClosureEnumerable (class in galactic.algebras.closure) AbstractGaloisConnection (class in galactic.algebras.connection) AbstractGaloisConnectionEnumerable (class in galactic.algebras.connection) AbstractGaloisConnectionLeftEnumerable (class in galactic.algebras.connection) AbstractGaloisConnectionRightEnumerable (class in galactic.algebras.connection) AbstractMooreFamily (class in galactic.algebras.closure)

AbstractMooreFamilyEnumerable (class in galactic.algebras.closure) AbstractPolarity (class in galactic.algebras.connection) AbstractPolarityEnumerable (class in galactic.algebras.connection) atoms (AbstractMooreFamily property) (AbstractMooreFamilyEnumerable property) (ExtensibleMooreFamily property) (ExtensibleMooreFamilyEnumerable property) (ExtensibleNumericalFamily property) (FrozenMooreFamily property) (FrozenMooreFamilyEnumerable property)

B

bottom (AbstractMooreFamily property) (AbstractMooreFamilyEnumerable property) (ExtensibleMooreFamily property) (ExtensibleMooreFamilyEnumerable property) (ExtensibleNumericalFamily property) (FrozenMooreFamily property) (FrozenMooreFamilyEnumerable property)

C

ClosedEnumerableMixin (class in galactic.algebras.closure) ClosedMixin (class in galactic.algebras.closure) closure (AbstractClosed property) (AbstractClosedEnumerable property) (ClosedEnumerableMixin property) (ClosedMixin property) (NumericalClosed property) closure() (AbstractMooreFamily method) (AbstractMooreFamilyEnumerable method) (ExtensibleMooreFamily method) (ExtensibleMooreFamilyEnumerable method) (ExtensibleNumericalFamily method) (FrozenMooreFamily method) (FrozenMooreFamilyEnumerable method) (MooreFamilyEnumerableMixin method) (MooreFamilyMixin method) closures (AbstractGaloisConnection property) (AbstractGaloisConnectionEnumerable property) (AbstractGaloisConnectionLeftEnumerable property) (AbstractGaloisConnectionRightEnumerable property) (GaloisConnectionEnumerableMixin property) (GaloisConnectionLeftEnumerableMixin property) (GaloisConnectionMixin property) (GaloisConnectionRightEnumerableMixin property) (IntegerConnection property)

co_atoms (AbstractMooreFamily property) (AbstractMooreFamilyEnumerable property) (ExtensibleMooreFamily property) (ExtensibleMooreFamilyEnumerable property) (ExtensibleNumericalFamily property) (FrozenMooreFamily property) (FrozenMooreFamilyEnumerable property) co_domain (IntegerConnection property) copy() (ExtensibleMooreFamily method) (ExtensibleMooreFamilyEnumerable method) (ExtensibleNumericalFamily method) (FrozenMooreFamily method) (FrozenMooreFamilyEnumerable method) cover (AbstractMooreFamily property) (AbstractMooreFamilyEnumerable property) (ExtensibleMooreFamily property) (ExtensibleMooreFamilyEnumerable property) (ExtensibleNumericalFamily property) (FrozenMooreFamily property) (FrozenMooreFamilyEnumerable property)

D

domain (IntegerConnection property)

E

equivalence() (AbstractClosedEnumerable method) (ClosedEnumerableMixin method) (NumericalClosed method) extend() (ExtensibleMooreFamily method) (ExtensibleMooreFamilyEnumerable method) (ExtensibleNumericalFamily method)

ExtensibleMooreFamily (class in galactic.algebras.closure) ExtensibleMooreFamilyEnumerable (class in galactic.algebras.closure) ExtensibleNumericalFamily (class in galactic.algebras.examples.closure)

F

filter() (AbstractMooreFamily method) (AbstractMooreFamilyEnumerable method) (ExtensibleMooreFamily method) (ExtensibleMooreFamilyEnumerable method) (ExtensibleNumericalFamily method) (FrozenMooreFamily method) (FrozenMooreFamilyEnumerable method)

FrozenMooreFamily (class in galactic.algebras.closure) FrozenMooreFamilyEnumerable (class in galactic.algebras.closure)

G

galactic.algebras.closure module galactic.algebras.connection module galactic.algebras.examples.closure module galactic.algebras.examples.connection module GaloisConnectionEnumerableMixin (class in galactic.algebras.connection) GaloisConnectionLeftEnumerableMixin (class in galactic.algebras.connection) GaloisConnectionMixin (class in galactic.algebras.connection) GaloisConnectionRightEnumerableMixin (class in galactic.algebras.connection) global_entropy (ExtensibleMooreFamilyEnumerable property) (ExtensibleNumericalFamily property) (FrozenMooreFamilyEnumerable property)

global_information (ExtensibleMooreFamilyEnumerable property) (ExtensibleNumericalFamily property) (FrozenMooreFamilyEnumerable property) global_logarithmic_stability (ExtensibleMooreFamilyEnumerable property) (ExtensibleNumericalFamily property) (FrozenMooreFamilyEnumerable property) global_stability (ExtensibleMooreFamilyEnumerable property) (ExtensibleNumericalFamily property) (FrozenMooreFamilyEnumerable property) greatest_join_irreducible() (AbstractMooreFamily method) (AbstractMooreFamilyEnumerable method) (ExtensibleMooreFamily method) (ExtensibleMooreFamilyEnumerable method) (ExtensibleNumericalFamily method) (FrozenMooreFamily method) (FrozenMooreFamilyEnumerable method)

I

ideal() (AbstractMooreFamily method) (AbstractMooreFamilyEnumerable method) (ExtensibleMooreFamily method) (ExtensibleMooreFamilyEnumerable method) (ExtensibleNumericalFamily method) (FrozenMooreFamily method) (FrozenMooreFamilyEnumerable method) information() (ExtensibleMooreFamilyEnumerable method) (ExtensibleNumericalFamily method) (FrozenMooreFamilyEnumerable method) IntegerConnection (class in galactic.algebras.examples.connection) isdisjoint() (AbstractMooreFamily method) (AbstractMooreFamilyEnumerable method) (ExtensibleMooreFamily method) (ExtensibleMooreFamilyEnumerable method) (ExtensibleNumericalFamily method) (FrozenMooreFamily method) (FrozenMooreFamilyEnumerable method)

issubset() (AbstractMooreFamily method) (AbstractMooreFamilyEnumerable method) (ExtensibleMooreFamily method) (ExtensibleMooreFamilyEnumerable method) (ExtensibleNumericalFamily method) (FrozenMooreFamily method) (FrozenMooreFamilyEnumerable method) issuperset() (AbstractMooreFamily method) (AbstractMooreFamilyEnumerable method) (ExtensibleMooreFamily method) (ExtensibleMooreFamilyEnumerable method) (ExtensibleNumericalFamily method) (FrozenMooreFamily method) (FrozenMooreFamilyEnumerable method)

J

join() (AbstractClosed method) (AbstractClosedEnumerable method) (NumericalClosed method) join_irreducible (AbstractMooreFamily property) (AbstractMooreFamilyEnumerable property) (ExtensibleMooreFamily property) (ExtensibleMooreFamilyEnumerable property) (ExtensibleNumericalFamily property) (FrozenMooreFamily property) (FrozenMooreFamilyEnumerable property)

join_level() (AbstractClosed method) (AbstractClosedEnumerable method) (NumericalClosed method)

L

logarithmic_stabilities() (ExtensibleMooreFamilyEnumerable method) (ExtensibleNumericalFamily method) (FrozenMooreFamilyEnumerable method) lower_limit() (AbstractMooreFamily method) (AbstractMooreFamilyEnumerable method) (ExtensibleMooreFamily method) (ExtensibleMooreFamilyEnumerable method) (ExtensibleNumericalFamily method) (FrozenMooreFamily method) (FrozenMooreFamilyEnumerable method)

M

max_element (NumericalClosed property) maximum (AbstractMooreFamily property) (AbstractMooreFamilyEnumerable property) (ExtensibleMooreFamily property) (ExtensibleMooreFamilyEnumerable property) (ExtensibleNumericalFamily property) (FrozenMooreFamily property) (FrozenMooreFamilyEnumerable property) meet() (AbstractClosed method) (AbstractClosedEnumerable method) (NumericalClosed method) meet_irreducible (AbstractMooreFamily property) (AbstractMooreFamilyEnumerable property) (ExtensibleMooreFamily property) (ExtensibleMooreFamilyEnumerable property) (ExtensibleNumericalFamily property) (FrozenMooreFamily property) (FrozenMooreFamilyEnumerable property)

meet_level() (AbstractClosed method) (AbstractClosedEnumerable method) (NumericalClosed method) min_element (NumericalClosed property) minimum (AbstractMooreFamily property) (AbstractMooreFamilyEnumerable property) (ExtensibleMooreFamily property) (ExtensibleMooreFamilyEnumerable property) (ExtensibleNumericalFamily property) (FrozenMooreFamily property) (FrozenMooreFamilyEnumerable property) module galactic.algebras.closure galactic.algebras.connection galactic.algebras.examples.closure galactic.algebras.examples.connection MooreFamilyEnumerableMixin (class in galactic.algebras.closure) MooreFamilyMixin (class in galactic.algebras.closure)

N

NumericalClosed (class in galactic.algebras.examples.closure)

NumericalClosure (class in galactic.algebras.examples.closure)

O

order (AbstractMooreFamily property) (AbstractMooreFamilyEnumerable property) (ExtensibleMooreFamily property) (ExtensibleMooreFamilyEnumerable property) (ExtensibleNumericalFamily property) (FrozenMooreFamily property) (FrozenMooreFamilyEnumerable property)

P

parts() (ExtensibleMooreFamilyEnumerable method) (ExtensibleNumericalFamily method) (FrozenMooreFamilyEnumerable method) polarities (AbstractGaloisConnection property) (AbstractGaloisConnectionEnumerable property) (AbstractGaloisConnectionLeftEnumerable property) (AbstractGaloisConnectionRightEnumerable property) (IntegerConnection property)

probabilities() (ExtensibleMooreFamilyEnumerable method) (ExtensibleNumericalFamily method) (FrozenMooreFamilyEnumerable method)

R

reduced_context (AbstractMooreFamily property) (AbstractMooreFamilyEnumerable property) (ExtensibleMooreFamily property) (ExtensibleMooreFamilyEnumerable property) (ExtensibleNumericalFamily property) (FrozenMooreFamily property) (FrozenMooreFamilyEnumerable property)

S

smallest_meet_irreducible() (AbstractMooreFamily method) (AbstractMooreFamilyEnumerable method) (ExtensibleMooreFamily method) (ExtensibleMooreFamilyEnumerable method) (ExtensibleNumericalFamily method) (FrozenMooreFamily method) (FrozenMooreFamilyEnumerable method) stabilities() (ExtensibleMooreFamilyEnumerable method) (ExtensibleNumericalFamily method) (FrozenMooreFamilyEnumerable method)

subsumption() (AbstractClosedEnumerable method) (ClosedEnumerableMixin method) (NumericalClosed method) support (AbstractClosedEnumerable property) (ClosedEnumerableMixin property) (NumericalClosed property) supsumption() (AbstractClosedEnumerable method) (ClosedEnumerableMixin method) (NumericalClosed method)

T

top (AbstractMooreFamily property) (AbstractMooreFamilyEnumerable property) (ExtensibleMooreFamily property) (ExtensibleMooreFamilyEnumerable property) (ExtensibleNumericalFamily property) (FrozenMooreFamily property) (FrozenMooreFamilyEnumerable property)

U

upper_limit() (AbstractMooreFamily method) (AbstractMooreFamilyEnumerable method) (ExtensibleMooreFamily method) (ExtensibleMooreFamilyEnumerable method) (ExtensibleNumericalFamily method) (FrozenMooreFamily method) (FrozenMooreFamilyEnumerable method)

V

version (AbstractMooreFamily property) (AbstractMooreFamilyEnumerable property) (ExtensibleMooreFamily property) (ExtensibleMooreFamilyEnumerable property) (ExtensibleNumericalFamily property) (FrozenMooreFamily property) (FrozenMooreFamilyEnumerable property)