Index

A

adjacent() (in module sign_vectors.utility) Alternatives (class in vectors_in_intervals.certifying_inequalities)

AlternativesGeneral (class in vectors_in_intervals.certifying_inequalities) AlternativesHomogeneous (class in vectors_in_intervals.certifying_inequalities) AlternativesInhomogeneous (class in vectors_in_intervals.certifying_inequalities)

C

candidate_generator() (vectors_in_intervals.linear_inequality_systems.LinearInequalitySystem method) certify() (vectors_in_intervals.certifying_inequalities.Alternatives method) (vectors_in_intervals.certifying_inequalities.AlternativesInhomogeneous method) (vectors_in_intervals.linear_inequality_systems.LinearInequalitySystem method) certify_existence() (vectors_in_intervals.linear_inequality_systems.HomogeneousSystem method) (vectors_in_intervals.linear_inequality_systems.HomogeneousSystemCocircuits method) (vectors_in_intervals.linear_inequality_systems.LinearInequalitySystem method) certify_nonexistence() (vectors_in_intervals.linear_inequality_systems.LinearInequalitySystem method) certify_parallel() (vectors_in_intervals.linear_inequality_systems.LinearInequalitySystem method) classes_same_support() (in module sign_vectors.utility) closure() (in module sign_vectors.functions) Cocircuits (class in sign_vectors.oriented_matroids) cocircuits_from_matrix() (in module sign_vectors.oriented_matroids)

cocircuits_from_topes() (in module sign_vectors.oriented_matroids) cocircuits_iterative() (in module elementary_vectors.functions_dd) CombinationsIncluding (class in vectors_in_intervals.utility) compose() (sign_vectors.sign_vectors.Sign method) (sign_vectors.sign_vectors.SignVector method) compose_harmonious() (sign_vectors.sign_vectors.SignVector method) conformal_elimination() (in module elementary_vectors.utility) conforms() (sign_vectors.sign_vectors.SignVector method) construct_orthogonal_vector() (in module vectors_in_intervals.construction) construct_vector() (in module vectors_in_intervals.construction) contraction() (in module sign_vectors.functions) covectors_from_cocircuits() (in module sign_vectors.oriented_matroids) covectors_from_matrix() (in module sign_vectors.oriented_matroids) covectors_from_topes() (in module sign_vectors.oriented_matroids)

D

dd() (in module elementary_vectors.functions_dd) dd_input() (in module elementary_vectors.functions_dd) deletion() (in module sign_vectors.functions)

determine_sign() (in module elementary_vectors.functions_dd) disjoint_support() (sign_vectors.sign_vectors.SignVector method) double_description() (in module elementary_vectors.functions_dd)

E

element() (elementary_vectors.functions.ElementaryVectors method) (sign_vectors.oriented_matroids.Cocircuits method) element_prevent_multiple() (elementary_vectors.functions.ElementaryVectors method) (sign_vectors.oriented_matroids.Cocircuits method) element_prevent_multiple_dual() (elementary_vectors.functions.ElementaryVectors method) elementary_vectors() (in module elementary_vectors.functions) elementary_vectors.functions module elementary_vectors.functions_dd module elementary_vectors.reductions module

elementary_vectors.utility module ElementaryVectors (class in elementary_vectors.functions) elements() (elementary_vectors.functions.ElementaryVectors method) (sign_vectors.oriented_matroids.Cocircuits method) exclude_indices() (in module sign_vectors.utility) exists_orthogonal_vector() (in module vectors_in_intervals.existence) (vectors_in_intervals.linear_inequality_systems.HomogeneousSystem method) (vectors_in_intervals.linear_inequality_systems.HomogeneousSystemCocircuits method) (vectors_in_intervals.linear_inequality_systems.InhomogeneousSystem method) (vectors_in_intervals.linear_inequality_systems.LinearInequalitySystem method) exists_vector() (in module vectors_in_intervals.existence)

F

face_enumeration() (in module sign_vectors.oriented_matroids)

G

generator() (elementary_vectors.functions.ElementaryVectors method) (sign_vectors.oriented_matroids.Cocircuits method)

get_intervals() (vectors_in_intervals.linear_inequality_systems.HomogeneousSystem method) (vectors_in_intervals.linear_inequality_systems.InhomogeneousSystem method) (vectors_in_intervals.linear_inequality_systems.LinearInequalitySystem method)

H

homogeneous_from_general() (in module vectors_in_intervals.linear_inequality_systems) homogeneous_from_inhomogeneous() (in module vectors_in_intervals.linear_inequality_systems)

HomogeneousSystem (class in vectors_in_intervals.linear_inequality_systems) HomogeneousSystemCocircuits (class in vectors_in_intervals.linear_inequality_systems)

I

inhomogeneous_alternative1() (in module vectors_in_intervals.certifying_inequalities) inhomogeneous_alternative1_homogenized() (in module vectors_in_intervals.certifying_inequalities) inhomogeneous_alternative2() (in module vectors_in_intervals.certifying_inequalities) inhomogeneous_alternative2_system1() (in module vectors_in_intervals.certifying_inequalities) inhomogeneous_alternative2_system2() (in module vectors_in_intervals.certifying_inequalities) inhomogeneous_from_general() (in module vectors_in_intervals.linear_inequality_systems) InhomogeneousSystem (class in vectors_in_intervals.linear_inequality_systems) interval_from_bounds() (in module vectors_in_intervals.utility) intervals_from_bounds() (in module vectors_in_intervals.setup_intervals)

