Changeset 917fb5 in git for Singular/LIB/paramet.lib


Ignore:
Timestamp:
Jul 6, 1999, 5:33:00 PM (25 years ago)
Author:
Hans Schönemann <hannes@…>
Branches:
(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
Children:
8e7ed6b81b8840e62d72f281eef096b71dc1b37e
Parents:
ce7ba606241efb95de4d1ab5581428b7143b3be2
Message:
* hannes: removed pause; (scanner.l, febase.*)
          introduced pause([string]) (standard.lib)


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

Legend:

Unmodified
Added
Removed

  • Singular/LIB/paramet.lib

    rce7ba6 r917fb5  
    1 // $Id: paramet.lib,v 1.4 1999-07-06 11:33:06 obachman Exp $
     1// $Id: paramet.lib,v 1.5 1999-07-06 15:32:55 Singular Exp $
    22// author : Thomas Keilen email: keilen@mathematik.uni-kl.de
    33// last change:           07.08.98
    44///////////////////////////////////////////////////////////////////////////////
    55
    6 version="$Id: paramet.lib,v 1.4 1999-07-06 11:33:06 obachman Exp $";
     6version="$Id: paramet.lib,v 1.5 1999-07-06 15:32:55 Singular Exp $";
    77info="
    8 LIBRARY:  paramet.lib   PROCEDURES FOR PARAMETRIZATION OF PRIMARY 
     8LIBRARY:  paramet.lib   PROCEDURES FOR PARAMETRIZATION OF PRIMARY
    99                        DECOMPOSITION, ETC.
    1010
    1111PROCEDURES:
    12  parametrize(I);       parametrizes a prime ideal if possible via the 
     12 parametrize(I);       parametrizes a prime ideal if possible via the
    1313                       normalization
    14  parametrizepd(I);     calculates the primary decomp. and parametrizes 
     14 parametrizepd(I);     calculates the primary decomp. and parametrizes
    1515                       the components
    1616 parametrizesing(f);   parametrize an isolated plane curve singularity
    … …  
    2525proc parametrize(ideal I)
    2626"USAGE:  parametrize(); I ideal in an arbitrary number of variables,
    27          whose radical is prime, in a ring with global ordering 
     27         whose radical is prime, in a ring with global ordering
    2828RETURN:  a list containing the parametrization ideal resp. the original ideal,
    2929         the number of variables needed for the parametrization resp. 0, and
    30          1 resp. 0 depending on whether the parametrization was successful 
     30         1 resp. 0 depending on whether the parametrization was successful
    3131         or not
    3232NOTE:    if successful, the basering is changed to the parametrization ring;
    33          the result will be incorrect, if the parametrization needs more than 
     33         the result will be incorrect, if the parametrization needs more than
    3434         two variables
    3535EXAMPLE: example parametrize; shows an example
    … …  
    4343   list nor=normal(newI);
    4444   def N=nor[1];
    45    ring PR=0,(s,t),dp;   
     45   ring PR=0,(s,t),dp;
    4646   setring N;
    4747   // If the ideal is zero dimensional, the procedure works as well in good cases.
    … …  
    5353     ideal para=p(normap);
    5454     export para;
    55      // The i-th list component contains the parametrization, the 
     55     // The i-th list component contains the parametrization, the
    5656     // number of necessary variables, and the information, if
    5757     // the parametrization was successful.
    … …  
    6666     keepring(PR);
    6767   }
    68    else 
     68   else
    6969   {
    7070     list param=I,0,0;
    … …  
    7979}
    8080example
    81 { "EXAMPLE:";echo = 2; 
     81{ "EXAMPLE:";echo = 2;
    8282  ring RING=0,(x,y,z),dp;
    8383  ideal I=z2-y2x2+x3;
    … …  
    9494         resp. 0, and 1 resp. 0 depending on whether the parametrization
    9595         of the component was successful or not
    96 NOTE:    the basering will be changed to PR=0,(s,t),dp         
     96NOTE:    the basering will be changed to PR=0,(s,t),dp
    9797         the result will be incorrect, if the parametrization needs more than two
    9898         variables
    … …  
    108108 for (int ii=1; ii<=size(primary); ii=ii+1)
    109109   {
    110      no=normal(std(primary[ii][2]));     
     110     no=normal(std(primary[ii][2]));
    111111     nor[ii]=no[1];
    112112     def N=nor[ii];
    113113     setring N;
    114114     int d=dim(std(norid));
    115      // Test if the normalization is K, K[s] or K[s,t]. Then give back the parametrization. 
     115     // Test if the normalization is K, K[s] or K[s,t]. Then give back the parametrization.
    116116     if (size(norid)==0)
    117117     {
    … …  
    131131       setring BAS;
    132132     }
    133      else 
     133     else
    134134     {
    135135       setring PR;
    … …  
    141141   }
    142142 export nor;
    143  setring PR; 
     143 setring PR;
    144144 export PR;
    145145 keepring PR;
    … …  
    147147}
    148148example
    149 { "EXAMPLE:";echo = 2; 
     149{ "EXAMPLE:";echo = 2;
    150150  ring RING=0,(x,y,z),dp;
    151151  ideal I=(x2-y2z2+z3)*(x2-z2-z3),(x2-y2z2+z3)*yz;
    … …  
    160160"USAGE:  parametrizesing(); f a polynomial in two variables with ordering ls or ds
    161161RETURN:  a list containing the parametrizations of the different branches of the
    162          singularity at the origin resp. 0, if f was not of the desired kind 
     162         singularity at the origin resp. 0, if f was not of the desired kind
    163163NOTE:    if successful, the basering is changed to ring 0,(x,y),ls;
    164164EXAMPLE: example parametrizesing; shows an example
    … …  
    185185}
    186186example
    187 { "EXAMPLE:";echo = 2; 
     187{ "EXAMPLE:";echo = 2;
    188188  ring RING=0,(x,y),ls;
    189189  poly f=(x^2-y^3)*(x^2-y^2-y^3);
    … …  
    265265/// Examples for parametrizepd
    266266
    267 /// Example 1 
     267/// Example 1
    268268ring r=0,(x,y,z),dp;
    269269ideal i=y2z5-x2y2z2+y2z4-z6-z5+x4-x2z2,-y3z3+yz4+x2yz;
Note: See TracChangeset for help on using the changeset viewer.