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
  • Linear algebra
    • Vectors, rows, matrices
    • Reliable inversions of matrices
    • Interval LU decomposition
  • Inclusion functions
    • Analytic inclusion functions
    • Analytic operators
  • Contractors
    • CtcDist
    • CtcPolar
    • CtcInverse
  • Geometry
    • Geometric utilities
    • Segment
    • Polygon and ConvexPolygon
  • 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
    • Affine 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
Back to top
View this page

Contractors

  • CtcDist
    • codac2::CtcDist
    • Methods
      • contract()
      • contract()
    • Example of use with a paver
  • CtcPolar
    • codac2::CtcPolar
    • Methods
      • contract()
      • contract()
    • Related content
  • CtcInverse
Next
The CtcDist contractor
Previous
Analytic operators
Copyright © Codac Team
Made with Sphinx and @pradyunsg's Furo