desing v1.1

	 Maple Library for Desingularization of Hypersurfaces

			   after Villamayor
 
		  by Josef Schicho and Gabor Bodnar


ABOUT
-----

The package is an implementation of the algorithm extracted from the
constructive proof of the existence of embedded resolution for
hypersurfaces, published by Orlando Villamayor (1989).  The
implementation is written to be general, so that it also works in
higher than three dimensions.

The package is extended with the following features: it can generate
two types of debugging output, it can handle continuations of
interrupted computations, it is able to run in "distributed mode", and
for the neccessary Grobner basis computations for modules, it offers a
choice to the user between two well known Maple packages.


VERSION
-------

This version 1.1, with the following changes compared to the previous
release (v1.0):

* New architecture corresponding to the algorithm described in the
  paper Automated Resolution of Singularities for Hypersurfaces (RISC
  Technical Report 99-06).

* Speedup in the resolution (by Encinas & Villamayor: Good points and
  constructive resolution of singularities, Acta. Math. Vol 181, 1998).

* Distributed computation is possible.

* Either the mgrobner subpackage of CASA, the Groebner and Ore_algebra
  subpackages of the Mgfun package (version 2.2 or newer) can be used
  for Groebner basis computations for modules.

* Extended chart description (also available in the HTML output):
  blowing up and blowing down maps are included.

* Fixed bugs in the WBO singular locus computation routine, and in the
  procedure responsible for the preparation of the dimension reduction.

* A generalized blowup routine is added (`desing/blowupJ`).

The development of the algorithm is being continued and new versions,
optimizations are to be released on the web site:
http://www.risc.uni-linz.ac.at/projects/basic/adjoints/blowup


REQUIREMENTS
------------

The package is written for Maple V.5 and requires either the Mgfun
package (available at http://algo.inria.fr/chyzak/mgfun.html) or the
mgrobner subpackage of CASA (available at
http://www.risc.uni-linz.ac.at/software/casa/casa.html).

For enabling the package to run the computations distributed amongst
several workstations over the Internet, one needs to install and
configure the distributed Maple package, available at
http://www.risc.uni-linz.ac.at/software/distmaple 
(for the information needed for configuration, please consult the
manual of the package).


INSTALLATION
------------

First, if you have none of the above mentioned packages (Mgfun or
CASA), please download the one you prefer and install it.


This software package is also available via ftp, at
ftp.risc.uni-linz.ac.at/pub/adjoints/blowup

The package comes also as a precompiled Maple library, so the
installation requires only the following steps:

* Choose (or create) a directory where the package is to be placed.
  (e.g. /home/xyz/maplestuff)

* Unpack and untar the downloaded file in the created directory.
  (gunzip desingv1.1.tar.gz; tar xvf desingv1.1.tar)

* Extend the `libname' variable in your `.mapleinit' file so that it
  also points to the directory of the package. 
  (libname := `/home/xyz/maplestuff/desing/lib`,libname:)

* WARNING: You must extend the `libname' variable for the other
  package (Mgfun or CASA) too, and please take care that in case of
  the Mgfun package its library-path gets in `libname' in front of the
  path to the standard Maple libraries (otherwise Maple will load the
  Groebner and Ore_algebra packages from the standard library, which
  cannot be used for desing due to a bug they contain)

When you start Maple next time you should be able to reach the help
and to use the package.

The following directories and files are created:

lib        directory for the precompiled maple package,
source     directory for the source code
GPL        the text of GNU General public license
README     this file
maunal.ps  the manual of the package (also available online)
makedesing shell script that compiles the source provided that the
           commands `maple' and `march' are available without any path
	   specification.


COMMENTS
--------

For more detailed description of the HTML output, and other topics
related to the algorithm, please visit the web page
http://www.risc.uni-linz.ac.at/projects/basic/adjoints/blowup

Bug reports, feedbacks should be sent to adjoints@risc.uni-linz.ac.at


COPYRIGHT NOTICE
----------------

Copyright (C) 1998-1999 by 
Research Institute for Symbolic Computation
Johannes Kepler University
A-4040 Linz, Austria.

The system is freely distributed under the following conditions: Any
research activity which uses `desing' should cite the authors and the
system explicitly.  The system can be freely distributed to other
users.  New users are encouraged to notify the authors via the email
address adjoints@risc.uni-linz.ac.at to be kept informed about the
further development and releases of the system.

NOTE: This system is not a part of Maple share library.