API

MODULES

• immrax.control
  • Control
  • ControlledSystem
  • LinearControl
• immrax.embedding
  • EmbeddingSystem
  • InclusionEmbedding
  • TransformEmbedding
  • ifemb()
  • natemb()
  • jacemb()
  • mjacemb()
  • embed()
  • get_faces()
• immrax.inclusion
  • Interval
  • interval()
  • icopy()
  • icentpert()
  • i2centpert()
  • i2lu()
  • lu2i()
  • i2ut()
  • ut2i()
  • iconcatenate()
  • izeros()
  • interval_intersect()
  • interval_union()
  • natif()
  • jacM()
  • jacif()
  • Permutation
  • standard_permutation()
  • two_permutations()
  • all_permutations()
  • Corner
  • bot_corner()
  • top_corner()
  • two_corners()
  • all_corners()
  • get_corner()
  • get_corners()
  • get_sparse_corners()
  • mjacif()
  • mjacM()
• immrax.neural
  • NeuralNetwork
  • CROWNResult
  • FastlinResult
  • crown()
  • fastlin()
  • NNCSystem
  • NNCEmbeddingSystem
• immrax.parametric
  • Parametope
  • hParametope
  • ParametopeEmbedding
  • AdjointEmbedding
  • FastlinAdjointEmbedding
  • Ellipsoid
  • Polytope
  • Normotope
  • LinfNormotope
  • L2Normotope
• immrax.refinement
  • SampleRefinement
  • LinProgRefinement
  • NullVecRefinement
• immrax.system
  • System
  • ReversedSystem
  • LinearTransformedSystem
  • LiftedSystem
  • OpenLoopSystem
  • Trajectory
• immrax.utils
  • timed()
  • run_times()
  • sg_box()
  • sg_boxes()
  • draw_sg_union()
  • draw_iarray()
  • draw_iarrays()
  • draw_iarray_3d()
  • draw_iarrays_3d()
  • plot_interval_t()
  • draw_trajectory_2d()
  • draw_refined_trajectory_2d()
  • get_half_intervals()
  • get_partitions_ut()
  • gen_ics()
  • set_columns_from_corner()
  • get_corners()
  • null_space()
  • angular_sweep()
  • check_containment()
  • d_metzler()
  • d_positive()