py-galactic-closure
0.5.0.dev
Getting started
Install the
GALACTIC
closure package
Learning
Notebooks
Reference
Closures
Antitone Galois connection
Release Notes
0.5.0.dev (2023-03-29)
py-galactic-closure
Index
Index
_
|
A
|
B
|
C
|
D
|
E
|
F
|
G
|
I
|
J
|
L
|
M
|
P
|
R
|
S
|
T
|
U
_
__call__() (AbstractClosure method)
(AbstractFiniteClosure method)
(AbstractLeftPolarity method)
(AbstractRightPolarity method)
(MooreFamilyClosure method)
(MooreFamilyFiniteClosure method)
__contains__() (AbstractMooreFamily method)
(MooreFamilyFinite method)
__copy__() (MooreFamilyFinite method)
__init__() (AbstractGaloisConnection method)
(AbstractLeftPolarity method)
(AbstractRightPolarity method)
(MooreFamilyClosure method)
(MooreFamilyFinite method)
(MooreFamilyFiniteClosure method)
__iter__() (AbstractMooreFamily method)
(MooreFamilyFinite method)
A
AbstractClosed (class in galactic.algebras.closure)
AbstractClosure (class in galactic.algebras.closure)
AbstractFiniteClosed (class in galactic.algebras.closure)
AbstractFiniteClosure (class in galactic.algebras.closure)
AbstractGaloisConnection (class in galactic.algebras.connection)
AbstractLeftPolarity (class in galactic.algebras.connection)
AbstractMooreFamily (class in galactic.algebras.closure)
AbstractRightPolarity (class in galactic.algebras.connection)
atoms (AbstractMooreFamily property)
(MooreFamilyFinite property)
B
bottom (AbstractMooreFamily property)
(MooreFamilyFinite property)
C
closure (AbstractClosed property)
(AbstractFiniteClosed property)
closure() (AbstractMooreFamily method)
(MooreFamilyFinite method)
closures (AbstractGaloisConnection property)
co_atoms (AbstractMooreFamily property)
(MooreFamilyFinite property)
co_domain (AbstractMooreFamily property)
(MooreFamilyFinite property)
connection (AbstractLeftPolarity property)
(AbstractRightPolarity property)
cover (AbstractMooreFamily property)
(MooreFamilyFinite property)
D
domain (AbstractMooreFamily property)
(MooreFamilyFinite property)
E
equivalence() (AbstractFiniteClosed method)
extend() (MooreFamilyFinite method)
F
family (MooreFamilyClosure property)
(MooreFamilyFiniteClosure property)
filter() (AbstractMooreFamily method)
(MooreFamilyFinite method)
G
galactic.algebras.closure
module
galactic.algebras.connection
module
global_entropy (MooreFamilyFinite property)
global_information (MooreFamilyFinite property)
global_logarithmic_stability (MooreFamilyFinite property)
global_stability (MooreFamilyFinite property)
greatest_join_irreducible() (AbstractMooreFamily method)
(MooreFamilyFinite method)
I
ideal() (AbstractMooreFamily method)
(MooreFamilyFinite method)
information() (MooreFamilyFinite method)
isdisjoint() (AbstractMooreFamily method)
(MooreFamilyFinite method)
J
join() (AbstractClosed method)
(AbstractFiniteClosed method)
join_irreducible (AbstractMooreFamily property)
(MooreFamilyFinite property)
L
logarithmic_stabilities() (MooreFamilyFinite method)
lower_limit() (MooreFamilyFinite method)
M
maximum (AbstractMooreFamily property)
(MooreFamilyFinite property)
meet() (AbstractClosed method)
(AbstractFiniteClosed method)
meet_irreducible (AbstractMooreFamily property)
(MooreFamilyFinite property)
minimum (AbstractMooreFamily property)
(MooreFamilyFinite property)
module
galactic.algebras.closure
galactic.algebras.connection
MooreFamilyClosure (class in galactic.algebras.closure)
MooreFamilyFinite (class in galactic.algebras.closure)
MooreFamilyFiniteClosure (class in galactic.algebras.closure)
P
parts() (MooreFamilyFinite method)
polarities (AbstractGaloisConnection property)
predecessors() (AbstractMooreFamily method)
(MooreFamilyFinite method)
probabilities() (MooreFamilyFinite method)
R
reduced_context (AbstractMooreFamily property)
(MooreFamilyFinite property)
S
sinks (AbstractMooreFamily property)
(MooreFamilyFinite property)
smallest_meet_irreducible() (AbstractMooreFamily method)
(MooreFamilyFinite method)
sources (AbstractMooreFamily property)
(MooreFamilyFinite property)
stabilities() (MooreFamilyFinite method)
subsumption() (AbstractFiniteClosed method)
successors() (AbstractMooreFamily method)
(MooreFamilyFinite method)
support (AbstractFiniteClosed property)
supsumption() (AbstractFiniteClosed method)
T
top (AbstractMooreFamily property)
(MooreFamilyFinite property)
U
universes (AbstractMooreFamily property)
(MooreFamilyFinite property)
upper_limit() (MooreFamilyFinite method)