Changeset ab12db in git for Singular/LIB/grobcov.lib

Timestamp:

Mar 11, 2014, 2:26:52 PM (10 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', 'e7cc1ebecb61be8b9ca6c18016352af89940b21a')

Children:

cfff43fc9d1e2015f61caa9cea82671d931ba0e6

Parents:

fa502097e0f6e99adaf0a797bd0957c1c79369ba

Message:

chg: format, types

File:

• Singular/LIB/grobcov.lib (modified) (9 diffs)

Singular/LIB/grobcov.lib

@@ -196 +196 @@
   def RR=basering;
   def @R=basering;  // must be of the form K[a][x], a=parameters, x=variables
-  def Rx=ringlist(RR);
+  list Rx=ringlist(RR);
   def @P=ring(Rx[1]);
   list Lx;
@@ -210 +210 @@
   exportto(Top,@RP);     // global ring K[x,a] with product order
   setring(RR);
-};
+}
 example
 { "EXAMPLE:"; echo = 2;
@@ -253 +253 @@
   if(te){kill @R; kill @RP; kill @P;}
   return(Jc);
-};
+}
 
 proc memberpos(f,J)
@@ -705 +705 @@
     if(te==0){kill @R; kill @RP; kill @P;}
     return(f2)
-};
+}
 example
 { "EXAMPLE:"; echo = 2;
@@ -752 +752 @@
     }
   }
-};
+}
 
 // delfromideal: deletes the i-th polynomial from the ideal F
@@ -857 +857 @@
   if(te==1){setglobalrings();}
   return(G);
-};
+}
 
 // eliminates repeated elements form an ideal or matrix or module or intmat or bigintmat
@@ -2499 +2499 @@
   def LP=imap(RR,LPr);
   int j; poly p;
-  def F=ideal(1);
+  ideal F=ideal(1);
   poly f;
   poly fn;
@@ -2565 +2565 @@
   setring(@R);
   def ff=imap(RR,f);
-  def l=factorize(ff,0);
+  list l=factorize(ff,0);
   poly f1=1;
   for(i=2;i<=size(l[1]);i++)
@@ -2574 +2574 @@
   def f2=imap(@R,f1);
   return(f2);
-};
+}
 
 //Auxiliary routine