Search.setIndex({envversion:42,terms:{represent:2,functionfieldfactori:1,code:2,forget:2,illustr:2,skip:2,all:[2,5,6],follow:2,cython:5,simon:2,cached_funct:1,send:2,rueth:[2,3,6,5,1],adjoin:1,under:[2,6],sens:1,some_el:2,norm:5,everi:2,string:[2,5,1],fals:[1,2,3,4,5,6],polynomial_element_gener:5,uniquefactori:1,ticket:[2,1],functionfieldderiv:6,list:[2,3,5],"try":2,vector:[2,4,5,6],dimens:[2,4,6],ngen:[2,3],direct:2,second:2,functionfield_polymod_constructor:1,compat:4,index:0,polynomial_generic_dense_field:5,function_field_el:[2,5],constant_base_field:2,version:[1,2,3,4,5,6],intersect:4,"new":2,method:2,deriv:[2,6],gener:[2,4,3,5,6],never:[3,6],coeffici:5,closur:2,sinc:[2,3,5,6],interpret:5,search:0,genu:2,doctest:[2,5,1],implement:2,isomorph:[2,6],is_perfect:2,extra:1,modul:[2,0,3,4],linearli:2,unit:5,from:[2,6,5,1],commun:2,is_integr:5,two:2,next:2,call:[2,3,6,1],type:[2,5],fptelement:5,fractionfieldelement_1poly_field:5,functionfieldorder_basi:3,functionfieldid:4,functionfieldord:3,an_el:2,cach:1,must:[2,3],none:2,maarten:[2,4,3,5,1],work:[2,5],uniqu:1,isinst:[2,4,5,6],drill:2,root:[2,5,1],proof:3,give:[2,5],is_noetherian:3,functionfieldmorph:6,representing_el:5,alwai:2,functionfieldpolymodfactori:1,multipl:[2,3,5],tbar:2,anoth:[2,1],hom:[2,6],"_element_constructor_":3,how:2,instead:2,simpl:2,map:[2,6],"_test_categori":2,singular:2,after:2,mai:3,associ:2,order_with_basi:2,minim:5,correspond:4,element:[],allow:2,order:[],functionfield:[1,2,3,4,5,6],derickx:[2,4,3,5,1],is_squar:5,over:[1,2,3,4,5,6],functionfieldelement_polymod:[2,5],sqrt:5,hierarchi:6,free_modul:3,functionfield_polymod:2,paramet:2,perfect:2,fix:[2,4,3,5],gt1996:2,trager:2,im_gen:[2,6],non:2,"return":[1,2,3,4,5,6],python:1,extra_arg:1,initi:[1,2,3,4,5,6],verifi:1,now:[2,5],name:[2,5,1],trac:1,unpickl:5,fulli:2,valuat:5,domain:6,replac:1,realli:[2,3],"_make_monic_integr":2,lavasani:2,happen:2,variabl:[2,5,1],matrix:[4,3,5],space:[2,4,5,6],robert:[2,5],categori:[2,6,1],is_field:3,rel:5,wich:2,forth:2,factori:[],math:2,random_el:2,found:1,free:[2,4,3],homorph:2,base:[1,2,3,4,5,6],basi:[2,4,3],is_finit:[2,3],traceback:[2,3,6],length:[2,1],rais:2,inverse_mod:5,onto:2,pleas:2,exchang:2,independ:2,number:[2,3],rank:[4,3],bradshaw:[2,5],principalidealdomain:3,ring:[1,2,3,4,5,6],size:[2,4,3,1],given:[2,3,1],construct:[],nonintegr:2,transcendent:2,proposit:2,option:[2,5],ideal_with_gen:4,specifi:[2,4],exactli:2,king:2,keyword:[2,1],zero:5,structur:[2,5,1],posit:2,result:3,comput:2,polynomial_r:[2,4],julian:[2,3,6,5,1],pass:2,argument:[2,1],have:2,need:2,notimplementederror:2,engin:2,squar:[2,5],characteristic_polynomi:5,self:[2,4,3,5],functionfieldideal_modul:4,note:2,ideal:[],denomin:5,which:[2,3,6],trace:5,mapfunctionfieldtovectorspac:6,object:[2,3,5,1],most:[2,3,6],equation_ord:[2,4,3],alpha:[2,5],"class":[1,2,3,4,5,6],doe:[2,5],inde:5,univari:[2,4,1],determin:[5,1],show:[2,5],random:2,sage:[1,2,3,4,5,6],codomain:6,homomorph:[2,6],onli:[2,3,1],coerc:[4,3],indexerror:[2,3],"_element_class":5,should:2,factor:5,variou:2,get:[2,1],nontrivi:[2,3,5],finit:[1,2,3,4,5,6],gen:[2,4,3,5],y4y:5,ahmad:2,twice:1,integr:[2,5],contain:[2,1],where:[2,5],view:2,modulo:5,charpoli:5,ringhomomorph:6,rationalfunctionfield:2,endomorph:[2,6],ideal_with_gens_over_bas:[4,3],arg:[2,5],close:2,is_submodul:4,kei:1,correctli:5,between:[2,6],"import":[2,5],neither:5,parent:[2,3,5,6],numer:5,maximal_ord:[2,4,3,5],extens:[1,2,3,4,5,6],both:1,last:[2,3,6],fault:2,equal:[2,1],constructor:1,etc:2,equat:[4,3],is_rationalfunctionfield:2,simpli:5,kwd:[2,5],function_field_ord:3,is_surject:6,creat:[2,1],invers:5,been:1,valu:2,interest:2,valueerror:[2,6],mapvectorspacetofunctionfield:6,imag:[2,6],convert:2,ani:[2,5],make_functionfieldel:5,togeth:5,present:[2,5],ident:2,defin:[1,2,3,4,5,6],function_field:[1,2,3,4,5,6],abov:2,error:2,irreduc:2,henc:2,echelon:3,itself:2,gianni:2,quadrat:2,noetherian:3,author:[1,2,3,4,5,6],make:[2,5],same:[2,1],member:5,fraction_field:3,fieldel:5,phi:2,function_field_id:4,base_morph:[2,6],monic_integral_model:2,user:4,defn:[2,6],recent:[2,3,6],thu:2,pickl:5,exampl:[1,2,3,4,5,6],thi:[1,2,3,4,5,6],dimension:2,usual:2,identifi:2,just:2,constant_field:2,endofunct:2,yet:2,ideal_gener:4,input:[2,3,6,5,1],functionfieldmorphism_polymod:6,applic:2,stein:[1,2,3,4,5,6],format:4,functionfieldisomorph:6,characterist:[2,5],fraction_field_fpt:5,functionfieldel:5,vector_spac:[2,4,5,6],success:2,arbitrari:2,manual:2,resolv:1,integ:4,output:[2,4,6],tower:2,page:0,underli:[2,4,5],some:[2,3],back:[2,1],guarante:2,indirect:1,lead:2,is_functionfield:2,definit:2,subclass:5,inject:6,base_r:2,refer:2,run:2,ration:[1,2,3,4,5,6],usag:2,surject:6,minpoli:5,automorph:2,to_v:[2,4,5],testsuit:2,degre:[2,4,3],to_a:2,functionfieldorder_r:3,morphism:[],from_v:[2,4,5],down:2,from_a:2,span:2,wai:2,element_class:[2,5],support:2,"long":2,cached_method:2,fraction_field_el:5,arithmet:2,fraction:[2,4,3,5],suit:2,"var":2,treat:5,minimal_polynomi:5,form:[2,3],tupl:[2,1],maxim:[2,4,3,5],is_inject:6,"true":[1,2,3,4,5,6],base_field:2,whether:[2,5,6],is_functionfieldel:5,below:2,expect:[2,5],constant:[2,1],evalu:2,"abstract":[2,5],repres:[2,5],check:[2,3],refactor:6,when:[2,5],invalid:[2,6],"default":[2,1],other:[2,4],bool:2,test:[2,4,5,1],you:1,functionfieldmorphism_r:6,functionfieldderivation_r:6,create_kei:1,integraldomain:3,create_object:1,functionfieldelement_r:[2,5],william:[1,2,3,4,5,6],polynomi:[2,4,3,5,1],reduc:5,algorithm:2,monic:2,ignor:2,time:2,"_test_el":2},objtypes:{"0":"py:module","1":"py:method","2":"py:class","3":"py:function"},objnames:{"0":["py","module","Python module"],"1":["py","method","Python method"],"2":["py","class","Python class"],"3":["py","function","Python function"]},filenames:["index","sage/rings/function_field/constructor","sage/rings/function_field/function_field","sage/rings/function_field/function_field_order","sage/rings/function_field/function_field_ideal","sage/rings/function_field/function_field_element","sage/rings/function_field/maps"],titles:["Algebraic Function Fields","Factories to construct Function Fields","Function Fields","Orders in Function Fields","Ideals in Function Fields","Function Field Elements","Function Field Morphisms"],objects:{"sage.rings.function_field.maps.MapFunctionFieldToVectorSpace":{domain:[6,1,1,""],codomain:[6,1,1,""]},"sage.rings.function_field.function_field_order.FunctionFieldOrder_basis":{polynomial:[3,1,1,""],fraction_field:[3,1,1,""],free_module:[3,1,1,""],basis:[3,1,1,""]},"sage.rings.function_field.function_field_order.FunctionFieldOrder_rational":{ideal:[3,1,1,""],gen:[3,1,1,""],ngens:[3,1,1,""],basis:[3,1,1,""]},"sage.rings.function_field.maps.MapVectorSpaceToFunctionField":{codomain:[6,1,1,""],domain:[6,1,1,""]},"sage.rings.function_field.maps.FunctionFieldMorphism":{is_injective:[6,1,1,""]},"sage.rings.function_field.maps.FunctionFieldDerivation":{is_injective:[6,1,1,""]},"sage.rings.function_field.constructor.FunctionFieldPolymodFactory":{create_key:[1,1,1,""],create_object:[1,1,1,""]},"sage.rings.function_field.function_field.RationalFunctionField":{polynomial_ring:[2,1,1,""],equation_order:[2,1,1,""],base_field:[2,1,1,""],derivation:[2,1,1,""],degree:[2,1,1,""],constant_field:[2,1,1,""],hom:[2,1,1,""],ngens:[2,1,1,""],maximal_order:[2,1,1,""],vector_space:[2,1,1,""],constant_base_field:[2,1,1,""],random_element:[2,1,1,""],field:[2,1,1,""],genus:[2,1,1,""],gen:[2,1,1,""]},"sage.rings.function_field.constructor":{FunctionFieldFactory:[1,2,1,""],FunctionFieldPolymodFactory:[1,2,1,""]},"sage.rings.function_field.function_field_element":{FunctionFieldElement:[5,2,1,""],is_FunctionFieldElement:[5,3,1,""],FunctionFieldElement_rational:[5,2,1,""],make_FunctionFieldElement:[5,3,1,""],FunctionFieldElement_polymod:[5,2,1,""]},"sage.rings.function_field.function_field_ideal":{FunctionFieldIdeal:[4,2,1,""],FunctionFieldIdeal_module:[4,2,1,""],ideal_with_gens_over_base:[4,3,1,""],ideal_with_gens:[4,3,1,""]},"sage.rings.function_field.function_field_element.FunctionFieldElement_polymod":{list:[5,1,1,""],element:[5,1,1,""]},"sage.rings.function_field.maps.FunctionFieldIsomorphism":{is_injective:[6,1,1,""],is_surjective:[6,1,1,""]},"sage.rings.function_field":{function_field_element:[5,0,0,"-"],maps:[6,0,0,"-"],function_field:[2,0,0,"-"],function_field_order:[3,0,0,"-"],constructor:[1,0,0,"-"],function_field_ideal:[4,0,0,"-"]},"sage.rings.function_field.function_field_order":{FunctionFieldOrder_basis:[3,2,1,""],FunctionFieldOrder:[3,2,1,""],FunctionFieldOrder_rational:[3,2,1,""]},"sage.rings.function_field.function_field_element.FunctionFieldElement":{characteristic_polynomial:[5,1,1,""],minimal_polynomial:[5,1,1,""],matrix:[5,1,1,""],trace:[5,1,1,""],minpoly:[5,1,1,""],charpoly:[5,1,1,""],is_integral:[5,1,1,""],norm:[5,1,1,""]},"sage.rings.function_field.function_field":{is_FunctionField:[2,3,1,""],RationalFunctionField:[2,2,1,""],FunctionField:[2,2,1,""],FunctionField_polymod:[2,2,1,""],is_RationalFunctionField:[2,3,1,""]},"sage.rings.function_field.function_field.FunctionField_polymod":{polynomial_ring:[2,1,1,""],equation_order:[2,1,1,""],base_field:[2,1,1,""],degree:[2,1,1,""],constant_field:[2,1,1,""],hom:[2,1,1,""],ngens:[2,1,1,""],maximal_order:[2,1,1,""],vector_space:[2,1,1,""],constant_base_field:[2,1,1,""],monic_integral_model:[2,1,1,""],random_element:[2,1,1,""],polynomial:[2,1,1,""],genus:[2,1,1,""],gen:[2,1,1,""]},"sage.rings.function_field.function_field_ideal.FunctionFieldIdeal_module":{intersection:[4,1,1,""],module:[4,1,1,""]},"sage.rings.function_field.function_field.FunctionField":{is_perfect:[2,1,1,""],extension:[2,1,1,""],characteristic:[2,1,1,""],is_finite:[2,1,1,""],order_with_basis:[2,1,1,""],some_elements:[2,1,1,""],order:[2,1,1,""]},"sage.rings.function_field.constructor.FunctionFieldFactory":{create_key:[1,1,1,""],create_object:[1,1,1,""]},"sage.rings.function_field.function_field_order.FunctionFieldOrder":{function_field:[3,1,1,""],is_finite:[3,1,1,""],ideal:[3,1,1,""],is_noetherian:[3,1,1,""],is_field:[3,1,1,""],ideal_with_gens_over_base:[3,1,1,""],fraction_field:[3,1,1,""]},"sage.rings.function_field.maps":{FunctionFieldIsomorphism:[6,2,1,""],MapVectorSpaceToFunctionField:[6,2,1,""],FunctionFieldDerivation:[6,2,1,""],MapFunctionFieldToVectorSpace:[6,2,1,""],FunctionFieldDerivation_rational:[6,2,1,""],FunctionFieldMorphism_rational:[6,2,1,""],FunctionFieldMorphism_polymod:[6,2,1,""],FunctionFieldMorphism:[6,2,1,""]},"sage.rings.function_field.function_field_element.FunctionFieldElement_rational":{denominator:[5,1,1,""],numerator:[5,1,1,""],is_square:[5,1,1,""],list:[5,1,1,""],sqrt:[5,1,1,""],element:[5,1,1,""],inverse_mod:[5,1,1,""],factor:[5,1,1,""],valuation:[5,1,1,""]}},titleterms:{"function":[0,1,2,3,4,5,6],algebra:0,indic:0,element:5,field:[0,1,2,3,4,5,6],ideal:4,construct:1,tabl:0,order:3,factori:1,morphism:6}})
