Changeset 76aca2 in git
 Timestamp:
 May 6, 2005, 6:01:50 PM (18 years ago)
 Branches:
 (u'spielwiese', '91fdef05f09f54b8d58d92a472e9c4a43aa4656f')
 Children:
 d4d4f74a0f49c75932d49fa745327497d552f7d5
 Parents:
 dd3da434bbe41ef954b8fa6d42afe3dbd2593975
 Location:
 Singular/LIB
 Files:

 2 edited
Legend:
 Unmodified
 Added
 Removed

Singular/LIB/matrix.lib
rdd3da4 r76aca2 1 1 /////////////////////////////////////////////////////////////////////////////// 2 version="$Id: matrix.lib,v 1. 29 20050506 14:38:45 hannesExp $";2 version="$Id: matrix.lib,v 1.30 20050506 16:01:49 Singular Exp $"; 3 3 category="Linear Algebra"; 4 4 info=" … … 975 975 ////////////////////////////////////////////////////////////////////////////// 976 976 proc headStand(matrix M) 977 "USAGE: headStand(M); M matrix 978 RETURN: matrix B such that B[i][j]=M[ni+1,mj+1], n=nrows(M), m=ncols(M) 979 EXAMPLE: example headStand; shows an example 980 " 977 981 { 978 982 int i,j; … … 989 993 return(B); 990 994 } 995 example 996 { "EXAMPLE:"; echo = 2; 997 ring r=0,(A,B,C),dp; 998 matrix M[2][3]= 999 0,A, B, 1000 A2, B2, C; 1001 print(M); 1002 print(headStand(M)); 1003 } 991 1004 ////////////////////////////////////////////////////////////////////////////// 
Singular/LIB/primdec.lib
rdd3da4 r76aca2 1 1 /////////////////////////////////////////////////////////////////////////////// 2 version="$Id: primdec.lib,v 1.10 4 20050506 14:38:57 hannesExp $";2 version="$Id: primdec.lib,v 1.105 20050506 16:01:50 Singular Exp $"; 3 3 category="Commutative Algebra"; 4 4 info=" … … 54 54 RETURN: saturation of id with respect to j (= union_(k=1...) of id:j^k) 55 55 NOTE: result is a std basis in the basering 56 EXAMPLE: example sat1; shows an example57 56 " 58 57 { … … 80 79 RETURN: saturation of id with respect to j (= union_(k=1...) of id:j^k) 81 80 NOTE: result is a std basis in the basering 82 EXAMPLE: example sat2; shows an example83 81 " 84 82 { … … 3830 3828 3831 3829 proc Ann(module M) 3830 "USAGE: Ann(M); M module 3831 RETURN: ideal, the annihilator of coker(M) 3832 NOTE: The output is the ideal of all elements a of the basering R such that 3833 a * R^m is contained in M (m=number of rows of M). 3834 EXAMPLE: example Ann; shows an example 3835 " 3832 3836 { 3833 3837 M=prune(M); //to obtain a small embedding … … 3835 3839 return(ann); 3836 3840 } 3841 example 3842 { "EXAMPLE:"; echo = 2; 3843 ring r = 0,(x,y,z),lp; 3844 module M = x2y2,z3; 3845 Ann(M); 3846 M = [1,x2],[y,x]; 3847 Ann(M); 3848 qring Q=std(xy1); 3849 module M=imap(r,M); 3850 Ann(M); 3851 } 3852 3837 3853 /////////////////////////////////////////////////////////////////////////////// 3838 3854
Note: See TracChangeset
for help on using the changeset viewer.