|
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:
|