Top
Back: resjung_lib
Forward: jungnormal
FastBack: resgraph_lib
FastForward: resolve_lib
Up: resjung_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.5.4.1 jungresolve

Procedure from library resjung.lib (see resjung_lib).

Usage:
jungresolve(ideal J[,is_noeth]);
J = ideal
i = int

Assume:
J = two dimensional ideal

Return:
a list l of rings
l[i] is a ring containing two Ideals: QIdeal and BMap. BMap defines a birational morphism from V(QIdeal)-->V(J), such that V(QIdeal) is smooth. For this the algorithm computes first with jungnormal a representation of V(J) with Hirzebruch-Jung singularities and then it uses Villamayor's algorithm to resolve these singularities If is_noeth=1 the algorithm assumes J is in noether position with respect to the last two variables. As a default or if is_noeth = 0 the algorithm computes a coordinate change such that J is in noether position. NOTE: since the noether position algorithm is randomized the performance can vary significantly.

Example:
 


Top Back: resjung_lib Forward: jungnormal FastBack: resgraph_lib FastForward: resolve_lib Up: resjung_lib Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 3-1-6, Dec 2012, generated by texi2html.