reduce官方版是一款相当实用的专业化数学计算编程语言工具，reduce最新版功能强悍，能够帮助用户进行交互式地简单计算，软件也为用户带来了一种灵活的、富有表现力的用户编程语言。reduce软件便捷好用，兼容性非常好，是常用的数学计算编程语言之一。

相关软件

相关软件	版本说明	下载地址
source insight	电脑版	查看
Sublime Text	中文版	查看
JD-GUI	中文版	查看
vc++6.0	简体中文企业版	查看

软件介绍

      20世纪60年代，安东尼·c·赫恩(Anthony C. Hearn)创立了“减少计算机代数”系统。从那时起，世界各地的许多科学家都对它的发展做出了贡献。在计算机代数系统的历史中，REDUCE有一个漫长而著名的位置。其他一些处理相同问题的系统，但有时不同的重点是Axiom，推导，Macsyma (Maxima)， Maple, Mathematica和MuPAD。

      reduce官方版主要运行在可移植标准Lisp (PSL)或Codemist标准Lisp (CSL)上，它们都包含在SourceForge发行版中。以现代标准来看，REDUCE是一个非常小而紧凑的应用程序，它在所有主要的操作系统上运行良好。

功能特色

      任意精度整数和有理算术。

      多项式和有理函数的算法。

      各种代数方程解的解;

      自动和用户控制的简化表达式。

      各种形式的替换和模式匹配。

      分析分化和整合

      具有多种特殊功能的计算。

      狄拉克矩阵计算对高能物理学家的兴趣。

      对一阶逻辑的量词消除和判定。

      强大的直观的用户级编程语言。

FAQ

问：REDUCE提供哪些用户界面？

PSL REDUCE本身仅提供命令行界面（CLI）。CSL REDUCE默认情况下提供图形用户界面（GUI），但是如果以--nogui选项启动，则它提供命令行界面。GNU Emacs通过REDUCE IDE软件包为PSL和CSL REDUCE提供了GUI，而GNU TeXmacs通过运行REDUCE的插件为PSL和CSL REDUCE提供了GUI。存储库中有用于另外两个软件包Redfront和XR的代码，它们提供PSL的GUI，但目前都不以预构建的二进制形式分发，并且XR有点过时了。

问：REDUCE如何表示对数？

与大多数计算机编程语言一样，标识符日志表示REDUCE中的自然对数函数。它是REDUCE中的基本对数函数，可在代数和数值环境中使用。只要对数未评估，就将其用于计算结果。

在科学和工程中，通常使用标识符日志来表示以10为底的对数，而不是自然对数，并且REDUCE提供标识符log10来表示以10为底的对数。REDUCE还提供标识符logb来表示一般对数。到任何基数，该基数由函数的第二个参数指定。函数log10是logb的特例，并且两者都简化为函数日志。例如，

在数学中，通常使用标识符ln表示自然对数，而在REDUCE中，此标识符定义为运算符，但没有代数性质。这意味着它可以用作默认情况下始终对其自身求值的函数，而无需明确声明为运算符。例如，默认情况下，列表中的所有四个表达式

保持未评估状态，并且输出与输入时完全相同。但是，可以使用如下规则简化ln的日志记录：

可以使用类似的规则将log简化为ln，这可能对输出有用：

这种将ln用于输入和输出的计算必须分两个步骤进行，以避免递归简化。可以使用let语句代替where子句，但是必须在应用其他规则之前清除每个let规则，以免递归简化。

当四舍五入的开关打开时，函数ln可以在数字上下文中使用，并且将完全按照log进行求值。实际上，ln是符号模式下日志的别名，尽管不是代数模式。