WIMS技术资料

本文件目前显示成indexed格式. 你也可以改成 integral或 folding格式. 这里还有 总帮助以及关于WIMS的 一篇文章.

-------- 目 录 --------


外部软件包界面

本文件尚未完成 ... WIMS 提供一些必须单独安装的软件包的界面.
Name pari
Autor PARI 团队
Adresse http://pari.math.u-bordeaux1.fr/
用途 PARI/GP 是一个范围广泛的形式计算系统, 设计用于快速算术计算 (因子分解, 数的代数理论, 椭圆曲线...), 有大量函数用于矩阵计算, 有限展开, 代数数等, 也有许多超越函数.


Name maxima
Autor
Adresse http://maxima.sourceforge.net/
用途 Maxima 是处理符号及数值表达式的系统, 包含微分, 积分, Taylor级数, Laplace变换, 常微分方程, 线性方程组, 多项式, 集合, 列表, 向量, 矩阵及张量. Maxima 通过使用精确分数, 任意精度整数以及变精度浮点数的方法可以得到高精度的数值结果.


Name graphviz
Autor 创作团队
Adresse http://www.graphviz.org/
用途 图的视觉化(graphviz)可用来显示抽象图及网络的结构信息. 可用于软件工程, 数据库及网络设计, 许多领域的视觉界面等.


Name gap
Autor GAP 团队
Adresse http://www.gap-system.org/
用途 GAP 是离散代数的计算系统, 特别注重计算群论. GAP 提供一种程序语言, 几千个以 GAP 语言写成的由代数算法移植的函数, 以及巨大的代数对象数据库. GAP 可用于群及其表示, 环, 向量空间, 代数, 组合结构等的科研与教学.


Name float_calc,integer_calc
Autor
Adresse http://www.gnu.org/software/bc/
用途 interface to bc ; bc -l


Name yacas
Autor 创作团队
Adresse http://yacas.sourceforge.net/homepage.html
用途 YACAS 是易于使用的计算代数系统, 用于数学表达式的符号操作. 它使用针对符号及任意精度的数值计算的自有语言. 系统有一个移植了许多符号代数算法的脚本库, 还可以添加新的算法到库中. YACAS 自带的文件涵盖了所使用的脚本语言, 函数以及算法.


Name jmol
Autor
Adresse
用途


Name geogebra
Autor
Adresse
用途

WIMS 内部软件


Name checkmol
Autor Norbert Haider, norbert.haider@univie.ac.at, modified by Ernst-Georg Schmid
用途
输入数据
输出数据
例


Name curvecomp
Autor Xiao Gang
用途 比较两条曲线
输入数据 输入参数: 环境.
w_curvecomp_1 and w_curvecomp_2: 欲比较的曲线, 作为点的列表.
w_curvecomp_xrange and w_curvecomp_yrange: 两个整数, 比较的范围
w_curvecomp_tolerance: 距离比较的容许误差.
输出数据 输出: 以空格分隔的 10 个双精度数:
- 曲线 1 关于曲线 2 的平均距离.
- 曲线 2 关于曲线 1 的平均距离.
- 曲线 1 关于曲线 2 的最大距离.
- 曲线 2 关于曲线 1 的最大距离.
- 曲线 1 接近曲线 2 的比例.
- 曲线 2 接近曲线 1 的比例.
- 曲线 1 的最大跳跃.
- 曲线 2 的最大跳跃.
- 曲线 1 的重复比.
第 10 个数: 曲线 2 的重复比.
此外, 如曲线 2 表示为 x (与/或 y) 的函数图像, 则将出现 "fnofx" 与/或 "fnofy".
当其中一条曲线退化时, 返回空.
例
curvecomp_1=0,92,1,92,2,92,3,92
curvecomp_2=46,41,48,41,50,45
curvecomp_tolerance=40
curvecomp_xrange=11,208
curvecomp_yrange=0,220
curvecomp 

 


Name cyclicode
Autor Xiao Gang
用途 此程序从一个素数域上的多项式生成循环码. 它并不检验此多项式是否本原或不可约.
输入数据 可接受的参数: 3 个词
第 1 个词: 域的特征, 限于 2,3,5,7
第 2 个词: 多项式的系数 (除首项系数外, 从低次到高次).
第 3 个词: 初始状态 (从第一个 bit 开始).
输出数据
例

cyclicode 3 22 10

112022 


Name dicfind
Autor Xiao Gang
用途 用于 adm 模块
输入数据
输出数据
例


Name dicsort
Autor Xiao Gang
用途 词典排序
输入数据 用于 adm 模块
输出数据
例


