FunctionFieldDesingularization -- Strong desingularization of a function field in arbitrary characteristic and dimension
Description
Strong desingularization of a function field in arbitrary characteristic and dimension, using the algorithm in the paper Desingularization of Function Fields, Leonard, arXiv1912.08663, December, 2019.
Version
This documentation describes version 1.0 of FunctionFieldDesingularization.
Exports
-
Functions and commands
-
arcs -- prints node labels for the desingularization tree
-
negLexMatrix -- a local (series) monomial ordering matrix for the input of arcs