Changeset 5291ef in git
 Timestamp:
 Jan 12, 2009, 8:31:23 PM (14 years ago)
 Branches:
 (u'spielwiese', '8d54773d6c9e2f1d2593a28bc68b7eeab54ed529')
 Children:
 25778ba7de6c91b5ae55a3041a2fc3eecbb7ffc1
 Parents:
 f8156d42cf4f4b3f9c0f819859cc06f752914fd5
 Location:
 Singular/LIB
 Files:

 2 edited
Legend:
 Unmodified
 Added
 Removed

Singular/LIB/bfct.lib
rf8156d4 r5291ef 1 1 ////////////////////////////////////////////////////////////////////////////// 2 version="$Id: bfct.lib,v 1. 9 20090107 16:11:35Singular Exp $";2 version="$Id: bfct.lib,v 1.10 20090112 19:31:23 Singular Exp $"; 3 3 category="Noncommutative"; 4 4 info=" … … 45 45 LIB "qhmoduli.lib"; // for Max 46 46 LIB "dmod.lib"; // for SannfsBFCT etc 47 LIB "dmodapp.lib"; // for initialIdeal etc47 LIB "dmodapp.lib"; // for initialIdealW etc 48 48 49 49 … … 1346 1346 } 1347 1347 } 1348 ideal J = initialIdeal (I,w,w,whichengine,methodord);1348 ideal J = initialIdealW(I,w,w,whichengine,methodord); 1349 1349 poly s; 1350 1350 for (i=1; i<=n; i++) 
Singular/LIB/dmodapp.lib
rf8156d4 r5291ef 1 1 ////////////////////////////////////////////////////////////////////////////// 2 version="$Id: dmodapp.lib,v 1.1 4 20090107 16:11:35Singular Exp $";2 version="$Id: dmodapp.lib,v 1.15 20090112 19:31:23 Singular Exp $"; 3 3 category="Noncommutative"; 4 4 info=" … … 18 18 rational function G/F from Quot(R). These can be computed via annPoly resp. annRat. 19 19 20 @*  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 .20 @*  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. 21 21 22 22 @*  appelF1, appelF2 and appelF4 return ideals in parametric Weyl algebra, which … … 33 33 34 34 initialMalgrange(f[,s,t,u,v]); Groebner basis of the initial Malgrange ideal for a given poly 35 initialIdeal (I,u,v[,s,t]); initial ideal of a given ideal w.r.t. given weights35 initialIdealW(I,u,v[,s,t]); initial ideal of a given ideal w.r.t. given weights 36 36 inForm(f,w); initial form of a poly/ideal w.r.t. a given weight 37 37 isFsat(I, F); check whether the ideal I is Fsaturated … … 67 67 proc testdmodapp() 68 68 { 69 example initialIdeal ;69 example initialIdealW; 70 70 example initialMalgrange; 71 71 example DLoc; … … 86 86 87 87 88 proc initialIdeal (ideal I, intvec u, intvec v, list #)89 "USAGE: initialIdeal (I,u,v [,s,t]); I ideal, u,v intvecs, s,t optional ints88 proc initialIdealW (ideal I, intvec u, intvec v, list #) 89 "USAGE: initialIdealW(I,u,v [,s,t]); I ideal, u,v intvecs, s,t optional ints 90 90 RETURN: ideal, GB of initial ideal of the input ideal wrt the weights u and v 91 91 PURPOSE: computes the initial ideal … … 102 102 DISPLAY: If printlevel=1, progress debug messages will be printed, 103 103 @* if printlevel>=2, all the debug messages will be printed. 104 EXAMPLE: example initialIdeal ; shows examples104 EXAMPLE: example initialIdealW; shows examples 105 105 " 106 106 { … … 136 136 intvec u = 1; intvec v = 2; 137 137 ideal I = x^2*Dx^2,x*Dx^4; 138 ideal J = initialIdeal (I,u,v); J;138 ideal J = initialIdealW(I,u,v); J; 139 139 } 140 140
Note: See TracChangeset
for help on using the changeset viewer.