Name huffman
Autor Xiao Gang
用途 本程序利用 Huffman 算法在给出的概率分布下计算最佳的可变长度码.
输入数据 两个环境变量
wims_exec_parm 是用逗号分隔的概率分布表
最大项数是 MAX_ITEMS
输入的数据将被缩放到总和等于 1
w_huffman_radix 是编码的基数, 取值 2 到 MAX_RADIX.
输出数据 两行
第 1 行: 以逗号分隔的平均码长的熵
第 2 行: 以逗号分隔的码表.
例
huffman_radix=4
huffman 0.16, 0.39, 0.55

1.434946,1.500000
11,10,0 


Name lceb
Autor Lucas Nussbaum
用途 游戏
输入数据 7 个整数
输出数据 如何从后面 6 个数利用加减乘除得到第一个数
例

lceb 598 6 8 2 5 10 12

Processing 6 8 2 5 10 12 . Goal : 598
FOUND
10 * 5 = 50
50 * 12 = 600
600 - 2 = 598 


Name matchmol
Autor Norbert Haider, norbert.haider@univie.ac.at, modified by Ernst-Georg Schmid
用途
输入数据
输出数据
例


Name mathexp
Autor Xiao Gang
用途 WIMS 使用的数学表达式
输入数据
输出数据
例


Name moneyprint
Autor J.M. Evers
用途 prints a number with fixed amount of decimal places
输入数据 Usage:!exec moneyprint number1,number2,number3,....number_n decimal_places
or !exec moneyprint number1,number2,number3;....number_n decimal_places
\text{A=wims(exec moneyprint number1,number2,number3....number_n decimal_places)}
default value "decimal_places = 2"
A=!exec moneyprint 123,43.5,23.45665
A=123.00,43.50,23.47
A=!exec moneyprint 1.000,6.234;8.4567
A=1.00,6.23;8.46
or specified a last "word"
A=!exec moneyprint 123,43.5,23.45665 3
A=123.000,43.500,23.457
输出数据
例


Name msg2wims
Autor Xiao Gang
用途 transforms a text in a file and save it in another file (administrative module). Transforms some commands of the form \ in wims equivalence. By default, the commands are \(\) (replace by !insmath) and translation in html of $, !, (to complete). More commands can be translated by the configuration of the variable msg2wims_primitives. Usage:!sh cd $wims_home; bin/msg2wims file_in > file_out
输入数据 name of a file
输出数据 modified text of the input file
例


Name oncechar
Autor Xiao Gang
用途 This special program selects words composed by selected characters, each selected character being used at most once in the word. Used in the shell script public_html/bin/dicfind
输入数据 Selected characters are entered by the env var 'oncechar'. Words entered by stdin. Output to stdout.
输出数据
例


Name scienceprint
Autor J.M. Evers
用途 Prints a number in scientific notation.
输入数据 Usage: !exec scienceprint number,significant_digits,output_type
\text{A=wims(exec scienceprint number,significant_digits,output_type )}
output_type can be
  • 0 : calculating format : 1.234*10^-4
  • 1 : html format :1.234×10-4
  • 2 : latex format : 1.234\times10^{-4}
  • 3 : prefix format : 1.234×10-1 m
  • 4 : mathml format : 1.234×10-4
  • 5 : long prefix format : 1.234×10-1 milli
输出数据
例


Name shortpath
Autor Xiao Gang
用途 找出连接给定点的最短路径
输入数据 wims_exec_parm 是 ... . w_shortpath_style : 0: 返回起点
1: 任意不闭合的路径
2: 指定起点的不闭合路径
3: 指定终点的不闭合路径
4: 指定起点与终点的不闭合路径
输出数据
例
shortpath_style=0
shortpath 1,3
5,1
3,4
1,1
3,1
4,5

13.773387 1 5
1 4 5 2 6 3 


Name translator
Autor Xiao Gang
用途 根据词典直译
输入数据 用于 adm 模块
输出数据
例


Name voronoi
Autor Steve J. Fortune
用途 计算 Voronoi 图或 Delaunay 三角化. 从标准输入读入平面点集, 然后从标准输出写出 Voronoi 图或 Delaunay 三角化.
输入数据 每个输入行由两个用空格分隔的实数构成.
输出数据 如果使用了选项 -t, 则生成 Delaunay 三角化. 每个输出行都是三元组 i j k 它们是 Delaunay 三角化里三个点的标号.
从 0 开始计数.
如果此选项不出现, 则生成 Voronoi 图.
有四种输出记录类型.
s a b 表示此坐标的输入点 l a b c 表示方程为 ax + by = c 的直线.
v a b 表示在 a b 的顶点.
e l v1 v2 表示一个 Voronoi 段(segment), 它是第 l 条直线的子段; 端点编号为 v1 与 v2.
如 v1 或 v2 是 -1, 表示直线伸展至无限.
例

voronoi -t 5 7
2 8
7 6
3 5
1 2
8 1
4 3
6 4

4 6 5
6 7 5
4 3 6
3 7 6
2 5 7
3 0 7
0 2 7
1 0 3
4 1 3