### D.5.12 resbinomial_lib

Todos/Issues:

- formatting is inappropriate
- avoid export
- bad names(or should be static): identifyvars, elimrep, convertdata, lcmofall, genoutput, salida, iniD, reslist, sumlist, dividelist, createlist

Library:
  resbinomial.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.5.12.1 BINresol |  | computes a E-resolution of singularities of (J) (THE SECOND PART IS NOT IMPLEMENTED YET)
> D.5.12.2 Eresol |  | computes a E-resolution of singularities of (J) in char 0
> D.5.12.3 determinecenter |  | computes the next blowing-up center
> D.5.12.4 Blowupcenter |  | makes the blowing-up
> D.5.12.5 Nonhyp |  | computes the ideal generated by the non hyperbolic generators of expJ
> D.5.12.6 identifyvar |  | identifies status of variables
> D.5.12.7 Edatalist |  | gives the E-order of each term in Exp
> D.5.12.8 EOrdlist |  | computes the E-order of an ideal (giving in the language of lists)
> D.5.12.9 maxEord |  | computes de maximum E-order of an ideal given by Coef and Exp
> D.5.12.10 ECoef |  | Computes a simplified version of the E-Coeff ideal. The E-orders are correct, but transformations of coefficients of the generators and powers of binomials cannot be computed easily in terms of lists.
> D.5.12.11 elimrep |  | removes repeated terms from a list
> D.5.12.12 Emaxcont |  | computes a list of hypersurfaces of E-maximal contact
> D.5.12.13 cleanunit |  | clean the units in a monomial mon
> D.5.12.14 resfunction |  | composes the E-resolution function
> D.5.12.15 calculateI |  | computes the order of the non monomial part of an ideal J
> D.5.12.16 Maxord |  | computes the maximum exponent of an exceptional monomial ideal
> D.5.12.17 Gamma |  | computes the Gamma function for an exceptional monomial ideal given by L
> D.5.12.18 convertdata |  | computes the ideal corresponding to C,L
> D.5.12.19 lcmofall |  | computes the lcm of the denominators of the E-orders for all the charts
> D.5.12.20 computemcm |  | computes the lcm of the denominators of the E-orders for one chart
> D.5.12.21 constructH |  | construct the list of exceptional divisors accumulated at this chart
> D.5.12.22 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.5.12.23 constructlastblwup |  | construct the ideal defining the last blowup leading to this chart
> D.5.12.24 genoutput |  | generates the output for visualization
> D.5.12.25 salida |  | generates the output for one chart
> D.5.12.26 iniD |  | creates a list of lists of zeros of size n
> D.5.12.27 sumlist |  | sums two lists component to component
> D.5.12.28 reslist |  | subtracts two lists component to component
> D.5.12.29 multiplylist |  | multiplies a list by a number, component to component
> D.5.12.30 dividelist |  | divides two lists component to component
> D.5.12.31 createlist |  | creates a list of lists of two elements

User manual for Singular version 4.4.1, 2025, generated by texi2html.