intpakX公司

Maple Power工具intpakX定义了实际间隔和复杂磁盘间隔的Maple类型。在基本运算的层次上,intpakX包含四个基本的算术运算,包括作为一个附加函数的扩展区间除法。此外,还有幂、平方、平方根、对数和指数函数、一组标准函数、并集和交集。可重新实现Maple构造、转换和取消应用函数。此外,还有一系列复杂的圆盘运算的运算符。作为应用,实现了一个函数在指定区间上的所有零点的验证计算(区间牛顿法),以及一个或两个变量的实值函数的值域封闭,后者采用区间评价法或均值形式评价法和区间自适应细分法。用户可以选择上述算法的非图形版本和图形版本,显示每个迭代步骤的结果间隔。intpakX扩展的源代码(大约2000行Maple代码)可在http://www.math.uni-wuppertal.de/xsc/软件/intpakX/。