Go backward to Introduction to the Problem
Go up to Top
Go forward to Input-Output Descriptions
The program is an implementation of the algorithm for embedded desingularization of hypersurfaces in characteristic zero extracted from the constructive proof of O. Villamayor [Villamayor1989]. It comes as a precompiled Maple package with the full source code available, under the GNU GPL.
The program is able to generate debugging output in ASCII and HTML formats. The first is written to the standard output and contains every step of the computation, therefore it is to be used by redirecting the standard output of Maple to a file for later analysis. The HTML output requires the setup of some parameters before the computation is started (see the online help), and produces an HTML file for each chart in the resolution tree, and one more for the tree itself (examples).
The program is prepared to be able to hande fragmented computation, i.e. to continue interrupted sessions. This feature requires the setup of some parameters before the actual compuation, and saves the partial results into a specified file (please consult the manual or the online help).
desing v1.1 is available for:
IMPORTANT: The package requires either the Mgfun package or the mgrobner subpackage of CASA. For more information about the installation, please, take a look at the README file.
Changes in this release compared to the previous one (v1.0):
REMARK: The version of the Mgfun package, contained in the standard Maple library, contains a bug which makes it unusable for desing. However, the author of Mgfun provides a new revision (2.2) which will be available on his site soon. When one uses this package with Maple V Release 5, one needs to take care that the path to the new package gets into the `libname' variable in front of the path to the standard Maple library, otherwise the old version is loaded.
COMMENT: The version for Maple V Release 4 is unstable on our workstation, causing coredumping at seemingly random points of the computation. The problem is most likely to be with the environment our Maple V R4 works in, and it seems to behave the best when all the outputs are disabled. For this reason, Release 5 of Maple is recommended (with the corresponding desing package), which runs stable. On the other hand, it is still possible, that in your system environment the R4-version can work flawlessly.
At any feedback, bug report, etc., please write to the following address email@example.com.