Changeset 2211fc in git
 Timestamp:
 May 24, 2000, 1:02:18 AM (24 years ago)
 Branches:
 (u'fiekerDuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'b21a664aa22dc6e196223af8a74ad4885e83547c')
 Children:
 eb0b4c8af87cb38343360f1fafc036023011f2d0
 Parents:
 9f9f2c54671e5059a4bae3993a694f7029e712da
 File:

 1 edited
Legend:
 Unmodified
 Added
 Removed

Singular/LIB/ring.lib
r9f9f2c r2211fc 1 // $Id: ring.lib,v 1.1 1 20000512 12:17:17 kruegerExp $1 // $Id: ring.lib,v 1.12 20000523 23:02:18 greuel Exp $ 2 2 //(GMG, last modified 03.11.95) 3 3 /////////////////////////////////////////////////////////////////////////////// 4 4 5 version="$Id: ring.lib,v 1.1 1 20000512 12:17:17 kruegerExp $";5 version="$Id: ring.lib,v 1.12 20000523 23:02:18 greuel Exp $"; 6 6 info=" 7 7 LIBRARY: ring.lib PROCEDURES FOR MANIPULATING RINGS AND MAPS … … 18 18 imapall(R[,str]); imap all objects of ring R to basering 19 19 mapall(R,i[,str]); map all objects of ring R via ideal i to basering 20 ord_test(R); test wether ordering of R is global, local or mixed 20 21 ringtensor(\"R\",s,t,..);create ring R, tensor product of rings s,t,... 21 22 (parameters in square brackets [] are optional) … … 625 626 /////////////////////////////////////////////////////////////////////////////// 626 627 628 proc ord_test (r) 629 "USAGE: ord_test(r); r ring 630 RETURN: int 1 (resp. 1, resp. 0) if ordering of r is global (resp. local, 631 resp. mixed) 632 EXAMPLE: example ord_test; shows an example 633 " 634 { 635 if (typeof(r) != "ring") 636 { 637 "// ord_test requires a ring as input"; 638 return(); 639 } 640 def BAS = basering; 641 setring r; 642 poly f; 643 int n,o,u = nvars(r),1,1; 644 int ii; 645 for ( ii=1; ii<=n; ii++ ) 646 { 647 f = 1+var(ii); 648 o = o*(lead(f) == var(ii)); 649 u = u*(lead(f) == 1); 650 } 651 setring BAS; 652 if ( o==1 ) { return(1); } 653 if ( u==1 ) { return(1); } 654 else { return(0); } 655 } 656 example 657 { "EXAMPLE:"; echo = 2; 658 ring R = 0,(x,y),dp; 659 ring S = 0,(u,v),ls; 660 ord_test(R); 661 ord_test(S); 662 ord_test(R+S); 663 } 664 /////////////////////////////////////////////////////////////////////////////// 665 627 666 proc ringtensor (string s, list #) 628 667 "USAGE: ringtensor(s,r1,r2,...); s=string, r1,r2,...=rings
Note: See TracChangeset
for help on using the changeset viewer.