Changeset 0c40ae in git

Timestamp:

Aug 23, 2011, 11:29:47 AM (13 years ago)

Author:

Stefan Steidel <steidel@…>

Branches:

(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', '38077648e7239f98078663eb941c3c979511150a')

Children:

380a9b6e945b3b23b3197f3b6692bf955b0c0301

Parents:

12483db42b3ad1ac5499765c4350a6a67250d9c7

Message:

Procedure mixedTest is not static anymore.

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

File:

• Singular/LIB/modstd.lib (modified) (4 diffs)

Singular/LIB/modstd.lib

@@ -29 +29 @@
 ////////////////////////////////////////////////////////////////////////////////
 
-static proc mixedTest()
-// decides whether the ordering of the basering is mixed
+proc mixedTest()
+"USAGE:  mixedTest();
+RETURN:  1 if ordering of basering is mixed, 0 else
+EXAMPLE: example mixedTest(); shows an example
+"
 {
    int i,p,m;
@@ -46 +49 @@
    if((p > 0) && (m > 0)) { return(1); }
    return(0);
+}
+example
+{ "EXAMPLE:"; echo = 2;
+   ring R1 = 0,(x,y,z),dp;
+   mixedTest();
+   ring R2 = 31,(x(1..4),y(1..3)),(ds(4),lp(3));
+   mixedTest();
+   ring R3 = 181,x(1..9),(dp(5),lp(4));
+   mixedTest();
 }
 
@@ -61 +73 @@
 "USAGE:  isIncluded(I,J); I,J ideals
 RETURN:  1 if J includes I,
-         0 if there is an element f in I which does not reduce to 0 w.r.t. J.
+@*       0 if there is an element f in I which does not reduce to 0 w.r.t. J.
 EXAMPLE: example isIncluded; shows an example
 "
@@ -255 +267 @@
          lT ideal
 NOTE:    - if ho = 1, the polynomials in T are homogeneous, else ho = 0,
-         - lT is prevalent, i.e. the most appearing leading ideal in T
+@*       - lT is prevalent, i.e. the most appearing leading ideal in T
 EXAMPLE: example deleteUnluckyPrimes; shows an example
 "