Index

_

__and__() (AbstractClosed method) (AbstractClosedEnumerable method) __call__() (AbstractClosure method) (AbstractPolarity method) (DivisorPolarity method) (MultiplePolarity 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) AbstractGaloisConnection (class in galactic.algebras.connection) AbstractMooreFamily (class in galactic.algebras.closure) AbstractMooreFamilyEnumerable (class in galactic.algebras.closure) AbstractPolarity (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

ceil() (AbstractMooreFamily method) (AbstractMooreFamilyEnumerable method) (ExtensibleMooreFamily method) (ExtensibleMooreFamilyEnumerable method) (ExtensibleNumericalFamily method) (FrozenMooreFamily method) (FrozenMooreFamilyEnumerable method) ClosedEnumerableMixin (class in galactic.algebras.closure) ClosedMixin (class in galactic.algebras.closure) closure (AbstractClosed property) (AbstractClosedEnumerable property) (Divisors property) (Multiple property) (NumericalClosed property) closures (AbstractGaloisConnection property) (GaloisConnectionMixin 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

DivisorPolarity (class in galactic.algebras.examples.connection)

Divisors (class in galactic.algebras.examples.connection) domain (IntegerConnection property)

E

equivalence() (AbstractClosedEnumerable method) (ClosedEnumerableMixin method) (Divisors method) (Multiple 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) floor() (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 GaloisConnectionMixin (class in galactic.algebras.connection) global_entropy (AbstractMooreFamilyEnumerable property) (ExtensibleMooreFamilyEnumerable property) (ExtensibleNumericalFamily property) (FrozenMooreFamilyEnumerable property) (MooreFamilyEnumerableMixin property) global_information (AbstractMooreFamilyEnumerable property) (ExtensibleMooreFamilyEnumerable property) (ExtensibleNumericalFamily property) (FrozenMooreFamilyEnumerable property) (MooreFamilyEnumerableMixin property)

global_logarithmic_stability (AbstractMooreFamilyEnumerable property) (ExtensibleMooreFamilyEnumerable property) (ExtensibleNumericalFamily property) (FrozenMooreFamilyEnumerable property) (MooreFamilyEnumerableMixin property) global_stability (AbstractMooreFamilyEnumerable property) (ExtensibleMooreFamilyEnumerable property) (ExtensibleNumericalFamily property) (FrozenMooreFamilyEnumerable property) (MooreFamilyEnumerableMixin 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() (AbstractMooreFamilyEnumerable method) (ExtensibleMooreFamilyEnumerable method) (ExtensibleNumericalFamily method) (FrozenMooreFamilyEnumerable method) (MooreFamilyEnumerableMixin method) IntegerConnection (class in galactic.algebras.examples.connection) interval() (AbstractMooreFamily method) (AbstractMooreFamilyEnumerable method) (ExtensibleMooreFamily method) (ExtensibleMooreFamilyEnumerable method) (ExtensibleNumericalFamily method) (FrozenMooreFamily method) (FrozenMooreFamilyEnumerable method)

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) (Divisors method) (ExtensibleMooreFamily method) (ExtensibleMooreFamilyEnumerable method) (ExtensibleNumericalFamily method) (FrozenMooreFamily method) (FrozenMooreFamilyEnumerable method) (Multiple 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) (Divisors method) (Multiple method) (NumericalClosed method) join_priority() (AbstractClosed method) (AbstractClosedEnumerable method) (Divisors method) (Multiple method) (NumericalClosed method)

L

logarithmic_stabilities() (AbstractMooreFamilyEnumerable method) (ExtensibleMooreFamilyEnumerable method) (ExtensibleNumericalFamily method) (FrozenMooreFamilyEnumerable method) (MooreFamilyEnumerableMixin 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) (Divisors method) (ExtensibleMooreFamily method) (ExtensibleMooreFamilyEnumerable method) (ExtensibleNumericalFamily method) (FrozenMooreFamily method) (FrozenMooreFamilyEnumerable method) (Multiple 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) (Divisors method) (Multiple method) (NumericalClosed method) meet_priority() (AbstractClosed method) (AbstractClosedEnumerable method) (Divisors method) (Multiple 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) Multiple (class in galactic.algebras.examples.connection) MultiplePolarity (class in galactic.algebras.examples.connection)

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() (AbstractMooreFamilyEnumerable method) (ExtensibleMooreFamilyEnumerable method) (ExtensibleNumericalFamily method) (FrozenMooreFamilyEnumerable method) (MooreFamilyEnumerableMixin method) polarities (AbstractGaloisConnection property) (IntegerConnection property)

probabilities() (AbstractMooreFamilyEnumerable method) (ExtensibleMooreFamilyEnumerable method) (ExtensibleNumericalFamily method) (FrozenMooreFamilyEnumerable method) (MooreFamilyEnumerableMixin method)

S

smallest_meet_irreducible() (AbstractMooreFamily method) (AbstractMooreFamilyEnumerable method) (ExtensibleMooreFamily method) (ExtensibleMooreFamilyEnumerable method) (ExtensibleNumericalFamily method) (FrozenMooreFamily method) (FrozenMooreFamilyEnumerable method) stabilities() (AbstractMooreFamilyEnumerable method) (ExtensibleMooreFamilyEnumerable method) (ExtensibleNumericalFamily method) (FrozenMooreFamilyEnumerable method) (MooreFamilyEnumerableMixin method) subsumption() (AbstractClosedEnumerable method) (ClosedEnumerableMixin method) (Divisors method) (Multiple method) (NumericalClosed method)

support (AbstractClosedEnumerable property) (ClosedEnumerableMixin property) (Divisors property) (Multiple property) (NumericalClosed property) supsumption() (AbstractClosedEnumerable method) (ClosedEnumerableMixin method) (Divisors method) (Multiple 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)