# On 3-dimensional lattice walks confined to the positive octant

## Alin Bostan, Mireille Bousquet-Mélou, Manuel Kauers, Stephen Melczer

On this website we provide some code and data related to our classification project, presented in our joint article ``On 3-dimensional lattice walks confined to the positive octant'', ArXiv 1409.3669.

### Code

• ThreeDSteps.mw -- Maple Worksheet containing group calculation, orbit sum calculation, generation of first terms, Hadamard decomposition for 3D models
• TwoDSteps.mw -- Maple Worksheet containing group calculation, orbit sum calculation, generation of first terms, Hadamard decomposition for 2D models
• WalksTools.m -- Collection of Mathematica functions
• dim.sage -- Sage code for recognizing redundant constraints of a step set
• Q10_is_transcendental.mpl -- Maple code for the computations in the proof of Proposition 18.

### Data

Files that are read by the Maple worksheets above:
• nonTrivial.txt -- list of all nontrivial models with ambient space Z^3, with no unused steps, up to symmetry.
• ThreeDSteps.txt -- data set read by ThreeDSteps.mw
• TwoDSteps.txt -- data set read by TwoDSteps.mw
• results.txt -- A list of tuples (m,p,r,h,g,d), where m is a nontrivial stepset in 3d, p is a list of the first 25 terms of the generating function O(1,1,1,t), r is a flag indicating whether the model can be reduced to 2d, h is a flag indicating whether the model admits a Hadamard decomposition, g is the order of the group (or -1 if the order exceeds 200), d is a flag indicating whether the model is d-finite (True: provably d-finite, False: probably not d-finite)