Changeset d0a341 in git for Singular/LIB/finvar.lib
- Timestamp:
- May 3, 1998, 1:57:37 PM (26 years ago)
- Branches:
- (u'spielwiese', 'a719bcf0b8dbc648b128303a49777a094b57592c')
- Children:
- 98edbb5e63c2f807c92514a18f75cb7e47451806
- Parents:
- c1e2b1837b627727ba4d5777298b2631a1a05311
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Singular/LIB/finvar.lib
rc1e2b1 rd0a341 1 // $Header: /exports/cvsroot-2/cvsroot/Singular/LIB/finvar.lib,v 1.8 1998-04-03 22:47:02 krueger Exp $ 2 //////////////////////////////////////////////////////////////////////////////// 3 4 version="$Id: finvar.lib,v 1.8 1998-04-03 22:47:02 krueger Exp $"; 1 // $Id: finvar.lib,v 1.9 1998-05-03 11:57:37 obachman Exp $ 2 // author: Agnes Eileen Heydtmann, email:agnes@math.uni-sb.de 3 // last change: 3.5.98 4 ////////////////////////////////////////////////////////////////////////////// 5 version="$Id: finvar.lib,v 1.9 1998-05-03 11:57:37 obachman Exp $" 5 6 info=" 6 7 LIBRARY: finvar.lib LIBRARY TO CALCULATE INVARIANT RINGS & MORE … … 1722 1723 part_mon=mon[lower_bound..upper_bound]; 1723 1724 B=minbase(B+evaluate_reynolds(REY,part_mon)); 1724 if ( ncols(B)==cdor upper_bound==j)1725 if ((ncols(B)==cd and B[1]<>0) or upper_bound==j) 1725 1726 { degBound=0; 1726 1727 return(B); … … 4116 4117 of the powers is then homogeneous of degree d. 4117 4118 EXAMPLE: example power_products; gives an example 4118 { if (d<=0) 4119 { ring R=0,x,dp; 4120 if (d<=0) 4119 4121 { "ERROR: The <int> may not be <= 0"; 4120 4122 return(); … … 5208 5210 matrix P=primary_charp(L[1],newring,v); 5209 5211 matrix S,IS=secondary_charp(P,L[1],newring,v); 5210 if ( voice==2)5212 if (defined(aksldfalkdsflkj)==2) 5211 5213 { kill aksldfalkdsflkj; 5212 5214 } … … 5225 5227 list l=primary_charp_no_molien(L[1],v); 5226 5228 if (size(l)==2) 5227 { mat ix S=secondary_no_molien(l[1],L[1],l[2],v);5229 { matrix S=secondary_no_molien(l[1],L[1],l[2],v); 5228 5230 } 5229 5231 else … … 5564 5566 execute "ring R=("+charstr(br)+"),(x(1..n),y(1..m)),(dp(n),dp(m));"; 5565 5567 execute "minpoly=number("+mp+");"; 5566 ring R=0,(x(1..n),y(1..m)),(dp(n),dp(m));5567 5568 ideal vars=x(1..n); 5568 5569 map emb=br,vars; … … 5841 5842 print(image_of_variety(I,F)); 5842 5843 } 5844 5845
Note: See TracChangeset
for help on using the changeset viewer.