Parametric standard system for mixed module and its application to singularity theory

Abstract

We provide a concrete computational algorithm for computing the standard basis for a mixed module proposed by Gatermann and Hosten [1]. We extend it to parametric standard system for a mixed module and provide an algorithm to compute it. We demonstrate our algorithm by applying it to classification of map-germs relative to A in which complicated moduli structures appear.