See also

This manual refers to Codac v1, but a new v2 implementation is currently in progress… an update of this manual will be available soon. See more.

tocdepth:: 1

Changelog 

Codac releases 

Codac release 1.2.0 (released Jun 6, 2022)

Commits since previous release 1.1.0

Features added

@54b5f45: added SepBox
@0a4f3ad: SepProj, SepFixPoint, SepCtcPairProj, QInterProjF now in core

Documentation

@a5a483e: string formatting for run-time Function definition
@a5a483e: string formatting for run-time Function definition

Python binding

@7cbb1eb: SepFixPoint documentation
@0aeb37f: SepProj documentation
@490dd0d: SepCtcPairProj documentation
@31727f5: QInterProjF documentation
@9000cc6: constructor for creating an IntervalMatrix from NumPy objects

Codac release 1.1.0 (released May 17, 2022)

Commits since previous release 1.0.0

Features added

@b6f79a0: added CtcCartProd
@9382404: added CtcBox
@e014ae0: added SepFunction

Changes

@4357e3d: improving SIVIA interface + compatibility with former pySIVIA

Documentation

@a9cefd2: Lie symmetries page
@b534e48: updated installation information
@f04180d: how to build Trajectory from npz file
@cc350cb: codac-unsupported

Python binding

@eea406b: now available for MacOS
@ad2b7fa: corrected bug in __invert__ of a Sep

Codac release 1.0.0 (released Apr 21, 2022)

Commits since previous release 0.1.14

Changes

@ad73493: C++17

Bugs fixed

@3c268eb: fix encoding problems on Windows with Python 3.10
@4e5d216: updated pybind11 to v2.9.2 for Python 3.10 support
@03889ad: const for TFnc parameter in CtcPicard constructor

Documentation

@b161745: set-inversion and separators

Python binding

@5fcaebf: added __hash__ for Interval, IntervalVar, IntervalVectorVar

Codac release 0.1.14 (released Apr 14, 2022)

Commits since previous release 0.1.13

Features added

@e52a3ad: added examples from the former pyIbex library
@65d5320: added VIBesFig::draw_vehicle()

Changes

@a573099: SIVIA: updated code

Codac release 0.1.13 (released Apr 11, 2022)

Commits since previous release 0.1.12

Features added

@7259649: added vector product between two vectors
@c7efd74: added steepest_slice(), max_gate_diam()
@f37e819: added SIVIA algorithms (Ctc,Sep) and binding
@bafa1e4: defining SetColorMap

Dependencies

@633ab95: embedding pyIbex into Codac (several commits)

Bugs fixed

@495eef9: corrected bug in TFnc
@044535f: corrected bug on CtcLohner (input/output gates)

Deprecated

@f8b0f8c: indexing on Intervals is now deprecated (py)

Documentation

@59e8e3e: CtcFunction and how to deal with inequalities

Codac release 0.1.12 (released Feb 21, 2022)

Commits since previous release 0.1.11

Features added

@f53c7e9: towards polynomial representation of tubes

Codac release 0.1.11 (released Feb 17, 2022)

Commits since previous release 0.1.10

Bugs fixed

@e34095d: corrected bug in VIBesFigPaving
@4ac8120: corrected bug in TubeVector::invert (subsets)

Documentation

@3b391c1: added Function page to the manual
@07023a5: added example in Lohner page

Python binding

@945314b: casting for dealing with numpy.float32

Codac release 0.1.10 (released Jan 31, 2022)

Commits since previous release 0.1.9

Python binding

@76e0f8c: completing missing math functions on tubes/traj

Codac release 0.1.9 (released Jan 28, 2022)

Commits since previous release 0.1.8

Bugs fixed

@40c1d3e: corrected bug in Trajectory::diff()

Python binding

@f43de8e: added binding for CtcNewton from IBEX
@c91d672: corrected bug in Python binding of Tube::invert() (subsets) methods

Codac release 0.1.8 (released Jan 15, 2022)

Commits since previous release 0.1.7

Bugs fixed

@a134aec: corrected pessimism in CtcEval on \([t]\times[z]\)
@f242159: solving bug when IntervalVectorVar connected by components only

Codac release 0.1.7 (released Nov 4, 2021)

Commits since previous release 0.1.6

Features added

@ff42f1c: in CN, allowing interm variables to be reset
@c047730: introducing CN variables: IntervalVar and IntervalVectorVar
@edd84d9: added an example of how to build a paving from a CN
@480b74b: CtcStatic can now be used in CN for Tube and TubeVector objects

