Annotation of OpenXM_contrib/pari-2.2/src/language/compat.c, Revision 1.2
1.2 ! noro 1: /* $Id: compat.c,v 1.28 2002/08/21 15:09:57 karim Exp $
1.1 noro 2:
3: Copyright (C) 2000 The PARI group.
4:
5: This file is part of the PARI/GP package.
6:
7: PARI/GP is free software; you can redistribute it and/or modify it under the
8: terms of the GNU General Public License as published by the Free Software
9: Foundation. It is distributed in the hope that it will be useful, but WITHOUT
10: ANY WARRANTY WHATSOEVER.
11:
12: Check the License for details. You should have received a copy of it, along
13: with the package; see the file 'COPYING'. If not, write to the Free Software
14: Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. */
15:
16: #include "pari.h"
1.2 ! noro 17: #include "parinf.h"
1.1 noro 18: extern GEN geni(void);
19:
20: static GEN
21: prod0(GEN x, entree *ep, GEN a, GEN b, char *ch) {return produit(ep,a,b,ch,x);}
22:
23: static GEN
24: sum0(GEN x, entree *ep, GEN a, GEN b, char *ch) {return somme(ep,a,b,ch,x);}
25:
26: static long
27: sturm0(GEN x) {return sturm(x);}
28:
29: static GEN
30: sigmak0(long k, GEN x) {return gsumdivk(x,k);}
31:
32: static GEN
33: lseriesell0(GEN a, GEN b, GEN c, GEN d, long prec)
34: {(void)c; return lseriesell(a,b,d,prec);}
35:
36: static GEN
37: subres0(GEN x, GEN y) { return subres(x,y); }
38:
39: static long
40: rounderror(GEN x)
41: {
1.2 ! noro 42: gpmem_t av = avma;
! 43: long e; (void)grndtoi(x,&e);
! 44: avma = av; return (long)(e*L2SL10);
1.1 noro 45: }
46:
47: static GEN
1.2 ! noro 48: _factpol(GEN x, long t/*unused*/, long hint) { return factpol(x,hint); }
1.1 noro 49:
50: static void
1.2 ! noro 51: suppressed(void) {err(talker,"this function has been suppressed");}
! 52:
! 53: #define BUCH_PROTO "GD0.3,G,D0.3,G,D5,G,D1,G,D4,L,D3,L,p"
! 54: static GEN
! 55: buchgen(GEN g1,GEN g2,GEN g3,GEN g4, GEN g5,long l1,long l2, long prec) {
! 56: return buchall(g1,g2,g3,g4,g5,l1,l2,0,prec);
! 57: }
! 58: static GEN
! 59: buchgenfu(GEN g1,GEN g2,GEN g3,GEN g4, GEN g5,long l1,long l2,long prec) {
! 60: return buchall(g1,g2,g3,g4,g5,l1,l2,nf_UNITS,prec);
! 61: }
! 62: static GEN
! 63: buchgenforcefu(GEN g1,GEN g2,GEN g3,GEN g4, GEN g5,long l1,long l2,long prec) {
! 64: return buchall(g1,g2,g3,g4,g5,l1,l2,nf_UNITS|nf_FORCE,prec);
! 65: }
! 66: static GEN
! 67: buchinit(GEN g1,GEN g2,GEN g3,GEN g4, GEN g5,long l1,long l2,long prec) {
! 68: return buchall(g1,g2,g3,g4,g5,l1,l2,nf_INIT,prec);
! 69: }
! 70: static GEN
! 71: buchinitfu(GEN g1,GEN g2,GEN g3,GEN g4, GEN g5,long l1,long l2,long prec) {
! 72: return buchall(g1,g2,g3,g4,g5,l1,l2,nf_INIT|nf_UNITS,prec);
! 73: }
! 74: static GEN
! 75: buchinitforcefu(GEN g1,GEN g2,GEN g3,GEN g4, GEN g5,long l1,long l2,long prec) {
! 76: return buchall(g1,g2,g3,g4,g5,l1,l2,nf_INIT|nf_UNITS|nf_FORCE,prec);
! 77: }
1.1 noro 78:
79: entree oldfonctions[]={
80: {"O",50,NULL,7,NULL},
81: {"abs",1,(void *)gabs,3,"Gp"},
82: {"acos",1,(void *)gacos,3,"Gp"},
83: {"acosh",1,(void *)gach,3,"Gp"},
84: {"addell",3,(void *)addell,5,"GGG"},
85: {"addprimes",1,(void *)addprimes,4,"G"},
86: {"adj",1,(void *)adj,8,"G"},
87: {"agm",2,(void *)agm,3,"GGp"},
88: {"akell",2,(void *)akell,5,"GG"},
89: {"algdep",23,(void *)algdep,8,"GLp"},
90: {"algdep2",33,(void *)algdep2,8,"GLLp"},
91: {"algtobasis",2,(void*)algtobasis,6,"GG"},
92: {"anell",23,(void *)anell,5,"GL"},
93: {"apell",2,(void *)apell,5,"GG"},
94: {"apell2",2,(void *)apell2,5,"GG"},
95: {"apprpadic",2,(void *)apprgen9,7,"GG"},
96: {"arg",1,(void *)garg,3,"Gp"},
97: {"asin",1,(void *)gasin,3,"Gp"},
98: {"asinh",1,(void *)gash,3,"Gp"},
99: {"assmat",1,(void *)assmat,8,"G"},
100: {"atan",1,(void *)gatan,3,"Gp"},
101: {"atanh",1,(void *)gath,3,"Gp"},
102: {"basis",13,(void *)base,6,"Gf"},
103: {"basis2",13,(void *)base2,6,"Gf"},
104: {"basistoalg",2,(void*)basistoalg,6,"GG"},
105: {"bernreal",11,(void *)bernreal,3,"Lp"},
106: {"bernvec",11,(void *)bernvec,3,"L"},
107: {"bestappr",2,(void *)bestappr,4,"GGp"},
108: {"bezout",2,(void *)vecbezout,4,"GG"},
109: {"bezoutres",2,(void *)vecbezoutres,4,"GG"},
110: {"bigomega",1,(void *)gbigomega,4,"G"},
111: {"bilhell",3,(void *)bilhell,5,"GGGp"},
112: {"bin",21,(void *)binome,4,"GL"},
113: {"binary",1,(void *)binaire,2,"G"},
114: {"bittest",2,(void *)gbittest,2,"GG"},
115: {"boundcf",21,(void *)gboundcf,4,"GL"},
116: {"boundfact",21,(void *)boundfact,4,"GL"},
117: {"buchcertify",10,(void *)certifybuchall,6,"lG"},
118: {"buchfu",1,(void *)buchfu,6,"Gp"},
1.2 ! noro 119: {"buchgen",99,(void *)buchgen,6,BUCH_PROTO},
! 120: {"buchgenforcefu",99,(void *)buchgenforcefu,6,BUCH_PROTO},
! 121: {"buchgenfu",99,(void *)buchgenfu,6,BUCH_PROTO},
! 122: {"buchimag",99,(void *)buchimag,4,"GD0.1,G,D0.1,G,D5,G,"},
! 123: {"buchinit",99,(void *)buchinit,6,BUCH_PROTO},
! 124: {"buchinitforcefu",99,(void *)buchinitforcefu,6,BUCH_PROTO},
! 125: {"buchinitfu",99,(void *)buchinitfu,6,BUCH_PROTO},
1.1 noro 126: {"buchnarrow",1,(void *)buchnarrow,6,"Gp"},
127: {"buchray",2,(void *)buchray,6,"GGp"},
128: {"buchrayinit",2,(void *)buchrayinit,6,"GGp"},
129: {"buchrayinitgen",2,(void *)buchrayinitgen,6,"GGp"},
130: {"buchreal",97,(void *)buchreal,4,"GD0,G,D0.1,G,D0.1,G,D5,G,p"},
131: {"bytesize",10,(void *)taille2,2,"lG"},
132: {"ceil",1,(void *)gceil,2,"G"},
133: {"centerlift",1,(void *)centerlift,2,"G"},
134: {"cf",1,(void *)gcf,4,"Gp"},
135: {"cf2",2,(void *)gcf2,4,"GGp"},
136: {"changevar",2,(void *)changevar,2,"GG"},
137: {"char",14,(void *)caradj0,8,"Gn"},
138: {"char1",14,(void *)caract,8,"Gn"},
139: {"char2",14,(void *)carhess,8,"Gn"},
140: {"chell",2,(void *)coordch,5,"GG"},
141: {"chinese",2,(void *)chinois,4,"GG"},
142: {"chptell",2,(void *)pointch,5,"GG"},
143: {"classno",1,(void *)classno,4,"G"},
144: {"classno2",1,(void *)classno2,4,"G"},
145: {"coeff",21,(void *)truecoeff,2,"GL"},
146: {"compimag",2,(void *)compimag,4,"GG"},
147: {"compo",21,(void *)compo,2,"GL"},
148: {"compositum",2,(void *)compositum,6,"GG"},
149: {"compositum2",2,(void *)compositum2,6,"GG"},
150: {"comprealraw",2,(void *)comprealraw,4,"GG"},
151: {"concat",2,(void *)concat,8,"GG"},
152: {"conductor",62,(void *)bnrconductor,6,"GD0,G,D0,G,D1,L,"},
153: {"conductorofchar",2,(void *)bnrconductorofchar,6,"GG"},
154: {"conj",1,(void *)gconj,2,"G"},
155: {"conjvec",1,(void *)conjvec,2,"Gp"},
156: {"content",1,(void *)content,4,"G"},
157: {"convol",2,(void *)convol,7,"GG"},
158: {"core",1,(void *)core,4,"G"},
159: {"core2",1,(void *)core2,4,"G"},
160: {"coredisc",1,(void *)coredisc,4,"G"},
161: {"coredisc2",1,(void *)coredisc2,4,"G"},
162: {"cos",1,(void *)gcos,3,"Gp"},
163: {"cosh",1,(void *)gch,3,"Gp"},
164: {"cvtoi",13,(void *)gcvtoi,2,"Gf"},
165: {"cyclo",11,(void *)cyclo,7,"LDn"},
166: {"decodefactor",1,(void *)factorback,4,"G"},
167: {"decodemodule",2,(void *)decodemodule,6,"GG"},
168: {"degree",10,(void *)degree,2,"lG"},
169: {"denom",1,(void *)denom,2,"G"},
170: {"deplin",1,(void *)deplin,8,"Gp"},
171: {"deriv",14,(void *)deriv,7,"Gn"},
172: {"det",1,(void *)det,8,"G"},
173: {"det2",1,(void *)det2,8,"G"},
174: {"detint",1,(void *)detint,8,"G"},
175: {"diagonal",1,(void *)diagonal,8,"G"},
176: {"dilog",1,(void *)dilog,3,"Gp"},
177: {"dirdiv",2,(void *)dirdiv,7,"GG"},
178: {"direuler",83,(void *)direuler,7,"V=GGI"},
179: {"dirmul",2,(void *)dirmul,7,"GG"},
180: {"dirzetak",2,(void *)dirzetak,6,"GG"},
181: {"disc",1,(void *)discsr,7,"G"},
182: {"discf",1,(void *)discf,6,"G"},
183: {"discf2",1,(void *)discf2,6,"G"},
184: {"discrayabs",62,(void *)bnrdisc0,6,"GD0,G,D0,G,D0,L,"},
185: {"discrayabscond",62,(void *)bnrdisc0,6,"GD0,G,D0,G,D2,L,"},
186: {"discrayabslist",2,(void *)discrayabslist,6,"GG"},
187: {"discrayabslistarch",32,(void *)discrayabslistarch,6,"GGL"},
188: {"discrayabslistarchall",32,(void *)discrayabslistarch,6,"GL"},
189: {"discrayabslistlong",21,(void *)discrayabslistlong,6,"GL"},
190: {"discrayrel",62,(void *)bnrdisc0,6,"GD0,G,D0,G,D1,L,"},
191: {"discrayrelcond",62,(void *)bnrdisc0,6,"GD0,G,D0,G,D3,L,"},
192: {"divisors",1,(void *)divisors,4,"G"},
193: {"divres",2,(void *)gdiventres,1,"GG"},
194: {"divsum",22,(void *)divsum,9,"GVI"},
195: {"eigen",1,(void *)eigen,8,"Gp"},
196: {"eint1",1,(void *)eint1,3,"Gp"},
197: {"erfc",1,(void *)gerfc,3,"Gp"},
198: {"eta",1,(void *)eta,3,"Gp"},
199: {"euler",0,(void *)mpeuler,3,"p"},
200: {"eval",1,(void *)geval,7,"G"},
201: {"exp",1,(void *)gexp,3,"Gp"},
202: {"extract",2,(void *)extract,8,"GG"},
203: {"fact",11,(void *)mpfactr,4,"Lp"},
204: {"factcantor",2,(void *)factcantor,4,"GG"},
205: {"factfq",3,(void *)factmod9,4,"GGG"},
206: {"factmod",2,(void *)factmod,4,"GG"},
207: {"factor",1,(void *)factor,4,"G"},
208: {"factoredbasis",28,(void *)factoredbase,6,"GGf"},
209: {"factoreddiscf",2,(void *)factoreddiscf,6,"GG"},
1.2 ! noro 210: {"factoredpolred",2,(void *)factoredpolred,6,"GG"},
! 211: {"factoredpolred2",2,(void *)factoredpolred2,6,"GG"},
1.1 noro 212: {"factornf",2,(void *)polfnf,6,"GG"},
213: {"factorpadic",32,(void *)factorpadic4,7,"GGL"},
214: {"factorpadic2",32,(void *)factorpadic2,7,"GGL"},
215: {"factpol",33,(void *)_factpol,7,"GLL"},
216: {"factpol2",0,(void *)suppressed,6,"GL"},
217: {"fibo",11,(void *)fibo,4,"L"},
218: {"floor",1,(void *)gfloor,2,"G"},
219: {"for",83,(void *)forpari,11,"vV=GGI"},
220: {"fordiv",84,(void *)fordiv,11,"vGVI"},
221: {"forprime",83,(void *)forprime,11,"vV=GGI"},
222: {"forstep",86,(void *)forstep,11,"vV=GGGI"},
223: {"forvec",87,(void*)forvec,11,"vV=GID0,L,"},
224: {"fpn",21,(void *)ffinit,2,"GLDn"},
225: {"frac",1,(void *)gfrac,2,"G"},
226: {"galois",1,(void *)galois,6,"Gp"},
227: {"galoisapply",3,(void *)galoisapply,6,"GGG"},
228: {"galoisconj",1,(void *)galoisconj,6,"G"},
229: {"galoisconj1",0,(void *)suppressed,6,"G"},
230: {"galoisconjforce",0,(void *)suppressed,6,"G"},
231: {"gamh",1,(void *)ggamd,3,"Gp"},
232: {"gamma",1,(void *)ggamma,3,"Gp"},
233: {"gauss",2,(void *)gauss,8,"GG"},
234: {"gaussmodulo",3,(void *)gaussmodulo,8,"GGG"},
235: {"gaussmodulo2",3,(void *)gaussmodulo2,8,"GGG"},
236: {"gcd",2,(void *)ggcd,4,"GG"},
237: {"getheap",0,(void *)getheap,2,""},
238: {"getrand",0,(void *)getrand,2,"l"},
239: {"getstack",0,(void *)getstack,2,"l"},
240: {"gettime",0,(void *)gettime,2,"l"},
241: {"globalred",1,(void *)globalreduction,5,"G"},
242: {"goto",0,(void*)suppressed,11,"s*"},
243: {"hclassno",1,(void *)hclassno,4,"G"},
244: {"hell",2,(void *)ghell,5,"GGp"},
245: {"hell2",2,(void *)ghell2,5,"GGp"},
246: {"hermite",1,(void *)hnf,8,"G"},
247: {"hermite2",1,(void *)hnfall,8,"G"},
248: {"hermitehavas",0,(void *)suppressed,8,"G"},
249: {"hermitemod",2,(void *)hnfmod,8,"GG"},
250: {"hermitemodid",2,(void *)hnfmodid,8,"GG"},
251: {"hermiteperm",1,(void *)hnfperm,8,"G"},
252: {"hess",1,(void *)hess,8,"G"},
253: {"hilb",30,(void *) hil,4,"lGGG"},
254: {"hilbert",11,(void *)mathilbert,8,"L"},
255: {"hilbp",20,(void *) hil,4,"lGG"},
256: {"hvector",22,(void *)vecteur,9,"GVI"},
257: {"hyperu",3,(void *)hyperu,3,"GGGp"},
258: {"i",0,(void *)geni,2,""},
259: {"idealadd",3,(void *)idealadd,6,"GGG"},
260: {"idealaddmultone",2,(void *)idealaddmultoone,6,"GG"},
261: {"idealaddone",3,(void *)idealaddtoone,6,"GGG"},
262: {"idealappr",2,(void *)idealappr,6,"GGp"},
263: {"idealapprfact",2,(void *)idealapprfact,6,"GG"},
264: {"idealchinese",3,(void *)idealchinese,6,"GGG"},
265: {"idealcoprime",3,(void *)idealcoprime,6,"GGG"},
266: {"idealdiv",3,(void *)idealdiv,6,"GGG"},
267: {"idealdivexact",3,(void *)idealdivexact,6,"GGG"},
268: {"idealfactor",2,(void *)idealfactor,6,"GG"},
269: {"idealhermite",2,(void *)idealhermite,6,"GG"},
270: {"idealhermite2",3,(void *)idealhermite2,6,"GGG"},
271: {"idealintersect",3,(void *)idealintersect,6,"GGG"},
272: {"idealinv",2,(void *)idealinv,6,"GG"},
273: {"idealinv2",2,(void *)idealinv,6,"GG"},
274: {"ideallist",21,(void *)ideallist,6,"GL"},
275: {"ideallistarch",3,(void *)ideallistarch,6,"GGG"},
276: {"ideallistarchgen",3,(void *)ideallistarchgen,6,"GGG"},
277: {"ideallistunit",21,(void *)ideallistunit,6,"GL"},
278: {"ideallistunitarch",3,(void *)ideallistunitarch,6,"GGG"},
279: {"ideallistunitarchgen",3,(void *)ideallistunitarchgen,6,"GGG"},
280: {"ideallistunitgen",21,(void *)ideallistunitgen,6,"GL"},
281: {"ideallistzstar",21,(void *)ideallistzstar,6,"GL"},
282: {"ideallistzstargen",21,(void *)ideallistzstargen,6,"GL"},
283: {"ideallllred",3,(void *)ideallllred,6,"GGGp"},
284: {"idealmul",3,(void *)idealmul,6,"GGG"},
285: {"idealmulred",3,(void *)idealmulred,6,"GGGp"},
286: {"idealnorm",2,(void *)idealnorm,6,"GG"},
287: {"idealpow",3,(void *)idealpow,6,"GGG"},
288: {"idealpowred",3,(void *)idealpowred,6,"GGGp"},
289: {"idealtwoelt",2,(void *)ideal_two_elt,6,"GG"},
290: {"idealtwoelt2",3,(void *)ideal_two_elt2,6,"GGG"},
291: {"idealval",30,(void *)idealval,6,"lGGG"},
292: {"idmat",11,(void *)idmat,8,"L"},
293: {"if",80,NULL,11,NULL},
294: {"imag",1,(void *)gimag,2,"G"},
295: {"image",1,(void *)image,8,"G"},
296: {"image2",1,(void *)image2,8,"G"},
297: {"imagecompl",1,(void *)imagecompl,8,"G"},
298: {"incgam",2,(void *)incgam,3,"GGp"},
299: {"incgam1",2,(void *)incgam1,3,"GGp"},
300: {"incgam2",2,(void *)incgam2,3,"GGp"},
301: {"incgam3",2,(void *)incgam3,3,"GGp"},
302: {"incgam4",3,(void *)incgam4,3,"GGGp"},
303: {"indexrank",1,(void *)indexrank,8,"G"},
304: {"indsort",1,(void *)indexsort,8,"G"},
305: {"initalg",1,(void *)initalg,6,"Gp"},
306: {"initalgred",1,(void *)initalgred,6,"Gp"},
307: {"initalgred2",1,(void *)initalgred2,6,"Gp"},
308: {"initell",1,(void *)initell,5,"Gp"},
309: {"initzeta",1,(void *)initzeta,6,"Gp"},
310: {"integ",14,(void *)integ,7,"Gn"},
311: {"intersect",2,(void *)intersect,8,"GG"},
1.2 ! noro 312: {"intgen",99,(void *)intnum0,9,"V=GGID1,L,p"},
! 313: {"intinf",99,(void *)intnum0,9,"V=GGID2,L,p"},
! 314: {"intnum",99,(void *)intnum0,9,"V=GGID0,L,p"},
! 315: {"intopen",99,(void *)intnum0,9,"V=GGID3,L,p"},
1.1 noro 316: {"inverseimage",2,(void *)inverseimage,8,"GG"},
317: {"isdiagonal",10,(void *)isdiagonal,8,"lG"},
318: {"isfund",1,(void *)gisfundamental,4,"G"},
319: {"isideal",20,(void *)isideal,6,"lGG"},
320: {"isincl",2,(void *)nfisincl,6,"GG"},
321: {"isinclfast",2,(void *)nfisincl,6,"GG"},
322: {"isirreducible",1,(void *)gisirreducible,7,"G"},
323: {"isisom",2,(void *)nfisisom,6,"GG"},
324: {"isisomfast",2,(void *)nfisisom,6,"GG"},
325: {"isoncurve",20,(void *)oncurve,5,"lGG"},
326: {"isprime",1,(void *)gisprime,4,"GD0,L,"},
327: {"isprincipal",2,(void *)isprincipal,6,"GG"},
328: {"isprincipalforce",2,(void *)isprincipalforce,6,"GG"},
329: {"isprincipalgen",2,(void *)isprincipalgen,6,"GG"},
330: {"isprincipalgenforce",2,(void *)isprincipalgenforce,6,"GG"},
331: {"isprincipalray",2,(void *)isprincipalray,6,"GG"},
332: {"isprincipalraygen",2,(void *)isprincipalraygen,6,"GG"},
333: {"ispsp",1,(void *)gispsp,4,"G"},
334: {"isqrt",1,(void *)racine,4,"G"},
335: {"isset",10,(void *)setisset,8,"lG"},
336: {"issqfree",1,(void *)gissquarefree,4,"G"},
337: {"issquare",1,(void *)gcarreparfait,4,"G"},
338: {"isunit",2,(void *)isunit,6,"GG"},
339: {"jacobi",1,(void *)jacobi,8,"Gp"},
340: {"jbesselh",2,(void *)jbesselh,3,"GGp"},
341: {"jell",1,(void *)jell,3,"Gp"},
342: {"karamul",0,(void *)suppressed,7,"GGL"},
343: {"kbessel",2,(void *)kbessel,3,"GGp"},
344: {"kbessel2",2,(void *)kbessel2,3,"GGp"},
345: {"ker",1,(void *)ker,8,"G"},
346: {"keri",1,(void *)keri,8,"G"},
347: {"kerint",1,(void *)kerint,8,"G"},
348: {"kerint1",1,(void *)kerint1,8,"G"},
1.2 ! noro 349: {"kerint2",1,(void *)suppressed,8,"G"},
1.1 noro 350: {"kro",2,(void *)gkronecker,4,"GG"},
351: {"label",0,(void*)suppressed,11,"s*"},
352: {"lambdak",2,(void *)glambdak,6,"GGp"},
353: {"laplace",1,(void *)laplace,7,"G"},
354: {"lcm",2,(void *)glcm,4,"GG"},
355: {"legendre",11,(void *)legendre,7,"LDn"},
356: {"length",1,(void *)glength,2,"lG"},
357: {"lex",20,(void *)lexcmp,2,"lGG"},
358: {"lexsort",1,(void *)lexsort,8,"G"},
359: {"lift",1,(void *)lift,2,"G"},
360: {"lindep",1,(void *)lindep,8,"Gp"},
361: {"lindep2",23,(void *)lindep2,8,"GLp"},
362: {"lll",1,(void *)lll,8,"Gp"},
1.2 ! noro 363: {"lll1",1,(void *)suppressed,8,"Gp"},
1.1 noro 364: {"lllgen",1,(void *)lllgen,8,"Gp"},
365: {"lllgram",1,(void *)lllgram,8,"Gp"},
1.2 ! noro 366: {"lllgram1",1,(void *)suppressed,8,"Gp"},
1.1 noro 367: {"lllgramgen",1,(void *)lllgramgen,8,"G"},
368: {"lllgramint",1,(void *)lllgramint,8,"G"},
369: {"lllgramkerim",1,(void *)lllgramkerim,8,"G"},
370: {"lllgramkerimgen",1,(void *)lllgramkerimgen,8,"G"},
371: {"lllint",1,(void *)lllint,8,"G"},
372: {"lllintpartial",1,(void *)lllintpartial,8,"G"},
373: {"lllkerim",1,(void *)lllkerim,8,"G"},
374: {"lllkerimgen",1,(void *)lllkerimgen,8,"G"},
1.2 ! noro 375: {"lllrat",1,(void *)suppressed,8,"G"},
1.1 noro 376: {"ln",1,(void *)glog,3,"Gp"},
377: {"lngamma",1,(void *)glngamma,3,"Gp"},
378: {"localred",2,(void *)localreduction,5,"GG"},
379: {"log",1,(void *)glog,3,"Gp"},
380: {"logagm",1,(void *)glogagm,3,"Gp"},
381: {"lseriesell",4,(void *)lseriesell0,5,"GGGGp"},
382: {"makebigbnf",1,(void *)bnfmake,6,"Gp"},
383: {"mat",1,(void *)gtomat,8,"G"},
384: {"matextract",3,(void *)matextract,8,"GGG"},
385: {"mathell",2,(void *)mathell,5,"GGp"},
386: {"matrix",49,(void *)matrice,9,"GGVVI"},
387: {"matrixqz",2,(void *)matrixqz,8,"GG"},
388: {"matrixqz2",1,(void *)matrixqz2,8,"G"},
389: {"matrixqz3",1,(void *)matrixqz3,8,"G"},
390: {"matsize",1,(void *)matsize,2,"G"},
391: {"max",2,(void *)gmax,1,"GG"},
392: {"min",2,(void *)gmin,1,"GG"},
393: {"minideal",3,(void *)minideal,6,"GGGp"},
394: {"minim",33,(void *)minim,8,"GGG"},
395: {"minim2",23,(void *)minim2,8,"GG"},
396: {"mod",25,(void *)gmodulcp,2,"GG"},
397: {"modp",25,(void *)gmodulo,2,"GG"},
398: {"modreverse",1,(void *)polymodrecip,6,"G"},
399: {"modulargcd",2,(void *)modulargcd,2,"GG"},
400: {"mu",1,(void *)gmu,4,"G"},
401: {"newtonpoly",2,(void *)newtonpoly,6,"GG"},
402: {"nextprime",1,(void *)nextprime,4,"G"},
403: {"nfdetint",2,(void *)nfdetint,6,"GG"},
404: {"nfdiv",3,(void *)element_div,6,"GGG"},
405: {"nfdiveuc",3,(void *)nfdiveuc,6,"GGG"},
406: {"nfdivres",3,(void *)nfdivres,6,"GGG"},
407: {"nfhermite",2,(void *)nfhermite,6,"GG"},
408: {"nfhermitemod",3,(void *)nfhermitemod,6,"GGG"},
409: {"nfmod",3,(void *)nfmod,6,"GGG"},
410: {"nfmul",3,(void *)element_mul,6,"GGG"},
411: {"nfpow",3,(void *)element_pow,6,"GGG"},
412: {"nfreduce",3,(void *)element_reduce,6,"GGG"},
413: {"nfsmith",2,(void *)nfsmith,6,"GG"},
414: {"nfval",30,(void *)element_val,6,"lGGG"},
415: {"norm",1,(void *)gnorm,2,"G"},
416: {"norml2",1,(void *)gnorml2,2,"G"},
417: {"nucomp",3,(void *)nucomp,4,"GGG"},
418: {"numdiv",1,(void *)numbdiv,4,"G"},
419: {"numer",1,(void *)numer,2,"G"},
420: {"nupow",2,(void *)nupow,4,"GG"},
421: {"o",50,NULL,7,NULL},
422: {"omega",1,(void *)gomega,4,"G"},
423: {"ordell",2,(void *)ordell,5,"GGp"},
424: {"order",1,(void *)order,4,"G"},
425: {"orderell",2,(void *)orderell,5,"GG"},
426: {"ordred",1,(void *)ordred,6,"Gp"},
427: {"padicprec",20,(void *)padicprec,2,"lGG"},
428: {"pascal",99,(void *)matqpascal,8,"LDG"},
429: {"perf",10,(void *)perf,8,"G"},
430: {"permutation",24,(void *)numtoperm,2,"LG"},
431: {"permutation2num",1,(void *)permtonum,2,"G"},
432: {"pf",2,(void *)primeform,4,"GGp"},
433: {"phi",1,(void *)phi,4,"G"},
434: {"pi",0,(void *)mppi,3,"p"},
435: {"pnqn",1,(void *)pnqn,4,"G"},
436: {"pointell",2,(void *)pointell,5,"GGp"},
437: {"polint",31,(void *)polint,7,"GGGD&"},
1.2 ! noro 438: {"polred",1,(void *)polred,6,"G"},
! 439: {"polred2",1,(void *)polred2,6,"G"},
! 440: {"polredabs",1,(void *)polredabs,6,"G"},
! 441: {"polredabs2",1,(void *)polredabs2,6,"G"},
! 442: {"polredabsall",1,(void *)polredabsall,6,"G"},
1.1 noro 443: {"polredabsfast",0,(void *)suppressed,6,""},
1.2 ! noro 444: {"polredabsnored",1,(void *)polredabs,6,"G"},
1.1 noro 445: {"polsym",21,(void *)polsym,7,"GL"},
446: {"polvar",1,(void *)gpolvar,2,"G"},
447: {"poly",14,(void *)gtopoly,2,"Gn"},
448: {"polylog",24,(void *)gpolylog,3,"LGp"},
449: {"polylogd",24,(void *)polylogd,3,"LGp"},
450: {"polylogdold",24,(void *)polylogdold,3,"LGp"},
451: {"polylogp",24,(void *)polylogp,3,"LGp"},
452: {"polyrev",14,(void *)gtopolyrev,2,"Gn"},
453: {"polzag",21,(void *)polzag,9,"LL"},
454: {"powell",3,(void *)powell,5,"GGGp"},
455: {"powrealraw",23,(void *)powrealraw,4,"GL"},
456: {"prec",21,(void *)gprec,2,"GL"},
457: {"precision",1,(void *)ggprecision,2,"G"},
458: {"prime",11,(void *)prime,4,"L"},
459: {"primedec",2,(void *)primedec,6,"GG"},
460: {"primes",11,(void *)primes,4,"L"},
461: {"primroot",1,(void *)gener,4,"G"},
462: {"principalideal",2,(void *)principalideal,6,"GG"},
463: {"principalidele",2,(void *)principalidele,6,"GGp"},
464: {"prod",48,(void *)prod0,9,"GV=GGI"},
465: {"prodeuler",37,(void *)prodeuler,9,"V=GGIp"},
466: {"prodinf",27,(void *)prodinf,9,"V=GIp"},
467: {"prodinf1",27,(void *)prodinf1,9,"V=GIp"},
468: {"psi",1,(void *)gpsi,3,"Gp"},
469: {"qfi",3,(void *)qfi,4,"GGG"},
470: {"qfr",4,(void *)qfr,4,"GGGG"},
471: {"quaddisc",1,(void *)quaddisc,4,"G"},
472: {"quadgen",1,(void *)quadgen,2,"G"},
473: {"quadpoly",1,(void *)quadpoly,2,"G"},
474: {"random",0,(void *)genrand,2,"DG"},
475: {"rank",10,(void *)rank,8,"lG"},
476: {"rayclassno",2,(void *)rayclassno,6,"GG"},
477: {"rayclassnolist",2,(void *)rayclassnolist,6,"GG"},
478: {"real",1,(void *)greal,2,"G"},
479: {"recip",1,(void *)polrecip,7,"G"},
480: {"redimag",1,(void *)redimag,4,"G"},
481: {"redreal",1,(void *)redreal,4,"G"},
482: {"redrealnod",2,(void *)redrealnod,4,"GG"},
483: {"reduceddisc",1,(void *)reduceddiscsmith,7,"G"},
484: {"regula",1,(void *)regula,4,"Gp"},
485: {"reorder",1,(void *)reorder,11,"G"},
486: {"resultant",2,(void *)subres0,7,"GG"},
487: {"resultant2",2,(void *)resultant2,7,"GG"},
488: {"reverse",1,(void *)recip,7,"G"},
489: {"rhoreal",1,(void *)rhoreal,4,"G"},
490: {"rhorealnod",2,(void *)rhorealnod,4,"GG"},
491: {"rndtoi",13,(void *)grndtoi,2,"Gf"},
492: {"rnfbasis",2,(void *)rnfbasis,6,"GG"},
493: {"rnfdiscf",2,(void *)rnfdiscf,6,"GG"},
494: {"rnfequation",2,(void *)rnfequation,6,"GG"},
495: {"rnfequation2",2,(void *)rnfequation2,6,"GG"},
496: {"rnfhermitebasis",2,(void *)rnfhermitebasis,6,"GG"},
497: {"rnfisfree",20,(void *)rnfisfree,6,"lGG"},
498: {"rnflllgram",3,(void *)rnflllgram,6,"GGG"},
499: {"rnfpolred",2,(void *)rnfpolred,6,"GG"},
500: {"rnfpseudobasis",2,(void *)rnfpseudobasis,6,"GG"},
501: {"rnfsteinitz",2,(void *)rnfsteinitz,6,"GG"},
502: {"rootmod",2,(void *)rootmod,7,"GG"},
503: {"rootmod2",2,(void *)rootmod2,7,"GG"},
504: {"rootpadic",32,(void *)rootpadic,7,"GGL"},
505: {"roots",1,(void *)roots,7,"Gp"},
506: {"rootsof1",1,(void *)rootsof1,6,"G"},
507: {"rootsold",1,(void *)rootsold,7,"Gp"},
508: {"round",1,(void *)ground,2,"G"},
509: {"rounderror",10,(void *)rounderror,2,"lG"},
510: {"series",14,(void *)gtoser,2,"Gn"},
511: {"set",1,(void *)gtoset,8,"G"},
512: {"setintersect",2,(void *)setintersect,8,"GG"},
513: {"setminus",2,(void *)setminus,8,"GG"},
514: {"setrand",11,(void *)setrand,2,"lL"},
515: {"setsearch",20,(void *)setsearch,8,"lGGD0,L,"},
516: {"setunion",2,(void *)setunion,8,"GG"},
517: {"shift",21,(void *)gshift,1,"GL"},
518: {"shiftmul",21,(void *)gmul2n,1,"GL"},
519: {"sigma",1,(void *)sumdiv,4,"G"},
520: {"sigmak",24,(void *)sigmak0,4,"LG"},
521: {"sign",10,(void *)gsigne,1,"lG"},
522: {"signat",1,(void *)signat,8,"G"},
523: {"signunit",1,(void *)signunits,6,"G"},
524: {"simplefactmod",2,(void *)simplefactmod,4,"GG"},
525: {"simplify",1,(void *)simplify,2,"G"},
526: {"sin",1,(void *)gsin,3,"Gp"},
527: {"sinh",1,(void *)gsh,3,"Gp"},
528: {"size",10,(void *)sizedigit,2,"lG"},
529: {"smallbasis",13,(void *)smallbase,6,"Gf"},
530: {"smallbuchinit",93,(void *)smallbuchinit,6,"GD0.3,G,D0.3,G,D5,G,D1,G,D4,L,D3,L,p"},
531: {"smalldiscf",1,(void *)smalldiscf,6,"G"},
532: {"smallfact",1,(void *)smallfact,4,"G"},
533: {"smallinitell",1,(void *)smallinitell,5,"Gp"},
1.2 ! noro 534: {"smallpolred",1,(void *)smallpolred,6,"G"},
! 535: {"smallpolred2",1,(void *)smallpolred2,6,"G"},
1.1 noro 536: {"smith",1,(void *)smith,8,"G"},
537: {"smith2",1,(void *)smith2,8,"G"},
538: {"smithclean",1,(void *)smithclean,8,"G"},
539: {"smithpol",1,(void *)gsmith,8,"G"},
540: {"solve",37,(void *)zbrent,9,"V=GGIp"},
541: {"sort",1,(void *)sort,8,"G"},
542: {"sqr",1,(void *)gsqr,3,"G"},
543: {"sqred",1,(void *)sqred,8,"G"},
544: {"sqrt",1,(void *)gsqrt,3,"Gp"},
545: {"srgcd",2,(void *)srgcd,7,"GG"},
546: {"sturm",10,(void *)sturm0,7,"lG"},
547: {"sturmpart",30,(void *)sturmpart,7,"lGGG"},
1.2 ! noro 548: {"subcyclo",2,(void *)subcyclo,6,"LLDn"},
1.1 noro 549: {"subell",3,(void *)subell,5,"GGGp"},
550: {"subst",26,(void *)gsubst,7,"GnG"},
551: {"sum",48,(void *)sum0,9,"GV=GGI"},
552: {"sumalt",27,(void *)sumalt,9,"V=GIp"},
553: {"sumalt2",27,(void *)sumalt2,9,"V=GIp"},
554: {"suminf",27,(void *)suminf,9,"V=GIp"},
555: {"sumpos",27,(void *)sumpos,9,"V=GIp"},
556: {"sumpos2",27,(void *)sumpos2,9,"V=GIp"},
557: {"supplement",1,(void *)suppl,8,"G"},
558: {"sylvestermatrix",2,(void *)sylvestermatrix,7,"GG"},
559: {"tan",1,(void *)gtan,3,"Gp"},
560: {"tanh",1,(void *)gth,3,"Gp"},
561: {"taniyama",1,(void *)taniyama,5,"G"},
562: {"taylor",12,(void *)tayl,7,"GnP"},
563: {"tchebi",11,(void *)tchebi,7,"LDn"},
564: {"teich",1,(void *)teich,3,"Gp"},
565: {"theta",2,(void *)theta,3,"GGp"},
566: {"thetanullk",21,(void *)thetanullk,3,"GL"},
567: {"threetotwo",0,(void *)suppressed,6,"GGGG"},
568: {"threetotwo2",0,(void *)suppressed,6,"GGGG"},
569: {"torsell",1,(void *)torsell,5,"Gp"},
570: {"trace",1,(void *)gtrace,8,"G"},
571: {"trans",1,(void *)gtrans,8,"G"},
572: {"trunc",1,(void *)gtrunc,2,"G"},
573: {"tschirnhaus",1,(void *)tschirnhaus,6,"G"},
574: {"twototwo",0,(void *)suppressed,6,"GGG"},
575: {"unit",1,(void *)fundunit,4,"G"},
576: {"until",82,NULL,11,NULL},
577: {"valuation",20,(void *)ggval,2,"lGG"},
578: {"vec",1,(void *)gtovec,2,"G"},
579: {"vecindexsort",2,(void *)indexsort,8,"G"},
580: {"veclexsort",2,(void *)lexsort,8,"G"},
581: {"vecmax",1,(void *)vecmax,2,"G"},
582: {"vecmin",1,(void *)vecmin,2,"G"},
583: {"vecsort",2,(void *)vecsort,8,"GG"},
584: {"vector",22,(void *)vecteur,9,"GVI"},
585: {"vvector",22,(void *)vvecteur,9,"GVI"},
586: {"weipell",1,(void *)weipell,5,"GP"},
587: {"wf",1,(void *)wf,3,"Gp"},
588: {"wf2",1,(void *)wf2,3,"Gp"},
589: {"while",81,NULL,11,NULL},
590: {"zell",2,(void *)zell,5,"GGp"},
591: {"zeta",1,(void *)gzeta,3,"Gp"},
592: {"zetak",2,(void *)gzetak,6,"GGp"},
593: {"zideallog",3,(void *)zideallog,6,"GGG"},
594: {"zidealstar",2,(void *)zidealstar,6,"GG"},
595: {"zidealstarinit",2,(void *)zidealstarinit,6,"GG"},
596: {"zidealstarinitgen",2,(void *)zidealstarinitgen,6,"GG"},
597: {"znstar",1,(void *)znstar,4,"G"},
598:
599: {NULL,0,NULL,0,NULL} /* sentinel */
600: };
601:
602: char *oldhelpmessage[] =
603: {
604: "O(a^b)=o(a^b)=p-adic or power series zero with precision given by b",
605: "abs(x)=absolute value (or modulus) of x",
606: "acos(x)=inverse cosine of x",
607: "acosh(x)=inverse hyperbolic cosine of x",
608: "addell(e,z1,z2)=sum of the points z1 and z2 on elliptic curve e",
609: "addprimes(x)=add primes in the vector x (with at most 20 components) to the prime table",
610: "adj(x)=adjoint matrix of x",
611: "agm(x,y)=arithmetic-geometric mean of x and y",
612: "akell(e,n)=computes the n-th Fourier coefficient of the L-function of the elliptic curve e",
613: "algdep(x,n)=algebraic relations up to degree n of x",
614: "algdep2(x,n,dec)=algebraic relations up to degree n of x where dec is as in lindep2",
615: "algtobasis(nf,x)=transforms the algebraic number x into a column vector on the integral basis nf[7]",
616: "anell(e,n)=computes the first n Fourier coefficients of the L-function of the elliptic curve e (n<32768)",
617: "apell(e,p)=computes a_p for the elliptic curve e using Shanks-Mestre's method",
618: "apell2(e,p)=computes a_p for the elliptic curve e using Jacobi symbols",
619: "apprpadic(x,a)=p-adic roots of the polynomial x congruent to a mod p",
620: "arg(x)=argument of x,such that -pi<arg(x)<=pi",
621: "asin(x)=inverse sine of x",
622: "asinh(x)=inverse hyperbolic sine of x",
623: "assmat(x)=associated matrix to polynomial x",
624: "atan(x)=inverse tangent of x",
625: "atanh(x)=inverse hyperbolic tangent of x",
626: "basis(x)=integral basis of the field Q[a], where a is a root of the polynomial x, using the round 4 algorithm",
627: "basis2(x)=integral basis of the field Q[a], where a is a root of the polynomial x, using the round 2 algorithm",
628: "basistoalg(nf,x)=transforms the vertical vector x on the integral basis into an algebraic number",
629: "bernreal(x)=Bernoulli number B_x, as a real number with the current precision",
630: "bernvec(x)=Vector of rational Bernoulli numbers B_0, B_2,... up to B_(2x)",
631: "bestappr(x,k)=gives the best approximation to the real x with denominator less or equal to k",
632: "bezout(x,y)= gives a 3-dimensional row vector [u,v,d] such that d=gcd(x,y) and u*x+v*y=d",
633: "bezoutres(x,y)= gives a 3-dimensional row vector [u,v,d] such that d=resultant(x,y) and u*x+v*y=d, where x and y are polynomials",
634: "bigomega(x)=number of repeated prime divisors of x",
635: "bilhell(e,z1,z2)=canonical bilinear form for the points z1,z2 on the elliptic curve e. Either z1 or z2 can also be a vector/matrix of points",
636: "bin(x,y)=binomial coefficient x*(x-1)...*(x-y+1)/y! defined for y in Z and any x",
637: "binary(x)=gives the vector formed by the binary digits of x (x C-integer)",
638: "bittest(x,n)=gives bit number n (coefficient of 2^n) of the integer x",
639: "boundcf(x,lmax)=continued fraction expansion of x with at most lmax terms",
640: "boundfact(x,lim)=partial factorization of the integer x (using primes up to lim)",
641: "buchcertify(bnf)=certify the correctness (i.e. remove the GRH) of the bnf data output by buchinit or buchinitfu",
642: "buchfu(bnf)=compute the fundamental units of the number field bnf output by buchinit",
643: "buchgen(P,...)=compute the structure of the class group and the regulator for the number field defined by the polynomial P. See manual for the other parameters (which can be omitted)",
644: "buchgenforcefu(P,...)=compute the structure of the class group, the regulator a primitive root of unity and a system of fundamental units for the number field defined by the polynomial P, and insist until the units are obtained. See manual for the other parameters (which can be omitted)",
645: "buchgenfu(P,...)=compute the structure of the class group, the regulator a primitive root of unity and a system of fundamental units (if they are not too large) for the number field defined by the polynomial P. See manual for the other parameters (which can be omitted)",
646: "buchimag(D,...)=compute the structure of the class group of the complex quadratic field of discriminant D<0. See manual for the other parameters (which can be omitted)",
647: "buchinit(P,...)=compute the necessary data for future use in ideal and unit group computations. See manual for details",
648: "buchinitforcefu(P,...)=compute the necessary data for future use in ideal and unit group computations, and insist on having fundamental units. See manual for details",
649: "buchinitfu(P,...)=compute the necessary data for future use in ideal and unit group computations, including fundamental units if they are not too large. See manual for details",
650: "buchnarrow(bnf)=given a big number field as output by buchinitxx, gives as a 3-component vector the structure of the narrow class group",
651: "buchray(bnf,ideal)=given a big number field as output by buchinitfu (only) and an ideal or a 2-component row vector formed by an ideal and a list of R1 zeros or ones representing a module, finds the ray class group structure corresponding to this module",
652: "buchrayinit(bnf,ideal)=same as buchrayinitgen, except that the generators are not explicitly computed",
653: "buchrayinitgen(bnf,ideal)=given a big number field as output by buchinitfu (only) and an ideal or a 2-component row vector formed by an ideal and a list of R1 zeros or ones representing a module, initializes data for computing in the ray class group corresponding to this module. In particular, the fifth component is the ray class group structure",
654: "buchreal(D,...)=compute the structure of the class group and the regulator of the real quadratic field of discriminant D>0 in the wide sense. See manual for the other parameters (which can be omitted)",
655: "bytesize(x)=number of bytes occupied by the complete tree of the object x",
656: "ceil(x)=ceiling of x=smallest integer>=x",
657: "centerlift(x)=centered lift of x. Same as lift except for integermods",
658: "cf(x)=continued fraction expansion of x (x rational,real or rational function)",
659: "cf2(b,x)=continued fraction expansion of x (x rational,real or rational function), where b is the vector of numerators of the continued fraction",
660: "changevar(x,y)=change variables of x according to the vector y",
661: "char(x,y)=det(y*I-x)=characteristic polynomial of the matrix x using the comatrix",
662: "char1(x,y)=det(y*I-x)=characteristic polynomial of the matrix x using Lagrange interpolation",
663: "char2(x,y)=characteristic polynomial of the matrix x expressed with variable y, using the Hessenberg form. Can be much faster or much slower than char, depending on the base ring",
664: "chell(x,y)=change data on elliptic curve according to y=[u,r,s,t]",
665: "chinese(x,y)=x,y being integers modulo mx and my,finds z such that z is congruent to x mod mx and y mod my",
666: "chptell(x,y)=change data on point or vector of points x on an elliptic curve according to y=[u,r,s,t]",
667: "classno(x)=class number of discriminant x",
668: "classno2(x)=class number of discriminant x",
669: "coeff(x,s)=coefficient of degree s of x, or the s-th component for vectors or matrices (for which it is simpler to use x[])",
670: "compimag(x,y)=Gaussian composition of the binary quadratic forms x and y of negative discriminant",
671: "compo(x,s)=the s'th component of the internal representation of x. For vectors or matrices, it is simpler to use x[]",
672: "compositum(pol1,pol2)=vector of all possible compositums of the number fields defined by the polynomials pol1 and pol2",
673: "compositum2(pol1,pol2)=vector of all possible compositums of the number fields defined by the polynomials pol1 and pol2, with roots of pol1 and pol2 expressed on the compositum polynomials",
674: "comprealraw(x,y)=Gaussian composition without reduction of the binary quadratic forms x and y of positive discriminant",
675: "concat(x,y)=concatenation of x and y",
676: "conductor(bnr,subgroup)=conductor of the subfield of the ray class field bnr given by buchrayinit, defined by the HNF matrix subgroup",
677: "conductorofchar(bnr,chi)=conductor of the character chi on the ray class group bnr",
678: "conj(x)=the algebraic conjugate of x",
679: "conjvec(x)=conjugate vector of the algebraic number x",
680: "content(x)=gcd of all the components of x, when this makes sense",
681: "convol(x,y)=convolution (or Hadamard product) of two power series",
682: "core(n)=unique (positive of negative) squarefree integer d dividing n such that n/d is a square",
683: "core2(n)=two-component row vector [d,f], where d is the unique squarefree integer dividing n such that n/d=f^2 is a square",
684: "coredisc(n)=discriminant of the quadratic field Q(sqrt(n))",
685: "coredisc2(n)=two-component row vector [d,f], where d is the discriminant of the quadratic field Q(sqrt(n)) and n=df^2. f may be a half integer",
686: "cos(x)=cosine of x",
687: "cosh(x)=hyperbolic cosine of x",
688: "cvtoi(x)=truncation of x, without taking into account loss of integer part precision",
689: "cyclo(n)=n-th cyclotomic polynomial",
690: "decodefactor(fa)=given a factorisation fa, gives the factored object back",
691: "decodemodule(nf,fa)=given a coded module fa as in discrayabslist, gives the true module",
692: "degree(x)=degree of the polynomial or rational function x. -1 if equal 0, 0 if non-zero scalar",
693: "denom(x)=denominator of x (or lowest common denominator in case of an array)",
694: "deplin(x)=finds a linear dependence between the columns of the matrix x",
695: "deriv(x,y)=derivative of x with respect to the main variable of y",
696: "det(x)=determinant of the matrix x",
697: "det2(x)=determinant of the matrix x (better for integer entries)",
698: "detint(x)=some multiple of the determinant of the lattice generated by the columns of x (0 if not of maximal rank). Useful with hermitemod",
699: "diagonal(x)=creates the diagonal matrix whose diagonal entries are the entries of the vector x",
700: "dilog(x)=dilogarithm of x",
701: "dirdiv(x,y)=division of the Dirichlet series x by the Dir. series y",
702: "direuler(p=a,b,expr)=Dirichlet Euler product of expression expr from p=a to p=b, limited to b terms. Expr should be a polynomial or rational function in p and X, and X is understood to mean p^(-s)",
703: "dirmul(x,y)=multiplication of the Dirichlet series x by the Dir. series y",
704: "dirzetak(nf,b)=Dirichlet series of the Dedekind zeta function of the number field nf up to the bound b-1",
705: "disc(x)=discriminant of the polynomial x",
706: "discf(x)=discriminant of the number field defined by the polynomial x using round 4",
707: "discf2(x)=discriminant of the number field defined by the polynomial x using round 2",
708: "discrayabs(bnr,subgroup)=absolute [N,R1,discf] of the subfield of the ray class field bnr given by buchrayinit, defined by the HNF matrix subgroup",
709: "discrayabscond(bnr,subgroup)=absolute [N,R1,discf] of the subfield of the ray class field bnr given by buchrayinit, defined by the HNF matrix subgroup. Result is zero if fmodule is not the conductor",
710: "discrayabslist(bnf,listes)=if listes is a 2-component vector as output by ideallistunit or similar, gives list of corresponding discrayabscond",
711: "discrayabslistarch(bnf,arch,bound)=gives list of discrayabscond of all modules up to norm bound with archimedean places arch, in a longvector format",
712: "discrayabslistarchall(bnf,bound)=gives list of discrayabscond of all modules up to norm bound with all possible archimedean places arch in reverse lexicographic order, in a longvector format",
713: "discrayabslistlong(bnf,bound)=gives list of discrayabscond of all modules up to norm bound without archimedean places, in a longvector format",
714: "discrayrel(bnr,subgroup)=relative [N,R1,rnfdiscf] of the subfield of the ray class field bnr given by buchrayinit, defined by the HNF matrix subgroup",
715: "discrayrelcond(bnr,subgroup)=relative [N,R1,rnfdiscf] of the subfield of the ray class field bnr given by buchrayinit, defined by the HNF matrix subgroup. Result is zero if module is not the conductor",
716: "divisors(x)=gives a vector formed by the divisors of x in increasing order",
717: "divres(x,y)=euclidean division of x by y giving as a 2-dimensional column vector the quotient and the remainder",
718: "divsum(n,X,expr)=sum of expression expr, X running over the divisors of n",
719: "eigen(x)=eigenvectors of the matrix x given as columns of a matrix",
720: "eint1(x)=exponential integral E1(x)",
721: "erfc(x)=complementary error function",
722: "eta(x)=eta function without the q^(1/24)",
723: "euler=euler()=euler's constant with current precision",
724: "eval(x)=evaluation of x, replacing variables by their value",
725: "exp(x)=exponential of x",
726: "extract(x,y)=extraction of the components of the vector x according to the vector or mask y, from left to right (1, 2, 4, 8, ...for the first, second, third, fourth,...component)",
727: "fact(x)=factorial of x (x C-integer), the result being given as a real number",
728: "factcantor(x,p)=factorization mod p of the polynomial x using Cantor-Zassenhaus",
729: "factfq(x,p,a)=factorization of the polynomial x in the finite field F_p[X]/a(X)F_p[X]",
730: "factmod(x,p)=factorization mod p of the polynomial x using Berlekamp",
731: "factor(x)=factorization of x",
732: "factoredbasis(x,p)=integral basis of the maximal order defined by the polynomial x, where p is the matrix of the factorization of the discriminant of x",
733: "factoreddiscf(x,p)=discriminant of the maximal order defined by the polynomial x, where p is the matrix of the factorization of the discriminant of x",
734: "factoredpolred(x,p)=reduction of the polynomial x, where p is the matrix of the factorization of the discriminant of x (gives minimal polynomials only)",
735: "factoredpolred2(x,p)=reduction of the polynomial x, where p is the matrix of the factorization of the discriminant of x (gives elements and minimal polynomials)",
736: "factornf(x,t)=factorization of the polynomial x over the number field defined by the polynomial t",
737: "factorpadic(x,p,r)=p-adic factorization of the polynomial x to precision r, using the round 4 algorithm",
738: "factorpadic2(x,p,r)=p-adic factorization of the polynomial x to precision r, using Buchmann-Lenstra",
739: "factpol(x,l,hint)=factorization over Z of the polynomial x up to degree l (complete if l=0) using Hensel lift, knowing that the degree of each factor is a multiple of hint",
740: "factpol2(x,l)=factorization over Z of the polynomial x up to degree l (complete if l=0) using root finding",
741: "fibo(x)=fibonacci number of index x (x C-integer)",
742: "floor(x)=floor of x=largest integer<=x",
743: "for(X=a,b,seq)=the sequence is evaluated, X going from a up to b",
744: "fordiv(n,X,seq)=the sequence is evaluated, X running over the divisors of n",
745: "forprime(X=a,b,seq)=the sequence is evaluated, X running over the primes between a and b",
746: "forstep(X=a,b,s,seq)=the sequence is evaluated, X going from a to b in steps of s",
747: "forvec(x=v,seq)=v being a vector of two-component vectors of length n, the sequence is evaluated with x[i] going from v[i][1] to v[i][2] for i=n,..,1",
748: "fpn(p,n)=monic irreducible polynomial of degree n over F_p[x]",
749: "frac(x)=fractional part of x=x-floor(x)",
750: "galois(x)=Galois group of the polynomial x (see manual for group coding)",
751: "galoisapply(nf,aut,x)=Apply the Galois automorphism sigma (polynomial or polymod) to the object x (element or ideal) in the number field nf",
752: "galoisconj(nf)=list of conjugates of a root of the polynomial x=nf[1] in the same number field, using p-adics, LLL on integral basis (not always complete)",
753: "galoisconj1(nf)=list of conjugates of a root of the polynomial x=nf[1] in the same number field nf, using complex numbers, LLL on integral basis (not always complete)",
754: "galoisconjforce(nf)=list of conjugates of a root of the polynomial x=nf[1] in the Galois number field nf, using p-adics, LLL on integral basis. Guaranteed to be complete if the field is Galois, otherwise there is an infinite loop",
755: "gamh(x)=gamma of x+1/2 (x integer)",
756: "gamma(x)=gamma function at x",
757: "gauss(a,b)=gaussian solution of ax=b (a matrix,b vector)",
758: "gaussmodulo(M,D,Y)=one solution of system of congruences MX=Y mod D",
759: "gaussmodulo2(M,D,Y)=all solutions of system of congruences MX=Y mod D",
760: "gcd(x,y)=greatest common divisor of x and y",
761: "getheap()=2-component vector giving the current number of objects in the heap and the space they occupy",
762: "getrand()=current value of random number seed",
763: "getstack()=current value of stack pointer avma",
764: "gettime()=time (in milliseconds) since last call to gettime",
765: "globalred(e)=e being an elliptic curve, returns [N,[u,r,s,t],c], where N is the conductor of e, [u,r,s,t] leads to the standard model for e, and c is the product of the local Tamagawa numbers c_p",
766: "goto(n)=THIS FUNCTION HAS BEEN SUPPRESSED",
767: "hclassno(x)=Hurwitz-Kronecker class number of x>0",
768: "hell(e,x)=canonical height of point x on elliptic curve E defined by the vector e computed using theta-functions",
769: "hell2(e,x)=canonical height of point x on elliptic curve E defined by the vector e computed using Tate's method",
770: "hermite(x)=(upper triangular) Hermite normal form of x, basis for the lattice formed by the columns of x, using a naive algorithm",
771: "hermite2(x)=2-component vector [H,U] such that H is an (upper triangular) Hermite normal form of x, basis for the lattice formed by the columns of x, and U is a unimodular matrix such that xU=H, using Batut's algorithm",
772: "hermitehavas(x)=3-component vector [H,U,P] such that H is an (upper triangular) Hermite normal form of x with extra zero columns, U is a unimodular matrix and P is a permutation of the rows such that P applied to xU gives H, using Havas's algorithm",
773: "hermitemod(x,d)=(upper triangular) Hermite normal form of x, basis for the lattice formed by the columns of x, where d is the non-zero determinant of this lattice",
774: "hermitemodid(x,d)=(upper triangular) Hermite normal form of x concatenated with d times the identity matrix",
775: "hermiteperm(x)=3-component vector [H,U,P] such that H is an (upper triangular) Hermite normal form of x with extra zero columns, U is a unimodular matrix and P is a permutation of the rows such that P applied to xU gives H, using Batut's algorithm",
776: "hess(x)=Hessenberg form of x",
777: "hilb(x,y,p)=Hilbert symbol at p of x,y (integers or fractions)",
778: "hilbert(n)=Hilbert matrix of order n (n C-integer)",
779: "hilbp(x,y)=Hilbert symbol of x,y (where x or y is integermod or p-adic)",
780: "hvector(n,X,expr)=row vector with n components of expression expr, the variable X ranging from 1 to n",
781: "hyperu(a,b,x)=U-confluent hypergeometric function",
782: "i=i()=square root of -1",
783: "idealadd(nf,x,y)=sum of two ideals x and y in the number field defined by nf",
784: "idealaddone(nf,x,y)=when the sum of two ideals x and y in the number field K defined by nf is equal to Z_K, gives a two-component vector [a,b] such that a is in x, b is in y and a+b=1",
785: "idealaddmultone(nf,list)=when the sum of the ideals in the number field K defined by nf and given in the vector list is equal to Z_K, gives a vector of elements of the corresponding ideals who sum to 1",
786: "idealappr(nf,x)=x being a fractional ideal, gives an element b such that v_p(b)=v_p(x) for all prime ideals p dividing x, and v_p(b)>=0 for all other p",
787: "idealapprfact(nf,x)=x being a prime ideal factorization with possibly zero or negative exponents, gives an element b such that v_p(b)=v_p(x) for all prime ideals p dividing x, and v_p(b)>=0 for all other p",
788: "idealchinese(nf,x,y)=x being a prime ideal factorization and y a vector of elements, gives an element b such that v_p(b-y_p)>=v_p(x) for all prime ideals p dividing x, and v_p(b)>=0 for all other p",
789: "idealcoprime(nf,x,y)=gives an element b in nf such that b.x is an integral ideal coprime to the integral ideal y",
790: "idealdiv(nf,x,y)=quotient x/y of two ideals x and y in HNF in the number field nf",
791: "idealdivexact(nf,x,y)=quotient x/y of two ideals x and y in HNF in the number field nf when the quotient is known to be an integral ideal",
792: "idealfactor(nf,x)=factorization of the ideal x given in HNF into prime ideals in the number field nf",
793: "idealhermite(nf,x)=hermite normal form of the ideal x in the number field nf, whatever form x may have",
794: "idealhermite2(nf,a,b)=hermite normal form of the ideal aZ_K+bZ_K in the number field K defined by nf, where a and b are elements",
795: "idealintersect(nf,x,y)=intersection of two ideals x and y in HNF in the number field defined by nf",
796: "idealinv(nf,x)=inverse of the ideal x in the number field nf not using the different",
797: "idealinv2(nf,x)=inverse of the ideal x in the number field nf using the different",
798: "ideallist(nf,bound)=vector of vectors of all ideals of norm<=bound in nf",
799: "ideallistarch(nf,list,arch)=vector of vectors of all zidealstarinits of all modules in list with archimedean arch added, without generators",
800: "ideallistarchgen(nf,list,arch)=vector of vectors of all zidealstarinits of all modules in list with archimedean arch added, with generators",
801: "ideallistunit(bnf,bound)=2-component vector [L,U] where L is as ideallistzstar, and U is a vector of vector of zinternallogs of the units, without generators",
802: "ideallistunitarch(bnf,lists,arch)=adds the archimedean arch to the lists output by ideallistunit",
803: "ideallistunitarchgen(bnf,lists,arch)=adds the archimedean arch to the lists output by ideallistunitgen",
804: "ideallistunitgen(bnf,bound)=2-component vector [L,U] where L is as ideallistzstar, and U is a vector of vector of zinternallogs of the units, with generators",
805: "ideallistzstar(nf,bound)=vector of vectors of all zidealstarinits of all ideals of norm<=bound, without generators",
806: "ideallistzstargen(nf,bound)=vector of vectors of all zidealstarinits of all ideals of norm<=bound, with generators",
807: "ideallllred(nf,x,vdir)=LLL reduction of the ideal x in the number field nf along direction vdir, in HNF",
808: "idealmul(nf,x,y)=product of the two ideals x and y in the number field nf",
809: "idealmulred(nf,x,y)=reduced product of the two ideals x and y in the number field nf",
810: "idealnorm(nf,x)=norm of the ideal x in the number field nf",
811: "idealpow(nf,x,n)=n-th power of the ideal x in HNF in the number field nf",
812: "idealpowred(nf,x,n)=reduced n-th power of the ideal x in HNF in the number field nf",
813: "idealtwoelt(nf,x)=two-element representation of an ideal x in the number field nf",
814: "idealtwoelt2(nf,x,a)=two-element representation of an ideal x in the number field nf, with the first element equal to a",
815: "idealval(nf,x,p)=valuation at p given in primedec format of the ideal x in the number field nf",
816: "idmat(n)=identity matrix of order n (n C-integer)",
817: "if(a,seq1,seq2)= if a is nonzero, seq1 is evaluated, otherwise seq2",
818: "imag(x)=imaginary part of x",
819: "image(x)=basis of the image of the matrix x",
820: "image2(x)=basis of the image of the matrix x",
821: "imagecompl(x)=vector of column indices not corresponding to the indices given by the function image",
822: "incgam(s,x)=incomplete gamma function",
823: "incgam1(s,x)=incomplete gamma function (for debugging only)",
824: "incgam2(s,x)=incomplete gamma function (for debugging only)",
825: "incgam3(s,x)=complementary incomplete gamma function",
826: "incgam4(s,x,y)=incomplete gamma function where y=gamma(s) is precomputed",
827: "indexrank(x)=gives two extraction vectors (rows and columns) for the matrix x such that the exracted matrix is square of maximal rank",
828: "indsort(x)=indirect sorting of the vector x",
829: "initalg(x)=x being a nonconstant irreducible polynomial, gives the vector: [x,[r1,r2],discf,index,[M,MC,T2,T,different] (see manual),r1+r2 first roots, integral basis, matrix of power basis in terms of integral basis, multiplication table of basis]",
830: "initalgred(x)=x being a nonconstant irreducible polynomial, finds (using polred) a simpler polynomial pol defining the same number field, and gives the vector: [pol,[r1,r2],discf,index,[M,MC,T2,T,different] (see manual), r1+r2 first roots, integral basis, matrix of power basis in terms of integral basis, multiplication table of basis]",
831: "initalgred2(P)=P being a nonconstant irreducible polynomial, gives a two-element vector [nf,mod(a,pol)], where nf is as output by initalgred and mod(a,pol) is a polymod equal to mod(x,P) and pol=nf[1]",
832: "initell(x)=x being the vector [a1,a2,a3,a4,a6], gives the vector: [a1,a2,a3,a4,a6,b2,b4,b6,b8,c4,c6,delta,j,[e1,e2,e3],w1,w2,eta1,eta2,q,area]",
833: "initzeta(x)=compute number field information necessary to use zetak, where x is an irreducible polynomial",
834: "integ(x,y)=formal integration of x with respect to the main variable of y",
835: "intersect(x,y)=intersection of the vector spaces whose bases are the columns of x and y",
836: "intgen(X=a,b,s)=general numerical integration of s from a to b with respect to X, to be used after removing singularities",
837: "intinf(X=a,b,s)=numerical integration of s from a to b with respect to X, where a or b can be plus or minus infinity (1.0e4000), but of same sign",
838: "intnum(X=a,b,s)=numerical integration of s from a to b with respect to X",
839: "intopen(X=a,b,s)=numerical integration of s from a to b with respect to X, where s has only limits at a or b",
840: "inverseimage(x,y)=an element of the inverse image of the vector y by the matrix x if one exists, the empty vector otherwise",
841: "isdiagonal(x)=true(1) if x is a diagonal matrix, false(0) otherwise",
842: "isfund(x)=true(1) if x is a fundamental discriminant (including 1), false(0) if not",
843: "isideal(nf,x)=true(1) if x is an ideal in the number field nf, false(0) if not",
844: "isincl(x,y)=tests whether the number field defined by the polynomial x is isomorphic to a subfield of the one defined by y; 0 if not, otherwise all the isomorphisms",
845: "isinclfast(nf1,nf2)=tests whether the number nf1 is isomorphic to a subfield of nf2 or not. If it gives a non-zero result, this proves that this is the case. However if it gives zero, nf1 may still be isomorphic to a subfield of nf2 so you have to use the much slower isincl to be sure",
846: "isirreducible(x)=true(1) if x is an irreducible non-constant polynomial, false(0) if x is reducible or constant",
847: "isisom(x,y)=tests whether the number field defined by the polynomial x is isomorphic to the one defined by y; 0 if not, otherwise all the isomorphisms",
848: "isisomfast(nf1,nf2)=tests whether the number fields nf1 and nf2 are isomorphic or not. If it gives a non-zero result, this proves that they are isomorphic. However if it gives zero, nf1 and nf2 may still be isomorphic so you have to use the much slower isisom to be sure",
849: "isoncurve(e,x)=true(1) if x is on elliptic curve e, false(0) if not",
850: "isprime(x)=true(1) if x is a strong pseudoprime for 10 random bases, false(0) if not",
851: "isprincipal(bnf,x)=bnf being output by buchinit, gives the vector of exponents on the class group generators of x. In particular x is principal if and only if the result is the zero vector",
852: "isprincipalforce(bnf,x)=same as isprincipal, except that the precision is doubled until the result is obtained",
853: "isprincipalgen(bnf,x)=bnf being output by buchinit, gives [v,alpha,bitaccuracy], where v is the vector of exponents on the class group generators and alpha is the generator of the resulting principal ideal. In particular x is principal if and only if v is the zero vector",
854: "isprincipalgenforce(bnf,x)=same as isprincipalgen, except that the precision is doubled until the result is obtained",
855: "isprincipalray(bnf,x)=bnf being output by buchrayinit, gives the vector of exponents on the ray class group generators of x. In particular x is principal if and only if the result is the zero vector",
856: "isprincipalraygen(bnf,x)=bnf being output by buchrayinit, gives [v,alpha,bitaccuracy], where v is the vector of exponents on the class group generators and alpha is the generator of the resulting principal ideal. In particular x is principal if and only if v is the zero vector",
857: "ispsp(x)=true(1) if x is a strong pseudoprime, false(0) if not",
858: "isqrt(x)=integer square root of x (x integer)",
859: "isset(x)=true(1) if x is a set (row vector with strictly increasing entries), false(0) if not",
860: "issqfree(x)=true(1) if x is squarefree, false(0) if not",
861: "issquare(x)=true(1) if x is a square, false(0) if not",
862: "isunit(bnf,x)=bnf being output by buchinit, gives the vector of exponents of x on the fundamental units and the roots of unity if x is a unit, the empty vector otherwise",
863: "jacobi(x)=eigenvalues and orthogonal matrix of eigenvectors of the real symmetric matrix x",
864: "jbesselh(n,x)=J-bessel function of index n+1/2 and argument x, where n is a non-negative integer",
865: "jell(x)=elliptic j invariant of x",
866: "karamul(x,y,k)=THIS FUNCTION HAS BEEN SUPPRESSED",
867: "kbessel(nu,x)=K-bessel function of index nu and argument x (x positive real of type real, nu of any scalar type)",
868: "kbessel2(nu,x)=K-bessel function of index nu and argument x (x positive real of type real, nu of any scalar type)",
869: "ker(x)=basis of the kernel of the matrix x",
870: "keri(x)=basis of the kernel of the matrix x with integer entries",
871: "kerint(x)=LLL-reduced Z-basis of the kernel of the matrix x with integral entries using a modified LLL",
872: "kerint1(x)=LLL-reduced Z-basis of the kernel of the matrix x with rational entries using matrixqz3 and the HNF",
873: "kerint2(x)=LLL-reduced Z-basis of the kernel of the matrix x with integral entries using a modified LLL",
874: "kro(x,y)=kronecker symbol (x/y)",
875: "label(n)=THIS FUNCTION HAS BEEN SUPPRESSED",
876: "lambdak(nfz,s)=Dedekind lambda function of the number field nfz at s, where nfz is the vector computed by initzeta (NOT by initalg)",
877: "laplace(x)=replaces the power series sum of a_n*x^n/n! by sum of a_n*x^n",
878: "lcm(x,y)=least common multiple of x and y=x*y/gcd(x,y)",
879: "legendre(n)=legendre polynomial of degree n (n C-integer)",
880: "length(x)=number of non code words in x",
881: "lex(x,y)=compare x and y lexicographically (1 if x>y, 0 if x=y, -1 if x<y)",
882: "lexsort(x)=sort the elements of the vector x in ascending lexicographic order",
883: "lift(x)=lifts every element of Z/nZ to Z or Z[x]/PZ[x] to Z[x]",
884: "lindep(x)=Z-linear dependencies between components of x (Hastad et al)",
885: "lindep2(x,dec)=Z-linear dependencies between components of x using LLL, where dec should be about one half the number of decimal digits of precision",
886: "lll(x)=lll reduction of the vectors forming the matrix x (gives the unimodular transformation matrix)",
887: "lll1(x)=old version of lll reduction of the vectors forming the matrix x (gives the unimodular transformation matrix)",
888: "lllgen(x)=lll reduction of the vectors forming the matrix x with polynomial coefficients (gives the unimodular transformation matrix)",
889: "lllgram(x)=lll reduction of the lattice whose gram matrix is x (gives the unimodular transformation matrix)",
890: "lllgram1(x)=old version of lll reduction of the lattice whose gram matrix is x (gives the unimodular transformation matrix)",
891: "lllgramgen(x)=lll reduction of the lattice whose gram matrix is x with polynomial coefficients (gives the unimodular transformation matrix)",
892: "lllgramint(x)=lll reduction of the lattice whose gram matrix is the integral matrix x (gives the unimodular transformation matrix)",
893: "lllgramkerim(x)=kernel and lll reduction of the lattice whose gram matrix is the integral matrix x",
894: "lllgramkerimgen(x)=kernel and lll reduction of the lattice whose gram matrix is the matrix x with polynomial coefficients",
895: "lllint(x)=lll reduction of the vectors forming the matrix x when the gram matrix is integral (gives the unimodular transformation matrix)",
896: "lllintpartial(x)=partial (hence faster) lll reduction of the vectors forming the matrix x when the gram matrix is integral (gives the unimodular transformation matrix)",
897: "lllkerim(x)=kernel and lll reduction of the vectors forming the integral matrix x",
898: "lllkerimgen(x)=kernel and lll reduction of the vectors forming the matrix x with polynomial coefficients",
899: "lllrat(x)=lll reduction of the vectors forming the matrix x, computations done with rational numbers (gives the unimodular transformation matrix)",
900: "ln(x)=log(x)=natural logarithm of x",
901: "lngamma(x)=logarithm of the gamma function of x",
902: "localred(e,p)= e being an ellliptic curve, returns [f,kod,[u,r,s,t],c], where f is the conductor's exponent, kod is the kodaira type for e at p, [u,r,s,t] is the change of variable needed to make e minimal at p, and c is the local Tamagawa number c_p",
903: "log(x)=ln(x)=natural logarithm of x",
904: "logagm(x)=natural logarithm of x, computed using agm (faster than log for more than a few hundred decimal digits)",
905: "lseriesell(e,s,N,A)=L-series at s of the elliptic curve e, where |N| is the conductor, sign(N) the sign of the functional equation, and A a cut-off point close to 1",
906: "makebigbnf(sbnf)=transforms small sbnf as output by smallbuchinit into a true big bnf",
907: "mat(x)=transforms any GEN x into a matrix",
908: "matextract(x,y,z)=extraction of the components of the matrix x according to the vector or masks y (for the rows) and z (for the columns) from left to right (1,2,4,8,...for the first, second, third, fourth, ...rows or columns)",
909: "mathell(e,x)=gives the height matrix for vector of points x on elliptic curve e using theta functions",
910: "matrix(m,n,X,Y,expr)=mXn matrix of expression expr, the row variable X going from 1 to m and the column variable Y going from 1 to n",
911: "matrixqz(x,p)=transforms the rational or integral mxn (m>=n) matrix x into an integral matrix with gcd of maximal determinants equal to 1 if p is equal to 0, not divisible by p otherwise",
912: "matrixqz2(x)=finds a basis of the intersection with Z^n of the lattice spanned by the columns of x",
913: "matrixqz3(x)=finds a basis of the intersection with Z^n of the Q-vector space spanned by the columns of x",
914: "matsize(x)=number of rows and columns of the vector/matrix x as a 2-vector",
915: "max(x,y)=maximum of x and y",
916: "min(x,y)=minimum of x and y",
917: "minideal(nf,ix,vdir)=minimum of the ideal ix in the direction vdir in the number field nf",
918: "minim(x,bound,maxnum)=number of vectors of square norm <= bound, maximum norm and list of vectors for the integral and definite quadratic form x; minimal non-zero vectors if bound=0",
919: "minim2(x,bound)=looks for vectors of square norm <= bound, return the first one and its norm",
920: "mod(x,y)=creates the integer x modulo y on the PARI stack",
921: "modp(x,y)=creates the integer x modulo y as a permanent object (on the heap)",
922: "modreverse(x)=reverse polymod of the polymod x, if it exists",
923: "modulargcd(x,y)=gcd of the polynomials x and y using the modular method",
924: "mu(x)=Moebius function of x",
925: "newtonpoly(x,p)=Newton polygon of polynomial x with respect to the prime p",
926: "nextprime(x)=smallest prime number>=x",
927: "nfdetint(nf,x)=multiple of the ideal determinant of the pseudo generating set x",
928: "nfdiv(nf,a,b)=element a/b in nf",
929: "nfdiveuc(nf,a,b)=gives algebraic integer q such that a-bq is small",
930: "nfdivres(nf,a,b)=gives [q,r] such that r=a-bq is small",
931: "nfhermite(nf,x)=if x=[A,I], gives a pseudo-basis of the module sum A_jI_j",
932: "nfhermitemod(nf,x,detx)=if x=[A,I], and detx is a multiple of the ideal determinant of x, gives a pseudo-basis of the module sum A_jI_j",
933: "nfmod(nf,a,b)=gives r such that r=a-bq is small with q algebraic integer",
934: "nfmul(nf,a,b)=element a.b in nf",
935: "nfpow(nf,a,k)=element a^k in nf",
936: "nfreduce(nf,a,id)=gives r such that a-r is the ideal id and r is small",
937: "nfsmith(nf,x)=if x=[A,I,J], outputs [c_1,...c_n] Smith normal form of x",
938: "nfval(nf,a,pr)=valuation of element a at the prime pr",
939: "norm(x)=norm of x",
940: "norml2(x)=square of the L2-norm of the vector x",
941: "nucomp(x,y,l)=composite of primitive positive definite quadratic forms x and y using nucomp and nudupl, where l=[|D/4|^(1/4)] is precomputed",
942: "numdiv(x)=number of divisors of x",
943: "numer(x)=numerator of x",
944: "nupow(x,n)=n-th power of primitive positive definite quadratic form x using nucomp and nudupl",
945: "o(a^b)=O(a^b)=p-adic or power series zero with precision given by b",
946: "omega(x)=number of unrepeated prime divisors of x",
947: "ordell(e,x)=y-coordinates corresponding to x-ordinate x on elliptic curve e",
948: "order(x)=order of the integermod x in (Z/nZ)*",
949: "orderell(e,p)=order of the point p on the elliptic curve e over Q, 0 if non-torsion",
950: "ordred(x)=reduction of the polynomial x, staying in the same order",
951: "padicprec(x,p)=absolute p-adic precision of object x",
952: "pascal(n)=pascal triangle of order n (n C-integer)",
953: "perf(a)=rank of matrix of xx~ for x minimal vectors of a gram matrix a",
954: "permutation(n,k)=permutation number k (mod n!) of n letters (n C-integer)",
955: "permutation2num(vect)=ordinal (between 1 and n!) of permutation vect",
956: "pf(x,p)=returns the prime form whose first coefficient is p, of discriminant x",
957: "phi(x)=Euler's totient function of x",
958: "pi=pi()=the constant pi, with current precision",
959: "pnqn(x)=[p_n,p_{n-1};q_n,q_{n-1}] corresponding to the continued fraction x",
960: "pointell(e,z)=coordinates of point on the curve e corresponding to the complex number z",
961: "polint(xa,ya,x)=polynomial interpolation at x according to data vectors xa, ya",
962: "polred(x)=reduction of the polynomial x (gives minimal polynomials only)",
963: "polred2(x)=reduction of the polynomial x (gives elements and minimal polynomials)",
964: "polredabs(x)=a smallest generating polynomial of the number field for the T2 norm on the roots, with smallest index for the minimal T2 norm",
965: "polredabs2(x)=gives [pol,a] where pol is as in polredabs, and alpha is the element whose characteristic polynomial is pol",
966: "polredabsall(x)=complete list of the smallest generating polynomials of the number field for the T2 norm on the roots",
967: "polredabsfast(x)=a smallest generating polynomial of the number field for the T2 norm on the roots",
968: "polredabsnored(x)=a smallest generating polynomial of the number field for the T2 norm on the roots without initial polred",
969: "polsym(x,n)=vector of symmetric powers of the roots of x up to n",
970: "polvar(x)=main variable of object x. Gives p for p-adic x, error for scalars",
971: "poly(x,v)=convert x (usually a vector or a power series) into a polynomial with variable v, starting with the leading coefficient",
972: "polylog(m,x)=m-th polylogarithm of x",
973: "polylogd(m,x)=D_m~-modified m-th polylog of x",
974: "polylogdold(m,x)=D_m-modified m-th polylog of x",
975: "polylogp(m,x)=P_m-modified m-th polylog of x",
976: "polyrev(x,v)=convert x (usually a vector or a power series) into a polynomial with variable v, starting with the constant term",
977: "polzag(n,m)=Zagier's polynomials of index n,m",
978: "powell(e,x,n)=n times the point x on elliptic curve e (n in Z)",
979: "powrealraw(x,n)=n-th power without reduction of the binary quadratic form x of positive discriminant",
980: "prec(x,n)=change the precision of x to be n (n C-integer)",
981: "precision(x)=real precision of object x",
982: "prime(n)=returns the n-th prime (n C-integer)",
983: "primedec(nf,p)=prime ideal decomposition of the prime number p in the number field nf as a vector of 5 component vectors [p,a,e,f,b] representing the prime ideals pZ_K+a.Z_K, e,f as usual, a as vector of components on the integral basis, b Lenstra's constant",
984: "primes(n)=returns the vector of the first n primes (n C-integer)",
985: "primroot(n)=returns a primitive root of n when it exists",
986: "principalideal(nf,x)=returns the principal ideal generated by the algebraic number x in the number field nf",
987: "principalidele(nf,x)=returns the principal idele generated by the algebraic number x in the number field nf",
988: "prod(x,X=a,b,expr)=x times the product (X runs from a to b) of expression",
989: "prodeuler(X=a,b,expr)=Euler product (X runs over the primes between a and b) of real or complex expression",
990: "prodinf(X=a,expr)=infinite product (X goes from a to infinity) of real or complex expression",
991: "prodinf1(X=a,expr)=infinite product (X goes from a to infinity) of real or complex 1+expression",
992: "psi(x)=psi-function at x",
993: "qfi(a,b,c)=binary quadratic form a*x^2+b*x*y+c*y^2 with b^2-4*a*c<0",
994: "qfr(a,b,c,d)=binary quadratic form a*x^2+b*x*y+c*y^2 with b^2-4*a*c>0 and distance d",
995: "quaddisc(x)=discriminant of the quadratic field Q(sqrt(x))",
996: "quadgen(x)=standard generator of quadratic order of discriminant x",
997: "quadpoly(x)=quadratic polynomial corresponding to the discriminant x",
998: "random()=random integer between 0 and 2^31-1",
999: "rank(x)=rank of the matrix x",
1000: "rayclassno(bnf,x)=ray class number of the module x for the big number field bnf. Faster than buchray if only the ray class number is wanted",
1001: "rayclassnolist(bnf,liste)=if listes is as output by idealisunit or similar, gives list of corresponding ray class numbers",
1002: "real(x)=real part of x",
1003: "recip(x)=reciprocal polynomial of x",
1004: "redimag(x)=reduction of the binary quadratic form x with D<0",
1005: "redreal(x)=reduction of the binary quadratic form x with D>0",
1006: "redrealnod(x,sq)=reduction of the binary quadratic form x with D>0 without distance function where sq=[sqrt D]",
1007: "reduceddisc(f)=vector of elementary divisors of Z[a]/f'(a)Z[a], where a is a root of the polynomial f",
1008: "regula(x)=regulator of the real quadratic field of discriminant x",
1009: "reorder(x)=reorder the variables for output according to the vector x",
1010: "resultant(x,y)=resultant of the polynomials x and y with exact entries",
1011: "resultant2(x,y)=resultant of the polynomials x and y",
1012: "reverse(x)=reversion of the power series x",
1013: "rhoreal(x)=single reduction step of the binary quadratic form x of positive discriminant",
1014: "rhorealnod(x,sq)=single reduction step of the binary quadratic form x with D>0 without distance function where sq=[sqrt D]",
1015: "rndtoi(x)=take the nearest integer to all the coefficients of x, without taking into account loss of integer part precision",
1016: "rnfbasis(bnf,order)=given an order as output by rnfpseudobasis or rnfsteinitz, gives either a basis of the order if it is free, or an n+1-element generating set",
1017: "rnfdiscf(nf,pol)=given a pol with coefficients in nf, gives a 2-component vector [D,d], where D is the relative ideal discriminant, and d is the relative discriminant in nf^*/nf*^2",
1018: "rnfequation(nf,pol)=given a pol with coefficients in nf, gives the absolute equation of the number field defined by pol",
1019: "rnfequation2(nf,pol)=given a pol with coefficients in nf, gives [apol,th], where apol is the absolute equation of the number field defined by pol and th expresses the root of nf[1] in terms of the root of apol",
1020: "rnfhermitebasis(bnf,order)=given an order as output by rnfpseudobasis, gives either a true HNF basis of the order if it exists, zero otherwise",
1021: "rnfisfree(bnf,order)=given an order as output by rnfpseudobasis or rnfsteinitz, outputs true (1) or false (0) according to whether the order is free or not",
1022: "rnflllgram(nf,pol,order)=given a pol with coefficients in nf and an order as output by rnfpseudobasis or similar, gives [[neworder],U], where neworder is a reduced order and U is the unimodular transformation matrix",
1023: "rnfpolred(nf,pol)=given a pol with coefficients in nf, finds a list of polynomials defining some subfields, hopefully simpler",
1024: "rnfpseudobasis(nf,pol)=given a pol with coefficients in nf, gives a 4-component vector [A,I,D,d] where [A,I] is a pseudo basis of the maximal order in HNF on the power basis, D is the relative ideal discriminant, and d is the relative discriminant in nf^*/nf*^2",
1025: "rnfsteinitz(nf,order)=given an order as output by rnfpseudobasis, gives [A,I,..] where (A,I) is a pseudo basis where all the ideals except perhaps the last are trivial",
1026: "rootmod(x,p)=roots mod p of the polynomial x",
1027: "rootmod2(x,p)=roots mod p of the polynomial x, when p is small",
1028: "rootpadic(x,p,r)=p-adic roots of the polynomial x to precision r",
1029: "roots(x)=roots of the polynomial x using Schonhage's method modified by Gourdon",
1030: "rootsof1(nf)=number of roots of unity and primitive root of unity in the number field nf",
1031: "rootsold(x)=roots of the polynomial x using a modified Newton's method",
1032: "round(x)=take the nearest integer to all the coefficients of x",
1033: "rounderror(x)=maximum error found in rounding x",
1034: "series(x,v)=convert x (usually a vector) into a power series with variable v, starting with the constant coefficient",
1035: "set(x)=convert x into a set, i.e. a row vector with strictly increasing coefficients",
1036: "setintersect(x,y)=intersection of the sets x and y",
1037: "setminus(x,y)=set of elements of x not belonging to y",
1038: "setrand(n)=reset the seed of the random number generator to n",
1039: "setsearch(x,y)=looks if y belongs to the set x. Returns 0 if it is not, otherwise returns the index j such that y==x[j]",
1040: "setunion(x,y)=union of the sets x and y",
1041: "shift(x,n)=shift x left n bits if n>=0, right -n bits if n<0",
1042: "shiftmul(x,n)=multiply x by 2^n (n>=0 or n<0)",
1043: "sigma(x)=sum of the divisors of x",
1044: "sigmak(k,x)=sum of the k-th powers of the divisors of x (k C-integer)",
1045: "sign(x)=sign of x, of type integer, real or fraction",
1046: "signat(x)=signature of the symmetric matrix x",
1047: "signunit(bnf)=matrix of signs of the real embeddings of the system of fundamental units found by buchinit",
1048: "simplefactmod(x,p)=same as factmod except that only the degrees of the irreducible factors are given",
1049: "simplify(x)=simplify the object x as much as possible",
1050: "sin(x)=sine of x",
1051: "sinh(x)=hyperbolic sine of x",
1052: "size(x)=maximum number of decimal digits minus one of (the coefficients of) x",
1053: "smallbasis(x)=integral basis of the field Q[a], where a is a root of the polynomial x where one assumes that no square of a prime>primelimit divides the discriminant of x",
1054: "smallbuchinit(pol)=small buchinit, which can be converted to a big one using makebigbnf",
1055: "smalldiscf(x)=discriminant of the number field defined by the polynomial x where one assumes that no square of a prime>primelimit divides the discriminant of x",
1056: "smallfact(x)=partial factorization of the integer x (using only the stored primes)",
1057: "smallinitell(x)=x being the vector [a1,a2,a3,a4,a6], gives the vector: [a1,a2,a3,a4,a6,b2,b4,b6,b8,c4,c6,delta,j]",
1058: "smallpolred(x)=partial reduction of the polynomial x (gives minimal polynomials only)",
1059: "smallpolred2(x)=partial reduction of the polynomial x (gives elements and minimal polynomials)",
1060: "smith(x)=Smith normal form (i.e. elementary divisors) of the matrix x, expressed as a vector",
1061: "smith2(x)=gives a three element vector [u,v,d] where u and v are square unimodular matrices such that d=u*x*v=diagonal(smith(x))",
1062: "smithclean(z)=if z=[u,v,d] as output by smith2, removes from u,v,d the rows and columns corresponding to entries equal to 1 in d",
1063: "smithpol(x)=Smith normal form (i.e. elementary divisors) of the matrix x with polynomial coefficients, expressed as a vector",
1064: "solve(X=a,b,expr)=real root of expression expr (X between a and b), where expr(a)*expr(b)<=0",
1065: "sort(x)=sort in ascending order of the vector x",
1066: "sqr(x)=square of x. NOT identical to x*x",
1067: "sqred(x)=square reduction of the (symmetric) matrix x ( returns a square matrix whose i-th diagonal term is the coefficient of the i-th square in which the coefficient of the i-th variable is 1)",
1068: "sqrt(x)=square root of x",
1069: "srgcd(x,y)=polynomial gcd of x and y using the subresultant algorithm",
1070: "sturm(x)=number of real roots of the polynomial x",
1071: "sturmpart(x,a,b)=number of real roots of the polynomial x in the interval (a,b]",
1072: "subcyclo(p,d)=finds an equation for the d-th degree subfield of Q(zeta_p), where p must be a prime power",
1073: "subell(e,z1,z2)=difference of the points z1 and z2 on elliptic curve e",
1074: "subst(x,y,z)=in expression x, replace the variable y by the expression z",
1075: "sum(x,X=a,b,expr)=x plus the sum (X goes from a to b) of expression expr",
1076: "sumalt(X=a,expr)=Villegas-Zagier's acceleration of alternating series expr, X starting at a",
1077: "sumalt2(X=a,expr)=Cohen-Villegas-Zagier's acceleration of alternating series expr, X starting at a",
1078: "suminf(X=a,expr)=infinite sum (X goes from a to infinity) of real or complex expression expr",
1079: "sumpos(X=a,expr)=sum of positive series expr, the formal variable X starting at a",
1080: "sumpos2(X=a,expr)=sum of positive series expr, the formal variable X starting at a, using Zagier's polynomials",
1081: "supplement(x)=supplement the columns of the matrix x to an invertible matrix",
1082: "sylvestermatrix(x,y)=forms the sylvester matrix associated to the two polynomials x and y. Warning: the polynomial coefficients are in columns, not in rows",
1083: "tan(x)=tangent of x",
1084: "tanh(x)=hyperbolic tangent of x",
1085: "taniyama(e)=modular parametrization of elliptic curve e",
1086: "taylor(x,y)=taylor expansion of x with respect to the main variable of y",
1087: "tchebi(n)=Tchebitcheff polynomial of degree n (n C-integer)",
1088: "teich(x)=teichmuller character of p-adic number x",
1089: "theta(q,z)=Jacobi sine theta-function",
1090: "thetanullk(q,k)=k'th derivative at z=0 of theta(q,z)",
1091: "threetotwo(nf,a,b,c)=returns a 3-component vector [d,e,U] such that U is a unimodular 3x3 matrix with algebraic integer coefficients such that [a,b,c]*U=[0,d,e]",
1092: "threetotwo2(nf,a,b,c)=returns a 3-component vector [d,e,U] such that U is a unimodular 3x3 matrix with algebraic integer coefficients such that [a,b,c]*U=[0,d,e]",
1093: "torsell(e)=torsion subgroup of elliptic curve e: order, structure, generators",
1094: "trace(x)=trace of x",
1095: "trans(x)=x~=transpose of x",
1096: "trunc(x)=truncation of x;when x is a power series,take away the O(X^)",
1097: "tschirnhaus(x)=random Tschirnhausen transformation of the polynomial x",
1098: "twototwo(nf,a,b)=returns a 3-component vector [d,e,U] such that U is a unimodular 2x2 matrix with algebraic integer coefficients such that [a,b]*U=[d,e] and d,e are hopefully smaller",
1099: "unit(x)=fundamental unit of the quadratic field of discriminant x where x must be positive",
1100: "until(a,seq)=evaluate the expression sequence seq until a is nonzero",
1101: "valuation(x,p)=valuation of x with respect to p",
1102: "vec(x)=transforms the object x into a vector. Used mainly if x is a polynomial or a power series",
1103: "vecindexsort(x): indirect sorting of the vector x",
1104: "veclexsort(x): sort the elements of the vector x in ascending lexicographic order",
1105: "vecmax(x)=maximum of the elements of the vector/matrix x",
1106: "vecmin(x)=minimum of the elements of the vector/matrix x",
1107: "vecsort(x,k)=sorts the vector of vector (or matrix) x according to the value of its k-th component",
1108: "vector(n,X,expr)=row vector with n components of expression expr (X ranges from 1 to n)",
1109: "vvector(n,X,expr)=column vector with n components of expression expr (X ranges from 1 to n)",
1110: "weipell(e)=formal expansion in x=z of Weierstrass P function",
1111: "wf(x)=Weber's f function of x (j=(f^24-16)^3/f^24)",
1112: "wf2(x)=Weber's f2 function of x (j=(f2^24+16)^3/f2^24)",
1113: "while(a,seq)= while a is nonzero evaluate the expression sequence seq. Otherwise 0",
1114: "zell(e,z)=In the complex case, lattice point corresponding to the point z on the elliptic curve e",
1115: "zeta(s)=Riemann zeta function at s",
1116: "zetak(nfz,s)=Dedekind zeta function of the number field nfz at s, where nfz is the vector computed by initzeta (NOT by initalg)",
1117: "zideallog(nf,x,bid)=if bid is a big ideal as given by zidealstarinit or zidealstarinitgen , gives the vector of exponents on the generators bid[2][3] (even if these generators have not been computed)",
1118: "zidealstar(nf,I)=3-component vector v, giving the structure of (Z_K/I)^*. v[1] is the order (i.e. phi(I)), v[2] is a vector of cyclic components, and v[3] is a vector giving the corresponding generators",
1119: "zidealstarinit(nf,I)=6-component vector [I,v,fa,f2,U,V] where v is as in zidealstar without the generators, fa is the prime ideal factorisation of I and f2, U and V are technical but essential to work in (Z_K/I)^*",
1120: "zidealstarinitgen(nf,I)=6-component vector [I,v,fa,f2,U,V] where v is as in zidealstar fa is the prime ideal factorisation of I and f2, U and V are technical but essential to work in (Z_K/I)^*",
1121: "znstar(n)=3-component vector v, giving the structure of (Z/nZ)^*. v[1] is the order (i.e. phi(n)), v[2] is a vector of cyclic components, and v[3] is a vector giving the corresponding generators",
1122: };
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to compat.c CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM_contrib / pari-2.2 / src / language