searchindex.js

Search.setIndex({envversion:42,terms:{is_coprim:15,is_cyclotomicfield:18,odlyzko_bound_totallyr:14,mapabsolutetorelativenumberfield:22,"_descr":20,is_algebraicfield_common:20,four:[11,18],is_s_integr:15,whose:[14,15,1,19,11,18,20],typeerror:[20,23,18,15],anroot:20,concret:20,under:[9,1,18,5,20,24,7],some_el:23,hilbert_class_field_defining_polynomi:18,worth:20,everi:[18,20,1,10,0],return_pari_object:[14,11],vastli:[18,15],galois_closur:[1,18,0,16],bdd_height_iq:19,sage_object:[20,16],arprec:20,look:[14,7],algebraicnumber_bas:20,z18:18,reduced_gram_matrix:18,z12:18,factori:[18,12],vector:[9,15,22,1,18,23,20,13,21,0],zeta49:18,verif:20,aaecc:23,relativeord:9,"57a1":15,deprecationwarn:15,realintervalfield:20,numberfield_cyclotomic_with_categori:18,ngen:[9,15,16,18,20,13,0],direct:[20,18,0,24],"10e":11,get_aa_golden_ratio:20,consequ:20,second:[14,15,18,3,11,12,20,24,7],ilist:18,even:[9,15,1,18,24,20,0],clf_from_k:18,elt_fwd:20,neg:[15,21,18,19,20,0,24],biject:0,k_over_rel:18,"new":[14,9,15,18,2,4,20],ever:9,elimin:2,qflll:18,never:[20,9],here:[14,0,15,1,2,11,18,20],"8857805861880480e":0,gens_valu:[13,18,15,17],ramification_group:[15,16],primes_of_degree_one_it:[3,18],precis:[0,15,1,18,19,20],galoi:[],fraction_field:9,pari_rnfnorm_data:18,defining_polynom:18,isomorph:[],numberfieldfractionalideal_rel:21,schur:20,cohn:2,parallelepip:19,change_nam:[18,22,9,0,12],printa:2,residue_field:[18,9,15],algebraicpolynomialtrack:20,total:[],univ:14,numberfield_gener:[18,0],unit:[],describ:[20,11,15,0],would:[9,0,16,23,18,19,12,20],num_bound:18,getrecursionlimit:20,numberfieldtow:[1,18,0,21],call:[14,24,9,0,16,15,23,1,18,19,4,5,20,13,21,12,7],recommend:23,type:[14,9,0,16,15,22,1,2,10,18,23,20],tell:10,number_field_bas:[10,18],relat:[18,20,12,6],composita:18,notic:[1,9,0],warn:[18,15,0],an_muldiv_r:20,hold:[20,15],must:[14,9,0,15,23,1,18,11,20,21,7],springer:[3,14,2],complex_embed:[1,18],word:[20,23],quartic:21,henri:[14,2],work:[15,0,1,18,10,19,4,20,13,21,7],abelian_gp:[13,17],abs_non_arch:1,endow:18,overrid:18,give:[14,9,0,16,15,1,2,17,11,18,5,20,19,13,24],isolating_interv:20,want:[0,15,18,11,4,20],keep:[14,20],plist:18,krull_dimens:9,end:[20,18,5],thing:20,hom:[20,16,18,0,5],length:[14,11,9,18,21],how:[20,1,18],idealcoprim:15,answer:[20,1,18,4],verifi:[20,18,15],bcoord:15,lam:15,mess:9,chines:18,after:[3,20,18],befor:[3,20,1,18,4],wrong:[18,20,4,0,9],adic:18,demonstr:18,attempt:[20,6],third:[20,11],is_subord:9,exclud:18,k_bnf:15,maintain:20,default_base_hom:5,"_rnfisnorm":1,unramifi:[18,15,16],order:[],origin:20,composit:[22,18,0],is_squar:[20,1,18],degree_divisor:4,over:[],fall:20,becaus:[9,0,18,3,12,20,21,24],fab:11,basis_to_modul:15,vari:20,"0704285924714907491782135494859351061e12":18,fix:[0,15,16,23,1,18,3,11,20,24],"__class__":1,better:[0,15,18,10,20,24],carri:12,is_galois_absolut:0,sigma_a:7,easier:[14,11],split:[],them:[18,20,9,0],thei:[9,15,18,12,20,21,0,7],database_gap:[18,16],"break":16,promis:18,"16240385609l":11,choic:[15,21,16,23,1,18,0],numberfield_quadratic_with_categori:18,alex:18,maprelativetoabsolutenumberfield:22,unpickl:20,zeta_funct:18,totallyreal_data:2,each:[14,9,0,15,1,2,11,18,17,20,21],is_s_unit:15,mean:[18,20,1,15,0],zeta_:18,is_cm:[18,0],journ:14,is_exact:[20,23],extract:18,universalcyclotomicfield:[23,18],zetan:18,martinet1980:14,c38:[18,17],got:[1,18],unexp:20,forth:18,cyclotomic_gener:20,linear:[15,19,9,0],situat:[3,4],infin:[23,1,18,10,20,13],free:[9,15,1,18,13,21,0],standard:[23,16],nth:2,ntl:[18,0],an_addsub_expr:20,zeta9:[18,0,5],zeta8:18,angl:20,zeta6:[1,18],zeta5:[23,18],zeta4:18,zeta3:[22,1,23,18,5],filter:20,ish:18,unabl:[20,18],inverse_mod:[1,24],confus:0,sageobject:[20,16],rang:[14,9,0,15,1,2,3,18,20,19,13,21],invertible_residu:15,independ:[1,18,15],rank:[9,15,23,19,18,13,21,0],necess:[19,18],unlik:18,alreadi:[20,18],messag:4,"_assume_disc_smal":18,agre:21,dedekind:18,numberfieldelement_rel:1,sometim:[20,11,15],toi:20,too:[18,20,11,15,4],john:[14,9,15,19,1,2,11,18,13,6],convert_test:20,zeroth:6,somewhat:[3,21,15],technic:[20,12],primes_of_degree_one_list:[3,18],preserve_embed:[18,0],target:7,keyword:[20,0],provid:[23,9,0,15,22,1,18,5,13,7],torsion_gen:13,zero:[14,9,15,19,23,1,2,11,18,20,21,24],matter:[20,21],integral_elements_in_box:11,entri:[14,11,24,18],equationord:[1,9],behavior:20,l_over_k:0,l_over_f:18,is_numberfieldel:1,rai:15,rat:20,increment:[11,2],seem:[14,11],absolute_degre:[18,9,0],ellipticcurv:15,bre97:23,latter:[18,4,16],integral_split:[21,15],field_ord:23,l_to_k:[22,0],evalu:20,simplifi:[20,4],insur:20,though:[9,0],object:[14,0,16,1,2,11,18,12,20,13,24],descend_mod_pow:1,number_field_factori:18,don:[14,9,4,18],numberfieldfractionalid:[21,15],complex_numb:20,coerce_embed:[18,7],doe:[0,15,23,1,18,20,13,21],dummi:18,echelonized_basis_matrix:15,unchang:20,section:[14,11,15,7],primitive_root_of_un:18,specified_complex_embed:18,random:[9,15,23,2,3,11,18,17,20,13,21],primes_of_bounded_norm_it:18,poldegre:4,bail:18,infinityr:18,involv:[20,9,18],despit:20,explain:11,timestr:14,disc1:20,disc2:20,default_interval_prec:20,field_:12,numberfieldel:[20,1],ceil:[20,1,24],numberfield_absolut:18,numberfield_rel:[18,0],multiplicative_ord:[20,23,1,13,18],norm_of_galois_extens:23,is_isomorphic_rel:0,emb:[1,24,18],real_part:23,interval_diamet:20,twice:20,ideallog:15,a0_0:0,num:20,result:[14,0,15,1,18,19,4,20,21],fail:[21,15,18,3,5,20,7],usefulli:18,z5_5:20,best:[20,4,7],subject:20,bdd_height:19,z3_3:20,s_unit_group:18,approach:11,attribut:[18,4,24],golden_ratio:20,conjectur:18,xrang:[24,18],maximal_ord:[9,15,1,18,10,21,0],extens:[],lazi:[18,7],c22:9,c20:18,z_to_quadratic_field_el:24,c26:13,easi:20,c24:[13,15],c4pol:4,local_height_arch:1,howev:[18,20,1,15,12],against:20,splitting_field:[4,16],pari_relative_polynomi:0,kwd:[9,15,23,18,10,20,0],conjug:[0,16,23,1,18,20],height:[],permut:16,shortcut:18,trust:18,assum:[21,15,19,10,18,20,7],saitama:14,"_pari_":18,absolutefromrel:12,nonsens:9,union:20,algebraicnumb:20,m_ok_map:15,been:[18,20,15,12,17],ringhomset_gener:5,much:[9,0,18,10,20,24],mult:4,beta1:18,beta0:[18,0],quickli:[20,15],regul:18,is_galois_rel:0,is_trivi:[20,15],ani:[23,1,18,3,20,13,7],lift:[1,15,0],field_element_valu:20,hilbert_conductor:18,ident:[18,12,0],numberfieldstructur:[18,12,0],bnf:18,calcul:[14,20,18,15,23],unsolv:18,pairwis:18,an_addsub_rootun:20,gnk:2,gave:0,homset:[18,5],unop:20,opt:20,constr_par:20,computat:18,"4807276041138450473611629088647496430e8":18,residue_symbol:[1,15],numberfield_extension_v1:0,conj:16,coordinatefunct:1,integral_coeffici:18,sever:[3,18],class_group:[18,9,15,17],wissenschaften:2,perform:[20,1,11,19,18],real_numb:20,make:[9,15,1,18,12,20],preserv:[18,0],complex:[0,16,23,1,18,10,20,24,7],descend:18,subfield:[14,9,0,16,15,22,1,18,23,20,21],complet:[21,15,16,23,1,18,11,2,20],numberfieldelement_quadrat:[24,18],evid:20,permit:18,hand:[18,0],fairli:[20,16],rais:[9,0,16,15,1,18,3,19,4,5,20,13,21,24],is_rel:[18,0],tune:1,redefin:18,symmetricfunct:20,kept:0,thu:[20,1,24,18,16],idealtwoelt:15,inherit:[20,18],greatest:[1,16],thi:[0,1,2,3,4,5,7,9,10,11,12,13,14,15,16,18,19,20,21,23,17,24],lagrang:2,everyth:[1,18],left:20,identifi:12,just:[0,15,16,2,11,18,20,9],golden:20,newton:[20,6],human:14,rnfisnorm:1,gen2_3:20,yet:[20,1,9,18,21],previous:0,ham:20,"_exact_valu":20,interfer:18,oldpol:20,had:[11,24,2],els:15,save:9,absolute_norm:[3,1,21,15],elt:[20,23,16],change_r:[15,4,7],keep_field:14,invertible_residues_mod:15,solve_crt:18,is_totally_posit:1,rnd:20,algebraicgeneratorrel:20,lcm:24,aran:15,apart:18,is_fre:0,specif:[20,18],arbitrari:[20,1,18,5],refine_embed:18,odlyzko:14,manual:[18,0],cif64:20,elt_back:20,minpoli:[0,23,1,18,4,20,24],underli:[9,0,16,22,1,18,12,20],an_muldiv_gaussian:20,right:[20,1,18,15],old:18,"_dm":4,deal:20,pari_zk:18,negat:20,stopiter:[3,18],an_addsub_gaussian:20,maxim:[9,15,23,1,18,10,17,0],"_coeffici":24,norm_list:19,intern:[14,9,0,16,15,23,2,11,18,4,20,24],flatten:20,indirect:[20,23,18,12,5],witti:20,continued_fract:24,subclass:20,track:20,pari_field:20,condit:[3,20],foo:1,canonical_embed:[18,0],sensibl:[24,18],bold:18,delecroix:[23,24],vector_spac:[18,22,9,0],is_norm:1,corp:14,unreason:20,"super":20,alexand:[3,21,0],"_maximize_at_prim":18,slightli:[9,18],unfortun:20,is_simpl:20,produc:[20,12],subr:[15,9,0,18],xyz:0,"float":[20,1,19,18],encod:[11,12,2],bound:[],down:[1,18,4,24],from_h:18,from_m:18,from_l:[18,22,12,0],wrap:23,pari_rnf:0,fractional_id:[18,9,15,21],is_algebraicnumb:20,storag:24,suffici:[20,18],support:[9,15,1,18,20,0],transform:[19,18],avail:[20,2,0,16],fraction:[9,0,16,15,1,18,3,10,17,13,21,24],interv:[20,19],form:[0,15,1,18,20,21],epsilon:11,numberfield_relative_v1:0,anextensionel:20,somehow:4,renam:18,zeta_ord:[13,18],"true":[14,23,9,0,16,15,22,17,1,2,3,10,11,18,4,12,20,19,13,21,24],polynomial_root:20,coset:15,base_field:[9,0,22,1,18,21],ringhomomorph:5,until:20,fundament:[19,18],featur:16,elements_of_bounded_height:18,classic:6,petit:14,"abstract":[0,16,18,12,17,20,13],cyclotom:[],subord:9,proven:18,exist:[20,1,21,18,5],absolute_id:21,k_into_l2:[21,18],check:[14,9,0,15,23,1,2,18,4,20,24],k_into_l1:[21,18],takeuchi:14,floor:[20,1,24],pol48:4,is_numberfieldid:15,when:[0,15,1,2,3,18,12,20,21,24],tim:18,preperiod:24,test:[14,12,0,16,15,23,17,1,2,3,10,11,18,4,5,20,13,21,24,7],galoisgroup_subgroup:16,roll:[14,11,2],minkowski_bound:10,a14:18,relative_discrimin:[18,0],an_el:[23,13],consid:[18,12,0],is_real:23,omega:18,fractionalidealclass:17,longer:18,poly_degre:20,ramifi:[3,1,18,15,16],elemenst:18,ignor:[20,18,15],time:[14,9,15,1,18,11,19,4,20,7],nxn:18,rhs_den:20,mpfr:18,chain:20,global:[20,1,19,18],algebraicclosurefunctor:20,signific:20,rhs_num:20,polynomial_quotient_r:18,lll:[19,18],constrcturo:23,easy_is_irreducible_pi:2,"_pari_integral_basi":18,decid:[20,23],depend:[0,15,16,1,18,11,17,20],demey:[18,4],decim:18,intermedi:[12,4],child2_poli:20,rueth:[18,12,0],numberfieldembed:7,vec:13,"7567593946498534j":23,isinst:[22,12],child1:20,child2:20,string:[14,9,0,23,18,3,11,20,21],numberfieldfactori:18,cbrt3:1,nfrootsof1:18,exact:[21,15,23,18,3,2,20,7],streng:[1,18],riemann:[10,18],real_plac:18,level:[20,11,2,0],iter:[15,21,19,3,18,20],item:[11,7],unsupport:20,short_prec_seq:20,div:[20,4],round:20,upper:[11,18,2,17],slower:[20,23],put_natural_embedding_first:18,pickleabl:16,sign:[20,24,18,15,21],krull:9,numberfield_quadratic_v1:18,cost:20,gens_two:15,allow_subfield:[18,9,0],imag_part:23,appear:[19,20,18,15,21],gens_id:17,uniform:[15,9,0,18],current:[9,0,23,1,18,19,4,20],sinc:[9,15,1,18,3,10,20,21,0],check_is_integr:[18,9,0],k_into_m:0,deriv:[14,20,18],coerce_map_from:18,yozo:20,gener:[9,0,16,15,23,17,1,18,3,10,19,12,5,20,13,21,24,7],coeffici:[14,0,23,1,2,11,18,4,20,6,24],satisfi:[20,11,2],explicitli:[18,20,1,9,0],modif:[14,20],dsage:14,coincid:18,pari_polynomi:[18,0],sclassgroup:17,rnfinit:0,root:[14,9,0,16,15,23,1,18,3,11,19,4,20,13,6,7],quaternion:18,mapvectorspacetonumberfield:22,trial:18,extrem:[20,18],semant:20,embeddednumberfieldmorph:7,regardless:20,sqrtn3:18,extra:[20,11,18],tweak:[14,2],modul:[14,8,9,0,15,1,18,11,5,21,7],prefer:[20,18,0,16],basis_matrix:15,visibl:18,instal:18,"12323399573677e":18,franci:[18,15],numberfield_cyclotom:18,assume_disc_smal:18,prove:[20,18,15],numberfieldhomset:[18,5],univers:[],l_over_k_to_l:0,prec:[20,1,18,0],hilbert:18,live:[1,9,24],theta_1:16,k_to_l:[22,0],binexp:20,coefficients_to_power_sum:6,conductor:23,finit:[0,15,1,18,10,17,20,24],cyclotomicfieldhomset:5,examin:[20,18],obj:23,"_bid":15,logarithm:[1,15],ulp:20,cap:18,uniqu:[0,15,16,18,12,20],numberfieldid:[18,15],descriptor:20,inertia_group:[15,16],can:[14,9,0,16,15,23,1,2,3,17,11,18,4,12,20,13,21,7],fld:20,numberfieldstructurefromuniquefield:12,nearest:20,encapsul:12,topic:14,abort:4,libgap:23,occur:[19,18,2,21],verlag:[3,14,2],alwai:[14,9,15,16,1,18,11,20,21,0],multipl:[9,15,23,1,18,19,4,17,20,13,24],write:[14,1,18],fourth:11,map:[],product:[3,20,1,18,23],idealprimedec:[18,15],max:15,jacqu:14,"4th":18,algebraicnumberfield:20,enumerate_totallyreal_fields_prim:[14,11],k_from_l:18,lenstra:15,data:[15,2,11,18,4,20],practic:[3,14,11,15],simplify_al:4,explicit:[20,17,18,0,16],"_hom_":18,algebraicr:20,inform:[0,18,11,2,12,20],"switch":[19,18],preced:18,combin:[20,9,15],callabl:1,graduat:14,roots_of_un:[13,18,0],equip:[18,12],still:[20,1,0],mainli:[18,0],mait:15,group:[],thank:13,number_field_el:[1,24,15],vth:16,relative_polynomi:[18,0],platform:[11,17],is_numberfieldord:9,main:[23,19],non:[14,9,15,16,23,1,18,11,24,20,21,0],recal:[1,18],halt:[11,2],initi:[14,9,0,16,19,23,2,11,18,4,12,20,6,24],from_v:[18,22,9,0],bdd_norm_pr_ideal_gen:19,half:18,now:[21,15,1,18,0,9],discuss:20,from_k:[22,18,0],term:[21,15,1,12,17,20],name:[4,15,16,22,17,18,24,12,23,20,21,0,9],revers:[18,0],convert_to_idealprimedec_form:15,separ:[14,1],attributeerror:18,find_zero_result:20,domain:[18,22,15,0,5],s_ideal_class_log:15,replac:15,orderelement_absolut:1,gaussian:[20,18],radoslav:15,coprim:[18,15,21],operand:20,happen:[20,1,18],from_a:21,alpha0:9,alpha1:9,"3rd":[18,9,2],space:[21,15,22,18,0,9],kummer:5,parallelogram:19,number_field_id:[1,21,15],conjugate_shrink:20,formula:[1,18],bla:20,correct:[9,15,1,18,19,20],gram:18,ibidem:20,numerator_id:1,runtimeerror:18,rlf:7,nfz3:20,theori:[3,14],carl:20,modularform:18,is_quadraticfield:18,org:15,s_unit:18,unpredict:[3,20,21],care:20,wai:[20,24,9,18,5],recov:[18,4],turn:9,place:[20,1,18,0,16],frequent:9,first:[14,12,0,15,1,18,3,11,4,20,13,7],oper:[20,23,12],reimplement:1,directli:[20,18],"08420217248551e":20,create_embedding_from_approx:7,onc:[20,23,12],"long":[14,15,19,11,18,4,20],bradshaw:[18,1,9,0,24],ring:[0,1,2,3,4,5,6,7,9,10,11,12,13,14,15,16,17,18,19,20,21,23,22,24],open:18,lexicograph:15,size:[14,20,18,15],given:[14,24,23,9,0,16,15,22,1,2,11,18,4,5,20,19,13,12,7],numberfield:[24,9,0,16,15,22,17,1,18,3,10,11,19,4,5,20,13,21,12,7],necessarili:[14,20,18,15,24],denominator_id:1,proposit:3,absolute_polynomi:[18,0],is_real_posit:1,copi:[1,24,15],selmer_group_iter:18,specifi:[14,0,15,16,1,18,11,19,20,24,7],krumm:[19,18],enclos:20,mostli:[18,16],than:[0,19,3,18,4,20,24,7],wide:18,archimedean:[1,18],decomposition_group:[15,16],were:[18,0],posit:[0,15,1,18,19,17,20,21,24],both_map:[18,0],seri:18,is_on:[23,1,24],composite_field:[18,0],prime_abov:[18,15],craig:[14,1,2],ann:2,argument:[21,0,23,1,18,4,20,24],notimplementederror:[9,21,1,12,20,0],qq_gener:20,relativefromabsolut:12,int_has_small_square_divisor:2,squar:[15,1,19,11,18,20],pari_nf:18,numberfield_quadrat:18,bailei:20,note:[14,9,0,15,23,1,18,3,10,11,24,4,17,20,6],ideal:[],denomin:[0,15,23,1,18,20,24],nfeltreduc:15,take:[15,1,18,19,20,6],phi1:0,noth:1,interval_radiu:19,begin:[14,11],sure:[20,1,18,15],trace:[1,11,18,0,24],normal:[20,21,18,15,16],multipli:[20,1,2],sagemath:15,knew:20,random_vector:20,beta:[0,16,1,18,10,2,20],convert_test_al:20,an1:2,an2:2,an3:2,pair:[0,1,18,10,12,17,24],bnrclassno:15,latex:[18,0],trace_dual_basi:18,synonym:[18,9,15],later:20,numberfield_cyclotomic_v1:18,uncondit:14,show:[20,18,15],delta:20,codomain:[7,22,1,18,5],number_field_ideal_rel:21,onli:[14,9,15,16,23,1,18,11,19,12,20,7],slow:[18,20,1,4,0],ratio:20,e_8:2,common_polynomi:20,enough:[11,18,0],realintervalfieldel:20,dict:[20,18],partial_fraction_decomposit:20,thompson:20,variou:[14,9,22,2,18,20,24],get:[0,15,16,18,4,20,9],cannot:[0,15,23,18,3,19,4,12,20,13,21],l_over_k2:0,harvei:24,gen:[9,0,15,22,1,18,3,17,12,23,20,13,21,24],requir:[9,15,1,18,19,20,7],prime:[],yield:[3,19,18,4],paper:20,synomym:10,where:[14,9,0,16,15,1,2,3,10,11,18,4,5,20,13,21,24,7],loeffler:[3,24,16],is_absolut:[10,18,0],ambient_field:7,p2a:17,concern:[21,18],infinit:[0,16,23,1,18,20],number_field:[0,1,2,3,4,5,6,7,9,10,11,12,13,14,15,16,18,19,21,22,17,24],monoid:21,review:13,enumer:[],galois_group:[18,0,16],getattr:[20,18],"_contains_":[9,15],between:[],"import":[9,0,15,23,1,2,10,18,4,12,20,19,21,24,7],screen:14,spars:23,parent:[14,9,0,15,23,1,18,17,11,5,20,21,24,7],comp:14,module_rep:9,uncondition:1,come:[20,18],fit:18,complex_root:[20,1],math:[14,15,2,11,4,20],is_isomorph:[18,0],improv:[14,20,15,2,18],polr:4,galoisgroup:[15,16],rescal:20,inspir:20,period:24,insist:18,pol:[20,4],subscr:20,typic:[9,2,12],poli:[18,20,4,0,7],an_addsub_r:20,ultim:24,coupl:20,stretch:19,as_number_field_el:20,invert:[20,1,18,15,24],algebraic_closur:[20,23,18],invers:[23,1,18,12,17,20,24],voight:[14,11,6,2],valueerror:[9,0,16,15,23,1,18,4,5,20,13,21,24,7],is_fundamental_discrimin:18,nfgaloisconj:18,hilbert_class_polynomi:18,those:[20,1,18],"case":[14,9,0,15,1,2,11,18,12,20,19],cyclotomicfieldembed:7,e44:20,cast:7,euler_phi:15,margin:7,algebraicgener:20,henc:[9,21],is_integrally_clos:9,"_cyclotom":20,create_key_and_extra_arg:18,ambient:[],harron:[1,18,0],dokchits:18,author:[],schertz:18,power_basi:18,document:[0,15,23,18,11,2,24,9],hermit:[18,15,2,21],closest:7,ibasi:15,weed:14,disguis:18,just_print:14,convert_from_idealprimedec_form:15,mani:[3,14,11,18,20],defn:[4,0,16,22,18,12,5,20,7],appropri:[20,1,15,0,21],inconsist:4,pari_rhnf:21,without:[20,1,18,15],prime_to_s_part:15,dimension:2,polygen:[9,0,15,1,18,10,11,4,20,13,7],unimpl:21,p165:3,halfwai:20,polish:[24,2],emb2:18,speed:[14,24,4],except:[14,0,15,23,18,11,4,20],root3:20,versa:[12,0,21],real:[],around:[0,15,16,1,20,24],hypothesi:[10,18],relative_differ:[18,0],doyl:[19,18],complex_exact:20,totallyreal_rel:[14,11],mod:[20,1,15,0],ucf:23,integ:[14,9,0,15,23,1,2,3,10,11,18,4,17,20,19,13,21,6,24],either:[0,15,23,1,18,4,20,21,24,9],output:[14,9,0,15,24,17,1,2,10,11,18,4,5,20,19,13,21,6,12],is_numberfield:[10,18],obstruct:18,subgp_gen:15,absolute_base_field:0,change_gener:18,magma:[18,0],polynom:18,local_height:1,numberfield_absolute_v1:18,absolute_vector_spac:[22,18,0,21],nonzero:[15,23,1,19,18,24],basic:20,is_maxim:[15,9,0],s_class_group:[18,15,17],create_object:18,definit:[20,1,18],recomput:[14,20],base_r:[1,0],is_surject:22,complic:[20,1,15,0],refer:[],power:[9,15,23,1,18,2,20,21,6],ration:[14,9,0,15,22,1,18,3,10,11,4,23,20,21,24],is_rat:[20,23,1,24],"9428902930940239e":0,broken:12,found:[23,18,3,11,2,20],immut:[9,15],appli:[14,1,18],artin:[15,16],comparison:[20,24,18],degre:[],bdd_norm_pr_gens_iq:19,newpol:20,act:[19,18,15,16],other:[9,0,15,23,1,2,11,18,4,5,20,19,21,12],morphism:[],routin:[14,18],q_to_quadratic_field_el:24,permgroup_el:16,splittingdata:4,pivot:23,your:[1,18],nrt3:20,log:[14,10,13,18],aren:[9,21],mathematischen:2,prepars:18,start:[20,4],interfac:[],low:[18,15],submiss:14,strictli:[1,18,4],enorm:4,lambda:[20,15,4],polytop:19,"__invert__":24,tupl:[4,15,23,19,18,12,17,20,13,21,24],zeta20:18,"16840434497101e":20,mpfi:20,faster:[19,20,9,18,23],notat:1,tripl:[20,24],possibl:[0,15,1,18,3,12,20,13],"default":[14,9,0,15,23,1,2,3,11,18,4,20,19,21,24,7],minkowski:[10,18],monic:[20,6,4],embed:[],check_integr:9,l1cyc:0,creat:[14,9,0,23,18,12,20,7],k3_into_k:0,certain:[19,18],bnfcertifi:18,decreas:20,file:[14,11,12,2,24],c250:17,phi2:0,return_seq:[14,11],quadrupl:[18,0],incorrect:[19,18],again:[18,20,9,0],qqbar:[20,23,18,7],valid:[18,7],immens:18,is_unit:1,architectur:[1,11],create_kei:18,integraldomain:9,"0th":[15,16],relativenumberfieldhomset:5,sequenc:[14,9,15,2,11,18,20],symbol:[15,16,1,18,10,20],docstr:18,polynomi:[],sage_input:20,reduc:[15,1,18,19,4,17,20],deliber:[21,0],ord:1,descript:[11,2],represent:[0,15,1,18,3,20,21,24],all:[],orderelement_rel:1,consider:[19,18,4],ali:18,illustr:[1,9,18],disc:[11,18,0],is_cm_extens:[18,0],follow:[12,0,1,18,11,4,5,20,21,7],rewrit:[20,23,18,0,16],lllgram:18,program:[20,18],m_over_l_over_k:0,norm:[14,21,15,23,1,18,3,10,19,17,20,24],adapt:20,normalis:1,fals:[14,9,0,16,15,23,17,1,2,10,11,18,4,12,20,19,13,21,24],self_into_f:[18,0],tail_prec_seq:20,util:7,print:[14,0,19,1,2,11,18,4,20],bnfunit:18,failur:[21,5],veri:[9,15,23,1,18,20,0],ticket:[0,15,23,1,2,11,18,4,20,24],late_import:23,strang:20,induct:[11,2],relativefromrel:12,list:[14,9,0,16,15,1,18,17,11,19,4,5,20,13,21,6,24],m_ok_chang:15,arithmeticerror:[1,9,18],numberfieldelement_absolut:[1,24],cosin:18,totallyreal_phc:6,"_algebraic_":20,small:[],fast_method:20,dimens:[0,15,22,18,2,9],quicker:18,rif64:20,galois_conjug:[23,1,24],max_prec:7,"_convert_map_from_":12,prime_factor:[0,15,1,18,13,21],ring_gener:[1,9,24],design:23,pass:[9,15,1,18,12,20,21],further:[11,15,2],acoord:[9,15],hilbert_symbol:18,what:[20,18,4],diam:20,sub:20,sum:[9,15,23,1,2,20,6],advanc:[14,4],suk:13,abbrevi:20,version:[14,9,0,16,15,23,1,2,11,18,4,12,20,19,24],intersect:[20,1,9,15],polgaloi:4,method:[9,15,23,1,18,24,12,17,20,0],contrast:15,full:[18,23,9,0],christian:[23,18],is_submodul:21,b1cyc:0,sophist:16,element_1_mod:[21,15],real_exact:20,modifi:15,valu:[14,15,16,19,1,2,11,18,4,17,20,13,24,7],trunc:20,search:8,divisor:[9,15,1,2,11,18,4,20],fwd:20,lagrange_degree_3:2,doctest:[14,15,23,1,18,3,12,5,20],qqbar_i_gener:20,pick:5,action:[20,24],narrow:[20,18],sci:14,quotient:[20,18,15],diamet:20,via:[19,18,12],primit:[],transit:[18,0,16],deprec:[23,15],latex_variable_nam:18,coercion:[18,20,12,0],gens_ord:[18,17],select:18,absolute_differ:[18,0],distinct:[18,17],is_integr:[9,15,1,18,21,24],selmer:[1,18],two:[0,15,22,18,3,19,4,12,20,21],realfield:[0,1,18,19,20,2,7],more:[14,0,15,16,1,2,11,18,20,24],desir:[20,1,18],maprelativevectorspacetorelativenumberfield:22,optimized_represent:18,is_integ:[20,1,24],flag:[0,15,18,3,4,21,9],particular:[14,20,11,18,4],known:[3,20,9,18],cach:[9,0,1,18,12,20],none:[9,0,16,15,23,1,18,17,11,4,5,20,13,21,24,7],number_field_elements_from_algebra:20,hour:14,der:2,grundlehren:2,relative_degre:[18,0],haltk:[11,2],rtofun:20,zeta7:18,remain:21,caveat:18,idealfactor:15,def:20,traceback:[24,9,0,16,15,23,1,18,19,4,5,20,13,21,12,7],super_poli:20,m1cyc:0,share:20,"_exact":20,accept:[1,18,15],sphere:2,permgroup:16,is_noetherian:9,cours:[3,1,10,9,18],mai:[9,0,16,1,18,11,19,20,13,24,7],an_muldiv_zero:20,divid:[15,2,3,18,20,13],rather:[20,18,17],anoth:[9,15,18,12,20,21,0,7],alyson:15,divis:[20,1,18],heck:18,is_squarefre:14,simpl:[14,20,11],isn:[15,11,9,4],"_test_categori":[21,5],d10pol:4,qqi:20,incr:11,plane:18,abeliangroupwithvaluesel:17,associ:[9,15,16,18,10,20,13,0],e25:18,"short":3,e29:20,ambigu:21,caus:12,zerodivisionerror:[1,24,15],matrixspac:[23,18],egg:20,help:[20,19,18],o15:9,hermite_const:2,through:[18,23,15,12,21],same:[9,15,16,22,1,18,12,20,21,0],free_modul:[9,15,21],paramet:[15,20,9,0,18],member:20,style:20,resort:20,im_gen:5,might:[19,20,18,4],alter:18,all_val:20,unique_represent:[23,12],wouldn:18,good:[20,18],"return":[0,1,2,3,4,5,6,7,9,10,11,12,13,14,15,16,18,19,20,21,23,17,24],hunter:[14,11],framework:21,clear_denomin:20,"_valu":20,f_out:11,bigger:[10,18,4],root2:20,eventu:15,algebraicfield_common:20,easili:[3,20,18],iff:[20,15,17],base_isom:0,reslist:18,number_field_rel:[18,0],valuat:[18,1,15,0,21],idem:20,weight:[20,1],ramification_break:16,hard:20,narrow_class_group:18,realli:[14,9,18,16],cyclotomicfieldfactori:18,rcyc:0,c2c2pol:4,reduct:[19,18,15],universal_cyclotomic_field:23,massiv:20,robert:[18,1,9,0,24],number_of_roots_of_un:[18,0],zeta_f:18,is_field:[9,18],sloan:2,variable_nam:18,bdd_pr_ideal:19,is_qqbar:20,den_bound:18,unitgroup:13,inert:[21,15],"_new":24,height_bound:19,reason:[20,1,18],base:[],ask:18,canon:[18,15,0],basi:[9,15,1,18,13,21,0],thrown:20,num_integer_prim:[3,18],as_hom:[0,16],algebraicfield:20,cohen2000:14,major:[18,0],obviou:[1,18],o10:9,feel:1,misc:20,integral_basi:[18,15,21],done:[19,7,18,4,5],matching_root:7,differ:[9,0,22,1,18,12,23,20],script:1,"5th":9,least:[20,1,18],hilbert_class_field:18,classgroup:17,is_zero:[23,21,15],illeg:20,banana:18,store:[15,16,23,17,4,5,20],extel:20,option:[14,21,0,16,23,1,18,11,19,4,24],binop:20,pari:[14,15,0,16,1,2,3,11,18,4,17,20,21],part:[15,23,18,12,20,13,24],uniquerepresent:[23,12],king:18,kind:20,smallest_integ:[9,15,21],min_prec:1,breuer:23,remov:[18,15],nevertheless:18,str:20,toward:20,comput:[14,9,0,15,1,2,3,10,11,18,4,5,20,19,21,24],polynomial_r:18,rational_valu:20,packag:[20,18],conjugate_expand:20,lie:[1,11],anrootofunit:20,equival:[18,20,1,10,15],self:[9,0,16,15,23,1,2,10,18,4,5,20,21,24],also:[14,15,0,16,23,1,18,10,11,4,20,24],analogu:11,distribut:[18,20,9,15],previou:[18,7],mixtur:20,most:[24,9,0,16,15,23,1,18,10,11,19,4,5,20,13,21,12,7],rho:[23,18,0,21],alpha:[9,0,16,1,18,11,20],amax:2,mapvectorspacetorelativenumberfield:22,clear:[18,0],exp:[23,13,19,18],agl_1_5pol:4,subgroup:[20,18,15,16],numberfield_absolute_with_categori:18,cdf:[20,24,18,0,7],ridicul:0,v12:20,v10:20,v11:20,noam:2,particularli:20,absolute_ord:9,fine:20,find:[14,9,15,1,18,3,11,19,4,20,7],parierror:18,coerc:[0,15,23,1,18,17,20,13,21,24],indexerror:[20,9,18],pretti:20,e10:18,l2_into_k:[21,18],integer_points_in_polytop:19,factor:[9,0,15,1,18,11,19,4,17,20,21,7],bach_bound:10,primitive_el:18,abelian:[23,18,15,17],k0_into_k:21,express:[20,1,10,15],obtain:[9,21,16,1,19,18,20],an_muldiv_expr:20,prime_to_idealm_part:15,rt3:20,rt2:20,silli:20,an_addsub_el:20,"7923838231014970520503146603069479547e15":18,cyclic:[18,15,5],is_pow:20,common:[20,1,18,0],index_in:[15,9,0],vincent:[23,24],class_numb:[1,10,9,18,17],"1369360000000000000000000000000000000e6":18,set:[14,9,0,16,15,1,18,3,17,11,19,5,20,13,21,24],stump:[23,18],dump:[9,15,16,1,18,10,20,13],tree:20,startup:23,see:[14,23,9,0,15,22,1,2,3,11,18,4,12,20,19,24],emb1:18,to_cyclotomic_field:23,close:[20,1,9],unqualifi:0,k_into_l:[21,0],residue_class_degre:[3,18,15,21],galoisgroup_v2:[18,15,16],someth:[18,15],an_muldiv_rootun:20,mapnumberfieldtovectorspac:22,won:15,nontrivi:[24,0],dein:[18,15],altern:[1,18],signatur:[1,10,18],selmer_group:18,numer:[15,23,1,18,11,20,24],c34:17,induc:19,sole:2,zeta30:18,rtm3:20,ringhomomorphism_im_gen:5,distinguish:[18,12],integral_closur:9,inertia:[15,16],vectorspac:18,ray_class_numb:15,both:[14,9,0,15,18,10,11,12,17,20,7],last:[24,9,0,16,15,23,1,18,19,4,5,20,13,21,12,7],mohler:1,set_verbos:4,whole:[1,18,15],cuberoot2:[22,18,0,5],cuberoot3:[18,0],load:[9,15,16,1,18,10,20,13],polynomial_ntl:18,simpli:[14,23,18,0,16],anbinaryexpr:20,point:[20,1,19,18],instanti:20,residu:[9,21,16,15,1,18],suppli:7,mistak:[21,0],zeta:[9,23,1,18,20,13],along:[18,15,0],kirov:15,becom:18,due:[14,19,18],empti:[1,13,18,15,24],cf3:18,namechangemap:22,numberfieldhomomorphism_im_gen:[22,5],modern:0,imag:[23,1,18,5,20,24,7],gap:[23,18,0],coordin:[1,9,15],gal:1,gmp:[1,15],"1256639928034037006027526953641297995e14":18,pilist:18,"3122478000000000000000000000000000000e7":18,ramif:[21,15,16],"while":[20,18],abov:[9,21,1,18,11,20],error:[9,15,16,23,1,18,19,20,13,21,0],fun:20,pack:2,earli:4,vol:[14,2],echelon:[9,15],itself:[20,21,18,0,16],rif:[20,18,0],quadrat:[],incompat:18,p5_1:18,p5_2:18,minim:[15,16,23,1,20,24,7],belong:[23,15],continued_fraction_list:24,number_field_proof:18,conflict:18,higher:[20,11,18,2,7],abeliangroupwithvalues_class:[13,17],optim:[],wherea:23,an_muldiv_el:20,all_complex:[18,0],user:[9,15,19,18,20,21,0],absolute_gener:[18,0],provabl:18,"50857335698544e14":10,recent:[24,9,0,16,15,23,1,18,19,4,5,20,13,21,12,7],lower:[14,11,19,18],machineri:[20,18],multiplicativegroupel:15,sageinputbuild:20,pickl:[18,20,15,0],gen_embed:[18,7],expens:[18,23,9,4],five:[11,15],algebraicrealfield:20,z4_4:20,tune_charpoly_nf:1,ramification_degre:16,absolute_order_from_module_gener:9,rational_argu:20,totallyr:[14,11,2],unit_id:15,theoret:[18,0],each_is_integr:9,theorem:[3,14,11,18,2],input:[14,24,9,0,21,15,23,1,2,3,17,11,18,4,5,20,19,13,12,6,7],z0_0:18,euler:15,marco:[1,18],stein:[9,15,16,1,18,21,0],format:24,is_numberfieldfractionalid:[21,15],big:[20,18],bid:15,inequ:23,primelimit:18,kash:[18,0],bit:[0,1,19,11,18,20],characterist:[15,16,23,1,18,20,24],success:[14,20],collect:[18,0],princip:[0,15,1,19,10,18,17,20,21],valenc:18,is_inject:22,z6_6:20,liftmap:15,setrand:18,often:[11,18,15],reduced_basi:18,absoluteord:9,some:[9,0,23,1,18,3,11,19,4,5,20,24],back:[20,18],bach:10,voight2008:14,unspecifi:18,handle_sage_input:20,is_totally_r:18,scale:[20,1],norm_bound:17,"2467769057394530109094755223395819322e7":18,fundamental_unit:13,mathemat:14,larg:[18,11,15,4],"_mpfr_":18,prod:[13,15],reproduc:20,machin:[20,1],run:[9,15,23,18,2,5,20,21],zzx:11,step:[20,0],real_embed:18,cyclotomicfield:[23,9,0,16,15,22,1,18,10,12,5,13,24],automorph:[18,15,0,5],subtract:20,tower:[1,18,0],to_v:[18,22,1,9,0],coordinates_in_terms_of_pow:[23,1],row:[20,1],is_galoi:[1,11,18,0,16],regular:[1,9],to_a:21,t_2:14,to_l:[18,22,12,0],to_m:18,to_k:[22,18,0],gamma:[18,1,9,0],echelon_form:[23,15],within:11,defult:1,kronecker_symbol:[1,15],steven:[18,15,0,21],is_numberfieldhomsetcodomain:18,enumerate_totallyreal_fields_rel:11,martinet:14,inclus:20,span:[18,9,0,21],spam:20,question:[3,20,1,18,12],fast:[18,20,15,0],custom:[1,15],arithmet:[0,16,23,19,18,20],includ:[3,20,19,18],l_over_f_into_l:18,zcyc:0,properli:[9,18],repeatedli:18,numberfieldisomorph:22,sqrt3:24,sqrt2:[20,1,18,0,24],sfractionalidealclass:17,sqrt7:24,sqrt5:[9,18,24],decomposit:[15,16],imprecis:20,atom:20,cif:[20,18,0],consist:[9,15,1,18,17,20,0,7],kold:20,q2_into_f:18,relative_ramification_index:[21,15],algebraicextensionfunctor:18,similar:11,constant:[20,1,11,15,2],global_height_non_arch:1,doesn:[18,20,1,15,0],repres:[15,16,23,1,18,17,24,5,20,13,6],andescr:20,additive_ord:[23,1],nick:[3,21,0],bracket:[20,18],grh:[1,19,18],nice:18,assertionerror:20,orderelement_quadrat:24,polynomialr:[15,23,4,0,18],william:[9,15,16,1,18,21,0],child1_poli:20,relativenumberfieldhomomorphism_from_ab:[22,5],root_as_algebra:20,is_algebraicfield:20,algorithm:[],vice:[12,0,21],orbit:23,discrimin:[14,9,0,18,3,10,11,4,20,24],kisao:14,rootun:20,quadraticfield:[9,15,16,24,17,1,18,10,19,4,5,13,12,7],code:[20,13,7],partial:15,edg:24,rational_exact_root:20,global_height:[1,19,18],cython:[14,1,24],privat:[20,2],simon:18,z_x:15,anrat:20,send:[1,18,12],bnfisprincip:15,adjoin:18,aris:[18,2],citro:[14,1,2],nfinit:18,sage:[0,1,2,3,4,5,6,7,9,10,11,12,13,14,15,16,17,18,19,20,21,23,22,24],uniquefactori:18,account:[19,18],implicitli:[20,9,18],relev:2,tri:[20,18,0,7],representative_prim:17,joel:1,"try":[3,20,4,0,18],absolute_minpoli:[18,1,9,0],xmrange_it:15,dealt:23,defining_polynomi:[18,0],pleas:3,impli:20,smaller:[0,15,18,4,20,9],readabl:14,natur:[18,1,9,0],contructor:18,radic:20,odd:20,artin_symbol:[18,15,16],append:[20,18,4],compat:[1,18,0],index:[15,8,9,0,21],compar:[20,22,4,0,7],embeddednumberfieldconvers:7,gen2:20,gen3:20,access:17,is_algebraicr:20,deduc:18,maprelativenumberfieldtovectorspac:22,construct:[9,23,1,18,12,5,20,13,24],is_finit:[20,23,10],l2_into_f:18,"_structur":12,len:[14,0,15,19,11,18,20,21],torsion_gener:13,closur:[9,0,16,23,18,11,4,20,7],let:[3,20,1,18,0],q1_into_f:18,cf9:18,cf6:18,safer:23,cf5:18,implicit:[20,1,18],"6389229103644993e":0,cf1:18,convert:[14,0,15,18,4,20,13,24,7],convers:[20,23,1,18,12],intv_fn:20,larger:[3,20,18,4],is_field_el:20,converg:20,is_nth_pow:1,rdf:[20,18,0],chang:[9,0,22,1,18,12,20],absolute_ramification_index:[21,15],fake:9,clark:[13,18,15],solut:18,approxim:[20,1,18,7],submodul:[21,15],"boolean":[14,0,19,1,2,11,18,20],maprelativenumberfieldtorelativevectorspac:22,from:[24,9,0,16,15,22,1,2,10,18,4,5,20,19,13,21,12,7],zip:18,doubl:[20,1,18],upgrad:18,next:[14,9,1,2,3,11,18,20],lift_to_bas:[18,0],takeuchi1999:14,commut:17,clemesha:18,remaind:18,sort:[14,1,18,11,4,20],proof_flag:18,exactifi:20,tr_data:2,"1th":9,galoisgroupel:16,alia:[23,17,1,18,16],cambridg:14,chebyshev_t:4,squarefre:[20,18],proof:[9,15,1,18,17,13,21,0],control:1,tau:[20,18,0,21],osum:9,high:[20,18],denot:[3,2],ideal_below:[21,18],rt2c:20,rt2b:20,cf12:18,gcd:1,pure:20,cf18:18,pythag:20,cardin:[18,20,15,0,5],sib:20,zeta15:18,random_prim:15,zeta13:18,zeta12:[18,5],zeta10:23,h_rho:23,instead:[14,9,15,23,18,20,21,0],sin:[20,18],zeta18:18,next_prim:18,frac:18,overridden:24,relative_norm:[1,21,15],rt23:20,rt25:20,codiffer:18,anunaryexpr:20,numberfield_generic_v1:18,unit_group:[13,18],essenti:[18,11,9,2,5],imprimit:[14,11],number_field_element_quadrat:[24,18],correspond:[14,9,0,16,15,1,18,11,5,20,21],next_split_prim:18,element:[],issu:[19,18,15],allow:[20,1,18,7],cyclotomic_polynomi:18,permutation_group:16,move:14,report:18,effici:[20,24],perfect:[1,18],chosen:[20,18,0,7],lect:14,p199:3,nf3:20,nf2:20,infeas:4,therefor:[3,12,0,18],k_rel:0,splittingfieldabort:4,nonneg:[11,18],handl:[14,9,1,4,20,24,7],extra_arg:18,dai:14,mention:[20,23],compositum:[18,0],automat:[20,18,17],f_into_l:18,gen_imag:7,trace_pair:18,successor:11,weed_field:14,nff:18,trac:[0,15,23,1,2,11,18,4,20,24],anyth:14,sivek:[18,15,0,21],nfi:20,quintic:14,phcpack:2,mode:20,fixed_field:16,"44089209850063e":0,few:[14,20,11,24],arxiv:19,quotientmap:15,permuted_emb:18,eisenstein:2,elements_of_norm:18,our:[20,18],special:[9,15,1,18,4,7],mat:23,variabl:[4,0,22,18,12,23,20,24,9],is_numberfieldfractionalideal_rel:21,matrix:[9,15,23,1,18,19,21,24],tr_data_rel:11,influenc:18,rep:15,categori:[21,22,5,18,17,23,24,7],suitabl:[1,0],rel:[],lattic:[19,20,9,2],s_i:2,matric:[23,1],namechang:12,random_el:[9,15,23,1,18,20,24],insid:[19,4],primes_abov:[17,1,18,15,16],york:[14,2],dictionari:[23,19],prime_rang:[18,15],dirichlet:18,cremona:[1,13,9,15],could:[18,0],put:[18,0],david:[3,24,19,18,16],idealstar:15,small_primes_of_degree_on:[3,18],outsid:[11,18,2],enumerate_totallyreal_fields_al:11,maximize_at_prim:18,suffic:20,global_height_arch:1,system:[19,18],wrapper:[18,20,15,0,16],attach:[20,11,2,17],is_relativenumberfield:0,"final":[14,11,18],functor:[20,18],inner:18,"_echelon_class":23,is_algebraicrealfield:20,exactli:[18,20,15,0],structur:[],nfrt3:20,sens:[23,1,18],prime_to_m_part:15,relative_order_from_ring_gener:9,prec_seq:20,julian:[18,12,0],cohen:[3,14],arg:[9,15,23,18,10,20],reduce_equiv:[15,17],have:[9,0,15,1,18,11,19,12,20,24,7],need:[9,15,1,18,20,0],l_to_l_over_k:0,min:[20,16],"42101086242752e":20,rnfisnorminit:18,mix:18,discret:15,which:[14,24,9,0,16,15,23,1,2,10,11,18,4,5,20,19,13,6,12],divers:20,singl:[3,20,10,21,18],universalcyclotomicfieldel:23,unless:[20,24,18],max_asymp_coeff:18,eight:11,check_is_r:9,"class":[],pushout:7,dens:[23,15],inde:[11,18,15,21],zeta60:[20,23],univari:[14,1,18,11,20,24],determin:[0,15,1,2,18,4],galoisgroup_v1:[18,16],fact:[14,20,15,5],standard_embed:24,small_residu:15,d8pol:4,text:14,verbos:[14,11,4,2],rt35:20,trivial:[0,15,16,18,2,17,20,21],homomorph:[0,15,16,18,5,20],qbar:1,nth_root:[20,1],ideals_of_bdd_norm:18,forev:18,should:[0,15,16,23,1,18,19,4,12,20,21,24],smallest:[20,23,21,15],suppos:[20,0],local:[1,18,16],meant:9,cube:[1,19],contribut:3,z20_20:20,complexintervalfield:20,increas:[20,18],rt3b:20,other_into_f:[18,0],enabl:4,bisect:20,complex_conjug:[18,16],integr:[9,15,23,1,18,10,11,24,20,21,0],pol15:4,contain:[14,9,15,23,1,18,11,4,20],relative_vector_spac:[22,18,0],max_imaginary_part:18,view:[0,15,1,18,10,20],e_0:18,modulo:[21,15,16,1,18,3,10,24],charpoli:[9,0,23,1,18,24],"_pol":4,endomorph:[18,16,12,0,5],set_cyclotom:20,modulu:[1,18],closer:[24,7],nombr:14,extend:[18,20,15,0],correctli:[23,1,18],create_structur:12,tend:18,written:[23,1,11],zeta34:20,theta:[10,9,18,16],h_ucf:23,zeta_coeffici:18,kei:[18,19,12,4,20],p2b:17,isol:20,degree_multipl:4,addit:[14,0,23,1,18,12,20,24],c5pol:4,pari_absolute_base_polynomi:0,equal:[9,15,23,1,4,18,12,20,21,24,7],kosher:20,etc:[14,22,1,16],instanc:[18,20,11,12,0],equat:[18,9,2],s4pol:4,theta3:18,is_prim:[15,21,1,2,3,18],solv:[20,18,2],absolute_polynomial_ntl:[18,0],respect:[9,0,15,1,18,10,17,20,13,7],torsion:[13,18],absolute_field:[9,0,22,1,18,12,21],quit:[18,20,15,0,23],ok_basi:9,gaussian_valu:20,compon:[14,20,1,18,15],presenc:18,assert:[23,24,15],togeth:[20,1,18,0],"_lift_cyclotomic_el":7,present:[20,22,18,0,16],multi:20,is_princip:[21,15,17],harder:16,theta_:18,primitive_pol_to_mon:20,defin:[14,24,9,0,16,15,22,17,1,2,3,10,11,18,4,5,20,13,21,12,7],"9510565162951536j":20,is_complex:20,sequence_gener:9,rndd:20,helper:[],almost:18,irreduc:[18,20,11,9,0],cyclotomicfieldhomomorphism_im_gen:5,rndu:20,dual:18,nfrt2:20,an_addsub_zero:20,rndz:20,noetherian:9,complexfield:[20,18,0],greater:[3,20,18,7],do_polr:20,uniti:[9,15,23,1,18,19,20,13,0],clf_from_l:18,sqrt:[9,1,18,10,2,20,24],number_field_morph:7,l1_into_f:18,python:[23,18],"31006316905768e":20,whenev:[20,16],largest:[3,20,15,2,18],l1_into_k:[21,18],difficult:[20,18],fieldel:[20,23,1],phi:[20,21,18,4,5],http:15,cubic:[20,1,11,18,15],phc:[],expans:24,abs_hom:5,max_iter:[3,18],effect:0,permutationgroup_gener:16,expand:[20,11],off:[20,9],firstli:24,well:[15,16,1,18,3,11,20,24],minkowski_embed:18,exampl:[],command:18,achiev:20,choos:[1,18,7],"__reduced_gener":21,usual:[15,2,11,18,4,20],a5pol:4,less:[18,19,4,0],jeroen:[18,4],absolute_order_from_ring_gener:9,abar:[18,9,15],heavili:20,pari_prim:15,expon:[13,18,17],idealaddtoon:15,omit:[18,0],latex_nam:[18,0],cf30:18,add:[20,1,24,4],c18:18,c10:18,match:20,realiz:20,maximal_totally_real_subfield:18,know:[3,20,4],press:14,recurs:[14,20],you:[0,15,1,18,3,4,20,21],arbitrarili:[20,18],refine_interv:20,like:[19,0],lost:18,is_absolutenumberfield:18,necessari:20,a4pol:4,page:8,check_rank:[18,9,0],elki:2,idealr:[15,17],"export":[14,11],proper:[14,1,15],guarante:[14,1,19,11,18,20],absolute_discrimin:[18,9,0],librari:[14,11,18,0],relative_polynom:0,lead:[20,18],avoid:[14,21,23,1,18,20],overlap:20,easy_is_irreduc:2,leav:20,kcyc:0,perm_gp:16,smyth:2,polredbest:20,interval_exact:20,imaginari:[0,23,1,19,18,20,24],usag:9,gamma_n:2,simpler:[15,9,4],about:[18,20,11,12,0],actual:[9,15,16,18,4,20,7],testsuit:[23,21,18,5],column:18,constructor:[20,18],discard:[3,20],subset:[9,15],own:[1,18],absolut:[9,0,16,15,22,1,18,3,11,4,5,20,21,12],is_totally_imaginari:18,primal:[9,18],ring_of_integ:[9,15,1,10,17,24],d_ab:18,gens_reduc:[18,15,21],ideal_class_log:15,conwai:2,small_primes_of_degree_one_it:3,pairsis:18,lift_x:15,pari_hnf:15,nativ:23,quotient_char_p:15,trigger:20,primes_of_bounded_norm:18,"var":[23,1,24,18],arithm:14,"function":[14,9,0,16,15,23,1,2,11,18,20,19,13,24,7],shank:18,ramification_index:[21,15],keyerror:19,continu:24,highest:20,bug:[3,1,24,18],count:11,succe:20,made:[18,12,16],whether:[9,0,23,1,18,4,20,24],troubl:[18,12],record:18,below:[9,0,18,11,12,20,21,24],otherwis:[14,15,0,1,18,11,12,20,21,24,7],problem:[11,18,12],l_into_k:[21,18],l_into_m:0,precomput:2,"int":[1,10,15],dure:4,filenam:14,absolute_charpoli:1,abort_degre:4,implement:[0,15,16,23,1,18,19,4,20,21,9],anrootofun:20,permutationgroupel:16,radical_express:20,new_poli:20,probabl:16,mutual:18,detail:[14,9,15,19,23,2,11,18,20],bnfsunit:18,bool:[9,15,23,1,18,24,20,0],relativ:[18,22,12,0,21],out:[20,11,18],junk:20,fulli:21,pari_bnf:[18,15],k2_into_k:0,k2_into_l:0,ideal_gener:15,singleton:20,interval_fast:20,hnf:15,reliabl:18,indirectli:15,optimized_subfield:18,preimag:[1,5],tightest:20,invari:[9,18],ucftoqqbar:23,"_test_el":5},objtypes:{"0":"py:module","1":"py:method","2":"py:class","3":"py:function","4":"py:exception","5":"py:attribute"},objnames:{"0":["py","module","Python module"],"1":["py","method","Python method"],"2":["py","class","Python class"],"3":["py","function","Python function"],"4":["py","exception","Python exception"],"5":["py","attribute","Python attribute"]},filenames:["sage/rings/number_field/number_field_rel","sage/rings/number_field/number_field_element","sage/rings/number_field/totallyreal_data","sage/rings/number_field/small_primes_of_degree_one","sage/rings/number_field/splitting_field","sage/rings/number_field/morphism","sage/rings/number_field/totallyreal_phc","sage/rings/number_field/number_field_morphisms","index","sage/rings/number_field/order","sage/rings/number_field/number_field_base","sage/rings/number_field/totallyreal_rel","sage/rings/number_field/structure","sage/rings/number_field/unit_group","sage/rings/number_field/totallyreal","sage/rings/number_field/number_field_ideal","sage/rings/number_field/galois_group","sage/rings/number_field/class_group","sage/rings/number_field/number_field","sage/rings/number_field/bdd_height","sage/rings/qqbar","sage/rings/number_field/number_field_ideal_rel","sage/rings/number_field/maps","sage/rings/universal_cyclotomic_field","sage/rings/number_field/number_field_element_quadratic"],titles:["Relative Number Fields","Number Field Elements","Enumeration of Totally Real Fields","Small primes of degree one","Splitting fields of polynomials over number fields","Morphisms between number fields","Enumeration of Totally Real Fields: PHC interface","Embeddings into ambient fields","Algebraic Number Fields","Orders in Number Fields","Base class for all number fields","Enumeration of Totally Real Fields: Relative Extensions","Helper classes for structural embeddings and isomorphisms of number fields","Unit and S-unit groups of Number Fields","Enumeration of Primitive Totally Real Fields","Number Field Ideals","Galois Groups of Number Fields","Class Groups of Number Fields","Number Fields","Elements of bounded height in number fields","Field of Algebraic Numbers","Relative Number Field Ideals","Structure maps for number fields","Universal cyclotomic field","Optimized Quadratic Number Field Elements"],objects:{"sage.rings.number_field.totallyreal_rel.tr_data_rel":{incr:[11,1,1,""]},"sage.rings.qqbar.ANDescr":{is_field_element:[20,1,1,""],real:[20,1,1,""],is_exact:[20,1,1,""],neg:[20,1,1,""],is_rational:[20,1,1,""],is_simple:[20,1,1,""],abs:[20,1,1,""],conjugate:[20,1,1,""],imag:[20,1,1,""],invert:[20,1,1,""],norm:[20,1,1,""]},"sage.rings.qqbar.ANBinaryExpr":{exactify:[20,1,1,""],kind:[20,1,1,""],handle_sage_input:[20,1,1,""],is_complex:[20,1,1,""]},"sage.rings.number_field.number_field_morphisms":{NumberFieldEmbedding:[7,2,1,""],closest:[7,3,1,""],EmbeddedNumberFieldMorphism:[7,2,1,""],create_embedding_from_approx:[7,3,1,""],CyclotomicFieldEmbedding:[7,2,1,""],matching_root:[7,3,1,""],EmbeddedNumberFieldConversion:[7,2,1,""]},"sage.rings.number_field.number_field_element.CoordinateFunction":{alpha:[1,1,1,""]},"sage.rings.number_field.number_field_ideal.NumberFieldIdeal":{residue_symbol:[15,1,1,""],pari_prime:[15,1,1,""],inertia_group:[15,1,1,""],is_maximal:[15,1,1,""],ideal_class_log:[15,1,1,""],gens_two:[15,1,1,""],artin_symbol:[15,1,1,""],free_module:[15,1,1,""],gens_reduced:[15,1,1,""],pari_hnf:[15,1,1,""],is_integral:[15,1,1,""],S_ideal_class_log:[15,1,1,""],basis:[15,1,1,""],integral_split:[15,1,1,""],coordinates:[15,1,1,""],is_zero:[15,1,1,""],absolute_norm:[15,1,1,""],norm:[15,1,1,""],relative_norm:[15,1,1,""],smallest_integer:[15,1,1,""],random_element:[15,1,1,""],is_principal:[15,1,1,""],intersection:[15,1,1,""],valuation:[15,1,1,""],number_field:[15,1,1,""],ramification_group:[15,1,1,""],is_prime:[15,1,1,""],reduce_equiv:[15,1,1,""],relative_ramification_index:[15,1,1,""],decomposition_group:[15,1,1,""],absolute_ramification_index:[15,1,1,""],integral_basis:[15,1,1,""]},"sage.rings.number_field.number_field_ideal":{basis_to_module:[15,3,1,""],NumberFieldIdeal:[15,2,1,""],is_NumberFieldIdeal:[15,3,1,""],NumberFieldFractionalIdeal:[15,2,1,""],convert_to_idealprimedec_form:[15,3,1,""],QuotientMap:[15,2,1,""],quotient_char_p:[15,3,1,""],convert_from_idealprimedec_form:[15,3,1,""],is_NumberFieldFractionalIdeal:[15,3,1,""],LiftMap:[15,2,1,""]},"sage.rings.number_field.structure.RelativeFromRelative":{create_structure:[12,1,1,""]},"sage.rings.number_field.bdd_height":{bdd_height_iq:[19,3,1,""],bdd_norm_pr_ideal_gens:[19,3,1,""],integer_points_in_polytope:[19,3,1,""],bdd_norm_pr_gens_iq:[19,3,1,""],bdd_height:[19,3,1,""]},"sage.rings.qqbar.AlgebraicReal":{real:[20,1,1,""],floor:[20,1,1,""],interval_exact:[20,1,1,""],imag:[20,1,1,""],conjugate:[20,1,1,""],ceil:[20,1,1,""],real_number:[20,1,1,""],real_exact:[20,1,1,""],sign:[20,1,1,""],round:[20,1,1,""],trunc:[20,1,1,""]},"sage.rings":{qqbar:[20,0,0,"-"],universal_cyclotomic_field:[23,0,0,"-"]},"sage.rings.number_field.small_primes_of_degree_one":{Small_primes_of_degree_one_iter:[3,2,1,""]},"sage.rings.number_field.splitting_field.SplittingData":{poldegree:[4,1,1,""],key:[4,1,1,""]},"sage.rings.number_field.number_field_base":{is_NumberField:[10,3,1,""],NumberField:[10,2,1,""]},"sage.rings.number_field.totallyreal_data":{lagrange_degree_3:[2,3,1,""],tr_data:[2,2,1,""],hermite_constant:[2,3,1,""],easy_is_irreducible_py:[2,3,1,""],int_has_small_square_divisor:[2,3,1,""]},"sage.rings.number_field.morphism.NumberFieldHomset":{cardinality:[5,1,1,""],list:[5,1,1,""],order:[5,1,1,""]},"sage.rings.number_field.number_field_ideal_rel":{NumberFieldFractionalIdeal_rel:[21,2,1,""],is_NumberFieldFractionalIdeal_rel:[21,3,1,""]},"sage.rings.qqbar.ANRootOfUnity":{kind:[20,1,1,""],scale:[20,1,1,""],field_element_value:[20,1,1,""],generator:[20,1,1,""],minpoly:[20,1,1,""],neg:[20,1,1,""],invert:[20,1,1,""],is_complex:[20,1,1,""],is_simple:[20,1,1,""],exactify:[20,1,1,""],is_exact:[20,1,1,""],abs:[20,1,1,""],gaussian_value:[20,1,1,""],conjugate:[20,1,1,""],handle_sage_input:[20,1,1,""],angle:[20,1,1,""],norm:[20,1,1,""],rational_argument:[20,1,1,""]},"sage.rings.qqbar.ANExtensionElement":{is_field_element:[20,1,1,""],kind:[20,1,1,""],is_exact:[20,1,1,""],generator:[20,1,1,""],field_element_value:[20,1,1,""],minpoly:[20,1,1,""],invert:[20,1,1,""],is_complex:[20,1,1,""],is_simple:[20,1,1,""],neg:[20,1,1,""],simplify:[20,1,1,""],abs:[20,1,1,""],rational_argument:[20,1,1,""],conjugate:[20,1,1,""],handle_sage_input:[20,1,1,""],exactify:[20,1,1,""],norm:[20,1,1,""],gaussian_value:[20,1,1,""]},"sage.rings.number_field.number_field_ideal_rel.NumberFieldFractionalIdeal_rel":{ideal_below:[21,1,1,""],free_module:[21,1,1,""],gens_reduced:[21,1,1,""],is_integral:[21,1,1,""],integral_split:[21,1,1,""],is_zero:[21,1,1,""],factor:[21,1,1,""],absolute_norm:[21,1,1,""],norm:[21,1,1,""],ramification_index:[21,1,1,""],relative_norm:[21,1,1,""],absolute_ideal:[21,1,1,""],smallest_integer:[21,1,1,""],residues:[21,1,1,""],is_principal:[21,1,1,""],element_1_mod:[21,1,1,""],valuation:[21,1,1,""],residue_class_degree:[21,1,1,""],is_prime:[21,1,1,""],pari_rhnf:[21,1,1,""],relative_ramification_index:[21,1,1,""],absolute_ramification_index:[21,1,1,""],integral_basis:[21,1,1,""]},"sage.rings.number_field.number_field_element.OrderElement_absolute":{inverse_mod:[1,1,1,""]},"sage.rings.number_field.number_field_morphisms.EmbeddedNumberFieldConversion":{ambient_field:[7,5,1,""]},"sage.rings.number_field.morphism.NumberFieldHomomorphism_im_gens":{preimage:[5,1,1,""]},"sage.rings.number_field.number_field_rel":{NumberField_relative:[0,2,1,""],is_RelativeNumberField:[0,3,1,""],NumberField_relative_v1:[0,3,1,""],NumberField_extension_v1:[0,3,1,""]},"sage.rings.number_field.number_field_ideal.NumberFieldFractionalIdeal":{idealcoprime:[15,1,1,""],reduce:[15,1,1,""],invertible_residues_mod:[15,1,1,""],residue_field:[15,1,1,""],is_maximal:[15,1,1,""],prime_factors:[15,1,1,""],is_S_unit:[15,1,1,""],idealstar:[15,1,1,""],invertible_residues:[15,1,1,""],ray_class_number:[15,1,1,""],prime_to_idealM_part:[15,1,1,""],is_coprime:[15,1,1,""],factor:[15,1,1,""],divides:[15,1,1,""],is_trivial:[15,1,1,""],small_residue:[15,1,1,""],ramification_index:[15,1,1,""],is_S_integral:[15,1,1,""],denominator:[15,1,1,""],residues:[15,1,1,""],element_1_mod:[15,1,1,""],residue_class_degree:[15,1,1,""],numerator:[15,1,1,""],euler_phi:[15,1,1,""],ideallog:[15,1,1,""],prime_to_S_part:[15,1,1,""]},"sage.rings.qqbar.AlgebraicField":{completion:[20,1,1,""],polynomial_root:[20,1,1,""],gens:[20,1,1,""],random_element:[20,1,1,""],construction:[20,1,1,""],ngens:[20,1,1,""],algebraic_closure:[20,1,1,""],zeta:[20,1,1,""],gen:[20,1,1,""]},"sage.rings.number_field.totallyreal":{odlyzko_bound_totallyreal:[14,3,1,""],timestr:[14,3,1,""],enumerate_totallyreal_fields_prim:[14,3,1,""],weed_fields:[14,3,1,""]},"sage.rings.number_field.maps":{MapRelativeNumberFieldToVectorSpace:[22,2,1,""],MapRelativeVectorSpaceToRelativeNumberField:[22,2,1,""],MapRelativeToAbsoluteNumberField:[22,2,1,""],MapVectorSpaceToRelativeNumberField:[22,2,1,""],MapAbsoluteToRelativeNumberField:[22,2,1,""],MapVectorSpaceToNumberField:[22,2,1,""],NameChangeMap:[22,2,1,""],NumberFieldIsomorphism:[22,2,1,""],MapNumberFieldToVectorSpace:[22,2,1,""],MapRelativeNumberFieldToRelativeVectorSpace:[22,2,1,""]},"sage.rings.number_field.number_field.NumberFieldFactory":{create_key_and_extra_args:[18,1,1,""],create_object:[18,1,1,""]},"sage.rings.number_field.morphism.CyclotomicFieldHomset":{list:[5,1,1,""]},"sage.rings.number_field.splitting_field":{SplittingData:[4,2,1,""],SplittingFieldAbort:[4,4,1,""],splitting_field:[4,3,1,""]},"sage.rings.number_field.structure.NameChange":{create_structure:[12,1,1,""]},"sage.rings.number_field.order.Order":{krull_dimension:[9,1,1,""],rank:[9,1,1,""],is_noetherian:[9,1,1,""],is_maximal:[9,1,1,""],absolute_degree:[9,1,1,""],ambient:[9,1,1,""],is_integrally_closed:[9,1,1,""],zeta:[9,1,1,""],class_number:[9,1,1,""],free_module:[9,1,1,""],class_group:[9,1,1,""],number_field:[9,1,1,""],basis:[9,1,1,""],coordinates:[9,1,1,""],ideal:[9,1,1,""],is_field:[9,1,1,""],degree:[9,1,1,""],integral_closure:[9,1,1,""],random_element:[9,1,1,""],gen:[9,1,1,""],ring_generators:[9,1,1,""],gens:[9,1,1,""],ngens:[9,1,1,""],residue_field:[9,1,1,""],fraction_field:[9,1,1,""],is_suborder:[9,1,1,""],fractional_ideal:[9,1,1,""]},"sage.rings.qqbar":{an_muldiv_gaussian:[20,3,1,""],conjugate_shrink:[20,3,1,""],ANDescr:[20,2,1,""],an_addsub_rational:[20,3,1,""],AlgebraicRealField:[20,2,1,""],clear_denominators:[20,3,1,""],is_AlgebraicField_common:[20,3,1,""],ANRoot:[20,2,1,""],ANUnaryExpr:[20,2,1,""],is_AlgebraicField:[20,3,1,""],an_addsub_gaussian:[20,3,1,""],an_addsub_zero:[20,3,1,""],do_polred:[20,3,1,""],prec_seq:[20,3,1,""],AlgebraicNumber_base:[20,2,1,""],AlgebraicGenerator:[20,2,1,""],an_muldiv_zero:[20,3,1,""],ANRootOfUnity:[20,2,1,""],an_muldiv_rootunity:[20,3,1,""],is_AlgebraicReal:[20,3,1,""],number_field_elements_from_algebraics:[20,3,1,""],cyclotomic_generator:[20,3,1,""],an_muldiv_element:[20,3,1,""],ANExtensionElement:[20,2,1,""],AlgebraicField_common:[20,2,1,""],isolating_interval:[20,3,1,""],conjugate_expand:[20,3,1,""],AlgebraicReal:[20,2,1,""],AlgebraicNumber:[20,2,1,""],tail_prec_seq:[20,3,1,""],get_AA_golden_ratio:[20,3,1,""],an_muldiv_expr:[20,3,1,""],AlgebraicPolynomialTracker:[20,2,1,""],an_addsub_expr:[20,3,1,""],an_addsub_element:[20,3,1,""],short_prec_seq:[20,3,1,""],AlgebraicGeneratorRelation:[20,2,1,""],an_muldiv_rational:[20,3,1,""],ANBinaryExpr:[20,2,1,""],is_AlgebraicRealField:[20,3,1,""],is_AlgebraicNumber:[20,3,1,""],AlgebraicField:[20,2,1,""],ANRational:[20,2,1,""],rational_exact_root:[20,3,1,""],an_addsub_rootunity:[20,3,1,""],find_zero_result:[20,3,1,""]},"sage.rings.number_field.class_group.FractionalIdealClass":{inverse:[17,1,1,""],reduce:[17,1,1,""],gens:[17,1,1,""],is_principal:[17,1,1,""],ideal:[17,1,1,""],representative_prime:[17,1,1,""]},"sage.rings.number_field.galois_group":{GaloisGroup_v2:[16,2,1,""],GaloisGroup_v1:[16,2,1,""],GaloisGroup_subgroup:[16,2,1,""],GaloisGroupElement:[16,2,1,""],GaloisGroup:[16,5,1,""]},"sage.rings.number_field.number_field.NumberField_generic":{S_units:[18,1,1,""],ideals_of_bdd_norm:[18,1,1,""],S_class_group:[18,1,1,""],pari_polynomial:[18,1,1,""],disc:[18,1,1,""],prime_factors:[18,1,1,""],completion:[18,1,1,""],solve_CRT:[18,1,1,""],factor:[18,1,1,""],primes_of_degree_one_list:[18,1,1,""],subfield:[18,1,1,""],maximal_totally_real_subfield:[18,1,1,""],gen:[18,1,1,""],change_generator:[18,1,1,""],power_basis:[18,1,1,""],polynomial_ring:[18,1,1,""],zeta_order:[18,1,1,""],specified_complex_embedding:[18,1,1,""],pari_zk:[18,1,1,""],narrow_class_group:[18,1,1,""],is_totally_imaginary:[18,1,1,""],elements_of_norm:[18,1,1,""],algebraic_closure:[18,1,1,""],trace_dual_basis:[18,1,1,""],galois_group:[18,1,1,""],is_field:[18,1,1,""],defining_polynomial:[18,1,1,""],uniformizer:[18,1,1,""],selmer_group:[18,1,1,""],degree:[18,1,1,""],primitive_element:[18,1,1,""],is_CM:[18,1,1,""],complex_conjugation:[18,1,1,""],primitive_root_of_unity:[18,1,1,""],is_galois:[18,1,1,""],extension:[18,1,1,""],primes_above:[18,1,1,""],gen_embedding:[18,1,1,""],pari_rnfnorm_data:[18,1,1,""],composite_fields:[18,1,1,""],is_absolute:[18,1,1,""],polynomial_ntl:[18,1,1,""],is_relative:[18,1,1,""],signature:[18,1,1,""],residue_field:[18,1,1,""],absolute_polynomial_ntl:[18,1,1,""],polynomial:[18,1,1,""],zeta:[18,1,1,""],reduced_gram_matrix:[18,1,1,""],class_number:[18,1,1,""],absolute_field:[18,1,1,""],discriminant:[18,1,1,""],primes_of_bounded_norm:[18,1,1,""],number_of_roots_of_unity:[18,1,1,""],is_totally_real:[18,1,1,""],construction:[18,1,1,""],zeta_function:[18,1,1,""],selmer_group_iterator:[18,1,1,""],prime_above:[18,1,1,""],characteristic:[18,1,1,""],reduced_basis:[18,1,1,""],regulator:[18,1,1,""],integral_basis:[18,1,1,""],fractional_ideal:[18,1,1,""],roots_of_unity:[18,1,1,""],primes_of_degree_one_iter:[18,1,1,""],S_unit_group:[18,1,1,""],absolute_degree:[18,1,1,""],class_group:[18,1,1,""],different:[18,1,1,""],pari_nf:[18,1,1,""],primes_of_bounded_norm_iter:[18,1,1,""],is_isomorphic:[18,1,1,""],ideal:[18,1,1,""],units:[18,1,1,""],zeta_coefficients:[18,1,1,""],pari_bnf:[18,1,1,""],complex_embeddings:[18,1,1,""],random_element:[18,1,1,""],polynomial_quotient_ring:[18,1,1,""],unit_group:[18,1,1,""],real_embeddings:[18,1,1,""],structure:[18,1,1,""],trace_pairing:[18,1,1,""],latex_variable_name:[18,1,1,""],ngens:[18,1,1,""],order:[18,1,1,""]},"sage.rings.qqbar.AlgebraicNumber_base":{interval:[20,1,1,""],nth_root:[20,1,1,""],degree:[20,1,1,""],as_number_field_element:[20,1,1,""],minpoly:[20,1,1,""],interval_diameter:[20,1,1,""],is_square:[20,1,1,""],sqrt:[20,1,1,""],simplify:[20,1,1,""],radical_expression:[20,1,1,""],exactify:[20,1,1,""],is_integer:[20,1,1,""],interval_fast:[20,1,1,""]},"sage.rings.number_field.class_group.SClassGroup":{S:[17,1,1,""],Element:[17,5,1,""]},"sage.rings.number_field.number_field_element_quadratic.OrderElement_quadratic":{inverse_mod:[24,1,1,""],charpoly:[24,1,1,""],norm:[24,1,1,""],trace:[24,1,1,""],minpoly:[24,1,1,""]},"sage.rings.qqbar.ANRoot":{kind:[20,1,1,""],is_complex:[20,1,1,""],refine_interval:[20,1,1,""],exactify:[20,1,1,""],conjugate:[20,1,1,""],handle_sage_input:[20,1,1,""]},"sage.rings.number_field.number_field_morphisms.NumberFieldEmbedding":{gen_image:[7,1,1,""]},"sage.rings.number_field.unit_group":{UnitGroup:[13,2,1,""]},"sage.rings.number_field.order.AbsoluteOrder":{basis:[9,1,1,""],discriminant:[9,1,1,""],absolute_discriminant:[9,1,1,""],module:[9,1,1,""],index_in:[9,1,1,""],change_names:[9,1,1,""],intersection:[9,1,1,""],absolute_order:[9,1,1,""]},"sage.rings.number_field.totallyreal_phc":{coefficients_to_power_sums:[6,3,1,""]},"sage.rings.number_field.number_field_rel.NumberField_relative":{roots_of_unity:[0,1,1,""],relative_discriminant:[0,1,1,""],absolute_base_field:[0,1,1,""],pari_polynomial:[0,1,1,""],disc:[0,1,1,""],absolute_polynomial_ntl:[0,1,1,""],absolute_degree:[0,1,1,""],polynomial:[0,1,1,""],pari_rnf:[0,1,1,""],maximal_order:[0,1,1,""],absolute_vector_space:[0,1,1,""],base_ring:[0,1,1,""],absolute_field:[0,1,1,""],different:[0,1,1,""],discriminant:[0,1,1,""],galois_closure:[0,1,1,""],pari_relative_polynomial:[0,1,1,""],galois_group:[0,1,1,""],is_isomorphic_relative:[0,1,1,""],relative_vector_space:[0,1,1,""],is_galois_relative:[0,1,1,""],relative_different:[0,1,1,""],is_CM_extension:[0,1,1,""],subfields:[0,1,1,""],relativize:[0,1,1,""],defining_polynomial:[0,1,1,""],is_galois_absolute:[0,1,1,""],uniformizer:[0,1,1,""],embeddings:[0,1,1,""],degree:[0,1,1,""],lift_to_base:[0,1,1,""],absolute_discriminant:[0,1,1,""],number_of_roots_of_unity:[0,1,1,""],relative_degree:[0,1,1,""],is_free:[0,1,1,""],relative_polynomial:[0,1,1,""],ngens:[0,1,1,""],absolute_different:[0,1,1,""],gen:[0,1,1,""],absolute_polynomial:[0,1,1,""],base_field:[0,1,1,""],is_galois:[0,1,1,""],places:[0,1,1,""],gens:[0,1,1,""],vector_space:[0,1,1,""],automorphisms:[0,1,1,""],pari_absolute_base_polynomial:[0,1,1,""],absolute_generator:[0,1,1,""],change_names:[0,1,1,""],composite_fields:[0,1,1,""],order:[0,1,1,""],is_absolute:[0,1,1,""]},"sage.rings.number_field":{number_field_element_quadratic:[24,0,0,"-"],number_field_ideal_rel:[21,0,0,"-"],class_group:[17,0,0,"-"],bdd_height:[19,0,0,"-"],totallyreal:[14,0,0,"-"],galois_group:[16,0,0,"-"],maps:[22,0,0,"-"],number_field_ideal:[15,0,0,"-"],totallyreal_phc:[6,0,0,"-"],number_field_base:[10,0,0,"-"],unit_group:[13,0,0,"-"],totallyreal_rel:[11,0,0,"-"],structure:[12,0,0,"-"],number_field:[18,0,0,"-"],number_field_morphisms:[7,0,0,"-"],number_field_element:[1,0,0,"-"],number_field_rel:[0,0,0,"-"],totallyreal_data:[2,0,0,"-"],small_primes_of_degree_one:[3,0,0,"-"],order:[9,0,0,"-"],splitting_field:[4,0,0,"-"],morphism:[5,0,0,"-"]},"sage.rings.number_field.class_group":{SFractionalIdealClass:[17,2,1,""],ClassGroup:[17,2,1,""],FractionalIdealClass:[17,2,1,""],SClassGroup:[17,2,1,""]},"sage.rings.number_field.number_field.NumberField_cyclotomic":{zeta_order:[18,1,1,""],different:[18,1,1,""],complex_embedding:[18,1,1,""],roots_of_unity:[18,1,1,""],discriminant:[18,1,1,""],complex_embeddings:[18,1,1,""],is_isomorphic:[18,1,1,""],number_of_roots_of_unity:[18,1,1,""],construction:[18,1,1,""],next_split_prime:[18,1,1,""],signature:[18,1,1,""],real_embeddings:[18,1,1,""],zeta:[18,1,1,""],is_galois:[18,1,1,""]},"sage.rings.number_field.number_field.NumberField_quadratic":{is_galois:[18,1,1,""],discriminant:[18,1,1,""],hilbert_class_polynomial:[18,1,1,""],hilbert_class_field_defining_polynomial:[18,1,1,""],class_number:[18,1,1,""],hilbert_class_field:[18,1,1,""]},"sage.rings.number_field.totallyreal_data.tr_data":{printa:[2,1,1,""],increment:[2,1,1,""]},"sage.rings.number_field.structure":{NumberFieldStructureFromUniqueField:[12,2,1,""],RelativeFromRelative:[12,2,1,""],AbsoluteFromRelative:[12,2,1,""],NumberFieldStructure:[12,2,1,""],NameChange:[12,2,1,""],RelativeFromAbsolute:[12,2,1,""]},"sage.rings.number_field.unit_group.UnitGroup":{zeta_order:[13,1,1,""],fundamental_units:[13,1,1,""],roots_of_unity:[13,1,1,""],number_field:[13,1,1,""],torsion_generator:[13,1,1,""],rank:[13,1,1,""],exp:[13,1,1,""],zeta:[13,1,1,""],primes:[13,1,1,""],log:[13,1,1,""]},"sage.rings.number_field.number_field_element_quadratic":{Q_to_quadratic_field_element:[24,2,1,""],NumberFieldElement_quadratic:[24,2,1,""],OrderElement_quadratic:[24,2,1,""],Z_to_quadratic_field_element:[24,2,1,""]},"sage.rings.number_field.number_field_base.NumberField":{OK:[10,1,1,""],degree:[10,1,1,""],discriminant:[10,1,1,""],is_finite:[10,1,1,""],maximal_order:[10,1,1,""],ring_of_integers:[10,1,1,""],signature:[10,1,1,""],bach_bound:[10,1,1,""],minkowski_bound:[10,1,1,""],is_absolute:[10,1,1,""]},"sage.rings.universal_cyclotomic_field.UniversalCyclotomicFieldElement":{real:[23,1,1,""],field_order:[23,1,1,""],inverse:[23,1,1,""],conductor:[23,1,1,""],minpoly:[23,1,1,""],real_part:[23,1,1,""],is_rational:[23,1,1,""],conjugate:[23,1,1,""],denominator:[23,1,1,""],additive_order:[23,1,1,""],is_real:[23,1,1,""],multiplicative_order:[23,1,1,""],to_cyclotomic_field:[23,1,1,""],imag:[23,1,1,""],norm_of_galois_extension:[23,1,1,""],galois_conjugates:[23,1,1,""],imag_part:[23,1,1,""]},"sage.rings.number_field.class_group.ClassGroup":{gens_ideals:[17,1,1,""],number_field:[17,1,1,""],Element:[17,5,1,""]},"sage.rings.number_field.morphism.RelativeNumberFieldHomset":{list:[5,1,1,""],default_base_hom:[5,1,1,""]},"sage.rings.qqbar.ANUnaryExpr":{handle_sage_input:[20,1,1,""],kind:[20,1,1,""],is_complex:[20,1,1,""],exactify:[20,1,1,""]},"sage.rings.number_field.maps.NumberFieldIsomorphism":{is_injective:[22,1,1,""],is_surjective:[22,1,1,""]},"sage.rings.number_field.number_field_morphisms.EmbeddedNumberFieldMorphism":{ambient_field:[7,5,1,""],section:[7,1,1,""]},"sage.rings.qqbar.ANRational":{kind:[20,1,1,""],scale:[20,1,1,""],angle:[20,1,1,""],generator:[20,1,1,""],minpoly:[20,1,1,""],neg:[20,1,1,""],invert:[20,1,1,""],is_simple:[20,1,1,""],rational_value:[20,1,1,""],exactify:[20,1,1,""],abs:[20,1,1,""],rational_argument:[20,1,1,""],is_complex:[20,1,1,""],is_exact:[20,1,1,""],handle_sage_input:[20,1,1,""],is_rational:[20,1,1,""],gaussian_value:[20,1,1,""]},"sage.rings.number_field.galois_group.GaloisGroup_v2":{number_field:[16,1,1,""],ramification_group:[16,1,1,""],ramification_breaks:[16,1,1,""],complex_conjugation:[16,1,1,""],list:[16,1,1,""],ngens:[16,1,1,""],inertia_group:[16,1,1,""],decomposition_group:[16,1,1,""],subgroup:[16,1,1,""],artin_symbol:[16,1,1,""],splitting_field:[16,1,1,""],is_galois:[16,1,1,""]},"sage.rings.number_field.order.RelativeOrder":{absolute_discriminant:[9,1,1,""],absolute_order:[9,1,1,""],is_suborder:[9,1,1,""],index_in:[9,1,1,""],basis:[9,1,1,""]},"sage.rings.number_field.galois_group.GaloisGroup_v1":{group:[16,1,1,""],order:[16,1,1,""],number_field:[16,1,1,""]},"sage.rings.qqbar.AlgebraicField_common":{characteristic:[20,1,1,""],default_interval_prec:[20,1,1,""],is_finite:[20,1,1,""],common_polynomial:[20,1,1,""],order:[20,1,1,""]},"sage.rings.universal_cyclotomic_field":{UniversalCyclotomicFieldElement:[23,2,1,""],late_import:[23,3,1,""],UCFtoQQbar:[23,2,1,""],UniversalCyclotomicField:[23,2,1,""],E:[23,3,1,""]},"sage.rings.number_field.number_field.CyclotomicFieldFactory":{create_key:[18,1,1,""],create_object:[18,1,1,""]},"sage.rings.number_field.number_field.NumberField_absolute":{elements_of_bounded_height:[18,1,1,""],relative_discriminant:[18,1,1,""],optimized_subfields:[18,1,1,""],absolute_degree:[18,1,1,""],absolute_vector_space:[18,1,1,""],hilbert_symbol:[18,1,1,""],galois_closure:[18,1,1,""],maximal_order:[18,1,1,""],relative_different:[18,1,1,""],relative_vector_space:[18,1,1,""],subfields:[18,1,1,""],relativize:[18,1,1,""],real_places:[18,1,1,""],embeddings:[18,1,1,""],absolute_discriminant:[18,1,1,""],relative_degree:[18,1,1,""],optimized_representation:[18,1,1,""],relative_polynomial:[18,1,1,""],hilbert_conductor:[18,1,1,""],absolute_different:[18,1,1,""],base_field:[18,1,1,""],places:[18,1,1,""],vector_space:[18,1,1,""],order:[18,1,1,""],automorphisms:[18,1,1,""],absolute_generator:[18,1,1,""],change_names:[18,1,1,""],absolute_polynomial:[18,1,1,""],Minkowski_embedding:[18,1,1,""],is_absolute:[18,1,1,""]},"sage.rings.qqbar.AlgebraicNumber":{real:[20,1,1,""],complex_number:[20,1,1,""],interval_exact:[20,1,1,""],imag:[20,1,1,""],multiplicative_order:[20,1,1,""],complex_exact:[20,1,1,""],rational_argument:[20,1,1,""],conjugate:[20,1,1,""],norm:[20,1,1,""]},"sage.rings.number_field.number_field":{QuadraticField:[18,3,1,""],NumberField_cyclotomic_v1:[18,3,1,""],is_CyclotomicField:[18,3,1,""],CyclotomicFieldFactory:[18,2,1,""],proof_flag:[18,3,1,""],is_fundamental_discriminant:[18,3,1,""],put_natural_embedding_first:[18,3,1,""],NumberField_generic:[18,2,1,""],NumberField_quadratic_v1:[18,3,1,""],NumberFieldTower:[18,3,1,""],NumberField:[18,3,1,""],NumberField_generic_v1:[18,3,1,""],refine_embedding:[18,3,1,""],NumberField_absolute:[18,2,1,""],is_QuadraticField:[18,3,1,""],is_AbsoluteNumberField:[18,3,1,""],is_NumberFieldHomsetCodomain:[18,3,1,""],NumberField_quadratic:[18,2,1,""],NumberField_absolute_v1:[18,3,1,""],NumberField_cyclotomic:[18,2,1,""],NumberFieldFactory:[18,2,1,""]},"sage.rings.number_field.structure.RelativeFromAbsolute":{create_structure:[12,1,1,""]},"sage.rings.universal_cyclotomic_field.UniversalCyclotomicField":{is_exact:[23,1,1,""],degree:[23,1,1,""],characteristic:[23,1,1,""],an_element:[23,1,1,""],is_finite:[23,1,1,""],one:[23,1,1,""],zero:[23,1,1,""],algebraic_closure:[23,1,1,""],some_elements:[23,1,1,""],Element:[23,5,1,""],gen:[23,1,1,""]},"sage.rings.qqbar.AlgebraicRealField":{completion:[20,1,1,""],polynomial_root:[20,1,1,""],gens:[20,1,1,""],ngens:[20,1,1,""],algebraic_closure:[20,1,1,""],zeta:[20,1,1,""],gen:[20,1,1,""]},"sage.rings.number_field.small_primes_of_degree_one.Small_primes_of_degree_one_iter":{next:[3,1,1,""]},"sage.rings.number_field.order":{relative_order_from_ring_generators:[9,3,1,""],absolute_order_from_ring_generators:[9,3,1,""],absolute_order_from_module_generators:[9,3,1,""],each_is_integral:[9,3,1,""],Order:[9,2,1,""],AbsoluteOrder:[9,2,1,""],EquationOrder:[9,3,1,""],RelativeOrder:[9,2,1,""],is_NumberFieldOrder:[9,3,1,""]},"sage.rings.number_field.structure.AbsoluteFromRelative":{create_structure:[12,1,1,""]},"sage.rings.number_field.morphism":{RelativeNumberFieldHomomorphism_from_abs:[5,2,1,""],RelativeNumberFieldHomset:[5,2,1,""],NumberFieldHomomorphism_im_gens:[5,2,1,""],NumberFieldHomset:[5,2,1,""],CyclotomicFieldHomset:[5,2,1,""],CyclotomicFieldHomomorphism_im_gens:[5,2,1,""]},"sage.rings.number_field.galois_group.GaloisGroupElement":{ramification_degree:[16,1,1,""],as_hom:[16,1,1,""]},"sage.rings.qqbar.AlgebraicGenerator":{is_trivial:[20,1,1,""],set_cyclotomic:[20,1,1,""],union:[20,1,1,""],conjugate:[20,1,1,""],root_as_algebraic:[20,1,1,""],field:[20,1,1,""],super_poly:[20,1,1,""],pari_field:[20,1,1,""],is_complex:[20,1,1,""]},"sage.rings.number_field.totallyreal_rel":{integral_elements_in_box:[11,3,1,""],enumerate_totallyreal_fields_all:[11,3,1,""],enumerate_totallyreal_fields_rel:[11,3,1,""],tr_data_rel:[11,2,1,""]},"sage.rings.number_field.galois_group.GaloisGroup_subgroup":{fixed_field:[16,1,1,""]},"sage.rings.number_field.number_field_element.OrderElement_relative":{minpoly:[1,1,1,""],absolute_minpoly:[1,1,1,""],absolute_charpoly:[1,1,1,""],inverse_mod:[1,1,1,""],charpoly:[1,1,1,""]},"sage.rings.qqbar.AlgebraicPolynomialTracker":{generator:[20,1,1,""],factors:[20,1,1,""],poly:[20,1,1,""],exactify:[20,1,1,""],is_complex:[20,1,1,""],complex_roots:[20,1,1,""]},"sage.rings.number_field.structure.NumberFieldStructure":{create_structure:[12,1,1,""]},"sage.rings.number_field.number_field_element.NumberFieldElement_relative":{absolute_minpoly:[1,1,1,""],list:[1,1,1,""],lift:[1,1,1,""],charpoly:[1,1,1,""],valuation:[1,1,1,""],absolute_charpoly:[1,1,1,""]},"sage.rings.number_field.number_field_element.NumberFieldElement_absolute":{absolute_minpoly:[1,1,1,""],minpoly:[1,1,1,""],list:[1,1,1,""],lift:[1,1,1,""],charpoly:[1,1,1,""],absolute_charpoly:[1,1,1,""],is_real_positive:[1,1,1,""]},"sage.rings.number_field.number_field_element":{NumberFieldElement_absolute:[1,2,1,""],is_NumberFieldElement:[1,3,1,""],CoordinateFunction:[1,2,1,""],NumberFieldElement:[1,2,1,""],NumberFieldElement_relative:[1,2,1,""],OrderElement_relative:[1,2,1,""],OrderElement_absolute:[1,2,1,""]},"sage.rings.number_field.number_field_element.NumberFieldElement":{global_height_non_arch:[1,1,1,""],numerator_ideal:[1,1,1,""],is_square:[1,1,1,""],residue_symbol:[1,1,1,""],coordinates_in_terms_of_powers:[1,1,1,""],charpoly:[1,1,1,""],multiplicative_order:[1,1,1,""],polynomial:[1,1,1,""],is_nth_power:[1,1,1,""],global_height:[1,1,1,""],is_integer:[1,1,1,""],complex_embedding:[1,1,1,""],is_integral:[1,1,1,""],nth_root:[1,1,1,""],global_height_arch:[1,1,1,""],gcd:[1,1,1,""],support:[1,1,1,""],sqrt:[1,1,1,""],denominator_ideal:[1,1,1,""],abs:[1,1,1,""],factor:[1,1,1,""],is_unit:[1,1,1,""],absolute_norm:[1,1,1,""],norm:[1,1,1,""],is_totally_positive:[1,1,1,""],local_height_arch:[1,1,1,""],trace:[1,1,1,""],relative_norm:[1,1,1,""],galois_conjugates:[1,1,1,""],denominator:[1,1,1,""],additive_order:[1,1,1,""],is_norm:[1,1,1,""],conjugate:[1,1,1,""],ord:[1,1,1,""],valuation:[1,1,1,""],matrix:[1,1,1,""],is_one:[1,1,1,""],local_height:[1,1,1,""],minpoly:[1,1,1,""],is_rational:[1,1,1,""],list:[1,1,1,""],descend_mod_power:[1,1,1,""],vector:[1,1,1,""],inverse_mod:[1,1,1,""],complex_embeddings:[1,1,1,""],abs_non_arch:[1,1,1,""]},"sage.rings.number_field.morphism.RelativeNumberFieldHomomorphism_from_abs":{abs_hom:[5,1,1,""],im_gens:[5,1,1,""]},"sage.rings.number_field.number_field_element_quadratic.NumberFieldElement_quadratic":{real:[24,1,1,""],is_one:[24,1,1,""],is_integer:[24,1,1,""],trace:[24,1,1,""],floor:[24,1,1,""],galois_conjugate:[24,1,1,""],minpoly:[24,1,1,""],is_rational:[24,1,1,""],denominator:[24,1,1,""],numerator:[24,1,1,""],ceil:[24,1,1,""],continued_fraction:[24,1,1,""],parts:[24,1,1,""],charpoly:[24,1,1,""],is_integral:[24,1,1,""],continued_fraction_list:[24,1,1,""],sign:[24,1,1,""],imag:[24,1,1,""],norm:[24,1,1,""]}},titleterms:{all:10,helper:12,primit:14,over:4,ambient:7,cyclotom:23,bound:19,indic:8,height:19,tabl:8,quadrat:24,total:[14,11,6,2],todo:[23,19,18,24],unit:13,group:[17,13,16],author:14,univers:23,enumer:[14,11,6,2],field:[0,1,2,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,23,22,24],ideal:[21,15],interfac:6,split:4,rel:[11,21,0],between:5,refer:14,real:[14,11,6,2],map:22,algebra:[20,8],optim:24,number:[8,9,0,16,15,22,17,1,18,10,19,4,5,20,13,21,12,24],polynomi:4,base:10,"class":[10,12,17],prime:3,phc:6,algorithm:14,extens:11,structur:[22,12],element:[1,24,19],galoi:16,degre:3,exampl:14,small:3,embed:[12,7],isomorph:12,order:9,morphism:5}})