Desingularization of function fields

This is a self-contained purely algebraic treatment of desingularization of fields of fractions $\mathbf{L}:=Q(\mathbf{A})$ of $d$-dimensional domains of the form $$\mathbf{A}:=\bar{\mathbf{F}}[\underline{x}]/\langle b(\underline{x})\rangle$$ with a purely algebraic objective of uniquely describing $d$-dimensional valuations in terms of $d$ explicit (independent) local parameters and $1$ (dependent) local unit, for arbitrary dimension $d$ and arbitrary characteristic $p$. The desingularization will be given as a rooted tree with nodes labelled by domains $\mathbf{A}_k$ (all with field of fractions $Q(\mathbf{A}_k)=\mathbf{L}$), sets $EQ_k$ and $INEQ_k$ of equality constraints and inequality constraints, and birational change-of-variables maps on $\mathbf{L}$. The approach is based on d-dimensional discrete valuations and local monomial orderings to emphasize formal Laurent series expansions in $d$ independent variables. It is non-standard in its notation and perspective.