Changeset aa1c72 in git

Timestamp:

Oct 15, 2010, 4:59:44 PM (14 years ago)

Author:

Stefan Steidel <steidel@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

4cc3cac20265c51b365bd1c8bd3d9007b68928dc

Parents:

8a224efdc9c0fd76c5e0717b9a9350cd8c2a94f9

Message:

Procedure zeroR becomes static, new procedure zeroRadical is added to the library.

git-svn-id: file:///usr/local/Singular/svn/trunk@13513 2c84dea3-7e68-4137-9b89-c4e89433aadc

File:

• Singular/LIB/assprimeszerodim.lib (modified) (3 diffs)

Singular/LIB/assprimeszerodim.lib

@@ -18 +18 @@
 
 PROCEDURES:
- zeroR(I);             computes the radical of I
+ zeroRadical(I);       computes the radical of I
  assPrimes(I);         computes the associated primes of I
 ";
@@ -27 +27 @@
 ////////////////////////////////////////////////////////////////////////////////
 
-proc zeroR(ideal I, list #)
-"USAGE:  zeroR(I,[n]); I ideal, optional: n number of processors (for parallel
-         computing)
+proc zeroRadical(ideal I, list #)
+"USAGE:  zeroRadical(I,[n]); I ideal, optional: n number of processors (for 
+         parallel computing)
 ASSUME:  I is zero-dimensional in Q[variables]
 NOTE:    Parallelization is just applicable using 32-bit Singular version since
          MP-links are not compatible with 64-bit Singular version.
 RETURN:  the radical of I
-EXAMPLE: example zeroR; shows an example
+EXAMPLE: example zeroRadical; shows an example
 "
+{
+   return(zeroR(modStd(I,#),#));
+}
+example
+{ "EXAMPLE:";  echo = 2;
+   ring R = 0, (x,y), dp;
+   ideal I = xy4-2xy2+x, x2-x, y4-2y2+1;
+   zeroRadical(I);
+}
+
+////////////////////////////////////////////////////////////////////////////////
+
+static proc zeroR(ideal I, list #)
+// compute the radical of I provided that I is zero-dimensional in Q[variables] 
+// and a standard basis
 {
    attrib(I,"isSB",1);
@@ -190 +205 @@
    if(k == 0) { return(I); }
    else { return(std(I + F)); }
-}
-example
-{ "EXAMPLE:";  echo = 2;
-   ring R = 0, (x,y), dp;
-   ideal I = xy4-2xy2+x, x2-x, y4-2y2+1;
-   zeroR(I);
 }