Top
Back: normalI
Forward: BINresol
FastBack: reesclos_lib
FastForward: resolve_lib
Up: Commutative algebra
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.4.22 resbin_lib

Library:
resbin.lib
Purpose:
Combinatorial algorithm of resolution of singularities of binomial ideals in arbitrary characteristic. Binomial resolution algorithm of Blanco

Authors:
R. Blanco, mariarocio.blanco@uclm.es,
G. Pfister, pfister@mathematik.uni-kl.de

Procedures:

D.4.22.1 BINresol  computes a E-resolution of singularities of (J) (THE SECOND PART IS NOT IMPLEMENTED YET)
D.4.22.2 Eresol  computes a E-resolution of singularities of (J) in char 0
D.4.22.3 determinecenter  computes the next blowing-up center
D.4.22.4 Blowupcenter  makes the blowing-up
D.4.22.5 Nonhyp  computes the ideal generated by the non hyperbolic generators of expJ
D.4.22.6 inidata  verifies input data, a binomial ideal K of k generators
D.4.22.7 identifyvar  identifies status of variables
D.4.22.8 data  transforms data on lists of lenght n
D.4.22.9 Edatalist  gives the E-order of each term in Exp
D.4.22.10 EOrdlist  computes the E-order of an ideal (giving in the language of lists)
D.4.22.11 maxEord  computes de maximum E-order of an ideal given by Coef and Exp
D.4.22.12 ECoef  Computes a simplified version of the E-Coeff ideal. The E-orders are correct, but tranformations of coefficients of the generators and powers of binomials cannot be computed easily in terms of lists.
D.4.22.13 elimrep  removes repeated terms from a list
D.4.22.14 Emaxcont  computes a list of hypersurfaces of E-maximal contact
D.4.22.15 cleanunit  clean the units in a monomial mon
D.4.22.16 resfunction  composes the E-resolution function
D.4.22.17 calculateI  computes the order of the non monomial part of an ideal J
D.4.22.18 Maxord  computes the maximum exponent of an exceptional monomial ideal
D.4.22.19 Gamma  computes the Gamma function for an exceptional monomial ideal given by L
D.4.22.20 convertdata  computes the ideal corresponding to C,L
D.4.22.21 tradblwup  composes the blowing up at this chart
D.4.22.22 lcmofall  computes the lcm of the denominators of the E-orders for all the charts
D.4.22.23 computemcm  computes the lcm of the denominators of the E-orders for one chart
D.4.22.24 constructH  construct the list of exceptional divisors accumulated at this chart
D.4.22.25 constructblwup  construct the ideal defining the map K[W] --> K[Wi], which gives the composition map of all the blowing up leading to this chart
D.4.22.26 constructlastblwup  construct the ideal defining the last blowup leading to this chart
D.4.22.27 genoutput  generates the output for visualization
D.4.22.28 salida  generates the output for one chart
D.4.22.29 iniD  creates a list of lists of zeros of size n
D.4.22.30 sumlist  sums two lists component to component
D.4.22.31 reslist  subtracts two lists component to component
D.4.22.32 multiplylist  multiplies a list by a number, component to component
D.4.22.33 dividelist  divides two lists component to component
D.4.22.34 createlist  creates a list of lists of two elements
D.4.22.35 list0  creates a list of zeros of size n
See also: resolve_lib.


Top Back: normalI Forward: BINresol FastBack: reesclos_lib FastForward: resolve_lib Up: Commutative algebra Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 3-1-1, Feb 2010, generated by texi2html.