Index

A

an_element() (certlin.intervals.Interval method) (certlin.intervals.Intervals method)

C

certify() (certlin.linear_inequality_systems.LinearInequalitySystem method) certify_nonexistence() (certlin.linear_inequality_systems.LinearInequalitySystem method) certify_nonexistence_random() (certlin.linear_inequality_systems.LinearInequalitySystem method) certlin.intervals module

certlin.linear_inequality_systems module certlin.utility module closed() (certlin.intervals.Interval class method) CombinationsIncluding (class in certlin.utility)

D

dual() (certlin.linear_inequality_systems.HomogeneousSystem method) (certlin.linear_inequality_systems.InhomogeneousSystem method) (certlin.linear_inequality_systems.LinearInequalitySystem method)

E

empty() (certlin.intervals.Interval class method)

F

find_solution() (certlin.linear_inequality_systems.LinearInequalitySystem method)

find_solution_random() (certlin.linear_inequality_systems.LinearInequalitySystem method) from_bounds() (certlin.intervals.Intervals class method)

G

getrandbits() (in module certlin.intervals)

H

HomogeneousSystem (class in certlin.linear_inequality_systems)

I

infimum() (certlin.intervals.Interval method) InhomogeneousSystem (class in certlin.linear_inequality_systems) Interval (class in certlin.intervals) intervals (certlin.linear_inequality_systems.LinearInequalitySystem property) Intervals (class in certlin.intervals) is_bounded() (certlin.intervals.Interval method) (certlin.intervals.Intervals method) is_closed() (certlin.intervals.Interval method) (certlin.intervals.Intervals method)

is_empty() (certlin.intervals.Interval method) (certlin.intervals.Intervals method) is_open() (certlin.intervals.Interval method) (certlin.intervals.Intervals method) is_pointed() (certlin.intervals.Interval method) (certlin.intervals.Intervals method) is_unbounded() (certlin.intervals.Interval method) (certlin.intervals.Intervals method)

L

LinearInequalitySystem (class in certlin.linear_inequality_systems)

M

matrix (certlin.linear_inequality_systems.LinearInequalitySystem property) MaxIterationsReachedError module certlin.intervals certlin.linear_inequality_systems certlin.utility

O

open() (certlin.intervals.Interval class method)

P

ProcessStoppedError

R

random() (certlin.intervals.Interval class method) (certlin.intervals.Intervals class method)

S

simplest_element() (certlin.intervals.Interval method) (certlin.intervals.Intervals method)

solve_without_division() (in module certlin.utility) supremum() (certlin.intervals.Interval method)

T

to_homogeneous() (certlin.linear_inequality_systems.HomogeneousSystem method) (certlin.linear_inequality_systems.InhomogeneousSystem method) (certlin.linear_inequality_systems.LinearInequalitySystem method)

to_inhomogeneous() (certlin.linear_inequality_systems.InhomogeneousSystem method) (certlin.linear_inequality_systems.LinearInequalitySystem method)

W

with_intervals() (certlin.linear_inequality_systems.LinearInequalitySystem method)