Annotation of OpenXM_contrib/pari/src/test/in/nfields, Revision 1.1.1.1
1.1 maekawa 1: \p 38
2: \e
3: \\ Initialisations diverses
4: nfpol=x^5-5*x^3+5*x+25
5: qpol=y^3-y-1;un=Mod(1,qpol);w=Mod(y,qpol);p=un*(x^5-5*x+w)
6: p2=x^5+3021*x^4-786303*x^3-6826636057*x^2-546603588746*x+3853890514072057
7: fa=[11699,6;2392997,2;4987333019653,2]
8: setrand(1);a=matrix(3,5,j,k,vectorv(5,l,random\10^8));
9: setrand(1);as=matrix(3,3,j,k,vectorv(5,l,random\10^8));
10: nf=nfinit(nfpol)
11: nf1=nfinit(nfpol,2)
12: nfinit(nfpol,3)
13: nfinit(nfpol,4)
14: nf3=nfinit(x^6+108);
15: nf4=nfinit(x^3-10*x+8)
16: setrand(1);bnf2=bnfinit(qpol);nf2=bnf2[7];
17: setrand(1);bnf=bnfinit(x^2-x-57,,[0.2,0.2])
18: setrand(1);bnfinit(x^2-x-100000,1)
19: \p19
20: setrand(1);sbnf=bnfinit(x^3-x^2-14*x-1,3)
21: \p38
22: bnrinit(bnf,[[5,3;0,1],[1,0]],1)
23: bnr=bnrclass(bnf,[[5,3;0,1],[1,0]],2)
24: rnfinit(nf2,x^5-x-2)
25: \\
26: bnfcertify(bnf)
27: setrand(1);bnfclassunit(x^4-7,2,[0.2,0.2])
28: setrand(1);bnfclassunit(x^2-x-100000)
29: setrand(1);bnfclassunit(x^2-x-100000,1)
30: setrand(1);bnfclassunit(x^4+24*x^2+585*x+1791,,[0.1,0.1])
31: setrand(1);bnfclgp(17)
32: setrand(1);bnfclgp(-31)
33: setrand(1);bnfclgp(x^4+24*x^2+585*x+1791)
34: bnrconductor(bnf,[[25,13;0,1],[1,1]])
35: bnrconductorofchar(bnr,[2])
36: \\ bnfdecodemodule(bnf,
37: \\ bnfisintnorm
38: \\ bnfisnorm
39: bnfisprincipal(bnf,[5,1;0,1],0)
40: bnfisprincipal(bnf,[5,1;0,1])
41: \\ bnfissunit
42: bnfisunit(bnf,Mod(3405*x-27466,x^2-x-57))
43: \p19
44: bnfmake(sbnf)
45: \p38
46: bnfnarrow(bnf)
47: bnfreg(x^2-x-57)
48: bnfsignunit(bnf)
49: \\ bnfsunit(bnf,
50: bnfunit(bnf)
51: bnrclass(bnf,[[5,3;0,1],[1,0]])
52: bnr2=bnrclass(bnf,[[25,13;0,1],[1,1]],2)
53: bnrclassno(bnf,[[5,3;0,1],[1,0]])
54: lu=ideallist(bnf,55,3);
55: bnrclassnolist(bnf,lu)
56: bnrdisc(bnr,Mat(6))
57: bnrdisc(bnr)
58: bnrdisc(bnr2,,,2)
59: bnrdisc(bnr,Mat(6),,1)
60: bnrdisc(bnr,,,1)
61: bnrdisc(bnr2,,,3)
62: bnrdisclist(bnf,lu)
63: bnrdisclist(bnf,20,,1)
64: bnrisprincipal(bnr,idealprimedec(bnf,7)[1])
65: dirzetak(nf4,30)
66: factornf(x^3+x^2-2*x-1,t^3+t^2-2*t-1)
67: \\
68: vp=idealprimedec(nf,3)[1]
69: idx=idealmul(nf,matid(5),vp)
70: idealinv(nf,idx)
71: idy=idealred(nf,idx,[1,5,6])
72: idx2=idealmul(nf,idx,idx)
73: idt=idealmul(nf,idx,idx,1)
74: idz=idealintersect(nf,idx,idy)
75: aid=[idx,idy,idz,matid(5),idx]
76: bid=idealstar(nf2,54,1)
77: vaid=[idx,idy,matid(5)]
78: haid=[matid(5),matid(5),matid(5)]
79: idealadd(nf,idx,idy)
80: idealaddtoone(nf,idx,idy)
81: idealaddtoone(nf,[idy,idx])
82: idealappr(nf,idy)
83: idealappr(nf,idealfactor(nf,idy),1)
84: \\ idealchinese
85: idealcoprime(nf,idx,idx)
86: idealdiv(nf,idy,idt)
87: idealdiv(nf,idx2,idx,1)
88: idf=idealfactor(nf,idz)
89: idealhnf(nf,vp)
90: idealhnf(nf,vp[2],3)
91: ideallist(bnf,20)
92: \\ ideallistarch
93: ideallog(nf2,w,bid)
94: idealmin(nf,idx,[1,2,3,4,5])
95: idealnorm(nf,idt)
96: idp=idealpow(nf,idx,7)
97: idealpow(nf,idx,7,1)
98: idealprimedec(nf,2)
99: idealprimedec(nf,3)
100: idealprimedec(nf,11)
101: idealprincipal(nf,Mod(x^3+5,nfpol))
102: idealtwoelt(nf,idy)
103: idealtwoelt(nf,idy,10)
104: idealstar(nf2,54)
105: idealval(nf,idp,vp)
106: ideleprincipal(nf,Mod(x^3+5,nfpol))
107: \\
108: ba=nfalgtobasis(nf,Mod(x^3+5,nfpol))
109: bb=nfalgtobasis(nf,Mod(x^3+x,nfpol))
110: bc=matalgtobasis(nf,[Mod(x^2+x,nfpol);Mod(x^2+1,nfpol)])
111: matbasistoalg(nf,bc)
112: nfbasis(x^3+4*x+5)
113: nfbasis(x^3+4*x+5,2)
114: nfbasis(x^3+4*x+12,1)
115: nfbasistoalg(nf,ba)
116: nfbasis(p2,0,fa)
117: da=nfdetint(nf,[a,aid])
118: nfdisc(x^3+4*x+12)
119: nfdisc(x^3+4*x+12,1)
120: nfdisc(p2,0,fa)
121: nfeltdiv(nf,ba,bb)
122: nfeltdiveuc(nf,ba,bb)
123: nfeltdivrem(nf,ba,bb)
124: nfeltmod(nf,ba,bb)
125: nfeltmul(nf,ba,bb)
126: nfeltpow(nf,bb,5)
127: nfeltreduce(nf,ba,idx)
128: nfeltval(nf,ba,vp)
129: nffactor(nf2,x^3+x)
130: \\ nffactormod
131: aut=nfgaloisconj(nf3)
132: nfgaloisapply(nf3,aut[5],Mod(x^5,x^6+108))
133: nfhilbert(nf,3,5)
134: nfhilbert(nf,3,5,idf[1,1])
135: nfhnf(nf,[a,aid])
136: nfhnfmod(nf,[a,aid],da)
137: nfisideal(bnf[7],[5,1;0,1])
138: nfisincl(x^2+1,x^4+1)
139: nfisincl(x^2+1,nfinit(x^4+1))
140: nfisisom(x^3+x^2-2*x-1,x^3+x^2-2*x-1)
141: nfisisom(x^3-2,nfinit(x^3-6*x^2-6*x-30))
142: nfroots(nf2,x+2)
143: nfrootsof1(nf)
144: nfsnf(nf,[as,haid,vaid])
145: nfsubfields(nf)
146: polcompositum(x^4-4*x+2,x^3-x-1)
147: polcompositum(x^4-4*x+2,x^3-x-1,1)
148: polgalois(x^6-3*x^2-1)
149: polred(x^5-2*x^4-4*x^3-96*x^2-352*x-568)
150: polred(x^4-28*x^3-458*x^2+9156*x-25321,3)
151: polred(x^4+576,1)
152: polred(x^4+576,3)
153: polred(p2,0,fa)
154: polred(p2,1,fa)
155: polredabs(x^5-2*x^4-4*x^3-96*x^2-352*x-568)
156: polredabs(x^5-2*x^4-4*x^3-96*x^2-352*x-568,1)
157: polredord(x^3-12*x+45*x-1)
158: polsubcyclo(31,5)
159: setrand(1);poltschirnhaus(x^5-x-1)
160: \\
161: \\ rnfalgtobasis
162: aa=rnfpseudobasis(nf2,p)
163: rnfbasis(bnf2,aa)
164: \\ rnfbasis
165: \\ rnfcharpoly
166: \\ rnfdedekind
167: \\ rnfdet
168: rnfdisc(nf2,p)
169: \\ rnfeltabstorel
170: \\ rnfeltdown
171: \\ rnfeltreltoabs
172: \\ rnfeltup
173: rnfequation(nf2,p)
174: rnfequation(nf2,p,1)
175: rnfhnfbasis(bnf2,aa)
176: \\ rnfidealabstorel
177: \\ rnfidealdown
178: \\ rnfidealhnf
179: \\ rnfidealmul
180: \\ rnfidealnormabs
181: \\ rnfidealnormrel
182: \\ rnfidealreltoabs
183: \\ rnfidealtwoelt
184: \\ rnfidealup
185: rnfisfree(bnf2,aa)
186: \\ rnfisnorm
187: \\ rnflllgram
188: \\ rnfpolred
189: rnfsteinitz(nf2,aa)
190: \\
191: nfz=zetakinit(x^2-2);
192: zetak(nfz,-3)
193: zetak(nfz,1.5+3*I)
194: \\
195: setrand(1);quadclassunit(1-10^7,,[1,1])
196: setrand(1);quadclassunit(10^9-3,,[0.5,0.5])
197: sizebyte(%)
198: getheap
199: print("Total time spent: ",gettime);
200: \q
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to nfields CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM_contrib / pari / src / test / in