Changeset 5291ef in git

Timestamp:

Jan 12, 2009, 8:31:23 PM (14 years ago)

Author:

Hans Schönemann <hannes@…>

Branches:

(u'spielwiese', '8d54773d6c9e2f1d2593a28bc68b7eeab54ed529')

Children:

25778ba7de6c91b5ae55a3041a2fc3eecbb7ffc1

Parents:

f8156d42cf4f4b3f9c0f819859cc06f752914fd5

Message:

*hannes: initialIdeal -> initialIdealW


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

Location:

Singular/LIB

Files:

• bfct.lib (modified) (3 diffs)
• dmodapp.lib (modified) (7 diffs)

Singular/LIB/bfct.lib

@@ -1 +1 @@
 //////////////////////////////////////////////////////////////////////////////
-version="$Id: bfct.lib,v 1.9 2009-01-07 16:11:35 Singular Exp $";
+version="$Id: bfct.lib,v 1.10 2009-01-12 19:31:23 Singular Exp $";
 category="Noncommutative";
 info="
@@ -45 +45 @@
 LIB "qhmoduli.lib"; // for Max
 LIB "dmod.lib";     // for SannfsBFCT etc
-LIB "dmodapp.lib";  // for initialIdeal etc
+LIB "dmodapp.lib";  // for initialIdealW etc
 
 
@@ -1346 +1346 @@
     }
   }
-  ideal J = initialIdeal(I,-w,w,whichengine,methodord);
+  ideal J = initialIdealW(I,-w,w,whichengine,methodord);
   poly s;
   for (i=1; i<=n; i++)

Singular/LIB/dmodapp.lib

@@ -1 +1 @@
 //////////////////////////////////////////////////////////////////////////////
-version="$Id: dmodapp.lib,v 1.14 2009-01-07 16:11:35 Singular Exp $";
+version="$Id: dmodapp.lib,v 1.15 2009-01-12 19:31:23 Singular Exp $";
 category="Noncommutative";
 info="
@@ -18 +18 @@
 rational function G/F from Quot(R). These can be computed via annPoly resp. annRat.
 
-@* - initial form and initial ideals in Weyl algebras with respect to a given weight vector can be computed with the help of inForm, initialMalgrange, initialIdeal.
+@* - initial form and initial ideals in Weyl algebras with respect to a given weight vector can be computed with the help of inForm, initialMalgrange, initialIdealW.
 
 @* - appelF1, appelF2 and appelF4 return ideals in parametric Weyl algebra, which
@@ -33 +33 @@
 
 initialMalgrange(f[,s,t,u,v]); Groebner basis of the initial Malgrange ideal for a given poly
-initialIdeal(I,u,v[,s,t]); initial ideal of a given ideal w.r.t. given weights
+initialIdealW(I,u,v[,s,t]); initial ideal of a given ideal w.r.t. given weights
 inForm(f,w);     initial form of a poly/ideal w.r.t. a given weight
 isFsat(I, F);       check whether the ideal I is F-saturated
@@ -67 +67 @@
 proc testdmodapp()
 {
-  example initialIdeal;
+  example initialIdealW;
   example initialMalgrange;
   example DLoc;
@@ -86 +86 @@
 
 
-proc initialIdeal (ideal I, intvec u, intvec v, list #)
-"USAGE:  initialIdeal(I,u,v [,s,t]);  I ideal, u,v intvecs, s,t optional ints
+proc initialIdealW (ideal I, intvec u, intvec v, list #)
+"USAGE:  initialIdealW(I,u,v [,s,t]);  I ideal, u,v intvecs, s,t optional ints
 RETURN:  ideal, GB of initial ideal of the input ideal wrt the weights u and v
 PURPOSE: computes the initial ideal
@@ -102 +102 @@
 DISPLAY: If printlevel=1, progress debug messages will be printed,
 @*       if printlevel>=2, all the debug messages will be printed.
-EXAMPLE: example initialIdeal; shows examples
+EXAMPLE: example initialIdealW; shows examples
 "
 {
@@ -136 +136 @@
   intvec u = -1; intvec v = 2;
   ideal I = x^2*Dx^2,x*Dx^4;
-  ideal J = initialIdeal(I,u,v); J;
+  ideal J = initialIdealW(I,u,v); J;
 }