阿里阿德涅

这个新（次要）版本主要用于解决混合模块缺少的Python绑定。它还改变了积分器的接口，并引入了两个新的积分器。

传奇：

• N： 新功能
• A： 添加到功能
• C： 更改要素的行为
• F： 固定特征
• R： 删除的功能

变化：

• #357（N） 引入一个TaylorSeriesBounderIntegrator，它标识扩展中的边界，而不必首先求助于边界
• #第613页（A） 为Variables2d、Projection2d字段、HybridEnclosure空间访问器添加Python绑定
• #617（A） 为符号表达式添加is_polynomial_in谓词
• #622（A） 实现避免初始使用边界的GradedTaylorPicardIterator
• #626（A） 允许CLI中的“无”图形后端或抽屉在需要时暂时关闭图形
• #628（A） 实现多项式的一些方法，特别是其向量
• #636（A） 为混合自动机目标方法添加Python绑定
• #642（A） 为dynamics/guards/不变量/resets中的混合自动机名称和符号表达式添加Python绑定
• #643（A） 添加C++和Python对CompositeHybridAutomaton组件迭代的支持
• #612（C） 从Gnuplot输出中删除未使用的图例
• #639（C） 基于精度阈值计算流步长时，对步长使用更精细（3/4）的细化策略
• #616（F） 修复一元符号表达式谓词的行为
• #620（F） EulerBounder没有将细化之间的边界域重置为步长
• #631（F） 在没有Cairo和Gnuplot的情况下有条件地禁用图形是不正确的
• #645（F） 仅使用静态const Generator对象，解决整个库的链接问题
• #623（R） 仅使用一个流步骤简化IntegratorInterface，删除flow/flow_to并隐藏flow_bounds

这个新版本扩展了Python绑定的覆盖范围，引入了Gnuplot输出和用于纯连续系统的模拟器等。

传奇：

• N： 新功能
• A： 添加到功能
• C： 更改要素的行为
• F： 固定特征
• R： 删除的功能

变化：

• #441（N） 添加对Gnuplot输出的支持，包括动画gif集合图和PDE三维图
• #507（N） 添加向量场动力学模拟器
• #514（N） 在Python/examples中添加Python示例
• #509（A） 此外，还支持一组作为模拟器的输入，使用中点作为有效点
• #513（A） 在（Hybrid）ReachabilityAnalyzer中为verify_saffety添加缺少的Python绑定
• #516（A） 为要在自动机规范中使用的Real谓词添加缺少的Python绑定
• #518（A） 为evolver配置和初始集分配添加缺少的Python绑定
• #520个（A） 添加缺少的Python绑定以使用HybridFigure进行打印
• #543（A） 添加缺少的Python绑定，以便在Enclosure类的ListSet之间迭代
• #527（A） 允许直接将标签/混合轨道绘制到标签/混合图形
• #492（C） 修改SFINAE代码以使用C++20概念，目前阻止在macOS下编译AppleClang，直到编译器支持concepts
• #529（C） 不允许从函数中构造VectorField和IteratedMap，因为它已被破坏
• #533（C） Map<K，V>现在使用ARIADNE_ASSERT检查现有密钥，并为发布版本生成错误
• #447（F） 检查VectorField是否定义了所有相关变量的动力学，修复进化中的段错误
• #532（F） 由于缺少检查，RealExpressionBoundedConstraintSet无法以不连贯的方式构造
• #211（R） 删除各种不推荐使用的函数

主要出版物已更新，包括我们关于微分包含的最新工作和关于可计算成分的论文。

我们在中添加了一篇新文章出版物关于使用Ariadne稳定版本验证医疗网络物理系统的章节。

我们在出版物第节，讨论Ariadne的起源及其一些设计选择。