text: Search.setIndex({docnames:["alt_forms","index","morphisms","sage/tensor/modules/alternating_contr_tensor","sage/tensor/modules/comp","sage/tensor/modules/ext_pow_free_module","sage/tensor/modules/finite_rank_free_module","sage/tensor/modules/format_utilities","sage/tensor/modules/free_module_alt_form","sage/tensor/modules/free_module_automorphism","sage/tensor/modules/free_module_basis","sage/tensor/modules/free_module_element","sage/tensor/modules/free_module_homset","sage/tensor/modules/free_module_linear_group","sage/tensor/modules/free_module_morphism","sage/tensor/modules/free_module_tensor","sage/tensor/modules/tensor_free_module","sage/tensor/modules/tensor_with_indices","tensors"],envversion:{"sphinx.domains.c":2,"sphinx.domains.changeset":1,"sphinx.domains.citation":1,"sphinx.domains.cpp":3,"sphinx.domains.index":1,"sphinx.domains.javascript":2,"sphinx.domains.math":2,"sphinx.domains.python":3,"sphinx.domains.rst":2,"sphinx.domains.std":2,"sphinx.ext.todo":2,sphinx:56},filenames:["alt_forms.rst","index.rst","morphisms.rst","sage/tensor/modules/alternating_contr_tensor.rst","sage/tensor/modules/comp.rst","sage/tensor/modules/ext_pow_free_module.rst","sage/tensor/modules/finite_rank_free_module.rst","sage/tensor/modules/format_utilities.rst","sage/tensor/modules/free_module_alt_form.rst","sage/tensor/modules/free_module_automorphism.rst","sage/tensor/modules/free_module_basis.rst","sage/tensor/modules/free_module_element.rst","sage/tensor/modules/free_module_homset.rst","sage/tensor/modules/free_module_linear_group.rst","sage/tensor/modules/free_module_morphism.rst","sage/tensor/modules/free_module_tensor.rst","sage/tensor/modules/tensor_free_module.rst","sage/tensor/modules/tensor_with_indices.rst","tensors.rst"],objects:{"sage.tensor.modules":{alternating_contr_tensor:[3,0,0,"-"],comp:[4,0,0,"-"],ext_pow_free_module:[5,0,0,"-"],finite_rank_free_module:[6,0,0,"-"],format_utilities:[7,0,0,"-"],free_module_alt_form:[8,0,0,"-"],free_module_automorphism:[9,0,0,"-"],free_module_basis:[10,0,0,"-"],free_module_element:[11,0,0,"-"],free_module_homset:[12,0,0,"-"],free_module_linear_group:[13,0,0,"-"],free_module_morphism:[14,0,0,"-"],free_module_tensor:[15,0,0,"-"],tensor_free_module:[16,0,0,"-"],tensor_with_indices:[17,0,0,"-"]},"sage.tensor.modules.alternating_contr_tensor":{AlternatingContrTensor:[3,1,1,""]},"sage.tensor.modules.alternating_contr_tensor.AlternatingContrTensor":{degree:[3,2,1,""],disp:[3,2,1,""],display:[3,2,1,""],interior_product:[3,2,1,""],wedge:[3,2,1,""]},"sage.tensor.modules.comp":{CompFullyAntiSym:[4,1,1,""],CompFullySym:[4,1,1,""],CompWithSym:[4,1,1,""],Components:[4,1,1,""],KroneckerDelta:[4,1,1,""]},"sage.tensor.modules.comp.CompFullyAntiSym":{interior_product:[4,2,1,""]},"sage.tensor.modules.comp.CompWithSym":{antisymmetrize:[4,2,1,""],non_redundant_index_generator:[4,2,1,""],swap_adjacent_indices:[4,2,1,""],symmetrize:[4,2,1,""],trace:[4,2,1,""]},"sage.tensor.modules.comp.Components":{antisymmetrize:[4,2,1,""],contract:[4,2,1,""],copy:[4,2,1,""],display:[4,2,1,""],index_generator:[4,2,1,""],is_zero:[4,2,1,""],non_redundant_index_generator:[4,2,1,""],swap_adjacent_indices:[4,2,1,""],symmetrize:[4,2,1,""],trace:[4,2,1,""]},"sage.tensor.modules.ext_pow_free_module":{ExtPowerDualFreeModule:[5,1,1,""],ExtPowerFreeModule:[5,1,1,""]},"sage.tensor.modules.ext_pow_free_module.ExtPowerDualFreeModule":{Element:[5,3,1,""],base_module:[5,2,1,""],degree:[5,2,1,""],zero:[5,2,1,""]},"sage.tensor.modules.ext_pow_free_module.ExtPowerFreeModule":{Element:[5,3,1,""],base_module:[5,2,1,""],degree:[5,2,1,""],zero:[5,2,1,""]},"sage.tensor.modules.finite_rank_free_module":{FiniteRankFreeModule:[6,1,1,""]},"sage.tensor.modules.finite_rank_free_module.FiniteRankFreeModule":{Element:[6,3,1,""],alternating_contravariant_tensor:[6,2,1,""],alternating_form:[6,2,1,""],automorphism:[6,2,1,""],bases:[6,2,1,""],basis:[6,2,1,""],change_of_basis:[6,2,1,""],default_basis:[6,2,1,""],dual:[6,2,1,""],dual_exterior_power:[6,2,1,""],endomorphism:[6,2,1,""],exterior_power:[6,2,1,""],general_linear_group:[6,2,1,""],hom:[6,2,1,""],identity_map:[6,2,1,""],irange:[6,2,1,""],isomorphism_with_fixed_basis:[6,2,1,""],linear_form:[6,2,1,""],print_bases:[6,2,1,""],rank:[6,2,1,""],set_change_of_basis:[6,2,1,""],set_default_basis:[6,2,1,""],sym_bilinear_form:[6,2,1,""],tensor:[6,2,1,""],tensor_from_comp:[6,2,1,""],tensor_module:[6,2,1,""],zero:[6,2,1,""]},"sage.tensor.modules.format_utilities":{FormattedExpansion:[7,1,1,""],format_mul_latex:[7,4,1,""],format_mul_txt:[7,4,1,""],format_unop_latex:[7,4,1,""],format_unop_txt:[7,4,1,""],is_atomic:[7,4,1,""],is_atomic_wedge_latex:[7,4,1,""],is_atomic_wedge_txt:[7,4,1,""]},"sage.tensor.modules.free_module_alt_form":{FreeModuleAltForm:[8,1,1,""]},"sage.tensor.modules.free_module_alt_form.FreeModuleAltForm":{degree:[8,2,1,""],disp:[8,2,1,""],display:[8,2,1,""],interior_product:[8,2,1,""],wedge:[8,2,1,""]},"sage.tensor.modules.free_module_automorphism":{FreeModuleAutomorphism:[9,1,1,""]},"sage.tensor.modules.free_module_automorphism.FreeModuleAutomorphism":{add_comp:[9,2,1,""],det:[9,2,1,""],inverse:[9,2,1,""],matrix:[9,2,1,""],set_comp:[9,2,1,""],trace:[9,2,1,""]},"sage.tensor.modules.free_module_basis":{Basis_abstract:[10,1,1,""],FreeModuleBasis:[10,1,1,""],FreeModuleCoBasis:[10,1,1,""]},"sage.tensor.modules.free_module_basis.Basis_abstract":{free_module:[10,2,1,""],set_name:[10,2,1,""]},"sage.tensor.modules.free_module_basis.FreeModuleBasis":{dual_basis:[10,2,1,""],module:[10,2,1,""],new_basis:[10,2,1,""]},"sage.tensor.modules.free_module_element":{FiniteRankFreeModuleElement:[11,1,1,""]},"sage.tensor.modules.free_module_homset":{FreeModuleHomset:[12,1,1,""]},"sage.tensor.modules.free_module_homset.FreeModuleHomset":{Element:[12,3,1,""],one:[12,2,1,""]},"sage.tensor.modules.free_module_linear_group":{FreeModuleLinearGroup:[13,1,1,""]},"sage.tensor.modules.free_module_linear_group.FreeModuleLinearGroup":{Element:[13,3,1,""],base_module:[13,2,1,""],one:[13,2,1,""]},"sage.tensor.modules.free_module_morphism":{FiniteRankFreeModuleMorphism:[14,1,1,""]},"sage.tensor.modules.free_module_morphism.FiniteRankFreeModuleMorphism":{is_identity:[14,2,1,""],is_injective:[14,2,1,""],is_surjective:[14,2,1,""],matrix:[14,2,1,""]},"sage.tensor.modules.free_module_tensor":{FreeModuleTensor:[15,1,1,""]},"sage.tensor.modules.free_module_tensor.FreeModuleTensor":{add_comp:[15,2,1,""],antisymmetrize:[15,2,1,""],base_module:[15,2,1,""],common_basis:[15,2,1,""],comp:[15,2,1,""],components:[15,2,1,""],contract:[15,2,1,""],copy:[15,2,1,""],copy_from:[15,2,1,""],del_other_comp:[15,2,1,""],disp:[15,2,1,""],display:[15,2,1,""],display_comp:[15,2,1,""],pick_a_basis:[15,2,1,""],set_comp:[15,2,1,""],set_name:[15,2,1,""],symmetries:[15,2,1,""],symmetrize:[15,2,1,""],tensor_rank:[15,2,1,""],tensor_type:[15,2,1,""],trace:[15,2,1,""]},"sage.tensor.modules.tensor_free_module":{TensorFreeModule:[16,1,1,""]},"sage.tensor.modules.tensor_free_module.TensorFreeModule":{Element:[16,3,1,""],base_module:[16,2,1,""],tensor_type:[16,2,1,""],zero:[16,2,1,""]},"sage.tensor.modules.tensor_with_indices":{TensorWithIndices:[17,1,1,""]},"sage.tensor.modules.tensor_with_indices.TensorWithIndices":{permute_indices:[17,2,1,""],update:[17,2,1,""]}},objnames:{"0":["py","module","Python module"],"1":["py","class","Python class"],"2":["py","method","Python method"],"3":["py","attribute","Python attribute"],"4":["py","function","Python function"]},objtypes:{"0":"py:module","1":"py:class","2":"py:method","3":"py:attribute","4":"py:function"},terms:{"0":[3,4,5,6,8,9,10,11,12,13,14,15,16,17],"00":4,"00000000000000":[3,4,6,8,15],"000000000000000":[4,6],"01":16,"0_1":4,"0_10":4,"1":[3,4,5,6,8,9,10,11,12,13,14,15,16,17],"10":[3,4,6,8,9,10,14,15,16],"100":4,"102":4,"105":[15,17],"11":[4,9,14,15],"112":15,"117":15,"11_1":15,"11_2":15,"12":[3,4,6,8,9,11,14,15],"120":3,"128":15,"12_1":15,"12_2":15,"13":[4,8,12,14,15],"14":[3,4,8,12,14,15],"140":9,"143":9,"144":15,"15":[3,4,8,9,13,15,17],"150":[3,4],"156":15,"16":[4,6,15,16],"16427":6,"17":[4,15],"170":15,"18":[4,6,11,14,15],"19":[4,5,8,9,14,15],"195":15,"1_0":4,"1_01":4,"1_1":4,"1_11":4,"1st":[4,6,15],"2":[3,4,5,6,7,8,9,10,11,12,13,14,15,16,17],"20":[3,4,6,8,15],"2010":[4,7],"2014":[4,6,7,8,10,11,12,14,15,16,17],"2015":[4,5,6,7,8,9,10,11,12,13,14,15,16,17],"2016":[6,10],"2017":[3,5,11],"2018":10,"2019":[6,9,13,15,17],"2020":7,"2021":6,"204":15,"20770":[6,10],"21":[4,11,15,16],"210":15,"21_1":15,"21_2":15,"22":[4,15],"22520":[4,8,15],"22_1":15,"22_2":15,"23":[3,4,8,15],"234":15,"24":[4,6,9,15],"240":3,"24444":4,"24792":10,"25":[4,14,15],"252":15,"26":[4,8,15],"27":[4,6,15,16],"273":15,"28":4,"285":4,"285714285714286":4,"29":[4,15],"2_":16,"2nd":[3,4,5,6,8,15,16],"3":[3,4,5,6,8,9,10,11,12,13,14,15,16,17],"30":[3,4,6,8,9,15],"31":15,"312":15,"32":[4,14,15],"33":[3,4,6,8,15],"333333333333333":[3,4,6,8,15],"33333333333333333333333333333":4,"34":[3,8,14],"35":4,"351":15,"36":[4,6,15],"360":4,"39":[14,15],"3rd":[3,4,6,8,15],"3x3":[4,6,9],"4":[3,4,5,6,8,9,11,13,14,15,16,17],"40":[3,4,6],"41":9,"45":[4,15],"47":[4,9],"48":[3,9,15],"4th":[4,6,15],"5":[3,4,5,6,8,9,10,12,13,14,15,17],"50":[3,4],"50000000000000":[3,8],"51":14,"53":[3,4,6,8,15],"54":[6,14,15],"55":4,"56":[3,9],"570":4,"58":4,"5th":[4,6,15],"6":[3,4,6,8,9,11,14,15,17],"60":[3,4,6,8],"61":6,"63":15,"64":15,"68":[4,15],"7":[3,4,6,8,9,11,13,14,15,17],"72":15,"78":15,"8":[3,4,6,8,14,15,17],"80":[9,15],"81":[6,9,15],"82":4,"83":9,"84":9,"85":15,"855":4,"9":[3,4,6,8,9,11,14,15,17],"90":[3,4,6],"96":15,"\u03bc\u03be":17,"abstract":10,"boolean":[4,15],"case":[3,4,6,8,11,12,15],"class":[1,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17],"default":[3,4,5,6,7,8,9,10,11,12,14,15,16],"do":[6,15],"final":11,"function":[4,6,7,10,12,14,15],"import":[4,5,6,7,10,13,16,17],"l\u00e9o":17,"long":9,"new":[4,6,10,15],"return":[3,4,5,6,8,9,10,12,13,14,15,16,17],"short":9,"switch":[4,15],"true":[3,4,5,6,7,8,9,10,11,12,13,14,15,16,17],"var":[4,8,15],"while":[4,5,6,10,15,16],A:[3,4,5,6,8,9,10,13,14,15],As:[6,12,13,15,16],At:6,But:4,By:[4,6,15],For:[4,5,6,9,15,16],If:[3,4,6,8,9,14,15,17],In:[1,4,5,6,8,9,13,15,16],It:[4,6,8,9,10,13],Its:13,No:6,Of:[5,9,12,13,14,16],On:6,One:[4,6,17],The:[3,4,5,6,8,9,10,11,12,13,14,15,16,17],There:[5,6,11,12,16],To:[6,9,12,14,15],_:[3,5,6,8,15,16,17],__call__:[12,14,16],__getitem__:4,__len__:4,_antisym:4,_basis_chang:[6,15],_clear_cache_:[6,15],_comp:[4,15],_compon:[9,15],_ef:17,_fmodul:[3,8,15],_i:15,_is_atom:7,_j:15,_k:17,_kj:17,_kl:[15,17],_m:6,_n:6,_output_formatt:[3,8,15],_r:[15,16],_sindex:6,_sym:4,_tensor:17,a1:[4,6],a2:6,a_:8,a_ind:17,aa:17,abc:[6,10,15],abelian:9,abij:17,abji:17,abov:[3,4,6,8,9,11,12,14,15,16],abridg:15,absenc:[4,6],accept:17,access:[4,6,10,15],accord:[4,6,10],accordingli:[4,5,6,12,16],account:12,act:[3,6,8,9,11,14,15,17],action:[5,12,16],actual:[3,4,5,6,8,9,11,12,14,15,16],ad:[4,6,9,15],adapt:7,add:[5,15,17],add_comp:[9,15],addit:[4,11,16,17],adjac:4,adjust:[4,6],admit:6,afterward:[5,6,16],again:15,ah:13,algebra:[3,5,6,8,9,10,11,12,13,14,15,16],alia:[5,6,12,13,16],all:[3,4,5,6,8,11,12,15,16,17],allow:[15,17],along:6,alpha:[3,8,9,10],alreadi:[4,6,9,14,15],also:[4,5,6,10,13,15,17],alt_tensor:8,alter:4,altern:[1,5,6,11,14,15,16],alternating_contr_tensor:[3,5,11],alternating_contravariant_tensor:[3,6,8],alternating_form:[3,6,8,15,16],alternatingcontrtensor:[3,5,6,8,11,15],alwai:6,ambient:6,among:[4,6,15],amount:4,an:[3,4,5,6,8,9,10,11,12,13,14,15,16,17],an_el:[5,6,12,13,15,16],ani:[3,4,5,6,8,9,12,13,14,15],anoth:[4,6,9,14,15,17],anticommut:[3,8],antisym:[4,6,15],antisymmetr:[4,15,17],antisymmetri:[3,4,5,6,11,15,16,17],anyth:4,appli:[3,8,12,15,17],ar:[3,4,5,6,7,8,9,10,11,12,13,14,15,16,17],arg:[4,15],argument:[3,4,5,6,8,9,10,12,14,15,16],arithmet:[3,4,6,8,11,17],around:9,arrai:[4,11,15],ask:[14,15,17],aspect:12,assign:[9,15],associ:[3,8],assum:[3,4,6,8,9,14,15],atom:7,aut:[3,8],author:[3,4,5,6,7,8,9,10,11,12,13,14,15,16,17],automat:[4,9],automorph:[1,2,3,6,8,10,12,13,14,15,16],avoid:[6,9,15],b1:4,b:[3,4,5,6,7,8,9,10,11,14,15,17],b_:3,b_ef:17,b_x:10,b_y:10,back:10,bar:11,base:[1,3,4,5,6,7,8,9,11,12,13,14,15,16,17],base_modul:[5,13,15,16],base_r:[5,6,8,15,16],basi:[3,4,5,6,8,9,10,11,12,13,14,15,16,17],basis1:[4,6,9,14],basis2:[4,6,9,14],basis_abstract:10,basis_m:[6,14],basis_n:[6,14],becaus:[4,6,11],becom:6,been:[4,6,8,9,12,14,15,16,17],befor:9,begin:[4,11,15],being:[3,4,6,8,9,11,14,15,16],bejger:[4,6,7,8,10,11,12,14,15,16,17],belong:[4,6,14],below:[3,6,8,14,15],beta:[8,10],between:[1,2,4,6,14,15,16,17],biject:[9,12,13],bilinear:[6,8],binom:[5,6],bit:[3,4,6,8,15],bn:4,both:[3,4,6,8,15,16],bound:6,bracket:[4,6,9,10,15,17],brunswic:17,bug:[4,8,15],built:[4,6],c1:4,c2:4,c:[3,4,6,7,8,9,10,17],c_000:4,c_001:4,c_010:4,c_011:4,c_01:4,c_0:4,c_100:4,c_101:4,c_10:4,c_110:4,c_111:4,c_11:4,c_21:4,c_par:4,c_r:4,c_th:4,c_xyx:4,c_yxi:4,c_yyi:4,cach:[6,9,12,13,16],call:[4,6,9,13,14,15,17],can:[1,3,4,5,6,7,8,9,10,12,13,14,15,16,17],cannot:[4,9,13,15],canon:[4,6,11,12,15,16],cardin:6,care:4,carri:17,cartesian:6,categori:[5,6,12,13,14,16],cauchi:17,caus:9,cdot:[3,5,6,8,15,16],cf:[3,4,6,8,11],chang:[4,6,7,9,10,13,14,15],change_of_basi:[6,9,10,13],chap:[3,5,6,8,9,10,11,12,13,14,15,16],charact:[3,4,8,15,17],characterist:6,charg:4,check:[3,4,6,7,8,9,10,13,14,15,17],choic:[6,10],chosen:[10,17],clear:15,clearli:13,cn:4,cobasi:[8,10],codomain:[6,12,14],coeffici:[4,6],coerc:16,coercion:[5,12,13,16],coincid:12,column:[6,9,14],combin:11,combinatorialfreemodul:6,comma:4,command:15,common:[6,10,15],common_basi:15,commut:[3,4,5,6,8,9,10,11,12,13,14,15,16],commutativeadditivegroup:9,comp:[4,5,6,9,15,16],compar:[4,6,9],comparison:15,compfullyantisym:[4,6],compfullysym:[4,6],complet:[4,6],compon:[1,3,5,6,8,9,14,15,16,17],componentsand:6,compos:4,composit:[9,13],comput:[3,4,6,8,9,14,15],compute_invers:6,compwithsym:[4,6],con2013:5,con2015:16,concept:6,concret:6,confus:9,connect:[4,15],conrad:[5,16],consequ:4,consid:[3,6,8,9,11,12,13,15,16],consist:[1,4,9,15],consol:[3,4,8,15],constant:14,constant_funct:14,constantfunct:14,constitu:17,constitut:[1,10],construct:[3,4,5,6,8,9,10,11,12,14,15,16],constructor:[4,6],contain:[4,6,15,17],context:6,contract:[3,4,8,15,17],contrari:6,contravari:[0,1,4,5,6,8,11,15,16,17],control:[3,8,15],convent:[4,6,14,15,17],convers:12,convert:[4,9,13],coordin:6,copi:[4,15,17],copy_from:15,correspond:[3,4,6,8,9,11,14,15],could:[6,9],counterpart:4,cours:[3,5,6,8,9,12,13,14,15,16],covari:[4,6,15,16,17],creat:[4,6,9,15,17],creation:6,cs1:4,cs:4,css:4,current:[10,15],custom:[6,10,15],cut:9,cycl:17,cyclic:17,cython:6,d1:4,d:[3,4,6,7,8],data:6,ddu:4,de:15,deal:6,dealt:4,declar:[4,6,10,15],deduc:[6,15],default_basi:6,defin:[3,4,5,6,7,8,9,10,11,14,15,16],definit:6,degre:[3,5,6,8,11,15,16],del_other_comp:15,delet:[9,15],delta:[4,6,9],delta_:4,demonstr:4,denot:[3,5,6,8,9,11,12,14,15,16,17],dens:[4,15],depend:1,deriv:[4,14,15],describ:[4,6,10,15],destroi:[4,15],det:9,detail:[6,13],determin:[9,10,14],devot:15,dictionari:[4,6,9,15],did:[9,15],differ:[3,4,6,8,14,15,17],differenti:6,differentialform:4,differentialformformatt:7,digit:17,dim:4,dimens:[4,6,10],dimension:[4,5,6,10,12,14,15,16,17],direct:[5,12,13,15,16],directli:6,disp:[3,8,15],displai:[3,4,5,6,7,8,9,10,11,13,14,15,16],display_comp:15,distinct:[4,15,17],distinguish:6,divis:4,doctest:[6,15],document:[6,16],doe:[1,4,6,15],domain:[4,6,8,12,14,15],dot:[15,17],doubl:[4,15],down:[4,10],dual:[3,5,6,8,10,15,16],dual_basi:[3,6,8,10,15],dual_exterior_pow:[5,6,16],due:[4,14],dynam:6,e:[3,4,5,6,7,8,9,10,11,12,13,14,15,16,17],e_0:[3,5,6,9,10,11,13,14,15,16],e_1:[3,5,6,8,9,10,11,13,14,15,16],e_2:[3,5,6,8,9,10,11,13,14,15,16],e_3:[3,6,8,10,15],e_4:6,e_:[3,6,10,15],e_i:[6,10,15],e_x:10,e_z:10,ea:12,each:[4,6,10,14,15],effect:6,effici:[3,4,8],einstein:15,either:[3,4,6,8,10,15],element:[1,3,5,6,8,9,10,12,13,14,15,16],element_class:[3,8,13,14],emploi:15,empti:[5,6,16],enabl:11,enclos:7,end:[4,6,9,11,12,13,14,15,16],endomorph:[6,9,12,13,14,15,16],ensur:15,entiti:4,entri:[6,14],enumer:6,ep:[6,10,12,14],eps_0:[6,10],eps_1:[6,10],eps_2:[6,10],epsilon:[6,10],epsilon_:[6,10],equal:[3,4,5,6,8,9,12,16],equival:[4,6,8,14,15],eras:[9,15],eric:[3,4,5,6,7,8,9,10,11,12,13,14,15,16,17],error:[4,6],essenti:4,etc:[4,15],euclidean:6,even:[6,15,17],everi:[12,13,16],exact:[4,15],exampl:[3,4,5,6,7,8,9,10,11,12,13,14,15,16,17],except:14,exer:16,exist:[4,6,9,15],expand:[3,8,15],expans:[3,5,6,7,8,11,15],explicit:[14,15],explicitli:[6,9,10,15],expon:9,expos:6,expr:7,express:[6,7],ext_pow_free_modul:[3,5,8],extend:7,exterior:[0,1,3,6,8,11,15,16],exterior_pow:[5,6],extpowerdualfreemodul:[5,6,8,15],extpowerdualfreemodule_with_categori:8,extpowerfreemodul:[3,5,6,15],extpowerfreemodule_with_categori:3,extract:[3,8],f1:6,f2:6,f3:6,f:[3,6,7,8,9,10,12,13,14,15],f_0:[3,6,9,10,13,14,15],f_1:[3,6,9,10,13,14,15],f_2:[3,6,9,10,13,15],f_3:[6,9,15],f_4:6,f_:6,f_i:6,f_x:[6,10],f_y:[6,10],f_z:[6,10],fact:15,fals:[4,5,6,7,9,12,13,14,15,16,17],famili:6,fed:17,field:[4,6,10,15,17],find:15,finit:[3,5,8,9,10,12,13,14,15,16],finite_rank_free_modul:[5,6,16],finitedimension:6,finiterankfreemodul:[3,5,6,8,9,10,11,12,13,14,15,16,17],finiterankfreemodule_with_categori:6,finiterankfreemoduleel:[6,11,15],finiterankfreemodulemorph:[6,12,14],first:[4,6,9,10,11,15,17],fix:[4,8,15],fmodul:[3,5,8,9,10,11,13,15,16],fmodule1:12,fmodule2:12,follow:[3,4,6,8],forc:15,form:[0,1,3,4,5,6,9,10,11,14,15,16],format:[1,3,4,6,8,12,15],format_mul_latex:7,format_mul_txt:7,format_spec:[3,4,6,8,15],format_unop_latex:7,format_unop_txt:7,format_util:7,formatt:4,formattedexpans:7,former:6,formula:[9,14,15],found:15,fp:[6,12,14],frac:[7,15],frame:4,free:[0,2,4,17,18],free_modul:[6,10],free_module_alt_form:[5,8],free_module_automorph:[9,13],free_module_basi:10,free_module_el:[6,11],free_module_homset:[12,14],free_module_linear_group:[6,13],free_module_morph:[12,14],free_module_tensor:[3,8,9,15,16],freeli:[10,17],freemodul:6,freemodule_ambient_domain_with_categori:6,freemodule_ambient_pid_with_categori:6,freemodule_ambient_with_categori:6,freemodule_gener:6,freemodulealtform:[3,5,6,8,15],freemoduleautomorph:[6,9,10,13,15],freemodulebasi:[6,10,15],freemodulecobasi:10,freemodulehomset:[12,13,14,16],freemodulehomset_with_category_with_equality_by_id:[12,14],freemodulelineargroup:[6,9,13,15],freemodulelineargroup_with_categori:[6,13],freemoduletensor:[3,6,8,9,15,16],from:[4,5,6,7,9,10,11,12,13,14,15,16,17],from_basi:15,from_famili:[6,9,13,15],full:[4,6,15,16],fulli:[4,6,10,15],further:15,g:[6,7,10,15],gamma:[4,10],gamma_:4,gen:4,gener:[1,2,3,4,6,8,9,10,12,14,16],general_linear_group:[6,9,12,13,16],geometri:[11,15],geq:[3,4,5,6,8,16],get:[4,6,9],give:14,given:[3,4,5,6,8,9,11,12,13,14,15,16],gl:[6,9,12,13,16],global:[5,10,13,16],god1968:[3,6,8,9,10,11,12,13,14,15,16],godement:[3,6,8,9,10,11,12,13,14,15,16],gourgoulhon:[3,4,5,6,7,8,9,10,11,12,13,14,15,16,17],govern:4,grade:[3,8],group:[1,2,6,9,12,16,17],h:[6,12,13,14,15],h_0:15,h_1:15,h_2:15,ha:[4,6,9,11,12,13,14,15,16,17],handl:4,has_coerce_map_from:[5,12,13,16],have:[4,6,8,9,12,14,15,16,17],helper:7,henc:6,here:[4,6,12],hold:[4,5,6,15,16],hom:[6,12,14,15,16],homomorph:[6,9,12,14],homset:12,howev:[6,12,17],i:[3,4,5,6,8,9,10,11,12,13,15,16,17],i_1:[3,8],i_:[3,8,15],i_a:[3,8],i_i:15,i_j:[15,17],id:[6,9,13,14],id_n:6,idea:4,ideal:6,ident:[4,6,9,12,13,14,15,17],identif:[11,12,15,16],identifi:[11,16,17],identity_map:[6,9,12],ii:[3,8,17],ij:[4,15,17],ij_:17,ij_kl:17,ijab:17,ijk:15,ijkl:17,ik:17,il:15,il_j:15,illustr:[6,14],imag:[6,9,14,16],immut:15,implement:[3,4,5,6,8,9,10,11,12,13,14,15,16],improv:[6,9,13,15],incompat:4,inconsist:[9,15],inde:[6,9,10,13,14,15],independ:[1,3,4,6,8,15],index:[1,6,15,18],index_gener:4,index_label:[4,15],index_latex_label:[4,15],index_posit:[4,10],indexerror:[4,15],indic:[3,4,6,8,9,10,15,16,17],individu:[4,6,10,15],infinit:6,inform:[6,17],inherit:[5,6,9,11,16],initi:[3,4,5,6,7,8,9,10,11,12,13,14,15,16,17],inject:14,input:[3,4,5,6,7,8,9,10,11,12,13,14,15,16,17],insid:[4,15],instanc:[3,4,5,6,8,9,10,11,12,13,14,15,16,17],instead:[5,6,9,10,13,15,16],integ:[3,4,5,6,8,9,10,11,12,13,14,15,16],integermodr:6,integr:6,interior:[3,4,8],interior_product:[3,4,8],intern:[4,6],introduc:6,introduct:[11,15],invari:6,invers:[6,9,13],invert:[13,15,16],invok:[9,15],involv:[4,6,15,17],iota_:[3,8],iota_a:[3,8],irang:[6,11,15],irrelev:15,is_atom:7,is_atomic_wedge_latex:7,is_atomic_wedge_txt:7,is_ident:[9,12,14],is_inject:14,is_parent_of:[5,6,13,16],is_surject:14,is_zero:[3,4,8,15],isinst:[5,6,14,16],isomorph:[6,11,16],isomorphism_with_fixed_basi:6,iter:[4,6],itertool:17,its:[3,4,6,8,12,15,16],itself:[4,6,9,15,16],j:[3,4,8,11,15,16,17],ji:17,jk:15,jl:17,jori:[4,7],jung:[6,7,9,13,15],just:4,k:[4,5,6,15,16,17],k_1:[3,8],k_:[15,17],k_ijk:15,k_ikj:15,k_k:[15,17],k_kij:15,k_l:15,k_p:[3,8],keep:[9,15,17],kei:[4,15],kept:[9,15],kernel:14,keyword:10,ki_kj:17,kij:15,kind:6,kl:[15,17],kl_kl:17,known:[6,9,14,15],kroneck:[4,6,9],kroneckerdelta:4,kwarg:15,l1:16,l2:16,l:[6,15,16,17],l_:15,l_k:15,label:[4,6,10,15],lambda:[3,5,6,16],lan2002:[3,5,6,8,10,12,14,16],lang:[3,5,6,8,10,12,14,16],last:[4,6,9,13,14,15,16,17],latex:[3,4,5,6,7,8,9,10,11,12,13,14,15,16,17],latex_indic:[6,10],latex_nam:[3,5,6,8,9,11,12,14,15,16],latex_symbol:[4,6,10,12,14,15],latex_symbol_du:[6,10],latter:[6,12],law:[9,13,14],lb:5,lcl:[4,15],ldot:[3,8],lead:6,least:[3,4,6,8],lee2013:[11,15],lee:[11,15],left:[5,6,7,10,12,13,16,17],len:4,length:4,let:[3,4,6,8,10,11,15],letter:[4,15,17],li:6,like:[3,4,8],line:[4,15,17],linear:[1,2,3,5,6,8,9,10,11,12,15,16],linear_form:[3,6,8,11,15,16],linearli:6,link:[6,15],list:[4,5,6,7,9,10,14,15,16,17],lllllll:11,longer:4,longmapsto:11,longrightarrow:[3,5,6,8,9,11,14,15,16],lost:4,lower:6,lta:16,m0:10,m1:6,m1b:6,m2:6,m:[3,5,6,8,9,10,11,12,13,14,15,16,17],m_0:10,m_1:[6,16],m_3:6,m_i:16,m_n:16,mai:[4,6,15,17],main:6,make:[9,15],manag:15,mancini:4,mandatori:[6,10],mani:[4,6],manifold:[4,6,11,15],manipul:4,map:[3,5,6,8,9,11,12,13,15,16],marco:4,mat_3:13,materi:[6,14],mathcal:6,mathemat:[4,12],mathrm:[6,9,12,13,15,16],matric:[4,9,15],matrix:[3,4,6,8,9,12,13,14,15,16],matrix_integer_dens:14,matrix_rep:[6,14],matrixspac:[4,15],matter:[4,15],mbox:[3,5,6,8,15,16],mean:[4,6,9,10,12,14],meaningful:15,meaningless:4,member:8,mention:[6,15],method:[3,4,5,6,7,8,9,10,12,13,14,15,16],metric:6,michael:[6,7,9,13,15],michal:[4,6,7,8,10,11,12,14,15,16,17],minim:6,minu:[4,6],misc:14,mk:17,mn:12,mod:7,mode:[3,4,8,15],modifi:[7,9,15],modul:[0,2,4,7,17,18],moduleelementwithmut:15,modulemorphismfromfunct:6,moduleswithbasi:6,modulo:6,monoid:12,more:[3,4,6,8,9,10,14,15,16],moreov:[6,7,15],morphism:[1,6,16],most:[4,6,9,13,14,15,17],much:6,multilinear:[3,5,6,8,15,16],multipl:[4,7,9,11,15,17],multiplicativegroupel:9,must:[3,4,6,8,10,14,15,17],n1:6,n:[3,4,5,6,8,12,14,15,16],n_i:10,name1:7,name2:7,name:[3,5,6,7,8,9,10,11,12,13,14,15,16,17],nb:12,nb_indic:4,need:6,neg:6,neill:[11,15],nest:17,neutral:[9,13],new_basi:[3,6,8,10,14,15],nilpot:[3,8],non:[4,5,6,13,14,15,16,17],non_redundant_index_gener:4,none:[3,4,5,6,7,8,9,10,11,12,14,15,16],nonredund:[4,15],nontrivi:4,nonzero:[4,5,6,15,16],nor:6,notat:[1,3,8,15,18],note:[3,4,5,6,8,11,15,16],notebook:[3,4,8,15],noth:[4,5,13],notic:[6,16],notimplementederror:14,now:[4,15],nproc:[4,15],number:[4,6],numerical_approx:[3,4,6,8,15],o:[11,15],obei:4,object:[4,5,6,9,13,14,15,16,17],obtain:[9,12,13,15],occur:[6,15],off:[4,15],ok:[4,15],old:4,omega:[7,15],omit:[6,9,15,17],onc:15,one1983:[11,15],one:[3,4,6,8,9,10,11,12,13,14,15,17],ones:[4,6,12,13,15,17],onli:[3,4,5,6,8,10,11,12,13,15],only_nonredund:[4,15],only_nonzero:[4,15],onto:[3,8,15],open:6,oper:[3,4,6,7,8,9,10,11,15,16,17],operand:[3,8],opposit:[9,15],order:[4,6,9,15],origin:[4,15],other:[1,3,4,6,8,9,13,15],otherwis:[4,6,7,14,15,17],otim:[6,15,16],out:4,output:[3,4,5,6,7,8,9,10,12,13,14,15,16,17],output_formatt:[3,4,6,8,15],over:[3,4,5,6,8,9,10,11,12,13,14,15,16,17],p:[3,4,5,6,8,9,10,16],page:1,pair:[4,6,9,14,15,16],parallel:[4,15],paralleliz:6,paramet:[4,6,10],parent:[3,4,5,6,8,9,11,12,13,14,15,16],parenthes:[7,15,17],parenthi:17,part:1,partial:4,particular:[5,6,9,16],pass:[3,4,6,8,12,15],per:[4,15],perform:[3,4,6,8,9,12,15,17],permit:[9,15],permut:[4,17],permute_indic:17,phantom:[4,15],phi1:16,phi2:12,phi:[6,9,11,12,14,16],phi_abc:6,phi_e:6,phi_ew:6,pick:15,pick_a_basi:15,place:[6,10,15,17],plu:4,po:[4,15],point:6,polynomi:6,pos1:[4,15],pos2:[4,15],pos3:4,posit:[3,4,5,6,8,10,15,17],possibl:[4,10,15],power:[0,1,3,6,8,15,16],pre:4,precis:[3,4,6,8,9,14,15],prefer:[4,6],present:15,preserv:[3,4,5,8,15,16],previou:[4,15],previous:[6,9,15],princip:6,print:[4,15],print_bas:6,prior:16,privileg:[6,15],product:[1,3,4,6,7,8,9,11,15,17,18],project:[1,6],prompt:6,properti:6,provid:[3,4,5,6,8,9,10,11,12,14,15,16],psi:14,python:4,q:[3,4,6,8],qq:[3,4,6,8,10,15,17],quantiti:[4,15],quotient:6,r:[3,4,5,6,7,8,9,10,11,12,13,14,15,16],rais:[6,17],random:[4,9,15],rang:[4,6,10,15,16,17],rank:[3,5,8,9,10,12,13,14,15,16,17],ration:[3,4,6,8,10,15,17],raw:[4,6],read:4,real:[4,8,15],reason:15,recal:[11,13,16],recent:[4,6,9,13,14,15,17],recogn:15,recommend:[5,6,10,11,13,16],recomput:9,record:6,recov:[4,12],redefinit:6,reduc:[3,4,8],redund:4,refactor:10,refer:[3,5,6,8,9,10,11,12,13,14,15,16],reflect:15,regard:[4,5],regist:6,rel:[14,15,17],relat:[6,10,15],reorder:4,repeat:[15,17],replac:[4,15,17],report:[4,8,15],repr:15,repres:[3,4,5,6,7,8,9,10,12,13,14,15,16],represent:[6,14,17],requir:[4,6,15],reset:15,respect:[3,4,5,6,8,9,12,14,15,16],respons:[9,15],restor:[3,8,15],result:[3,4,6,7,8,9,11,15,17],reveal:6,revers:[5,6,11,12,13,16],riemannian:[11,15],right:[5,6,7,10,12,13,16],rightarrow:[5,6,12,13,15,16],ring:[1,3,5,6,8,9,10,11,12,13,14,15,16],rule:6,run:[6,12],s0:4,s0_par:4,s1:[4,15],s1_par:4,s2:4,s:[3,4,5,6,8,9,10,11,12,13,14,15,16,17],s_:15,s_par:4,sage:[3,4,5,6,7,8,9,10,11,12,13,14,15,16,17],sage_object:[4,7,10,17],sagemanifold:[1,6],sageobject:[4,7,10,17],same:[3,4,6,8,10,11,12,14,15,16,17],satisfi:17,scalar:[4,6,11,15,17],scheme:14,scratch:6,scrimshaw:[6,10],search:[1,15],second:[4,6,9,11,15,17],see:[3,4,6,8,12,13,14,15,16],select:15,self:[1,3,4,5,6,8,9,10,12,13,14,15,16,17],semi:[11,15],send:17,sep:7,separ:[4,7,11,15,17],sequenc:[4,6,15],set:[1,2,3,5,6,8,9,10,11,13,14,15,16],set_change_of_basi:[6,15],set_comp:[5,6,9,15,16],set_default_basi:6,set_nam:[6,10,11,15,17],shift:4,shortcut:[3,6,8,9,15],should:[4,6,15,17],shown:4,side:6,signific:15,simeq:16,similar:[6,17],similarli:[4,5,13,17],simpli:6,sinc:[3,4,5,6,8,9,12,13,14,15,16,17],singl:[4,6,9,10,14,15,17],size:[4,6,9,14],skip:[6,15],slice:[4,10],slot:[4,15],smooth:[11,15],so:[4,6,14],some:[4,6,7,9,10,11,15,17],sort:15,space:[4,5,6,10,11,13,15,16,17],span:6,specif:[3,4,6,8,15],specifi:[4,6,9,10,14,15,17],squar:[4,6,10,15,17],sr:[4,8,15],stage:[6,15],stand:[3,4,5,6,15],standard:[3,8],start:[3,4,6,8],start_index:[3,4,6,8,9,10,13,15],state:17,statement:6,step:6,still:[4,9,15],storag:4,store:[4,9,13,15],str:4,string:[3,4,5,6,7,8,10,12,14,15,16,17],structur:[4,6,7,9,10,13,15,17],subclass:[3,4,6,8],submodul:6,subscript:4,subset:[1,6],subtract:[4,11],suffic:[4,15],suffici:15,suit:[6,12],sum:[4,6,15],summat:15,superscript:4,sure:[9,15],surject:14,swap:4,swap_adjacent_indic:4,sym:[4,6,15,16],sym_bilinear_form:6,symbol:[3,4,5,6,8,9,10,11,12,14,15,16,17],symbol_du:[6,10],symmetr:[4,6,8,15,16,17],symmetri:[3,4,5,6,11,15,16,17],syntax:4,t01:[5,16],t02:[5,16],t0:13,t11:[12,16],t1:15,t20:5,t2:15,t:[3,4,5,6,8,9,12,13,14,15,16,17],t_0:13,t_:15,ta:[5,16],tailor:6,take:[4,6,9,15],taken:12,tangent:6,tangentspac:6,target:6,tau:15,technic:[4,17],tensor:[4,5,6,7,8,9,10,11,12,13,14],tensor_free_modul:16,tensor_from_comp:6,tensor_modul:[5,6,12,13,15,16],tensor_rank:[6,9,15],tensor_typ:[6,8,9,13,15,16],tensor_with_indic:17,tensorfreemodul:[6,12,13,15,16],tensori:4,tensorwithindic:17,term:[3,6,7,8,15,17],test:[3,6,8,12,14,15],testsuit:[6,12],text:[3,4,7,8,10,15],th:[3,4,5,6],than:[4,6,10,15],thank:[6,15,16],thei:[4,6,9,15,17],them:[8,9,15],therebi:6,theta:[4,7],thi:[1,3,4,5,6,7,8,9,11,12,13,14,15,16,17],thing:[4,15],third:[6,11,15],those:[4,6,9,14,15,17],three:[4,11],ticket:[4,6,8,10,15],tild:7,time:[3,5,6,8,15,16],tlb:5,too:6,tphi:16,trac:[4,6,8,10,15],trace:[4,9,15,17],traceback:[4,6,9,13,14,15,17],track:17,transform:15,transit:6,transpos:17,transposit:17,travi:[6,10],treatment:[6,9,13,15],trivial:[4,14],tupl:[4,6,10,15],two:[3,4,5,6,8,9,12,14,15,16,17],txt:7,type:[3,4,5,6,8,9,11,12,13,14,15,16,17],typeerror:[4,13,15],typic:[4,15],u2663:17,u2665:17,u:[4,6,8,14,15],udd:4,udu:4,unari:[4,7],unbalanc:17,unbound:[4,6],under:13,underbrac:[3,5,6,8,15,16],unformat:4,unicod:[6,17],uniqu:[5,6,13,16],unique_represent:[6,10,13],uniquerepresent:[6,10,13],unit:[12,13],univari:6,unrel:[6,15],unset:15,up:[4,10],updat:[4,6,17],upon:1,us:[1,3,4,5,6,8,9,10,11,12,13,14,15,16,17],usag:7,user:[6,9,15],usual:12,util:1,v1:4,v2:11,v3:11,v:[4,6,7,8,9,11,13,14,15],valu:[3,4,6,8],valueerror:[4,6,9,15,17],vanish:[3,5,6,8,15],vankerschav:[4,7],varianc:15,variou:[3,4,6,8,15],vector:[4,6,10,11,15,17],vectorfieldfreemodul:6,vectorspac:[4,6],veri:15,version:[3,4,5,6,7,8,9,10,11,12,13,14,15,16,17],via:[3,4,6,8,9,10,11,13,15],view:[6,13],w:[3,4,6,8,9,12,14,15],wai:[6,11,14,17],we:[6,9,14,15],wedg:[3,7,8,11],well:[4,6,10,15],what:[3,8],whatev:[4,6],when:[6,11,12,15],whenev:[3,5,6,8],where:[3,4,5,6,8,14,15,16],whether:[7,9,14],which:[3,4,5,6,8,9,10,13,14,15,16],whose:[4,5,6,12,13,15,16,17],within:[4,6,10],without:[4,6],word:[1,6,9,13,17],work:[1,6],would:8,write:[8,17],written:7,x:[4,6,7,10,15,17],xy_i:15,xy_x:15,y:[4,6,10,15],yet:[6,14,15],yield:[3,4,5,6,8,15,16],yx_x:15,yx_y:15,yy_i:15,z:[6,10,12,15],zero:[3,4,5,6,8,12,14,15,16],zz:[3,4,5,6,8,9,10,11,12,13,14,15,16]},titles:["Alternating tensors","Tensors on free modules of finite rank","Morphisms","Alternating contravariant tensors on free modules","Components as indexed sets of ring elements","Exterior powers of free modules","Free modules of finite rank","Formatting utilities","Alternating forms on free modules","Free module automorphisms","Free module bases","Elements of free modules of finite rank","Sets of morphisms between free modules","General linear group of a free module","Free module morphisms","Tensors on free modules","Tensor products of free modules","Index notation for tensors","Tensors"],titleterms:{altern:[0,3,8],automorph:9,base:10,between:12,compon:4,contravari:3,element:[4,11],exterior:5,finit:[1,6,11],form:8,format:7,free:[1,3,5,6,8,9,10,11,12,13,14,15,16],gener:13,group:13,index:[4,17],indic:1,linear:13,modul:[1,3,5,6,8,9,10,11,12,13,14,15,16],morphism:[2,12,14],notat:17,power:5,product:16,rank:[1,6,11],ring:4,set:[4,12],tabl:1,tensor:[0,1,3,15,16,17,18],todo:[6,16],util:7}})