Changeset d18870 in git
- Timestamp:
- May 12, 2000, 2:23:18 PM (23 years ago)
- Branches:
- (u'spielwiese', '828514cf6e480e4bafc26df99217bf2a1ed1ef45')
- Children:
- 73d7b5cf051d2bb349542039ed3ac2b513f7c109
- Parents:
- 06f16f99b85c345dd60a647c2025081e13cfa7c2
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Singular/LIB/primdec.lib
r06f16f rd18870 1 // $Id: primdec.lib,v 1.6 2 2000-05-12 12:20:26krueger Exp $1 // $Id: primdec.lib,v 1.63 2000-05-12 12:23:18 krueger Exp $ 2 2 /////////////////////////////////////////////////////////////////////////////// 3 3 // primdec.lib // … … 11 11 /////////////////////////////////////////////////////////////////////////////// 12 12 13 version="$Id: primdec.lib,v 1.6 2 2000-05-12 12:20:26krueger Exp $";13 version="$Id: primdec.lib,v 1.63 2000-05-12 12:23:18 krueger Exp $"; 14 14 info=" 15 15 LIBRARY: primdec.lib PROCEDURES FOR PRIMARY DECOMPOSITION … … 1790 1790 &&(find(ordstr(basering),"s")==0)) 1791 1791 { 1792 execute 1793 +ordstr(basering)+");" ;1792 execute("ring gnir = ("+charstr(basering)+"),("+varstr(basering)+"),(" 1793 +ordstr(basering)+");"); 1794 1794 ideal i=imap(P,i); 1795 1795 ideal j=i; … … 1805 1805 else 1806 1806 { 1807 execute "ring gnir = ("+charstr(basering)+"),("+varstr(basering)+"),dp;";1807 execute("ring gnir = ("+charstr(basering)+"),("+varstr(basering)+"),dp;"); 1808 1808 ideal i=imap(P,i); 1809 1809 ideal j=groebner(i); … … 1877 1877 &&(find(ordstr(basering),"s")==0)) 1878 1878 { 1879 execute 1880 +ordstr(basering)+");" ;1879 execute("ring gnir = ("+charstr(basering)+"),("+varstr(basering)+"),(" 1880 +ordstr(basering)+");"); 1881 1881 ideal i=imap(P,i); 1882 1882 ideal j=i; … … 1892 1892 else 1893 1893 { 1894 execute "ring gnir = ("+charstr(basering)+"),("+varstr(basering)+"),dp;";1894 execute("ring gnir = ("+charstr(basering)+"),("+varstr(basering)+"),dp;"); 1895 1895 ideal i=imap(P,i); 1896 1896 ideal j=groebner(i); … … 1914 1914 indep=maxIndependSet(j); 1915 1915 1916 execute 1917 +indep[1][2]+");" ;1916 execute("ring gnir1 = ("+charstr(basering)+"),("+indep[1][1]+"),(" 1917 +indep[1][2]+");"); 1918 1918 if(homo==1) 1919 1919 { … … 1925 1925 } 1926 1926 string quotring=prepareQuotientring(nvars(basering)-indep[1][3]); 1927 execute quotring;1927 execute(quotring); 1928 1928 ideal j=imap(gnir1,j); 1929 1929 kill gnir1;
Note: See TracChangeset
for help on using the changeset viewer.