HenonOrbit(v,a,b,N,s,d):: List, Rat, Rat, Int, Int, Int --> PureCubicalComplex

Inputs a vector v=(x_0,y_0)\in \mathbb R^2, rational numbers a,b and integers N,s,d. It returns a 2-dimensional pure cubical complex K that models the strange attractor of the Henon map f\colon \mathbb R^2\rightarrow \mathbb R^2, (x,y)\mapsto (y+1-ax^2,bx). The first N iterates (x_n,y_n)=f(x_{n-1},y_{n-1}) are computed to d decimal places. The pure cubical complex covers the strange attractor with squares of side 1/s.