intervals_from_sign_vector() (in module vectors_in_intervals.setup_intervals) is_harmonious() (sign_vectors.sign_vectors.SignVector method) is_negative() (sign_vectors.sign_vectors.Sign method) is_orthogonal_to() (sign_vectors.sign_vectors.SignVector method) is_parallel() (in module sign_vectors.utility) is_positive() (sign_vectors.sign_vectors.Sign method) is_symbolic() (in module elementary_vectors.utility) is_vector() (sign_vectors.sign_vectors.SignVector method) is_vector_in_intervals() (in module vectors_in_intervals.setup_intervals) is_zero() (sign_vectors.sign_vectors.Sign method)

K

kernel_matrix_using_elementary_vectors() (in module elementary_vectors.functions)

kernel_vector_support_given() (in module elementary_vectors.utility)

L

length() (sign_vectors.sign_vectors.SignVector method) LinearInequalitySystem (class in vectors_in_intervals.linear_inequality_systems)

list_from_positions() (sign_vectors.sign_vectors.SignVector method) loops() (in module sign_vectors.utility) lower_faces() (in module sign_vectors.oriented_matroids)

M

minor() (elementary_vectors.functions.ElementaryVectors method) (sign_vectors.oriented_matroids.Cocircuits method) module elementary_vectors.functions elementary_vectors.functions_dd elementary_vectors.reductions elementary_vectors.utility sign_vectors.functions sign_vectors.oriented_matroids sign_vectors.sign_vectors sign_vectors.utility vectors_in_intervals.certifying_inequalities vectors_in_intervals.construction vectors_in_intervals.existence vectors_in_intervals.linear_inequality_systems vectors_in_intervals.setup_intervals vectors_in_intervals.utility

multiple_in_intervals() (in module vectors_in_intervals.construction) multiple_in_intervals_candidates() (in module vectors_in_intervals.construction)

N

negative_support() (sign_vectors.sign_vectors.SignVector method)

P

parallel_classes() (in module sign_vectors.utility) plot_sign_vectors() (in module sign_vectors.functions)

positive_parallel_classes() (in module sign_vectors.utility) positive_support() (sign_vectors.sign_vectors.SignVector method)

R

random_element() (elementary_vectors.functions.ElementaryVectors method) random_interval() (in module vectors_in_intervals.utility) random_intervals() (in module vectors_in_intervals.setup_intervals) random_sign_vector() (in module sign_vectors.sign_vectors) reduce_factor() (in module elementary_vectors.reductions)

reduce_vector() (in module elementary_vectors.reductions) reduce_vector_using_equalities() (in module elementary_vectors.reductions) reduce_vectors() (in module elementary_vectors.reductions) reduce_vectors_support() (in module elementary_vectors.reductions) remove_zero_vectors() (in module elementary_vectors.reductions) reverse_signs_in() (sign_vectors.sign_vectors.SignVector method)

S

sb_child() (in module vectors_in_intervals.utility) separating_elements() (sign_vectors.sign_vectors.SignVector method) set_combinations() (elementary_vectors.functions.ElementaryVectors method) set_combinations_dual() (elementary_vectors.functions.ElementaryVectors method) Sign (class in sign_vectors.sign_vectors) sign_sym() (sign_vectors.sign_vectors.Sign static method) sign_vector() (in module sign_vectors.sign_vectors) sign_vector_from_support() (in module sign_vectors.sign_vectors) sign_vectors.functions module sign_vectors.oriented_matroids module sign_vectors.sign_vectors module

sign_vectors.utility module sign_vectors_in_intervals() (in module vectors_in_intervals.construction) SignVector (class in sign_vectors.sign_vectors) simplest_element_in_interval() (in module vectors_in_intervals.utility) simplest_rational_in_interval() (in module vectors_in_intervals.utility) simplest_vector_in_intervals() (in module vectors_in_intervals.construction) simplify_using_equalities() (in module elementary_vectors.reductions) solve() (vectors_in_intervals.linear_inequality_systems.HomogeneousSystem method) (vectors_in_intervals.linear_inequality_systems.HomogeneousSystemCocircuits method) (vectors_in_intervals.linear_inequality_systems.LinearInequalitySystem method) solve_left_for_roots() (in module vectors_in_intervals.utility) solve_without_division() (in module vectors_in_intervals.utility) support() (sign_vectors.sign_vectors.SignVector method)

T

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

to_integer() (sign_vectors.sign_vectors.Sign method) topes_from_cocircuits() (in module sign_vectors.oriented_matroids) topes_from_matrix() (in module sign_vectors.oriented_matroids)

V

vector_between_sign_vectors() (in module vectors_in_intervals.construction) vector_from_sign_vector() (in module vectors_in_intervals.construction) vectors_in_intervals.certifying_inequalities module vectors_in_intervals.construction module vectors_in_intervals.existence module

vectors_in_intervals.linear_inequality_systems module vectors_in_intervals.setup_intervals module vectors_in_intervals.utility module

Z

zero_sign_vector() (in module sign_vectors.sign_vectors)

zero_support() (sign_vectors.sign_vectors.SignVector method)