Changeset 7d24a2 in git


Ignore:
Timestamp:
Sep 23, 2011, 5:30:15 PM (13 years ago)
Author:
Andreas Steenpaß <steenpas@…>
Branches:
(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'b52fc4b2495505785981d640dcf7eb3e456778ef')
Children:
563364d1cd5bd1d1a7baf4123776a2bd37d99f23
Parents:
09723d9937585aae280f53597c2c61b2b3e6304a
Message:
add realclassify.lib

make changes in classify.lib which are needed for realclassify.lib

git-svn-id: file:///usr/local/Singular/svn/trunk@14384 2c84dea3-7e68-4137-9b89-c4e89433aadc
Location:
Singular/LIB
Files:
1 added
1 edited

Legend:

Unmodified
Added
Removed
  • Singular/LIB/classify.lib

    r09723d r7d24a2  
    99   A library for classifying isolated hypersurface singularities w.r.t. right
    1010   equivalence, based on the determinator of singularities by V.I. Arnold.
     11
     12SEE ALSO:  realclassify_lib
    1113
    1214PROCEDURES:
     
    2527 debug_log(lev,[]);  print trace and debugging information w.r.t level>@DeBug
    2628 swap(a,b);          swaps the arguments
     29 modality(f);        modality of the singularity
     30 complexSingType(f); complex type of the singularity as a string
     31 prepRealclassify(f);
     32                     the modality and the complex type of the singularity at
     33                     once
    2734           (parameters in square brackets [] are optional)
    2835";
     
    4047  s = read(l,"VERSION");
    4148  if (s == "" ) {
    42     if (printlevel)
     49    if (printlevel > 0)
    4350    {
    4451      "(classify.lib): Need to create database...";
     
    14351442static proc printresult (int step, poly f, string typ, list cstn, int m)
    14361443{
     1444  if(defined(onlyreturninvariants))
     1445  {
     1446    if(onlyreturninvariants == 1)
     1447    {
     1448      Modality = m;
     1449      Type = typ;
     1450    }
     1451  }
    14371452//---------------------------- initialisation ---------------------------------
    14381453  int corank, Mu, K;
     
    29382953
    29392954///////////////////////////////////////////////////////////////////////////////
     2955proc prepRealclassify(poly f)
     2956"
     2957USAGE:    prepRealclassify(f); f poly
     2958RETURN:   a list, containing the modality of the singularity and the type of
     2959          the singularity as a string
     2960          @* This procedure is needed in realclassify.lib in order to avoid
     2961          classify() being called more than once.
     2962EXAMPLE:  example prepRealclassify; shows an example"
     2963{
     2964  exportinvariants(f);
     2965  return(list(Modality, Type));
     2966}
     2967example
     2968{
     2969  "EXAMPLE"; echo = 2;
     2970  ring r = 0, (x,y,z), ds;
     2971  poly f = (x2+3y-2z)^2+xyz-(x-y3+x2z3)^3;
     2972  prepRealclassify(f);
     2973}
     2974
     2975///////////////////////////////////////////////////////////////////////////////
     2976proc modality(poly f)
     2977"
     2978USAGE:    modality(f); f poly
     2979RETURN:   the modality of the singularity
     2980EXAMPLE:  example modality; shows an example"
     2981{
     2982  exportinvariants(f);
     2983  return(Modality);
     2984}
     2985example
     2986{
     2987  "EXAMPLE"; echo = 2;
     2988  ring r = 0, (x,y,z), ds;
     2989  poly f = (x2+3y-2z)^2+xyz-(x-y3+x2z3)^3;
     2990  modality(f);
     2991}
     2992
     2993///////////////////////////////////////////////////////////////////////////////
     2994proc complexSingType(poly f)
     2995"
     2996USAGE:    complexSingType(f); f poly
     2997RETURN:   the type of the singularity as a string
     2998EXAMPLE:  example complexSingType; shows an example"
     2999{
     3000  exportinvariants(f);
     3001  return(Type);
     3002}
     3003example
     3004{
     3005  "EXAMPLE"; echo = 2;
     3006  ring r = 0, (x,y,z), ds;
     3007  poly f = (x2+3y-2z)^2+xyz-(x-y3+x2z3)^3;
     3008  complexSingType(f);
     3009}
     3010
     3011///////////////////////////////////////////////////////////////////////////////
     3012/* some of the invariants will be exported during the computation of
     3013 * classify(f) such that they are accessible at for all procs in the library
     3014 */
     3015static proc exportinvariants(poly f)
     3016{
     3017  init_debug(-1);
     3018  if(!defined(onlyreturninvariants))
     3019  {
     3020    int onlyreturninvariants;
     3021    export(onlyreturninvariants);
     3022  }
     3023  onlyreturninvariants = 1;
     3024  if(!defined(Modality))
     3025  {
     3026    int Modality;
     3027    export(Modality);
     3028  }
     3029  if(!defined(Type))
     3030  {
     3031    string Type;
     3032    export(Type);
     3033  }
     3034  f = classify(f);
     3035}
     3036
     3037///////////////////////////////////////////////////////////////////////////////
    29403038// E n d   O f   F i l e
    29413039
Note: See TracChangeset for help on using the changeset viewer.