Changes

@0bc617a: in CN, only contracting contractors are triggered
@ff42f1c: the method create_dom is deprecated, use create_interm_var instead
@cb34255: updated diff method
@0e87a9c: minor optimization in CtcDeriv

Bugs fixed

@2511f25: corrected bug in make_continuous()
@9b3c33d: corrected bug when empty subdomain

Python binding

@08e670b: Python binding of CN variables
@5c64d19: Python binding of CtcStatic

Codac release 0.1.6 (released Aug 25, 2021)

Commits since previous release 0.1.5

Features added

@4f273d9: towards generation of .deb and .nupkg packages

Bugs fixed

@5cf9223: corrected recent bug in CtcChain
@b4c5a2c: corrected recent bug in CtcEval

Codac release 0.1.5 (released Aug 18, 2021)

Commits since previous release 0.1.4

Features added

@b0b627a: added Brunovsky example
@6a16259: first attempt of sub-CN
@f6fbe30: vehicle displayed on demand on trajectories

Changes

@3ed6090: improved CtcDelay since new tube definition

Bugs fixed

@22106ee: eval of TubeVector objects

Codac release 0.1.4 (released Mar 17, 2021)

Commits since previous release 0.1.3

Features added

@bed28ab: added simple tube paving (1d)
@8a0f317: added explored area
@6d48604: new Tube::lb()/Tube::ub() methods
@f50db66: new min/max functions on Tube
@04bd085: added PENUMBRA value for Set

Bugs fixed

@d9dee9c: corrected bug in eval function
@0996ca9: solving implementation of DelayTFunction (shared libraries)

Codac release 0.1.3 (released Mar 1, 2021)

Commits since previous release 0.1.2

Changes

@cddb598: improving loop computation in Python

Python binding

@b178137: building Python module in Release mode

Codac release 0.1.2 (released Feb 20, 2021)

Commits since previous release 0.1.1

Bugs fixed

@9f25886: corrected bug in diff

Codac release 0.1.1 (released Feb 16, 2021)

Commits since previous release 0.1.0

Changes

@ed3ff69: improved TubeTreeSynthesis computations
@630a981: changing tube definition: unbounded outside tdomain \([t_0,t_f]\)
@bb3d64c: updated the interface of loop detections/proofs

Dependencies

@803c839: IBEX types are now embedded

Python binding

@d0351fb: Python binding of loop detections/proofs
@afadfd7: building trajectories objects from numpy arrays
@3a79bf3: added missing rsub operators on Tubes

Codac release 0.1.0 (released Feb 2, 2021)

Commits since previous release tubex.3.1.1

Changes

@a98cd94: transition Tubex -> Codac

Previous libraries from which Codac comes from 

Codac has been built upon two libraries:

Tubex (Simon Rohou), that was dedicated to tubes, Contractor Networks, dynamical systems…
pyIbex (Benoît Desrochers), that was initially a Python binding of IBEX, and proposed tools related to separators, thicksets, geometrical contractors…

Releases related to the previous Tubex library 

The previous Tubex releases are listed thereafter.

Tubex release 3.1.1 (released Jan 12, 2021)

Commits since previous Tubex release 3.1.0

Changes

@3563a0f: improved Tube::invert methods (without tree)

Bugs fixed

@782e4cc: Lohner contractor with multi-dimensional functions

Tubex release 3.1.0 (released Dec 17, 2020)

Commits since previous Tubex release 3.0.13

Features added

@465d1e0: added example of Linobs (for each \(\delta\) parameter)
@1493fb8: area computation of polygons
@37306bc: new CtcLohner contractor with example

Changes

@1041e3f: changed interface of CtcPicard contractor

Dependencies

@c18cdad: added CAPD - IBEX conversion functions
Eigen is now a dependency of Codac

Tubex release 3.0.13 (released Dec 5, 2020)

Commits since previous Tubex release 3.0.12

Features added

@f56c076: added truncate_tdomain() method for Tube and TubeVector classes

Changes

@546de1e: strong optimization for CN building (using hashcodes for graph exploration)
@2f53195: improving Exception messages with contractors (on consistent dimensions)
@5b42f85: updated version of ODE integration using CAPD

Bugs fixed

@d0b05ab: corrected bug in Trajectory operations

Deprecated

