이것은 Ubuntu Online, Fedora Online, Windows 온라인 에뮬레이터 또는 MAC OS 온라인 에뮬레이터와 같은 여러 무료 온라인 워크스테이션 중 하나를 사용하여 OnWorks 무료 호스팅 제공업체에서 실행할 수 있는 명령 4ti2-genmodel입니다.
프로그램:
이름
4ti2 - 선형에 대한 대수, 기하 및 조합 문제를 위한 소프트웨어 패키지
공간
개요
4ti2 회로
4ti2-gen 모델 [--조용한] foo.mod
4ti2-gensymm [--조용한] a b c d 푸
4ti2-graver [--조용한] 푸[|.mat|.lat]
4ti2-그로브너 [--조용한|-q] [--힘|-f] [--채도|-s] [--프로젝트 및 리프트|-p]
[--정상|-n] [--가중|-w] [--gebauer-moeller|-g] [--자동 감소 주파수=N|-아N] 푸
4ti2-힐베르트 [--조용한] 푸
4ti2-마르코프 [--조용한|-q] 푸
4ti2-최소화 [--조용한|-q] 푸
4ti2-정규형
4ti2 출력 [--조용한] [--이항식] [--단풍] [--0-1] [--바꾸어 놓다] [--도 [N]]
[--긍정적 인] [--3way a b c] 푸
4ti2-ppi
4ti2-qsolve
4ti2-선
4ti2 도보
4ti2-z기반
4ti2-zsolve
기술
소프트웨어 패키지 4ti2는 대수 문제를 해결하기 위한 명령줄 도구 모음입니다.
선형 공간에 대한 기하학적 및 조합 문제.
데이터 구조
4ti2의 주요 개념은 동일하게 유지됩니다. 프로젝트는 파일을 통해 정의됩니다. 푸[.mat]
문제 행렬을 포함합니다. Graver 기준 또는 Markov 기준과 같은 관련 집합이 배치됩니다.
으로 푸.그라 and 푸.마르각각.
입력 파일과 출력 파일에는 일반적으로 행렬 또는 벡터 목록(
매트릭스)와 같은 표준 인코딩
2 4
1 1 1 1
1 2 3 4
예를 들어 파일에 몇 가지 예외가 있습니다. foo.vars 사용자 지정 포함
변수 이름 :
3
abx
onworks.net 서비스를 사용하여 4ti2-genmodel 온라인 사용