Contents Menu Expand Light mode Dark mode Auto light/dark, in light mode Auto light/dark, in dark mode Skip to content
You are currently reading the new Codac documentation, which is currently in preparation. See the v1 website.
Codac documentation
Logo

User manual

  • Installation guide
    • Python installation
    • C++ installation
    • MATLAB installation
  • Intervals
    • The Interval class
    • The IntervalVector class
  • Linear algebra
    • Vectors, rows, matrices
    • Reliable inversions of matrices
    • Interval LU decomposition
  • Inclusion functions
    • Analytic inclusion functions
    • Analytic operators
  • Contractors
    • CtcInverse
    • CtcDist
    • CtcPolar
  • Geometry
    • Geometric utilities
    • Segment
    • Polygon and ConvexPolygon
    • Zonotopes
  • Ellipsoids
    • Ellipsoid in n-dimensional space (matrix definition)
    • The Ellipsoid class
  • Visualization
    • The 2D Figure classes
    • 2D drawing functions
    • Styles, colors and color maps
    • The VIBes viewer
    • The IPE editor
    • The 3D Figure class
  • Tools
    • Binary serialization
    • Transformation estimation
  • Codac extensions
    • CAPD (rigorous numerics in dynamical systems)
  • See also
    • Performance considerations

Tutorial

  • State estimation
    • Lesson A: Range and bearing
    • Lesson B: Data association
    • Lesson C: Dynamic loc.

Development

  • Information for developers
  • Changelog
Back to top
View this page

Inclusion functions

  • Analytic inclusion functions
    • Variables
    • Expressions
    • Function composition
    • Evaluations
      • Evaluation modes
    • Interval automatic differentiation
    • Other properties
  • Analytic operators
    • Operators currently available
    • Expressions involving a non-supported centered-form operation
    • Expressions involving a temporal operator
    • Direct use of operators
Next
Analytic inclusion functions
Previous
Interval LU decomposition
Copyright © Codac Team
Made with Sphinx and @pradyunsg's Furo