# Tigers OX Server Manual

### Edition : auto generated by oxgentexi on May 9, 2024

OpenXM.org

@overfullrule=0pt

 [ << ] [ < ] [ Up ] [ > ] [ >> ] [Top] [Contents] [Index] [ ? ]

# 1 TIGERS Functions

This chapter describes interface functions for tigers ox server `ox_sm1_tigers`.

 [ << ] [ < ] [ Up ] [ > ] [ >> ] [Top] [Contents] [Index] [ ? ]

### 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].

 [ << ] [ < ] [ Up ] [ > ] [ >> ] [Top] [Contents] [Index] [ ? ]

# Index

Index Entry Section `tigers.tigers` 1.0.1 `tigers.tigers`

 [Top] [Contents] [Index] [ ? ]

 [Top] [Contents] [Index] [ ? ]

 [Top] [Contents] [Index] [ ? ]

This document was generated on May 9, 2024 using texi2html 5.0.

The buttons in the navigation panels have the following meaning:

Button Name Go to From 1.2.3 go to
[ << ] FastBack Beginning of this chapter or previous chapter 1
[ < ] Back Previous section in reading order 1.2.2
[ Up ] Up Up section 1.2
[ > ] Forward Next section in reading order 1.2.4
[ >> ] FastForward Next chapter 2
[Top] Top Cover (top) of document
[Index] Index Index

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 May 9, 2024 using texi2html 5.0.