version 1.1, 2001/10/02 11:17:13 |
version 1.2, 2002/09/11 07:27:14 |
Line 19 setrand(1);bnfinit(x^2-x-100000,1) |
|
Line 19 setrand(1);bnfinit(x^2-x-100000,1) |
|
\p19 |
\p19 |
setrand(1);sbnf=bnfinit(x^3-x^2-14*x-1,3) |
setrand(1);sbnf=bnfinit(x^3-x^2-14*x-1,3) |
\p38 |
\p38 |
bnrinit(bnf,[[5,3;0,1],[1,0]],1) |
bnrinit(bnf,[[5,4;0,1],[1,0]],1) |
bnr=bnrclass(bnf,[[5,3;0,1],[1,0]],2) |
bnr=bnrclass(bnf,[[5,4;0,1],[1,0]],2) |
rnfinit(nf2,x^5-x-2) |
rnfinit(nf2,x^5-x-2) |
\\ |
\\ |
bnfcertify(bnf) |
bnfcertify(bnf) |
Line 31 setrand(1);bnfclassunit(x^4+24*x^2+585*x+1791,,[0.1,0. |
|
Line 31 setrand(1);bnfclassunit(x^4+24*x^2+585*x+1791,,[0.1,0. |
|
setrand(1);bnfclgp(17) |
setrand(1);bnfclgp(17) |
setrand(1);bnfclgp(-31) |
setrand(1);bnfclgp(-31) |
setrand(1);bnfclgp(x^4+24*x^2+585*x+1791) |
setrand(1);bnfclgp(x^4+24*x^2+585*x+1791) |
bnrconductor(bnf,[[25,13;0,1],[1,1]]) |
bnrconductor(bnf,[[25,14;0,1],[1,1]]) |
bnrconductorofchar(bnr,[2]) |
bnrconductorofchar(bnr,[2]) |
\\ bnfdecodemodule(bnf, |
\\ bnfdecodemodule(bnf, |
\\ bnfisintnorm |
\\ bnfisintnorm |
\\ bnfisnorm |
\\ bnfisnorm |
bnfisprincipal(bnf,[5,1;0,1],0) |
bnfisprincipal(bnf,[5,2;0,1],0) |
bnfisprincipal(bnf,[5,1;0,1]) |
bnfisprincipal(bnf,[5,2;0,1]) |
\\ bnfissunit |
\\ bnfissunit |
bnfisunit(bnf,Mod(3405*x-27466,x^2-x-57)) |
bnfisunit(bnf,Mod(3405*x-27466,x^2-x-57)) |
\p19 |
\p19 |
|
|
bnfsignunit(bnf) |
bnfsignunit(bnf) |
\\ bnfsunit(bnf, |
\\ bnfsunit(bnf, |
bnfunit(bnf) |
bnfunit(bnf) |
bnrclass(bnf,[[5,3;0,1],[1,0]]) |
bnrclass(bnf,[[5,4;0,1],[1,0]]) |
bnr2=bnrclass(bnf,[[25,13;0,1],[1,1]],2) |
bnr2=bnrclass(bnf,[[25,14;0,1],[1,1]],2) |
bnrclassno(bnf,[[5,3;0,1],[1,0]]) |
bnrclassno(bnf,[[5,4;0,1],[1,0]]) |
lu=ideallist(bnf,55,3); |
lu=ideallist(bnf,55,3); |
bnrclassnolist(bnf,lu) |
bnrclassnolist(bnf,lu) |
bnrdisc(bnr,Mat(6)) |
bnrdisc(bnr,Mat(6)) |
Line 134 nfhilbert(nf,3,5) |
|
Line 134 nfhilbert(nf,3,5) |
|
nfhilbert(nf,3,5,idf[1,1]) |
nfhilbert(nf,3,5,idf[1,1]) |
nfhnf(nf,[a,aid]) |
nfhnf(nf,[a,aid]) |
nfhnfmod(nf,[a,aid],da) |
nfhnfmod(nf,[a,aid],da) |
nfisideal(bnf[7],[5,1;0,1]) |
nfisideal(bnf[7],[5,2;0,1]) |
nfisincl(x^2+1,x^4+1) |
nfisincl(x^2+1,x^4+1) |
nfisincl(x^2+1,nfinit(x^4+1)) |
nfisincl(x^2+1,nfinit(x^4+1)) |
nfisisom(x^3+x^2-2*x-1,x^3+x^2-2*x-1) |
nfisisom(x^3+x^2-2*x-1,x^3+x^2-2*x-1) |