第一章自动推理平台简介.docVIP

第一章 自动推理平台简介 本章将首先介绍自动推理平台（以下简称MMP）的安装与启动方法，然后给出MMP图形界面的简单描述，最后通过若干算例介绍怎样在MMP的图形用户界面上通过运算符或系统函数进行各种数学运算与操作。 安装与启动MMP 1、MMP的运行环境 MMP可以在任何安装了Microsoft的Windows操作系统的微机上运行。目前流行的Windows操作系统的各种版本均可支持MMP的运行，例如Windows 9x, Windows 2000 或 Windows XP 等。 2、MMP的安装与启动 首先把存放有MMP的光盘插入光盘驱动器E中，通过Windows的文件管理器，用户可以在E盘中MMP的相关目录下找到安装程序“setup.exe”,直接用鼠标双击这个安装程序，即可安装MMP。用户也可以从Windows窗口左下角的“开始”菜单中选择“运行”选项，通过在打开的运行窗口中键入“E:setup.exe”来运行安装程序，完成MMP的安装。在安装过程中，用户可以指定MMP在硬盘上的安装目录。MMP安装完成后，将自动在Windows的桌面上产生MMP的图标，用户只需用鼠标双击该图标即可启动MMP。MMP软件可以从网址/~mmsoft 免费下载。 MMP图形用户界面简介 启动MMP之后，其图形用户界面如下图所示： MMP的窗口可以划分为几个区域，它们从上到下分别是：标题栏，菜单栏，工具栏，工作窗口和状态栏，这些都是标准的窗口元素，其中工具栏中的按钮将为用户提供最常用的命令，目前有文件的存取操作，命令行的剪切，复制与粘贴，命令行的插入与删除等。以下我们将重点介绍MMP的工作窗口。 在MMP的工作窗口上会自动产生提示符号“”，表示输入命令的位置。输入的表达式必须用分号“；”或冒号“：”结尾，以表示命令的结束，然后按Enter键进行运算。以“；”结尾表示显示运算结果，“：”则表示不显示运算结果。 工作窗口上出现的方括号为命令行括号，它会自动将输入与所对应的输出括起来。输入用红色文字显示，输出则用蓝色文字显示。 以＃开头的命令行将不被执行，可以作为注解行使用。 工作窗口开头的几行绿色文字给出了系统内存设置的有关信息。 在命令行键入“quit”命令将结束一个工作窗口内的交互进程， 并返回此次交互进程中内存分配和释放的有关信息，若此时再按Enter键将关闭该工作窗口。 每一个工作窗口中的内容可以存储为一个特殊的文件，文件名后缀为“*.mm”。新建文件的默认文件名为“无标题.mm”。当然，用户可以在存储文件时按自己的意愿指定一个文件名。 命令行的各种插入和删除操作可以通过选择“命令行操作”菜单下的相应选项或按一下工具栏中的相应按钮即可。 如果想知道工具栏上每一个按钮的功能，只需要把鼠标指针移到按钮上，按钮旁会出现该按钮的功能说明。 算例 本节将通过若干具体的算例，对MMP的界面环境、使用方法、输入输出等作一个概括性的介绍，从而帮助用户能够快速了解MMP的使用概貌。我们将在以后的章节中分别就各个主题对MMP的功能进行更加全面细致的介绍。 在以下算例中，“”后面的为用户输入，其余的为系统计算结果。 [例1]数的混合类型四则运算 注意： （1）在进行数的混合运算时，首先将各种类型转化为优先级最高的类型，然后再进行运算。本例中复数类型的优先级最高，因此最终运算结果是复数。 （2）在MMP中浮点数的计算精度预设为30位有效数字，这对于大多数的计算已经足够了。用户可以通过修改全局变量Digits的值重新设定浮点数的精度。 [例2]数的开方运算 注意： （1）第一条指令的参数是整数类型，此时运算结果是18的平方根的整数部分。 （2）第二条指令把参数变成浮点数类型（加一个小数点），则该指令进行近似运算。 （3）在第三条指令中，sqrt(18)整体将被看作是一个特殊变量，未进行expand(展开)操作时不做任何化简。 （4）利用expand()指令对特殊变量sqrt(18)进行化简，得到精确运算的结果。 [例3]混合系数多项式的算术运算 注意：在混合系数的多项式运算中遇到数的混合运算时，将遵循与例1同样的规则进行类型转化和精度设置。 [例4]方程求解 注意： （1）第一条指令用于求单变元多项式方程的数值解。输入的多项式的系数可以是任意类型（本例中都是整数），不影响求解结果。该指令返回多项式的全部复数根（本例全部是实数根）。 （2）第二条指令用于求多变元多项式方程组的准确解。在本例的输出结果中，p代表自由变元。 [例5]求矩阵的行列式 输入和求解过程如下： 注意：在MMP中通过matrix()指令产生矩阵，矩阵中的元素可以是数，也可以是符号或其它MMP所支持的基