Changeset 18dd47 in git for Singular/LIB/finvar.lib
- Timestamp:
- Aug 12, 1997, 4:01:11 PM (26 years ago)
- Branches:
- (u'spielwiese', 'ec94ef7a30b928574c0c3daf41f6804dff5f6b69')
- Children:
- 573ae7acc2dadf68863ca5ee07211c1e9a07b3fb
- Parents:
- 9e76269b6654f6e38d3546d04b318c6693f2f4d9
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Singular/LIB/finvar.lib
r9e7626 r18dd47 1 // $Header: /exports/cvsroot-2/cvsroot/Singular/LIB/finvar.lib,v 1. 3 1997-08-04 14:46:49Singular Exp $1 // $Header: /exports/cvsroot-2/cvsroot/Singular/LIB/finvar.lib,v 1.4 1997-08-12 14:01:05 Singular Exp $ 2 2 //////////////////////////////////////////////////////////////////////////////// 3 3 // send bugs and comments to agnes@math.uni-sb.de … … 958 958 { if (i<p^j) // finding an upper bound on i 959 959 { for (k=0;k<j-1;k=k+1) 960 { out=out+((i /p^k)%p)*a^k;// finding how often p^k is contained in960 { out=out+((i div p^k)%p)*a^k; // finding how often p^k is contained in 961 961 } // i 962 out=out+(i /p^(j-1))*a^(j-1);962 out=out+(i div p^(j-1))*a^(j-1); 963 963 if (defined(bool)=voice) 964 964 { return((-1)*out); … … 988 988 for (i=2;i<=m;i=i+1) 989 989 { degvec[i]=deg(Q[i]); 990 lcm=lcm*degvec[i] /gcd(lcm,degvec[i]); // lcm is now the least common990 lcm=lcm*degvec[i] div gcd(lcm,degvec[i]); // lcm is now the least common 991 991 } // multiple of the first i elements of Q 992 992 ideal A(1)=Q; 993 993 for (i=1;i<=m;i=i+1) 994 { A(1)[i]=(A(1)[i])^(lcm /degvec[i]); // now all elements in A(1) are of the994 { A(1)[i]=(A(1)[i])^(lcm div degvec[i]); // now all elements in A(1) are of the 995 995 } // same degree, they are the elements of 996 996 // Q raised to a power - … … 1001 1001 kill I; 1002 1002 if ((n%2)==0) // H(1) ought to be of the form: 1003 { j= int(n)/int(2);// 1,0,...,0,0,1,0,...,01003 { j=n div 2; // 1,0,...,0,0,1,0,...,0 1004 1004 } // 0,0,...,0,1,0,0,...,0 1005 1005 else // . . 1006 { j= int(n-1)/int(2);// . .1006 { j=(n-1) div 2; // . . 1007 1007 } // . . 1008 1008 for (i=1;i<=j;i=i+1) // 1,0,...,0,0,0,0,...,0 … … 1143 1143 { d=d*deg(P[i]); // building the product of the degrees of 1144 1144 } // primary invariants - 1145 int bound=d /g;// number of secondary invariants1145 int bound=d div g; // number of secondary invariants 1146 1146 if (v) 1147 1147 { " The invariant ring is Cohen-Macaulay."; 1148 " We need to find "+string(d)+" /"+string(g)+"="+string(bound)+" secondary invariants.";1148 " We need to find "+string(d)+" div "+string(g)+"="+string(bound)+" secondary invariants."; 1149 1149 ""; 1150 1150 }
Note: See TracChangeset
for help on using the changeset viewer.