4ti2-groebner - 云端在线

程序：

您的姓名

4ti2 - 用于线性代数、几何和组合问题的软件包
剩余名额

概要

4ti2-电路
4ti2-gen模型 [ - 安静的] foo.mod
4ti2-gensymm [ - 安静的] a b c d FOO
4ti2-刻刀 [ - 安静的] foo[|.mat|.lat]
4ti2-格罗布纳 [--安静|-q] [--强制|-f] [--饱和度|-s] [--项目和提升|-p]
[--正常|-n] [--加权|-w] [--gebauer-moeller|-g] [--自动减少频率=N|-aN] FOO
4ti2-希尔伯特 [ - 安静的] FOO
4ti2-马尔可夫 [--安静|-q] FOO
4ti2-最小化 [--安静|-q] FOO
4ti2-范式
4ti2-输出 [ - 安静的] [--二项式] [ - 枫] [--0-1] [--转置] [ - 程度 [N]]
[ - 积极的] [--3路 a b c] FOO
4ti2-ppi
4ti2-qsolve
4ti2射线
4ti2-步行
4ti2-zbase
4ti2-z求解

商品描述

软件包 4ti2 是一套命令行工具，用于解决代数、
线性空间上的几何和组合问题。

数据 结构

4ti2 的主要概念保持不变：一个项目是通过一个文件定义的 富[.mat]
包含问题矩阵。 放置 Graver 基或 Markov 基等相关集合
成 foogra 和 福玛。

输入文件和输出文件通常包含一个矩阵或一个向量列表（写成
矩阵）在标准编码中，例如
2 4
1 1 1 1
1 2 3 4

只有少数例外，例如在文件中 foo.vars 包含用户指定
变量名：
3
abx

使用 onworks.net 服务在线使用 4ti2-groebner