MPSolve

此页面描述了 MPSolve 的使用方法。

使用方法

该软件包的可执行程序称为 unisolve（单变量多项式求解器）。

它可以在 运行 从 命令行 在 控制台 中。

运行 MPSolve 的主要方法有 3 种：

1. 从标准输入流（通常是键盘）读取。

./unisolve

（例如，可以在此处键入文件 mand31.pol 的内容，不含注释行，注释行以 "!" 字符开头）

2. 从输入文件（以以下形式保存输入多项式：次数和系数列表）读取。

./unisolve Data/mand31.pol

3. 使用 "用户定义" 多项式。在这种情况下，使用 2 个文件：

- mps_user.c（以递推关系的形式包含多项式的定义）

- 输入文件仅包含多项式的次数

./unisolve Data/umand31.pol

比较文件 mand31.pol 和 umand31.pol 以查看差异。输出文件应该相同。

如果要使用其他类型的 "用户定义" 多项式，而不是标准 mps_user.c 文件中包含的该多项式，则应该：

- 编辑 usr_mand.c 并修改代码以获得要实现的多项式的实现

- 将 usr_mand.c 复制到 mps_user.c 中（它应该是用户可读写的）

- 运行 make（重新编译软件包）

- 在输入文件（例如：umand31.pol）中写入所需的多项式次数

- 运行 MPSolve（方法 3）

./unisolve Data/umand31.pol

输出

在以上所有示例中，输出都将在屏幕上显示。

如果要将输出保存到扩展名为 res 的文本文件，请将其保存到 Results 目录中。

./unisolve Data/umand31.pol >Results/umand31.res

在 gnuplot 中绘制输出文件中的数据

在 Gnuplot 中绘制 MPSolve 数据的示例

首先，创建一个用于 gnuplot 的文件（使用 -Og 选项），例如：

./unisolve -Og Data/umand31.pol >Results/umand31g.res

运行 gnuplot

gnuplot

在 gnuplot 中：

plot "/home/adam/mpsolve/MPSolve-2.2/Results/umand31g.res" 

要将绘图保存到 PostScript 文件：

set term postscript 
set output "umand31.eps"
plot "/home/adam/mpsolve/MPSolve-2.2/Results/umand31g.res"  

要返回到正常输出（屏幕 - X Window 绘图终端），则：

  set output
  set term x11