Annotation of OpenXM_contrib/pari/src/test/in/nfields, Revision 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>