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

  • Introduction
  • Installation guide
    • Python installation
    • C++ installation
    • MATLAB installation
    • Performance considerations
  • Intervals
    • The Interval class
    • The IntervalVector class
    • The BoolInterval enumeration
  • Linear algebra
    • Vectors, rows, matrices
    • Reliable inversions of matrices
    • Interval LU decomposition
  • Inclusion functions
    • Analytic inclusion functions
    • Analytic operators
    • Parallelepiped inclusion function
    • PEIBOS
  • Contractors, separators
    • CtcInter
    • CtcInverse
    • CtcLohner
    • CtcDist
    • CtcPolar
    • CtcVisible
  • 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
    • Octahedral symmetries
  • Codac extensions
    • SymPy (for symbolic mathematics)
    • CAPD (rigorous numerics in dynamical systems)

Tutorial

  • State estimation
    • Lesson A: Range and bearing
    • Lesson B: Data association
    • Lesson C: Dynamic loc.
    • Lesson D: Range-only SLAM
    • Lesson E: Tile-based loc.

Development

  • Information for developers
  • Common issues
  • Changelog
  • C++ API
  • Old version (Codac V1)
Back to top
View this page

Analytic inclusion functions

  • Analytic inclusion functions
    • Variables
    • Expressions
    • Function composition
    • Evaluations
      • Evaluation modes
    • Interval automatic differentiation
    • Symbolic manipulations with SymPy
    • Other properties
  • Analytic operators
    • Operators currently available
    • Why ^ is disabled in Codac
    • Expressions involving a non-supported centered-form operation
    • Expressions involving a temporal operator
    • Direct use of operators
Copyright © Codac Team
Made with Sphinx and @pradyunsg's Furo