Changeset 3c4dcc in git for Singular/LIB/ring.lib


Ignore:
Timestamp:
May 6, 2005, 4:39:20 PM (19 years ago)
Author:
Hans Schönemann <hannes@…>
Branches:
(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
Children:
0d217d3f1cc4c0449bdb078c65fd1f43cd1a2b84
Parents:
e6fb5315eb32da00236163ce10f9bdafaaa0bd47
Message:
*hannes: DOS->UNIX and white space cleanup


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

Legend:

Unmodified
Added
Removed

  • Singular/LIB/ring.lib

    re6fb531 r3c4dcc  
    11///////////////////////////////////////////////////////////////////////////////
    2 version="$Id: ring.lib,v 1.24 2005-04-30 20:34:23 levandov Exp $";
     2version="$Id: ring.lib,v 1.25 2005-05-06 14:39:08 hannes Exp $";
    33category="General purpose";
    44info="
    … …  
    6969RETURN:  ring R, obtained from the ring r [default: r=basering], by changing
    7070         ordstr(r) to newordstr. If, say, newordstr=(\"R\",\"wp(2,3),dp\") and
    71          if the ring r exists and has >=3 variables, the ring R will be 
     71         if the ring r exists and has >=3 variables, the ring R will be
    7272         equipped with the monomial ordering wp(2,3),dp.
    7373NOTE:    This proc uses 'execute' or calls a procedure using 'execute'.
    … …  
    151151   setring(r);
    152152   def R=changevar("A()"); R; "";
    153    def Q'=changevar("a,b,c,d",Q); setring Q'; Q'; 
     153   def Q'=changevar("a,b,c,d",Q); setring Q'; Q';
    154154   kill R,Q,Q';
    155155}
    … …  
    158158proc defring (string s2, int n, string s3, string s4)
    159159"USAGE:   defring(ch,n,va,or);  ch,va,or=strings, n=integer
    160 RETURN:  ring R with characteristic 'ch', ordering 'or' and n variables with 
     160RETURN:  ring R with characteristic 'ch', ordering 'or' and n variables with
    161161         names derived from va.
    162162         If va is a single letter, say va=\"a\", and if n<=26 then a and the
    … …  
    187187"USAGE:   defrings(n,[p]);  n,p integers
    188188RETURN:  ring R with characteristic p [default: p=32003], ordering ds and n
    189          variables x,y,z,a,b,...if n<=26 (resp. x(1..n) if n>26) 
     189         variables x,y,z,a,b,...if n<=26 (resp. x(1..n) if n>26)
    190190NOTE:    This proc uses 'execute' or calls a procedure using 'execute'.
    191191EXAMPLE: example defrings; shows an example
    … …  
    205205   execute(s);
    206206   dbprint(printlevel-voice+2,"
    207 // 'defrings' created a ring. To see the ring, type (if the name R was 
     207// 'defrings' created a ring. To see the ring, type (if the name R was
    208208// assigned to the return value):
    209209    show R;
    210 // To make the ring the active basering, type 
     210// To make the ring the active basering, type
    211211    setring R; ");
    212212   return(S);
    … …  
    223223"USAGE:   defringp(n,[p]);  n,p=integers
    224224RETURN:  ring R with characteristic p [default: p=32003], ordering dp and n
    225          variables x,y,z,a,b,...if n<=26 (resp. x(1..n) if n>26) 
     225         variables x,y,z,a,b,...if n<=26 (resp. x(1..n) if n>26)
    226226NOTE:    This proc uses 'execute' or calls a procedure using 'execute'.
    227227EXAMPLE: example defringp; shows an example
    … …  
    241241   execute(s);
    242242   dbprint(printlevel-voice+2,"
    243 // 'defringp' created a ring. To see the ring, type (if the name R was 
     243// 'defringp' created a ring. To see the ring, type (if the name R was
    244244// assigned to the return value):
    245245    show R;
    246 // To make the ring the active basering, type 
     246// To make the ring the active basering, type
    247247    setring R; ");
    248248   return(P);
    … …  
    257257
    258258proc extendring (int n, string va, string o, list #)
    259 "USAGE:   extendring(n,va,o[iv,i,r]);  va,o=strings, n,i=integers, r=ring, 
     259"USAGE:   extendring(n,va,o[iv,i,r]);  va,o=strings, n,i=integers, r=ring,
    260260          iv=intvec of positive integers or iv=0
    261 RETURN:  ring R, which extends the ring r by adding n new variables in front 
     261RETURN:  ring R, which extends the ring r by adding n new variables in front
    262262         of (resp. after, if i!=0) the old variables.
    263263         [default: (i,r)=(0,basering)].
    … …  
    266266            va=\"T\", and if n<=26 then T and the following n-1 letters from
    267267            T..Z..T (resp. T(1..n) if n>26) are taken as additional variables.
    268             If va is a single letter followed by a bracket, say va=\"x(\", 
     268            If va is a single letter followed by a bracket, say va=\"x(\",
    269269            the new variables are x(1),...,x(n).
    270270@*       -- The ordering is the product ordering of the ordering of r and of an
    … …  
    290290NOTE:    This proc is useful for adding deformation parameters.
    291291         This proc uses 'execute' or calls a procedure using 'execute'.
    292          If you use it in your own proc, it may be advisable to let the local 
     292         If you use it in your own proc, it may be advisable to let the local
    293293         names of your proc start with a @ (see the file HelpForProc)
    294294EXAMPLE: example extendring; shows an example
    … …  
    597597proc ringtensor (list #)
    598598"USAGE:   ringtensor(r1,r2,...); s=string, r1,r2,...=rings
    599 RETURN:  ring R whose variables are the variables from all rings r1,r2,... 
    600          and whose monomial ordering is the block (product) ordering of the 
     599RETURN:  ring R whose variables are the variables from all rings r1,r2,...
     600         and whose monomial ordering is the block (product) ordering of the
    601601         respective monomial orderings of r1,r2,... . Hence, R
    602602         is the tensor product of the rings r1,r2,... with ordering matrix
    … …  
    651651   }
    652652   dbprint(printlevel-voice+2,"
    653 // 'ringtensor' created a ring. To see the ring, type (if the name R was 
     653// 'ringtensor' created a ring. To see the ring, type (if the name R was
    654654// assigned to the return value):
    655655    show R;
    656 // To make the ring the active basering, type 
     656// To make the ring the active basering, type
    657657    setring R; ");
    658658   return(s);
    … …  
    664664   ring t=0,x(1..5),(c,ls);
    665665   def R=ringtensor(r,s,t);
    666    type R; 
     666   type R;
    667667   setring s;
    668668   ideal i = a2+b3+c5;
    … …  
    761761        all input parameters of type string
    762762TYPE:    ideal
    763 PURPOSE: computes the preimage of an ideal under a given map for non-global 
     763PURPOSE: computes the preimage of an ideal under a given map for non-global
    764764         orderings.
    765          The second argument has to be the name of a map from the basering to 
    766          the given ring (or the name of an ideal defining such a map), and 
     765         The second argument has to be the name of a map from the basering to
     766         the given ring (or the name of an ideal defining such a map), and
    767767         the ideal has to be an ideal in the given ring.
    768768SEE ALSO: preimage
Note: See TracChangeset for help on using the changeset viewer.