The classification of Bruce and Gaffney respectively Gibson and Hobbs for simple plane curve singularities respectively simple space curve singularities is characterized in terms of invariants. This is the basis for the implementation of a classifier in the computer algebra system singular.
M. Giusti’s classification of the simple complete intersection singularities is characterized in terms of invariants. This is a basis for the implementation of a classifier in the computer algebra system Singular.
Authors:Nazeran Idrees, Gerhard Pfister and Afshan Sadiq
We present an algorithm to compute the primary decomposition of a submodule N of the free module ℤ[x1,...,xn]m. For this purpose we use algorithms for primary decomposition of ideals in the polynomial ring over the integers. The idea is to compute first the minimal associated primes of N, i.e. the minimal associated primes of the ideal Ann (ℤ[x1,...,xn]m/N) in ℤ[x1,...,xn] and then compute the primary components using pseudo-primary decomposition and extraction, following the ideas of Shimoyama-Yokoyama. The algorithms are implemented in Singular.
Authors:Deeba Afzal, Farkhanda Afzal, Sidra Mubarak, Gerhard Pfister and Asad Yaqub
We present the algorithms for computing the normal form of unimodular complete intersection surface singularities classified by C. T. C. Wall. He indicated in the list only the μ-constant strata and not the complete classification in each case. We give a complete list of surface unimodular singularities. We also give the description of a classifier which is implemented in the computer algebra system Singular.