这是 gfan_substitute 命令,可以使用我们的多个免费在线工作站之一在 OnWorks 免费托管服务提供商中运行,例如 Ubuntu Online、Fedora Online、Windows 在线模拟器或 MAC OS 在线模拟器
程序:
您的姓名
gfan - 计算格罗布纳粉丝和热带品种的工具
概要
gfan_工具 [选项]
范 _工具 [选项]
商品描述
Gfan 是用于计算 Gröbner 粉丝和热带品种的软件包。 这些是
与多项式理想相关的多面体扇形。 Gröbner 风扇的最大锥体为
其定义理想的显着约简格罗布纳基的双射。 软件
计算一个理想的所有标记的约化 Gröbner 基。 他们的工会是一个通用的格罗布纳
基础。 多项式理想的热带变体是 Gröbner 的某个子复形
扇子。 Gfan 包含计算这个复杂的一般理想的算法和
热带曲线、热带超曲面和热带品种的专门算法
的主要理想。 除了上述核心功能外,该包还包含许多工具
这在 Gröbner 基、初始理想和热带几何的研究中很有用。
完整清单 工具是:
bases, buchberger, combinerays, doidealcontain, fancommonrefinement, fanhomology,
fanlink,fanproduct,fansubfan,genericlinearchange,groebnercone,groebnerfan,
homogeneityspace, homogenize, initialforms, 互动, ismarkedgroebnerbasis,
krulldimension、latticeideal、leaderterms、list、markpolynomialset、minkowskisum、minors、
混合体积,超整数,padic,多项式设置,渲染,渲染楼梯,饱和度,
secondaryfan,统计数据,替代品,对称性,tolatex,topolyhedralfan,tropicalbasis,
热带蛮力,热带评估,热带功能,热带超表面,
热带交叉点,热带提升,热带线性空间,热带多样性,
tropicalrank,tropicalstartingcone,tropicaltraverse,tropicalweildivisor,版本。
下面是所有可用的通用选项 工具s。 对于特定选项
一个给定的 工具,我们参考该工具的帮助信息。
配置
- 帮帮我 显示描述功能的帮助消息 gfan_工具 和可用的
具体选项。
--log1, --日志2...
告诉 Gfan 在计算过程中将多少信息写入标准错误
跑步。 当您想知道 Gfan 是否正在制作任何东西时,这些选项非常有用
其计算的进展。
--标准输入 折扣值
指定一个文件用作输入而不是从标准输入读取。
--标准输出 折扣值
指定要写入输出而不是写入标准输出的文件。
--xml 让多面体扇形以 XML 格式而不是文本格式输出。 (这
Gfan 无法读取 XML 文件。)
使用 onworks.net 服务在线使用 gfan_substitute