Changeset 96967e in git for Singular/LIB/classify.lib


Ignore:
Timestamp:
Dec 23, 2000, 6:11:30 PM (23 years ago)
Author:
Gert-Martin Greuel <greuel@…>
Branches:
(u'spielwiese', '4a9821a93ffdc22a6696668bd4f6b8c9de3e6c5f')
Children:
c2aa978105e99edf0b9fb6ca0fdd579277b7c665
Parents:
d1b71e049a353dc54585ba43727902aeadcd2653
Message:
* GMG: Kosmetik fuer html-Hilfe


git-svn-id: file:///usr/local/Singular/svn/trunk@4989 2c84dea3-7e68-4137-9b89-c4e89433aadc
File:
1 edited

Legend:

Unmodified
Added
Removed
  • Singular/LIB/classify.lib

    rd1b71e r96967e  
    11// KK,GMG last modified: 17.12.00
    22///////////////////////////////////////////////////////////////////////////////
    3 version  = "$Id: classify.lib,v 1.45 2000-12-22 13:39:53 greuel Exp $";
     3version  = "$Id: classify.lib,v 1.46 2000-12-23 17:10:16 greuel Exp $";
    44category="Singularities";
    55info="
    6 LIBRARY:  classify.lib  Arnold Classifier of Singularties
     6LIBRARY:  classify.lib  Arnold Classifier of Singularities
    77AUTHOR:   Kai Krueger, krueger@mathematik.uni-kl.de
    88
     
    1212
    1313PROCEDURES:
    14 basicinvariants(f);  computes Milnor number, determinacy-bound and corank of f
    15 classify(f);         normal form of poly f determined with Arnold's method
    16 corank(f);           computes the corank of f (i.e. of the Hessian of f)
    17 Hcode(v);            coding of intvec v acoording to the number repetitions
    18 init_debug([n]);     print trace and debugging information depending on int n
    19 internalfunctions(); display names of internal procedures of this library
    20 milnorcode(f[,e]);   Hilbert poly of [e-th] Milnor algebra coded with Hcode
    21 morsesplit(f);       residual part of f after applying the splitting lemma
    22 quickclass(f)        normal form of f determined by invariants (milnorcode)
    23 singularity(s,[]);   normal form of singularity given by its name s and index
    24 swap (a,b);          returns b,a
    25 A_L(s/f)             shortcut for quickclass(f) or normalform(s)
    26 normalform(s);       normal form of singularity given by its name s
    27 debug_log(lev,[])    print trace and debugging information w.r.t level>@DeBug
     14basicinvariants(f); computes Milnor number, determinacy-bound and corank of
     15classify(f);        normal form of poly f determined with Arnold's method
     16 corank(f);          computes the corank of f (i.e. of the Hessian of f)
     17 Hcode(v);           coding of intvec v acoording to the number repetitions
     18 init_debug([n]);    print trace and debugging information depending on int n
     19 internalfunctions();display names of internal procedures of this library
     20 milnorcode(f[,e]);  Hilbert poly of [e-th] Milnor algebra coded with Hcode
     21 morsesplit(f);      residual part of f after applying the splitting lemma
     22 quickclass(f)       normal form of f determined by invariants (milnorcode)
     23 singularity(s,[]);  normal form of singularity given by its name s and index
     24 swap(a,b);          returns b,a
     25 A_L(s/f)            shortcut for quickclass(f) or normalform(s)
     26 normalform(s);      normal form of singularity given by its name s
     27 debug_log(lev,[])   print trace and debugging information w.r.t level>@DeBug
    2828           (parameters in square brackets [] are optional)
    2929";
     
    22612261proc singularity(string typ, list #)
    22622262"USAGE:    singularity(t, l); t=string (name of singularity),
    2263           l=list of integers (index/indices of singularity)
    2264 COMPUTE:  get the Singularity named by type t from the database.
     2263          l=list of integers/polynomials (indices/parmeters of singularity)
     2264COMPUTE:  get the singularity named by type t from the database.
    22652265          list l is as follows:
    2266           l= k [,r [,s [,a [,b [,c [,d]]]]]] k,r,s=int   a,b,c,d=poly
    2267           The name of the dbm-databasefile is: NFlist.[dir,pag]
     2266          l= k [,r [,s [,a [,b [,c [,d]..]: k,r,s=int   a,b,c,d=poly.
     2267          The name of the dbm-databasefile is: NFlist.[dir,pag].
    22682268          The file is found in the current directory. If it does not
    22692269          exists, please run the script MakeDBM first.
    22702270RETURN:   Normal form and corank of the singularity named by type t and its
    2271           index (indices) l
     2271          index (indices) l.
    22722272EXAMPLE:  example singularity; shows an example"
    22732273{
     
    25282528RETURN:   the corank of the Hessian matrix of f, of type int
    25292529REMARK:   corank(f) is the number of variables occuring in the residual
    2530           singulartity after applying 'morsesplit' to f
     2530          singularity after applying 'morsesplit' to f
    25312531EXAMPLE:  example corank; shows an example"
    25322532{
     
    27612761///////////////////////////////////////////////////////////////////////////////
    27622762proc A_L
    2763 "USAGE:    A_L(f);         f=poly
    2764           A_L(\"name\");    type=string
    2765 COMPUTE:  the normal form in Arnold's list of the singularity given either
    2766           by a polynomial f or by its name.
    2767 RETURN:   A_L(f): compute via 'milnorcode' the class of f and
    2768           return the normal form of f found in the database.
    2769           A_L(\"name\"): Get the normal form from the database for
    2770           the singularity given by its name.
     2763"USAGE:    A_L(f);  f poly
     2764          A_L(s);  s string, the name of the singularity
     2765COMPUTE:  the normal form of f in Arnold's list of singularities in case 1,
     2766          in case 2 nothing has to be computed.
     2767RETURN:   A_L(f): compute via 'milnorcode' the class of f and return the normal
     2768          form of f found in the database.
     2769          A_L(\"name\"): get the normal form from the database for the
     2770          singularity given by its name.
    27712771EXAMPLE:  example A_L; shows an example"
    27722772{
     
    28612861{ "   Internal functions for the classification using Arnold's method,";
    28622862 "   the function numbers correspond to numbers in Arnold's classifier:";
    2863  "Klassifiziere(poly f);        determine the type of the singularity f
     2863 "Klassifiziere(poly f);      //determine the type of the singularity f
    28642864  Funktion1bis (poly f, list cstn)
    28652865  Funktion3 (poly f, list cstn)
     
    28862886  Isomorphie_s82_z (poly f, poly fk, int k)
    28872887  Isomorphie_s17 (poly f, poly fk, int k, int ct)
    2888   printresult (string f, string typ, int Mu, int m, int corank, int K)
     2888  printresult (string f,string typ,int Mu,int m,int corank,int K)
    28892889  ";
    28902890  "   Internal functions for the classifcation by invariants:
    28912891  Cubic (poly f)
    2892   parity (int e)               return the parity of e
     2892  parity (int e)             //return the parity of e
    28932893  HKclass (intvec i)
    28942894  HKclass3( intvec i, string SG_Typ, int cnt)
     
    29012901  ";
    29022902  "   Internal functions for the Morse-splitting lemma:
    2903   Morse(poly fi, int K, int corank)          Splittinglemma itself
     2903  Morse(poly fi, int K, int corank)  //splitting lemma itself
    29042904  Coeffs (list #)
    29052905  Coeff
     
    29102910  RandomPolyK
    29112911  Faktorisiere(poly f, poly g, int p, int k)   compute g = (ax+by^k)^p
    2912   Teile(poly f, poly g);                  Teilt f durch g.
     2912  Teile(poly f, poly g);             //divides f by g
    29132913  GetRf(poly f, int n);
    29142914  Show(poly f);
Note: See TracChangeset for help on using the changeset viewer.