The problem is motivated by the wish to compute tropical varieties over the p-adic numbers, which are the intersection of a subfan of a Gr\"obner fan as studied in this paper by some affine hyperplane, as shown in a forthcoming paper..
Source: wiktionary