@e039c42: the function Fnc::nb_vars() is deprecated, use Fnc::nb_var() instead

Tubex release 3.0.12 (released Nov 26, 2020)

Commits since previous Tubex release 3.0.11

Features added

@3ab0551: CtcDelay now available in Python

Changes

@8534504: throwing explicit exceptions if contractors signatures not compliant in ContractorNetwork::add
@9bb0773: removing the constructor Tube(Tube, Interval) (may lead to cast errors)
@b1548db: faster implementation of CtcDist

Tubex release 3.0.11 (released Nov 15, 2020)

Commits since previous Tubex release 3.0.10

Changes

@87bd65c: throwing exceptions instead of assert error messages (mainly for graphics/serializ/CN)

Documentation

added the FAQ page

Tubex release 3.0.10 (released Oct 31, 2020)

Commits since previous Tubex release 3.0.9

Features added

@1273605: new method for merging adjacent slices that are similar
@72ec9b2: possibility to create TrajectoryVector or TubeVector from lists in Python

Changes

@fc71125: improved efficiency of CtcDelay
@e806fc2: added error when const domain has changed between two add()

Dependencies

now available in Python 3.9
using IBEX 2.8.9
using pyIbex 1.9.2

Tubex release 3.0.9 (released Jun 28, 2020)

Commits since previous Tubex release 3.0.8

Bugs fixed

@26bce8a: Trajectory::make_continuous(), error encountered in datasso
@33f3b0d: corrected bug in RandTrajectory

Documentation

added this changelog page

Tubex releases 3.0.6 – 3.0.8 (released Jun 23, 2020)

Commits since previous Tubex release 3.0.5

Features added

added new contractor CtcLinobs
@5d7be8a: predefined value oo for infinity in C++ (already exists in Python)
@92dae58: added Figure::view_box() Python binding
@2c882a2: drawing polygons
Compatibilities with Windows OS (improving compatibilities with macOS)

Changes

@075104a: Python binding, TubeVector, removing default value n in constructor

Bugs fixed

@be1c4b5: RandTrajectory, values were outside bounds
@6f78d94: added Linobs example
@e19f459: CtcDeriv, restoring performances of V2 (polygons)

Documentation

Lessons E and F
Install page: Windows/Python
VIBesFigTube
updated docstring from XML script
how to concatenate two boxes

Tubex release 3.0.5 (released Jun 14, 2020)

Commits since previous Tubex release 3.0.4

Changes

@962c219: renaming from input2index() to time_to_index()
revising whole Python binding
@e0a6c64: CtcEval, removing contract() methods with const args

Bugs fixed

@79fd1f4: VIBesFig::draw_pie: corrected bug in case of r.lb() == 0
@6febe83: fixing datasso example in Python
@193bc95 fixing Tools::rand_in_bounds()

Documentation

Lesson C
inverting py and cpp tabs in the manual
added docstring from XML script

Tubex release 3.0.4 (released Jun 10, 2020)

Commits since previous Tubex release 3.0.3

Features added

@40a8ea6: Python binding, abs() for any type

Documentation

updated Lessons A and B
table in Install pages with configurations

Tubex release 3.0.3 (released Jun 7, 2020)

Commits since previous Tubex release 3.0.2

Changes

@10110d5: optimizing add of CtcDeriv in CN

Bugs fixed

@5934513: VIBesFigMap, do not crash in case of empty observations

Tubex release 3.0.2 (released Jun 6, 2020)

Commits since previous Tubex release 3.0.1

Changes

@b1dcd55: updated arithmetic for Python binding
@1b7e4f9: using BoolInterval in Python scripts

Documentation

updated Lessons A and B
Install page: Windows/Python
@5e3555d: spell checking

Tubex release 3.0.1 (released Jun 5, 2020)

Commits since previous Tubex release 3.0.0

Features added

@16408f9: shortcut oo available in codac module
@67b1709: Codac available online with Python

Dependencies

@fedbdb0: pyibex 1.8.1 at least
@e6adc26: using version 2.5.0 of pybind11

Bugs fixed

@c8063dd: VIBesFig, display a point if box.max_diam() == 0

Documentation

updated Lessons A and B
CtcDist, CtcFunction doc

Previous versions of Tubex

The changelog for versions before 3.0.1 can be found on GitHub history.

Tubex v3.0 (released Jun 3, 2020)
Tubex v2.0 (released Aug 12, 2019)
Tubex v1.0 (released May 5, 2017)