Tigers OX Server Manual

Edition : auto generated by oxgentexi on March 16, 2025

@overfullrule=0pt

1 TIGERS Functions

This chapter describes interface functions for tigers ox server ox_sm1_tigers.

1.0.1 tigers.tigers

tigers.tigers(a|proc=a)

:: It asks the tigers server of the descriptor number p to enumerate all Grobner bases associated to the toric variaty defined by the matrix a.

return

List

p

Number

a

List

• It asks the tigers server of the descriptor number p to enumerate all Grobner bases associated to the toric variaty defined by the matrix a.
• The system tigers is an expert system to enumerate all Gr\"obner bases of affine toric ideals. In other words, it can be used to determine the state polytope of a given affine toric ideal. As to a theoretical background, see the book
  B.Sturmfels, Grobner bases and Convex Polytopes.
  The original tigers is written by Birk Hubert. The algorithm used in explained in the paper
  B.Huber and R.Thomas, Computing Grobner Fans of Toric Ideals.

[395] A=[[1,1,1,1],[0,1,2,3]]$
[306] S=tigers.tigers(A)$
[307] length(S);
8
[308] S[0];
[[[1,0,1,0],[0,2,0,0]],[[1,0,0,1],[0,1,1,0]],[[0,1,0,1],[0,0,2,0]]]
[309] S[1];
[[[1,0,0,1],[0,1,1,0]],[[0,2,0,0],[1,0,1,0]],[[0,1,0,1],[0,0,2,0]]]

In this example, all reduced Grobner bases for the toric ideal associated to the matrix A are stored in S. There are eight distinct Grobner bases of A. [[i_1, i_2, ...],[j_1, j_2, ...]] is a set of exponents of two monomials and stands for a binomial. For example, the S[0] consists of
x1 x3 - x2^2, x1 x4 - x2 x3, x2 x4 - x3^2.
<x1 x3, x1 x4, x2 x4> is the initial ideal of S[0].

Index

Table of Contents

Short Table of Contents

About This Document

This document was generated on March 16, 2025 using texi2html 5.0.

The buttons in the navigation panels have the following meaning:

where the Example assumes that the current position is at Subsubsection One-Two-Three of a document of the following structure:

• 1. Section One
  • 1.1 Subsection One-One
    • ...
  • 1.2 Subsection One-Two
    • 1.2.1 Subsubsection One-Two-One
    • 1.2.2 Subsubsection One-Two-Two
    • 1.2.3 Subsubsection One-Two-Three     <== Current Position
    • 1.2.4 Subsubsection One-Two-Four
  • 1.3 Subsection One-Three
    • ...
  • 1.4 Subsection One-Four

This document was generated on March 16, 2025 using texi2html 5.0.