(prevlist,levellist,clist,blist,nlist,elist,philist,leaflist,Philist) = arcs(b0,n0e0,fout)















Each node is described by an irreducible polynomial bnew, cnew its reduction mod x_d, a list of inequality constraints, an ideal of equality constraints, a birational changeofvariables from its previous node, and one from the root as well. See the test examples for syntax.
The object arcs is a method function.