Ticket #39: 1.lib.txt

File 1.lib.txt, 35.6 KB (added by Oleksandr , 14 years ago)

some lib checks + line length cheks for all VL's libs

Line 
1///////////////////////////./bfct.lib//////////////////////////////
2
3Checking library './bfct.lib'
4Reporting most possible annomalies.
5
6  Library                      function      line,start-eod    line,body-eob     line,example-eoe
7Version:(1.5,2008/10/06);
8Procedure testbfctlib (line 43) has OLD-STYLE-HELP!
9g ./libparse                testbfctlib line   43, 2142-2161     44, 2163-2484      0,    0-2484
10*** Procedure 'testbfctlib' is global and has no help-section.
11*** Procedure 'testbfctlib' is global and has no example-section.
12
13
14l ./libparse                 gradedWeyl line   64, 2597-2633     72, 2985-3703    116, 3706-3917
15
16
17g ./libparse                 ispositive line  129, 3924-3950    135, 4169-4300    147, 4303-4419
18
19
20g ./libparse                       isin line  156, 4424-4445    162, 4665-4796    174, 4799-4903
21
22
23g ./libparse                 scalarprod line  183, 4908-4944    190, 5191-5392    205, 5395-5494
24
25
26g ./libparse                  linreduce line  217, 5595-5634    225, 6044-6872    275, 6875-7059
27
28
29g ./libparse                    ncsolve line  287, 7064-7094    298, 7699-9729    378, 9732-9857
30
31
32g ./libparse                     minpol line  388, 9862-9891    398,10394-12314   479,12317-12514
33
34
35g ./libparse                  minpolsyz line  492,12519-12560   510,13674-16586   644,16589-16841
36Procedure listofroots (line 659) has OLD-STYLE-HELP!
37l ./libparse                listofroots line  659,16852-16878   660,16880-17837     0,    0-17837
38Procedure bfctengine (line 707) has OLD-STYLE-HELP!
39l ./libparse                 bfctengine line  707,17848-17965   708,17967-19002     0,    0-19002
40
41
42g ./libparse                       bfct line  756,19007-19033   771,20013-20875   806,20878-21015
43
44
45g ./libparse                    bfctsyz line  816,21020-21049   835,22370-23771   889,23774-23921
46
47
48g ./libparse                  bfctideal line  899,23926-23968   913,24856-25505   944,25508-25781
49
50
51g ./libparse                bfctonestep line  960,25788-25820   972,26560-27493  1008,27496-27626
52Procedure hardexamples (line 1017) has OLD-STYLE-HELP!
53l ./libparse               hardexamples line 1017,27637-27658  1018,27660-28164     0,    0-28164
54
55///////////////////////////./bfct.lib//////////////////////////////
56
57[10, L:81]: @*      one is interested in the global Bernstein-Sato polynomial b(s) in K[s],
58[13, L:94]: @* Here, D stands for an n-th Weyl algebra K<x_1,...,x_n,d_1,...,d_n | d_j x_j = x_j d_j +1>
59[16, L:96]: @*   the list of all roots of b(s), which are known to be rational, with their multiplicities.
60[20, L:89]: bfct(f[,s,t,v]);           compute the global Bernstein-Sato polynomial of a given poly
61[21, L:89]: bfctsyz(f[,r,s,t,u,v]);    compute the global Bernstein-Sato polynomial of a given poly
62[22, L:89]: bfctonestep(f[,s,t]);      compute the global Bernstein-Sato polynomial of a given poly
63[23, L:97]: bfctideal(I,w[,s,t]);      compute the global b-function of a given ideal w.r.t. a given weight
64[24, L:121]: minpol(f,I);               compute the minimal polynomial of the endormorphism in basering modulo ideal given by a poly
65[25, L:121]: minpolsyz(f,I[,p,s,t]);    compute the minimal polynomial of the endormorphism in basering modulo ideal given by a poly
66[26, L:83]: linreduce(f,I[,s]);        reduce a poly by linear reductions of its leading term
67[27, L:93]: ncsolve(I[,s]);            find and compute a linear dependency of the elements of an ideal
68[219, L:99]: RETURN:  a poly obtained by linear reductions of the leading term of the given poly with an ideal
69[221, L:85]: NOTE:    If s<>0, a list consisting of the reduced poly and the vector of the used
70[290, L:90]: PURPOSE: compute a linear dependency between the elements of an ideal if such one exists
71[293, L:81]: @*       By default, @code{slimgb} is used in char 0 and @code{std} in char >0.
72[348, L:93]:     dbprint(ppl, "ncsolve: starting Groebner basis computation with engine:", whichengine);
73[390, L:109]: RETURN:  coefficient vector of the minimal polynomial of the endomorphism of basering modulo I defined by f
74[493, L:94]: "USAGE:  minpolsyz(f, I [,p,s,t]);  f a poly, I an ideal, p, t optial ints, p a prime number
75[494, L:109]: RETURN:  coefficient vector of the minimal polynomial of the endomorphism of basering modulo I defined by f
76[498, L:88]: @*       If p>0 is given, the proc computes the minimal polynomial in char p first and
77[499, L:94]: @*       then only searches for a minimal polynomial of the obtained degree in the basering.
78[502, L:81]: @*       If s<>0, @code{std} is used for Groebner basis computations in char 0,
79[504, L:97]: @*       If t<>0 and by default, @code{std} is used for Groebner basis computations in char >0,
80[692, L:100]:   ideal bs; intvec m;   //the Bernstein polynomial is monic, so we are not interested in constants
81[707, L:125]: static proc bfctengine (poly f, int whichengine, int methodord, int methodminpol, int minpolchar, int modengine, intvec u0)
82[758, L:86]: RETURN:  list of roots of the Bernstein-Sato polynomial bs(f) and their multiplicies
83[759, L:133]: PURPOSE: compute the global Bernstein-Sato polynomial for a hypersurface, defined by f, according to the algorithm by Masayuki Noro
84[760, L:85]: NOTE:    In this proc, a system of linear equations is solved by linear reductions.
85[765, L:87]: @*       If v is a positive weight vector, v is used for homogenization computations,
86[817, L:90]: "USAGE:  bfctsyz(f [,r,s,t,u,v]);  f a poly, r,s,t,u optional ints, v an optional intvec
87[818, L:84]: RETURN:  list of roots of the Bernstein-Sato polynomial bs(f) and its multiplicies
88[819, L:133]: PURPOSE: compute the global Bernstein-Sato polynomial for a hypersurface, defined by f, according to the algorithm by Masayuki Noro
89[820, L:86]: NOTE:    In this proc, a system of linear equations is solved by computing syzygies.
90[821, L:91]: @*       If r<>0, @code{std} is used for Groebner basis computations in characteristic 0,
91[825, L:97]: @*       If t<>0, the minimal polynomial computation is solely performed over charasteristic 0,
92[827, L:107]: @*       If u<>0 and by default, @code{std} is used for Groebner basis computations in characteristic >0,
93[829, L:87]: @*       If v is a positive weight vector, v is used for homogenization computations,
94[901, L:109]: RETURN:  list of roots and their multiplicies of the global b-function of I w.r.t. the weight vector (-w,w)
95[902, L:90]: PURPOSE: compute the global b-function of an ideal according to the algorithm by M. Noro
96[903, L:83]: NOTE:    Assume, I is an ideal in the n-th Weyl algebra where the sequence of the
97[905, L:91]: @*       If s<>0, @code{std} is used for Groebner basis computations in characteristic 0,
98[962, L:84]: RETURN:  list of roots of the Bernstein-Sato polynomial bs(f) and its multiplicies
99[963, L:131]: PURPOSE: compute the global Bernstein-Sato polynomial for a hypersurface, defined by f, using only one Groebner basis computation
100[964, L:85]: NOTE:    If s<>0, @code{std} is used for the Groebner basis computation, otherwise,
101///////////////////////////./discretize.lib//////////////////////////////
102
103Checking library './discretize.lib'
104Reporting most possible annomalies.
105
106  Library                      function      line,start-eod    line,body-eob     line,example-eoe
107Version:(1.3,2008/08/07);
108
109g ./libparse                    xchange line   35, 1628-1674     41, 1856-2065     51, 2068-2237
110
111g ./libparse                    par2tex line   62, 2242-2264     68, 2573-3202     94, 3205-3417
112
113g ./libparse                    replace line  106, 3422-3470    112, 3667-4514    157, 4517-4760
114
115g ./libparse                     exp2pt line  169, 4765-4792    177, 5146-5656    207, 5659-5811
116
117g ./libparse                     mon2pt line  216, 5816-5845    221, 6012-7263    277, 7266-7560
118
119g ./libparse                       npar line  290, 7565-7584    295, 7742-8097    316, 8100-8231
120
121g ./libparse                     decoef line  326, 8236-8265    333, 8526-9656    378, 9659-9816
122
123g ./libparse                    texcoef line  387, 9821-9843    394,10084-10807   435,10810-10992
124Procedure rmDol (line 445) has OLD-STYLE-HELP!
125g ./libparse                      rmDol line  445,10997-11017   446,11019-11262     0,    0-11262
126*** Procedure 'rmDol' is global and has no help-section.
127*** Procedure 'rmDol' is global and has no example-section.
128
129
130g ./libparse                difpoly2tex line  456,11267-11308   467,11762-13949   586,13952-14190
131
132
133g ./libparse                  magnitude line  599,14197-14219   606,14428-14580   613,14583-14705
134Procedure clTex (line 622) has OLD-STYLE-HELP!
135g ./libparse                      clTex line  622,14712-14732   624,14771-14874     0,    0-14874
136*** Procedure 'clTex' is global and has no example-section.
137Procedure ElimModComp (line 634) has OLD-STYLE-HELP!
138g ./libparse                ElimModComp line  634,14879-14914   635,14916-15152     0,    0-15152
139*** Procedure 'ElimModComp' is global and has no help-section.
140*** Procedure 'ElimModComp' is global and has no example-section.
141Procedure simfrac (line 651) has OLD-STYLE-HELP!
142g ./libparse                    simfrac line  651,15159-15191   652,15193-15417     0,    0-15417
143*** Procedure 'simfrac' is global and has no help-section.
144*** Procedure 'simfrac' is global and has no example-section.
145Procedure discr_example (line 662) has OLD-STYLE-HELP!
146g ./libparse              discr_example line  662,15422-15442   663,15444-17852   727,17855-17909
147*** Procedure 'discr_example' is global and has no help-section.
148
149///////////////////////////./discretize.lib//////////////////////////////
150
151[8, L:245]: THEORY: We provide the presentation of difference operators in a polynomial, semi-factorized and a nodal form. Running @code{example discr_example;} will show how we generate finite difference schemes of linear PDE's from given approximations.
152[66, L:163]: NOTE: the convention is the following: Tx goes to T_x, dx to tri x (the same for t,y,z). Moreover, some parameters (theta,ro,A,V) are converted to greek letters.
153///////////////////////////./dmodapp.lib//////////////////////////////
154
155Checking library './dmodapp.lib'
156Reporting most possible annomalies.
157
158  Library                      function      line,start-eod    line,body-eob     line,example-eoe
159Version:(1.10,2008/10/09);
160Procedure testdmodapp (line 49) has OLD-STYLE-HELP!
161g ./libparse                testdmodapp line   49, 2146-2164     50, 2166-2435      0,    0-2435
162*** Procedure 'testdmodapp' is global and has no help-section.
163*** Procedure 'testdmodapp' is global and has no example-section.
164
165
166g ./libparse               initialideal line   67, 2442-2497     84, 3561-4101    108, 4104-4299
167
168
169g ./libparse           initialmalgrange line  119, 4304-4341    138, 5580-6564    182, 6567-6806
170Procedure initialidealengine (line 197) has OLD-STYLE-HELP!
171g ./libparse         initialidealengine line  197, 6811-6892    198, 6894-12540     0,    0-12540
172*** Procedure 'initialidealengine' is global and has no help-section.
173*** Procedure 'initialidealengine' is global and has no example-section.
174
175
176g ./libparse                     InForm line  439,12545-12565   446,12924-13990   503,13993-14316
177
178
179l ./libparse                charVariety line  521,14327-14353   534,14943-16081   591,16084-16318
180
181
182l ./libparse                   charInfo line  607,16338-16361   622,17056-17161     0,    0-17161
183Procedure AppelF1 (line 631) has OLD-STYLE-HELP!
184g ./libparse                    AppelF1 line  631,17168-17182   633,17231-17620   648,17623-17741
185Procedure AppelF2 (line 657) has OLD-STYLE-HELP!
186g ./libparse                    AppelF2 line  657,17746-17760   659,17807-18134   673,18137-18255
187Procedure AppelF4 (line 682) has OLD-STYLE-HELP!
188g ./libparse                    AppelF4 line  682,18260-18274   684,18325-18676   698,18679-18797
189
190
191g ./libparse                  poly2list line  707,18802-18825   713,19042-19273   728,19276-19429
192
193
194g ./libparse                     isFsat line  740,19436-19464   748,19760-20145   764,20148-20338
195
196
197g ./libparse                       DLoc line  777,20343-20369   789,21033-21522   811,21525-21757
198
199
200g ./libparse                      DLoc0 line  823,21762-21789   835,22517-27982  1043,27985-28294
201
202
203g ./libparse                      SDLoc line 1057,28301-28328  1068,28884-33304  1250,33307-33496
204
205
206g ./libparse                     annRat line 1263,33501-33528  1274,34050-36056  1352,36059-36585
207Procedure ex_annRat (line 1369) has OLD-STYLE-HELP!
208l ./libparse                  ex_annRat line 1369,36596-36613  1370,36615-36766     0,    0-36766
209
210
211g ./libparse                    annPoly line 1379,36771-36791  1391,37309-37856  1419,37859-38103
212Procedure exCusp (line 1431) has OLD-STYLE-HELP!
213l ./libparse                     exCusp line 1431,38114-38128  1432,38130-38472     0,    0-38472
214Procedure exWalther1 (line 1450) has OLD-STYLE-HELP!
215l ./libparse                 exWalther1 line 1450,38483-38501  1451,38503-38829     0,    0-38829
216Procedure exWalther2 (line 1470) has OLD-STYLE-HELP!
217l ./libparse                 exWalther2 line 1470,38840-38858  1471,38860-39278     0,    0-39278
218Procedure exWalther3 (line 1494) has OLD-STYLE-HELP!
219l ./libparse                 exWalther3 line 1494,39289-39307  1495,39309-39944     0,    0-39944
220Procedure engine (line 1526) has OLD-STYLE-HELP!
221g ./libparse                     engine line 1526,39949-39976  1527,40005-40228  1543,40231-40435
222
223///////////////////////////./dmodapp.lib//////////////////////////////
224
225[10, L:92]: @* - Ann F^s = I = I(F^s) = LD in D(R)[s] can be computed by SannfsBM, SannfsOT, SannfsLOT
226[11, L:85]: @* - global Bernstein polynomial bs resp. BS in K[s] can be computed by bernsteinBM
227[16, L:91]: annRat(f,g); compute the annihilator of a rational function f/g in the corr. Weyl algebra
228[17, L:82]: annPoly(f);  compute the annihilator of a polynomial f in the corr. Weyl algebra
229[18, L:105]: initialmalgrange(f[,s,t,u,v]); compute a Groebner basis of the initial Malgrange ideal for a given poly
230[19, L:92]: initialideal(I,u,v[,s,t]); compute the initial ideal of a given ideal w.r.t. given weights
231[23, L:105]: SDLoc(I, F); compute a generic presentation of the localization of D/I w.r.t. f^s, for D a Weyl algebra
232[24, L:87]: DLoc0(I, F); compute the localization of D/I w.r.t. f^s, based on the procedure SDLoc
233[25, L:81]: InForm(f,w);     compute the initial form of a poly/ideal w.r.t. a given weight
234[68, L:82]: "USAGE:  initialideal(I,u,v [,s,t]);  I an ideal, u,v intvecs, s,t optional ints
235[69, L:104]: RETURN:  an ideal, a Broebner basis of the initial ideal of the input ideal w.r.t. the weights u and v
236[71, L:83]: NOTE:    Assume, I is an ideal in the n-th Weyl algebra where the sequence of the
237[73, L:90]: @*       Further assume that u is the weight for the x(i) and v the weight for the D(i).
238[74, L:87]: @*       Note that the returned ideal is not a D-ideal but an ideal in the associated
239[76, L:82]: @*       If s<>0, @code{std} is used for Groebner basis computations, otherwise,
240[120, L:96]: "USAGE:  initialmalgrange(f, [,s,t,u,v]);  f a poly, s,t,u optional ints, v an optional intvec
241[121, L:100]: RETURN:  a ring, the Weyl algebra induced by the basering, extended in the indeterminates t and Dt
242[122, L:87]: PURPOSE: compute the initial Malgrange ideal of a given poly w.r.t. the weight vector
243[123, L:91]: @*       (-1,0...,0,1,0,...,0) such that the weight of t is -1 and the weight of Dt is 1.
244[127, L:82]: @*       If s<>0, @code{std} is used for Groebner basis computations, otherwise,
245[132, L:87]: @*       If v is a positive weight vector, v is used for homogenization computations,
246[178, L:100]:   def D = initialidealengine("initialmalgrange",whichengine, methodord, f, 0, 0, u0, reversevars);
247[197, L:83]: proc initialidealengine(string calledfrom, int whichengine, int blockord, list #)
248[278, L:91]:         ring Dh = 0,(t,s,x(n..1),Dt,D(n..1),h),(a(@a),a(@a2),a(uv),dp(noofvars-1),lp(1));
249[364, L:82]:   dbprint(ppl, "starting Groebner basis computation with engine:", whichengine);
250[429, L:93]:     dbprint(ppl, "starting cosmetic Groebner basis computation with engine:", whichengine);
251[443, L:97]: NOTE:    the size of the weight vector must be equal to the number of variables of the basering
252[783, L:94]: @*       - the ideal LD0 (which is a Groebner basis) is the presentation of the localization
253[784, L:106]: @*       - the ideal BS contains the roots with multiplicities of a Bernstein polynomial of D/I w.r.t f.
254[826, L:140]: PURPOSE: compute the presentation of the localization of D/I w.r.t. f^s, where D is a Weyl Algebra, based on the output of procedure SDLoc
255[829, L:94]: @*       - the ideal LD0 (which is a Groebner basis) is the presentation of the localization
256[830, L:106]: @*       - the ideal BS contains the roots with multiplicities of a Bernstein polynomial of D/I w.r.t f.
257[865, L:110]:   ideal bs; intvec m;             //the Bernstein polynomial is monic, so we are not interested in constants
258[1060, L:106]: PURPOSE: compute a generic presentation of the localization of D/I w.r.t. f^s, where D is a Weyl Algebra
259[1063, L:93]: @*       - the ideal LD (which is a Groebner basis) is the presentation of the localization
260[1266, L:89]: PURPOSE: compute the ideal in Weyl algebra, annihilating the rational function g*f^{-1}
261[1269, L:83]: @*       - the ideal RLD (which is given in a Groebner basis) is the annihilator.
262[1283, L:89]:   int isr = 0; // checkRoot1(LD,f,1); // roots are negative, have to enter positive int
263[1361, L:189]:   ideal tst = 3*x*Dx + 2*y*Dy + 1, y^3*Dy^2 - x^2*Dy^2 + 6*y^2*Dy + 6*y, 9*y^2*Dx^2*Dy - 4*y*Dy^3 + 27*y*Dx^2 + 2*Dy^2, 9*y^3*Dx^2 - 4*y^2*Dy^2 + 10*y*Dy -10; //todo: maybe a bit too long
264[1385, L:83]: @*       - the ideal RLD (which is given in a Groebner basis) is the annihilator.
265///////////////////////////./freegb.lib//////////////////////////////
266
267Checking library './freegb.lib'
268Reporting most possible annomalies.
269
270  Library                      function      line,start-eod    line,body-eob     line,example-eoe
271Version:(1.12,2008/10/06);
272g ./libparse                     lshift line   33, 1144-1199     34, 1200-2197      0,    0-2197
273*** Procedure 'lshift' is global and has no help-section.
274*** Procedure 'lshift' is global and has no example-section.
275g ./libparse                      skip0 line   78, 2200-2220     79, 2221-2504      0,    0-2504
276*** Procedure 'skip0' is global and has no help-section.
277*** Procedure 'skip0' is global and has no example-section.
278g ./libparse                    lst2str line  101, 2507-2535    108, 2823-3317    137, 3319-3545
279g ./libparse                    mod2str line  149, 3549-3579    156, 3837-4330    190, 4332-4476
280g ./libparse                    vct2str line  199, 4479-4509    206, 4761-6090    278, 6092-6300
281g ./libparse                      IsVar line  290, 6303-6321    291, 6322-6792    314, 6794-6961
282*** Procedure 'IsVar' is global and has no help-section.
283g ./libparse                   id2words line  330, 6992-7021    331, 7022-7602    365, 7604-7738
284*** Procedure 'id2words' is global and has no help-section.
285g ./libparse                  mono2word line  373, 7741-7770    374, 7771-7773      0,    0-7773
286*** Procedure 'mono2word' is global and has no help-section.
287*** Procedure 'mono2word' is global and has no example-section.
288g ./libparse                 freegbasis line  393, 8348-8379    400, 8622-13596   635,13598-13828
289g ./libparse                        crs line  647,13831-13855   653,14007-16759   783,16761-16991
290g ./libparse                    polylen line  796,16994-17015   797,17016-17238     0,    0-17238
291*** Procedure 'polylen' is global and has no help-section.
292*** Procedure 'polylen' is global and has no example-section.
293g ./libparse                 freegbRing line  812,17241-17263   818,17429-18705   881,18707-18820
294g ./libparse                   ex_shift line  890,18823-18838   891,18839-19313     0,    0-19313
295*** Procedure 'ex_shift' is global and has no help-section.
296*** Procedure 'ex_shift' is global and has no example-section.
297g ./libparse                test_shrink line  911,19316-19334   912,19335-20010     0,    0-20010
298*** Procedure 'test_shrink' is global and has no help-section.
299*** Procedure 'test_shrink' is global and has no example-section.
300g ./libparse                        ex2 line  938,20013-20023   939,20024-20166     0,    0-20166
301*** Procedure 'ex2' is global and has no help-section.
302*** Procedure 'ex2' is global and has no example-section.
303g ./libparse                ex_nonhomog line  948,20169-20187   949,20188-20485     0,    0-20485
304*** Procedure 'ex_nonhomog' is global and has no help-section.
305*** Procedure 'ex_nonhomog' is global and has no example-section.
306g ./libparse           ex_nonhomog_comm line  966,20488-20511   967,20512-20643     0,    0-20643
307*** Procedure 'ex_nonhomog_comm' is global and has no help-section.
308*** Procedure 'ex_nonhomog_comm' is global and has no example-section.
309g ./libparse              ex_nonhomog_h line  976,20646-20666   977,20667-20823     0,    0-20823
310*** Procedure 'ex_nonhomog_h' is global and has no help-section.
311*** Procedure 'ex_nonhomog_h' is global and has no example-section.
312g ./libparse             ex_nonhomog_h2 line  986,20826-20847   987,20848-21148     0,    0-21148
313*** Procedure 'ex_nonhomog_h2' is global and has no help-section.
314*** Procedure 'ex_nonhomog_h2' is global and has no example-section.
315g ./libparse              ex_nonhomog_3 line 1005,21152-21172  1006,21173-21472     0,    0-21472
316*** Procedure 'ex_nonhomog_3' is global and has no help-section.
317*** Procedure 'ex_nonhomog_3' is global and has no example-section.
318g ./libparse                ex_densep_2 line 1024,21475-21493  1025,21494-21818     0,    0-21818
319*** Procedure 'ex_densep_2' is global and has no help-section.
320*** Procedure 'ex_densep_2' is global and has no example-section.
321g ./libparse                  freegbold line 1048,21995-22025  1055,22266-27363  1294,27365-27594
322g ./libparse                        sgb line 1306,27597-27621  1307,27622-28041     0,    0-28041
323*** Procedure 'sgb' is global and has no help-section.
324*** Procedure 'sgb' is global and has no example-section.
325l ./libparse                   checkCeq line 1331,28052-28068  1332,28069-28338     0,    0-28338
326g ./libparse                     exHom1 line 1345,28342-28355  1346,28356-29116     0,    0-29116
327*** Procedure 'exHom1' is global and has no help-section.
328*** Procedure 'exHom1' is global and has no example-section.
329l ./libparse                      test1 line 1381,29125-29138  1382,29139-29355     0,    0-29355
330l ./libparse                      test2 line 1395,29364-29377  1396,29378-29594     0,    0-29594
331l ./libparse                      test3 line 1409,29603-29616  1410,29617-29837     0,    0-29837
332Procedure schur2 (line 1422) has OLD-STYLE-HELP!
333g ./libparse                     schur2 line 1422,29840-29852  1423,29856-30057     0,    0-30057
334*** Procedure 'schur2' is global and has no example-section.
335g ./libparse                       adem line 1431,30060-30083  1432,30084-30655  1460,30657-30736
336*** Procedure 'adem' is global and has no help-section.
337g ./libparse                   adem2mod line 1498,31378-31398  1499,31399-31425     0,    0-31425
338*** Procedure 'adem2mod' is global and has no help-section.
339*** Procedure 'adem2mod' is global and has no example-section.
340g ./libparse          stringpoly2lplace line 1503,31428-31460  1504,31461-34031  1638,34033-34269
341*** Procedure 'stringpoly2lplace' is global and has no help-section.
342g ./libparse                  addplaces line 1649,34272-34294  1650,34295-34624  1669,34626-34732
343*** Procedure 'addplaces' is global and has no help-section.
344g ./libparse                sent2lplace line 1677,34735-34761  1678,34762-34937  1688,34939-35064
345*** Procedure 'sent2lplace' is global and has no help-section.
346g ./libparse                 testnumber line 1696,35067-35092  1697,35093-35910  1736,35912-36042
347*** Procedure 'testnumber' is global and has no help-section.
348g ./libparse                 str2lplace line 1746,36045-36070  1747,36071-37392  1814,37394-37547
349*** Procedure 'str2lplace' is global and has no help-section.
350g ./libparse               strpower2rep line 1823,37550-37577  1824,37578-39547  1924,39549-39702
351*** Procedure 'strpower2rep' is global and has no help-section.
352g ./libparse                      Liebr line 1933,39705-39739  1934,39740-40139  1962,40141-40363
353*** Procedure 'Liebr' is global and has no help-section.
354g ./libparse                    pmLiebr line 1973,40366-40394  1974,40395-40523     0,    0-40523
355*** Procedure 'pmLiebr' is global and has no help-section.
356*** Procedure 'pmLiebr' is global and has no example-section.
357g ./libparse                     pshift line 1986,40576-40602  1987,40603-40720     0,    0-40720
358*** Procedure 'pshift' is global and has no help-section.
359*** Procedure 'pshift' is global and has no example-section.
360g ./libparse                    mmLiebr line 1993,40723-40751  1994,40752-40899     0,    0-40899
361*** Procedure 'mmLiebr' is global and has no help-section.
362*** Procedure 'mmLiebr' is global and has no example-section.
363l ./libparse                 test_shift line 2004,40908-40926  2005,40927-41142     0,    0-41142
364g ./libparse                      Serre line 2017,41145-41173  2018,41174-42253  2058,42255-42509
365*** Procedure 'Serre' is global and has no help-section.
366g ./libparse                    lp2lstr line 2072,42512-42543  2078,42740-44683  2175,44685-44991
367g ./libparse               strList2poly line 2191,44994-45019  2192,45020-45513  2218,45515-45738
368*** Procedure 'strList2poly' is global and has no help-section.
369g ./libparse                file2lplace line 2231,45741-45771  2232,45772-46579  2273,46581-47016
370*** Procedure 'file2lplace' is global and has no help-section.
371l ./libparse                get_ls3nilp line 2289,47025-47044  2290,47045-47315     0,    0-47315
372l ./libparse                doc_example line 2303,47324-47342  2304,47342-47775     0,    0-47775
373
374///////////////////////////./freegb.lib//////////////////////////////
375
376[9, L:81]: freegbRing(int d);    creates a ring with d blocks of shifted original variables
377[10, L:102]: freegbasis(list L, int n);   compute two-sided Groebner basis of ideal, encoded via L, up to degree n
378[15, L:97]: lst2str(list L[,int n]);            convert a list (of modules) into polynomials in free algebra
379[1338, L:81]:   ideal I = x(1)*x(2) - x(1)*y(2), x(2)*x(3) - x(2)*y(3), x(3)*x(4) - x(3)*y(4);
380[1494, L:84]: s1*s1 =0, s2*s2 = s1*s2*s1, s(1)*s(3)== s(1)*s(1)*s(3) == 0 = 2*s(4) ->def for s(4)
381[2310, L:82]:   ideal I = x(1)*y(2) + y(1)*z(2), x(1)*x(2) + x(1)*y(2) - y(1)*x(2) - y(1)*y(2);
382///////////////////////////./jacobson.lib//////////////////////////////
383
384Checking library './jacobson.lib'
385Reporting most possible annomalies.
386
387  Library                      function      line,start-eod    line,body-eob     line,example-eoe
388Version:(1.3,2008/10/10);
389
390
391g ./libparse                      smith line   25, 1170-1202     40, 2057-3247     99, 3250-3430
392Procedure diagonal_with_trafo (line 107) has OLD-STYLE-HELP!
393g ./libparse        diagonal_with_trafo line  107, 3433-3479    108, 3481-8371      0,    0-8371
394*** Procedure 'diagonal_with_trafo' is global and has no help-section.
395*** Procedure 'diagonal_with_trafo' is global and has no example-section.
396Procedure divisibility (line 331) has OLD-STYLE-HELP!
397g ./libparse               divisibility line  331, 8378-8405    332, 8410-10005     0,    0-10005
398*** Procedure 'divisibility' is global and has no example-section.
399Procedure diagonal_without_trafo (line 399) has OLD-STYLE-HELP!
400g ./libparse       diagonal_without_trafo line  399,10010-10059   400,10061-13060     0,    0-13060
401*** Procedure 'diagonal_without_trafo' is global and has no help-section.
402*** Procedure 'diagonal_without_trafo' is global and has no example-section.
403Procedure engine (line 536) has OLD-STYLE-HELP!
404l ./libparse                     engine line  536,13075-13104   537,13106-13264     0,    0-13264
405
406
407g ./libparse                   jacobson line  554,13269-13304   567,14002-14834   613,14837-15134
408Procedure triangle (line 626) has OLD-STYLE-HELP!
409g ./libparse                   triangle line  626,15143-15175   627,15177-19895     0,    0-19895
410*** Procedure 'triangle' is global and has no help-section.
411*** Procedure 'triangle' is global and has no example-section.
412Procedure divideByContent (line 825) has OLD-STYLE-HELP!
413l ./libparse            divideByContent line  825,19906-19937   826,19939-20192     0,    0-20192
414Procedure Ex_One_wheeled_bicycle (line 843) has OLD-STYLE-HELP!
415l ./libparse       Ex_One_wheeled_bicycle line  843,20260-20290   844,20292-20453     0,    0-20453
416Procedure Ex_RLC (line 853) has OLD-STYLE-HELP!
417l ./libparse                     Ex_RLC line  853,20466-20479   854,20491-20671     0,    0-20671
418Procedure Ex_two_pendula (line 863) has OLD-STYLE-HELP!
419l ./libparse             Ex_two_pendula line  863,20684-20706   864,20708-20960     0,    0-20960
420Procedure Ex_linerized_satellite_in_a_circular_equatorial_orbit (line 876) has OLD-STYLE-HELP!
421l ./libparse       Ex_linerized_satellite_in_a_circular_equatorial_orbit line  876,20975-21036   877,21038-21281     0,    0-21281
422Procedure Ex_flexible_one_link_robot (line 891) has OLD-STYLE-HELP!
423l ./libparse       Ex_flexible_one_link_robot line  891,21292-21326   892,21328-21556     0,    0-21556
424Procedure Ex_compare_output_with_maple_package_JanetOre (line 905) has OLD-STYLE-HELP!
425l ./libparse       Ex_compare_output_with_maple_package_JanetOre line  905,21629-21682   906,21686-21962     0,    0-21962
426Procedure Ex_cyclic (line 919) has OLD-STYLE-HELP!
427l ./libparse                  Ex_cyclic line  919,21975-21992   920,21994-22248     0,    0-22248
428
429///////////////////////////./jacobson.lib//////////////////////////////
430
431[10, L:89]: @*  If R is non-commutative, we suppose R to be in two variables, say x and d. We treat
432[11, L:91]: @* then the Ore localization of R with respect to the mult.closed set S = K[x] without 0.
433[12, L:84]: @*  Given a rectangular matrix M over R, one can compute unimodular matrices U, V
434[17, L:83]: smith(R,M[,eng1,eng2]);  compute the Smith Normal Form of M over commutative ring
435[18, L:117]: jacobson(R,M[,eng]);     compute a weak Jacobson Normal Form of M over non-commutative ring, i.e. a diagonal matrix
436[26, L:87]: "USAGE:  smith(R, M[, eng1, eng2]);  R ring, M matrix, eng1 and eng2 are optional int
437[30, L:90]: @* a list of matrices L such that L[1]*M*L[3]=L[2] with L[2]_11|L[2]_22|...|L[2]_nn and
438[32, L:95]: @* eng2 determines the engine, that computes the Groebner basis. By default eng2 equals zero.
439[33, L:82]: @* If optional integer eng2 = 0 than std is used to caculate a Groebner basis ,
440[87, L:86]:     list rueckL=CON*rueckLII[1]*rueckLI[1], CON*rueckLII[2], rueckLI[3]*rueckLII[3];
441[151, L:108]:   int flag=1;  ///////////////counts if the underlying ring is r (flag mod 2 == 1) or ro (flag mod 2 == 0)
442[423, L:107]:   int flag=1; ///////////////counts if the underlying ring is r (flag mod 2 == 1) or ro (flag mod 2 == 0)
443[557, L:96]: NOTE: A list of matrices L such that L[1]*M*L[3]=L[2] such that L[2] is a diagonal matrix and
444[559, L:93]: @* eng determines the engine, that computes the Groebner basis. By default eng equals zero.
445[660, L:110]:     int flag=1;  ///////////////counts if the underlying ring is r (flag mod 2 == 1) or ro (flag mod 2 == 0)
446[684, L:107]:       if(flag mod 2==1){STD_EX=EXL,transpose(STD); ex=2*COL;} else {STD_EX=EXR,transpose(STD); ex=2*ROW;}
447[694, L:81]:       dbprint(ppl,"Computing Groebner basis for transformation matrix: start");
448[697, L:84]:       dbprint(ppl,"Computing Groebner basis for transformation matrix: finished");
449[720, L:102]:         {if( leadcoef(STD[i-nz])!=leadcoef(STD_EX[i]) )     {STD[i-nz]=leadcoef(STD_EX[i])*STD[i-nz];}
450[819, L:83]: if (flag mod 2 ==0){ STD = involution(STD,inv);} else { STD = transpose(STD);  }
451[867, L:96]: matrix pendula[3][4]=m1*L1*D^2,m2*L2*D^2,(M+m1+m2)*D^2,-1,m1*L1^2*D^2-m1*L1*g,0,m1*L1*D^2,0,0,
452[895, L:94]: matrix robot[3][4]=M11*D^2,M12*D^2,M13*D^2,-1,M21*D^2,M22*D^2+K1,0,0,M31*D^2,0,M33*D^2+K2,0;
453///////////////////////////./matrix.lib//////////////////////////////
454
455Checking library './matrix.lib'
456Reporting most possible annomalies.
457
458  Library                      function      line,start-eod    line,body-eob     line,example-eoe
459Version:(1.43,2008/10/01);
460g ./libparse             symmetricBasis line   23,  824-857      34, 1425-1681     47, 1683-1994
461g ./libparse              exteriorBasis line   65, 2077-2109     77, 2678-2972     91, 2974-3315
462g ./libparse             symmetricPower line  126, 3415-3451    134, 3777-5550    231, 5552-6230
463g ./libparse              exteriorPower line  267, 6313-6348    276, 6689-8393    373, 8395-9101
464
465///////////////////////////./matrix.lib//////////////////////////////
466
467///////////////////////////./nchomolog.lib//////////////////////////////
468
469Checking library './nchomolog.lib'
470Reporting most possible annomalies.
471
472  Library                      function      line,start-eod    line,body-eob     line,example-eoe
473Version:(1.8,2008/08/07);
474g ./libparse                  contraHom line   26, 1057-1088     27, 1089-1343     43, 1345-1511
475*** Procedure 'contraHom' is global and has no help-section.
476g ./libparse                      coHom line   53, 1514-1541     54, 1542-1796     70, 1798-1964
477*** Procedure 'coHom' is global and has no help-section.
478g ./libparse                      ncHom line   80, 1967-1997     88, 2280-2830    109, 2832-3040
479g ./libparse                  ncHom_alt line  121, 3043-3077    122, 3078-3349    131, 3351-3563
480*** Procedure 'ncHom_alt' is global and has no help-section.
481g ./libparse                    ncHom_R line  143, 3566-3588    150, 3829-4255    166, 4257-4485
482g ./libparse                      ncExt line  181, 4489-4528    188, 4770-5490    211, 5492-5662
483g ./libparse                    ncExt_R line  221, 5665-5695    226, 5898-6817    259, 6819-7268
484g ./libparse                     nctors line  278, 7271-7292    279, 7293-7895      0,    0-7895
485*** Procedure 'nctors' is global and has no help-section.
486*** Procedure 'nctors' is global and has no example-section.
487Procedure altExt_R (line 301) has OLD-STYLE-HELP!
488g ./libparse                   altExt_R line  301, 7898-7939    305, 8001-9054    340, 9056-9226
489g ./libparse                 tensorMaps line  350, 9229-9264    351, 9265-9635      0,    0-9635
490*** Procedure 'tensorMaps' is global and has no help-section.
491*** Procedure 'tensorMaps' is global and has no example-section.
492g ./libparse                ncTensorMod line  374, 9638-9678    375, 9679-9911      0,    0-9911
493*** Procedure 'ncTensorMod' is global and has no help-section.
494*** Procedure 'ncTensorMod' is global and has no example-section.
495g ./libparse                      ncTor line  385, 9915-9954    386, 9955-10461     0,    0-10461
496*** Procedure 'ncTor' is global and has no help-section.
497*** Procedure 'ncTor' is global and has no example-section.
498l ./libparse                 Hochschild line  401,10471-10489   402,10490-11292     0,    0-11292
499l ./libparse                        Lie line  427,11301-11312   428,11313-12091     0,    0-12091
500Procedure AllExts (line 466) has OLD-STYLE-HELP!
501g ./libparse                    AllExts line  466,12095-12125   471,12277-12758     0,    0-12758
502*** Procedure 'AllExts' is global and has no example-section.
503l ./libparse                  dmod_exts line  503,12767-12792   504,12793-12834     0,    0-12834
504g ./libparse                dmodualtest line  508,12837-12870   509,12871-13689   535,13691-13826
505*** Procedure 'dmodualtest' is global and has no help-section.
506g ./libparse                dmodoublext line  545,13830-13864   553,14229-15300   600,15302-15584
507l ./libparse                 part_Ext_R line  616,15593-15619   617,15620-16195     0,    0-16195
508
509///////////////////////////./nchomolog.lib//////////////////////////////
510
511[147, L:82]: NOTE: ncHom_R(M) is a right module, hence a right presentation matrix is returned
512[549, L:87]: NOTE: by default, i is set to the integer part of the half of number of variables of D
513[550, L:84]: @* for holonomic modules over Weyl algebra, the double ext is known to be holonomic