searchindex.js

Search.setIndex({envversion:42,terms:{finite_r:113,coproduct_on_basi:[50,83,98,87],orthogon:[94,0,103,149],get_object:113,interchang:52,four:[20,145,149],prefix:[105,20,0,136,139,83,94,126,101],coalgebras_with_basi:87,finite_extra_super_categori:[150,65],browse_thread:121,forget:[14,63],emptyseterror:24,whose:[52,20,145,0,65,83,82,93,24,149,139,13,131,126,5,136,141,143,157],typeerror:[136,107,65,113,24,59,63,6],isobar:30,symmetricgroupbruhatorderposet:139,matrix_algebra:128,testpar:78,concret:[],under:[8,105,125,65,22,139,83,38,14,99,21],some_el:[105,106,126,118,24,84,14,29,7],spec:81,similarity_factor_domain:151,digit:[8,83,99],everi:[8,52,145,139,65,22,74,83,76,99,14,136,15,21,155,69,70,152],risk:[24,99,65],a_extra_super_categori:65,polynomial_element_gener:14,rise:[52,75,136,65],left_inversions_as_reflect:126,map_coeffici:20,sage_object:[145,24,82,37,69,63],govern:14,appar:[136,83],bindableclass:[95,5],wissenschaftsverlag:36,indices_cmp:5,dabacb:[18,118],right_base_r:86,from_kbounded_to_grassmannian:57,"__nonzero__":145,z12:[101,149],non_desc:126,absolute_l:126,vector:[],math:[52,0,126],initialis:24,quasigroup:[8,99],cmp:20,realintervalfield:136,quotient_modul:[94,20],miller:[112,84],naiv:[151,91],element_wrapp:[106,72,91,118,14,60,42,127,18,51,104],bialgebra:[],direct:[52,145,126,65,22,82,139,83,121,149,14,151,101,143,130],consequ:[14,145,113,65],second:[106,145,65,94,59,69],issubclass:[14,145],"_test_elements_eq_transit":[91,118,3,4,51,7,52,9,127,93,14,60,18,36,21,24,68,26,126,143,104,106,72,148,151,153,42],"_with_axiom":[145,65],even:[136,145,126,65,83,56,24,14,15,69,112],hide:[145,65],freealgebra:[39,47,154],neg:[20,145,0,31,149,24,141,68,77,15,17],biject:[139,57],hopf_algebras_with_basi:[4,98,65],"new":[],symmetr:[105,20,145,0,113,149,42,83,126,103,26,4,16,29,43,140,36,6],ringid:134,ever:14,bruhat_upper_covers_reflect:[0,126],rlf:136,abov:[8,20,145,0,65,129,66,139,24,94,14,136,49,112,52,63],finitesets_with_categori:[8,34,65,75,24,99,32,28],never:[24,65],here:[91,136,83,8,126,14,93,94,95,15,16,61,36,20,65,139,99,69,105,145,0,31,74,63,149,151,78,155,112,157,113],additive_semigroup:[8,67,58,55,142],met:65,"_base_category_class_and_axiom_origin":65,subword:126,num_vert:[112,126],is_left:125,path:[22,149,121,94,14,151,103],interpret:[14,139],"_mul_par":7,"_test_enumerated_set_iter_list":[52,9,127,60,91,93,3,68,14,26,126,151,21,42,36,104],lajo:149,anymor:[113,78],precis:[20,145,74,86,24,141,14,136,21,33],jame:139,groupalgebra:[101,14,75,83,19],as_list:145,fraction_field:[30,139,15,74],subsemigroup:[101,112],generali:20,studi:[],isomorph:[],schur:[52,20,24,50],change_nam:[8,83,99],unital_extra_super_categori:65,ignored_arg:78,"_call_with_arg":59,residue_field:116,spooki:139,infinite_polynomial_r:136,unit:[],highli:65,sarah:93,plot:[105,145,151,60,42,112],graphics3d:151,describ:[8,0,31,65,99,14,126,15],would:[105,20,145,39,83,82,65,24,99,14,136,151,78,96,17,112,157,63,134],has_coerce_map_from:136,tail:[52,59],choosen:104,apply_conjugation_by_simple_reflect:126,foster:[14,82],call:[118,47,83,84,114,49,52,51,8,138,54,129,56,93,57,6,14,59,15,16,17,63,82,20,65,22,66,139,24,99,141,68,136,34,69,29,101,107,143,144,105,106,145,0,31,36,126,151,78,75,112,157,113],quo:[136,47],recommend:[8,14,99,65],tsetlin:151,type:[91,136,82,3,84,122,52,7,8,126,55,56,93,57,14,59,15,21,36,20,16,65,83,139,24,99,141,68,142,34,28,29,30,70,32,103,105,106,145,0,75,38,151,78,113,158],until:[20,126,64,149,56,65,84],identitymorph:6,category_graph:[14,145],programmat:[14,24],relat:[52,105,145,0,65,139,14,126,112,104],subspacefunctor:136,notic:[14,117],warn:[139,63,65],"__iter__":[105,78,29],hold:[52,105,145,126,65,139,99,94,14,136,57,150],w_2:136,abcdaaaaa:118,springer:132,word:[115,64,47,5,52,126,55,56,93,57,13,14,18,20,65,24,143,104,105,145,0,35,154,112],henri:132,refactoris:7,setup:99,work:[45,91,136,47,83,88,150,126,14,57,94,95,15,21,20,65,22,139,24,149,78,79],semigroup_gener:[126,127,118,84,14,60,101,123,112,18],worth:65,conceptu:[14,29],is_idempotent_cpdef:7,positiveintegermonoid:148,rework:65,hansen:149,endow:[],undirect:[52,65],cone:151,overrid:[8,145,126,65,99,84,14,59,78],quiver:[94,149,103,121],toggling_orbit:139,give:[101,136,145,0,83,65,75,139,24,121,149,14,126,5,21,30,70,143,151],friedl:149,cartan:[52,93,0,151,149],want:[105,20,145,34,10,65,139,24,76,14,136,126,69,78],semigroupmorph:14,berenstein:151,plist:136,on_basi:[94,20],classical_cryst:93,recov:[20,145,65,149,94,14,30,138,103],cartantyp:[93,151],end:[20,65,57,14,16,61,113],r10:136,turn:[94,139,69,78,65],hom:[8,20,136,81,76,113,94,59,16,63,6],extend_domain:59,lattice_poset:144,how:[83,4,5,7,8,126,14,95,65,139,24,99,141,69,143,106,145,149,151,155,157,113],sever:[],answer:[14,145,31,118],symposium:149,ancestor:[136,126],perspect:65,updat:[14,113,136],aaa1:139,lam:0,aaa3:139,aaa2:139,recogn:103,aaa4:139,reduced_word_graph:126,after:[105,136,145,65,78,29,113],is_lattic:[105,139],diagram:[105,0,139,24,57,126,30,151],befor:[52,136,125,65,139,83,145,99,14,78,113,6],wrong:[20,56,65],adic:[14,136],quantum_bruhat_graph:0,meaningful:145,parallel:[],demonstr:[136,125,59,5],attempt:[34,24],third:[82,103,21],finitecategori:65,classmethod:[145,10,129,66,140,86,69,49,43,70,133],aldor:14,exclud:145,reimport:65,myringssingleton:82,maintain:[105,14,65],green:[151,65],incorpor:136,"_arg":69,antichain:[22,139],lambda:[83,84,101,48,49,50,6,8,126,73,129,93,121,14,58,59,21,61,135,20,24,66,139,67,99,28,29,30,70,32,147,37,38,110,151,78,112],shiftsemigroup:155,order:[],oper:[],composit:[136,145,126,55,139,149,14,59],is_squar:75,operationt:[8,83,99],partial_fraction_decomposit:15,over:[1,2,4,5,6,8,10,11,121,14,15,16,17,19,20,24,25,28,29,30,32,35,36,38,39,40,44,46,47,49,122,52,54,55,56,12,58,59,60,61,62,63,64,65,66,67,69,70,102,73,74,75,76,78,81,82,83,84,85,86,87,89,90,92,94,95,97,98,99,101,103,48,110,111,112,113,115,120,50,125,126,128,129,133,134,135,136,137,139,141,142,143,145,146,147,149,151,154,156,157,158],failur:112,becaus:[8,145,65,132,47,139,24,82,99,150,94,14,69,78,61,157,6],isomorphicobject:[14,9,24,78,49],cdvf:[],finitec:65,london:149,affect:24,modules_with_basi:[20,65],modulemorphismfrommatrix:20,issubset:[139,119],fit:[113,65],fix:[106,149,83,39,75,56,65,24,113,14,136,15,41,29,156,112,133,63,134],"__class__":[145,10,143,82,24,14,4,69,113,7],categoriesroadmap:47,better:[145,126,65,149,83,14,59,101,151],maximal_degre:54,drawback:14,algebras_with_basi:[154,143,65],comprehens:[8,99],induct:[0,65],easier:[14,65],descend:22,them:[105,20,145,0,78,65,82,14,136,126,5,60,69,112,157,138,103],powerid:47,vectorspaces_with_categori:65,thei:[83,8,138,126,56,93,12,14,136,98,65,24,139,67,103,105,106,145,74,76,112,157,113],proce:65,enrich:[8,145,99],database_gap:36,safe:65,highestweightcrystaloftypea:91,alphacheck:0,weak_lattic:105,"break":[20,65,82,139,78,113],band:[155,14,112,60,123],promis:14,"_test_enumerated_set_iter_cardin":[52,9,127,60,91,93,3,68,14,26,126,151,21,42,36,78,104],"_test_zero":[8,4,143,153],modularsymbol:125,kirillov:52,choic:[106,145,34,91,65,22,139,24,141,126,60,112,113,151],quasisymmetr:24,left_pieri_factor:0,unpickl:[59,113],bonu:[8,105,99,65],axiomcontain:97,arrow:[94,151,149,103,121],is_affine_grassmannian:57,debug:65,rowmotion_orbit_it:139,side:[105,20,145,0,136,47,149,94,39,126,134,60,42,30,112,97,104],bone:56,mean:[52,20,145,129,65,83,66,139,24,121,94,14,136,49,96,50,157,113],integerscomplet:148,reset:21,pdflatex:151,symmetri:126,graded_algebras_with_basi:54,"_cardinality_from_iter":[83,78,84],expon:15,stronger:105,taught:145,degeneraci:76,extract:20,"35a72b1d0a2fc77a":121,symmetricgroup:[103,20,145,0,122,83,149,42,24,126,99,84,105,4,78,29,113,43,112,36,6],foo_bar:145,newli:[155,65],cdvr:[],mason:93,optim:[],plot3d:151,reader:65,vertex_s:112,got:145,idemp:149,forth:24,stanley_symmetric_function_as_polynomi:0,linear:[20,126,65,83,139,24,84,94,14,4,5,16,30,15,87,141,113],written:[139,15,119],commutativeadditivesemigroup:[8,145,72,67,153,88],nightmar:65,situat:[145,24,65],infin:[136,34,148,24,68,0,78,29,151],free:[],standard:[136,139,74,83,65,24,94,14,29,112],fixm:[20,139,24,140,59,62],factoris:108,lower_cover_reflect:126,product_by_coercion:[55,5,99],"_test_simple_project":[26,104,126,42],is_lequ:126,convent:[22,14,21,138],traceback:[118,47,83,84,114,51,54,93,57,6,14,59,15,17,36,82,20,65,139,24,99,68,136,34,69,29,101,105,106,145,0,107,63,126,151,78,112,113],grading_set:31,filter:[22,139,21],heck:[],ringmodul:16,isn:145,unknown:[14,29],regress:[],subtl:145,onto:[112,151,24,118],freemodulehomspace_with_categori:113,sageobject:[145,24,82,37,69,63],polyhedron:[8,142],rang:[20,126,65,22,23,139,149,94,14,136,112],mathbf:[84,101,48,49,50,89,8,73,129,12,58,16,61,135,20,24,66,67,99,28,29,30,70,32,121,147,38,110,40,78,112],grade:[],trailing_coeffici:20,independ:[14,65],thereof:[145,65,149,24,99,70,113],restrict:[52,20,145,126,65,14,59,15],hook:[],unlik:[64,65,56,14,101,70],alreadi:[20,145,126,65,149,141,14,69,78,6],wrapper:[106,24],robust:14,principalidealdomain:96,conjugaci:[83,84],hecke_modul:76,hood:65,inversions_as_reflect:126,cartesian:[],rewritten:99,panyushev_compl:139,top:[136,145,119,14,151,63],mygroupalgebra:98,sometim:[52,136,65,75,24,14,151],binary_factor:126,downsid:65,"0x7f8fd3fb2398":[],toi:65,master:65,too:[20,145,65,83,24,14,29,70],c3_control:[14,145],similarli:[145,65,83,24,94,14,70,113],john:149,commutative_additive_semigroup:[72,153,88],apply_simple_project:126,namespac:[14,24,65],stembridgedel_ris:52,tool:[14,145,157,69],inexact:15,semiprimit:[145,10,7],mathematisch:0,termin:[149,29],linearmatrixgroup_gap_with_categori:14,character:52,toronto:149,past:155,target:[20,139,136],keyword:[20,145,0,22,139,24,126,15,122,112,151],provid:[91,118,47,83,123,51,8,9,56,12,14,15,60,97,20,65,22,24,99,68,136,69,29,104,145,74,75,40,78,42,155,112,157,113],"__custom_nam":[20,4,24],finite_semigroup:[65,99,14,60,155,123],demazure_lusztig_oper:30,max_depth:151,project:[30,126,24,149],matter:145,weight_lattic:[93,151],cayley_graph:[105,14,60,42,112,104],zelevinski:151,hopfalgebraswithbasi:[145,147,98,65,14,4,87,50],simple_reflect:[104,126,42],has_left_desc:126,mind:[14,66,129,49,20],spectrum:81,apply_demazure_product:126,kleinfourgroup:149,additivecommut:[8,115,45,65,47,88,67,99,14,58,28,152,61,35,79,97],euclideandomain:[14,145,24,132],increment:65,"__main__":[82,84,101,48,49,50,7,8,125,73,129,121,58,15,61,135,20,65,24,66,67,99,28,29,30,70,32,145,147,10,38,110,78,112,113],seen:[14,149,24,65],seem:[136,139,83,7],incompat:[81,136,123],gradedbialgebraswithbasi:120,incompar:[14,145],associativealgebra:[64,145,149,55,99],analgebra:149,"__classget__":65,"_slot":[59,6],tensorproductscategori:[52,20,147,16,93,3,121,38,4,69,21,50,40,143,151],latter:[149,112,139,145,65],pre_compos:59,ribbon:[50,147],supset:5,blue:[151,65],plenti:138,though:[14,145,65,24,20],is_abelian:[20,145,16,10,38],object:[],what:[20,145,34,10,65,139,24,76,14,69,96,155],monomi:[20,0,136,24,141,5,16,30,50],recalcul:65,regular:[],letter:[8,52,83,99,151,21],subset:[],jean:23,tradit:[14,65],simplic:149,don:[136,145,65,139,14,78,113],category_over_base_r:[146,55,10,65,128,147,158,85,142,122,50,89,44],monoidel:14,chosen:[132,112,151],pyrexif:6,doe:[45,91,136,82,83,54,56,93,94,14,131,59,15,16,63,64,65,139,24,99,69,29,143,71,106,145,34,31,78,112,113],dummi:145,stembridgedelta_ris:52,declar:[145,65,24,14,78,123,6,7],parentmethod:[0,4,5,7,8,9,10,121,14,15,16,17,18,20,22,132,24,26,27,28,29,30,34,31,38,42,44,47,114,122,150,52,138,54,55,56,57,58,21,62,36,65,67,71,102,74,75,76,78,80,83,84,85,86,87,89,93,94,96,98,99,100,101,72,103,104,105,106,107,108,48,110,112,116,117,118,119,50,123,130,126,127,139,143,144,145,146,147,149,151,153,154,158],"_test_fast_it":[52,91,93,3,151,21],isomorphicobjectscategori:[24,78,49],sum:[8,52,125,126,20,136,101,139,83,145,149,94,14,58,15,17,112,36,103],self_on_left:[125,113],quadraticfield:[59,15],introspect:[14,65],opposit:[52,136,151,63],random:[106,126,60,139,24,14,78,29,113],teresa:132,gelfand:151,syntax:[14,45,121,69,65],toggling_orbit_it:139,kerber:36,finite_dimensional_hopf_algebras_with_basi:62,radic:[122,149],identifi:[14,24],absolut:[132,126,33,136],all_super_categori:[8,145,31,65,67,24,99,14,48,78,29,101,112,130,152,114],extended_affine_weyl_group:99,special_nod:57,explain:[155,145,157,16,65],semisimple_algebra:122,bruhat_interv:126,"_test_category_with_axiom":65,partiallyorderedset:145,theme:113,busi:14,quaterniongroup:83,"__call__":136,tropic:139,axiom:[],affineweylgroup:[0,57],apply_multilinear_morph:20,klein:149,gradedbialgebra:111,stop:[145,139,65],counit_on_basi:[87,83,98],report:[83,65],reconstruct:[14,145,59,69],register_embed:136,"_test_nonzero_equ":[106,9,148,68,4,153,143],elements_of_length:126,bar:[84,101,48,49,50,8,73,129,121,14,58,61,135,20,65,24,66,67,99,28,29,30,70,32,147,38,110,78,112],impli:[96,27,126,65],"_add_":[8,145],twice:78,coproduct:[90,20,145,98,65,83,4,87,50],"_test_elements_eq_symmetr":[91,118,3,4,51,7,52,9,127,93,14,60,18,36,21,24,68,26,126,143,104,106,72,148,151,153,42],bab:[64,56],bac:[123,60,29],black:151,with_real:[8,145,24,95,110,5,101,50,157],graded_coalgebras_with_basi:92,idempotentsemigroupselementmethod:7,sageinspect:14,mandatori:[22,14,145,65],result:[136,47,49,9,129,12,94,14,21,36,20,65,22,66,139,24,68,126,69,30,145,147,74,63,78,113],respons:[145,139,24,157],fail:[20,125,65,82,118,24,145,14,136,112],christian:20,meet:[136,145,65,139,119,59,69,113,144],best:[20,65,82,149,14,15,122,69,103,106],axioms_rank:65,coxet:[],awar:[105,14,24,69,65],said:[22,14,126],freesemigroup:[18,118],tensor:[],isotyp:149,databas:65,"_multiply_basi":55,wikipedia:[47,83,122,8,126,55,121,57,13,94,14,58,16,96,24,140,99,27,101,70,0,75,112],irv:149,abeliancategori:[61,10],figur:65,propp:139,laveur:[7,118],element_class_set_morph:113,mul:[94,125,149],awai:[14,145,157,65],irc:69,approach:[155,14,126,158],attribut:[8,20,145,34,91,65,99,105,136,151,69,78,101,106],accord:[14,145,97],extend:[20,139,74,65,14,4,87],map_support:20,weak:[105,125,126,113,139],linear_extens:[22,139],extens:[136,117,139,15,5,112,7],lazi:[8,105,145,55,65,149,83,99,141,101,136,21,17,143],extent:14,f13:136,finitedimensionalmoduleswithbasi:[94,20],advertis:[145,24,16],"_apply_functor_to_morph":63,behaviour:[14,63,136],permutohedron_lequ:126,accident:65,category_sampl:145,magmasandadditivemagma:[45,47,28,99,65],is_poset_isomorph:139,hashabl:139,howev:[20,145,139,45,117,39,47,65,24,14,136,59,138,112,82],algebraswithbasi:[64,47,4,5,8,55,56,121,14,58,16,20,98,65,24,101,143,145,48,154,157,158],against:113,logic:[145,157,65],bruhat_upper_covers_coroot:0,splitting_field:15,debugg:14,foobar:[84,30,38,49,50,8,73,129,121,58,61,135,20,24,66,67,99,28,29,101,70,32,145,147,48,110,78,112],category_typ:[81,32,85,50,122,89,55,10,128,95,16,61,133,134,65,142,156,146,147,76,38,39,41,158,44],permut:[],theoret:139,wider:20,summat:[8,14,72],assum:[20,145,0,55,16,65,22,149,24,121,99,136,34,126,21,107,70,36,138,151],summar:65,duplic:[14,145],rudimentari:65,inversion_typ:0,union:[105,34,148,24,131,5,155],lehner:76,three:[145,82,139,83,14,5,157,63],been:[105,136,145,65,139,14,59,15,78,113],plaintext:151,algebra_id:39,much:[136,145,126,65,149,14,113],additive_monoid:[8,142,58,70,152],basic:[138,145,91,139,24,14,59,42],"__doc__":[15,65],"__len__":78,quickli:[139,5],commutative_r:75,life:[20,118,65],suppress:151,xxx:69,ani:[91,118,83,5,123,51,150,138,126,57,6,94,14,60,96,36,20,16,65,22,139,24,99,141,136,34,69,147,144,145,0,107,63,149,155,113],is_endomorphism_set:113,lift:[20,9,65,118,24,149,94,126,103],unrank:[78,29],unclutt:14,child:65,davi:0,ugli:7,ident:[136,145,0,83,36,47,149,24,57,103,94,14,126,99,75,113,63,6],weylcharact:93,properti:[20,65,132,139,24,57,94,14,69,36],weightedintegervector:31,euclidean:[],calcul:[20,145,65,94,151,69],gradedalgebra:[102,121,158],panyushev:139,difference_set:75,homset:[],lss2009:0,"_sort_uniq":145,precomposit:125,generalizedyoungwal:151,coxeter_sorting_word:126,need:[47,83,84,52,7,8,126,14,59,16,20,65,139,24,99,29,101,106,145,31,149,78,112,113],zmod:[20,139,78,75],"_super_categories_for_class":145,tensor_squar:50,disappear:[37,65],"_test_not_implemented_method":[91,118,3,4,51,7,52,9,127,93,14,60,18,36,21,24,68,26,126,143,104,106,72,148,151,153,42],disabl:145,descent:[105,126,57,149],weyl_group:0,receiv:[14,145],suggest:[64,56,24,125,65],make:[],figsiz:14,"__mro__":145,right_bas:86,outsid:[16,65],complex:[],split:126,gradat:21,complet:[],is_empti:[8,24,99,29],coxeter_group:[105,126,42],contaten:118,finite_coxeter_group:[105,104],xbar:[136,47,149],n_0:151,n_1:151,n_2:151,hand:[20,145,65,22,139,24,99,94,14],rais:[20,145,34,59,132,65,136,113,24,99,84,14,131,54,21,29,17,63],lowest_weight_vector:21,refin:52,annihilator_basi:[94,20],aka:65,decompose_pow:15,redefin:14,kept:[145,151,65],bewar:24,thu:[8,64,145,126,65,149,56,139,141,14,136,150],dbca:60,inherit:[8,106,145,91,65,47,118,24,140,141,14,78,42,157,113],category_modul:[38,133,16,10,76],weakli:[126,113],greatest:[132,144,15,116,74],thi:[4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,60,22,132,24,0,28,29,30,33,34,31,36,38,39,40,42,43,45,47,114,49,50,51,52,138,54,55,56,57,58,59,21,61,63,65,66,67,68,69,70,71,72,74,75,76,78,79,81,82,83,84,85,86,88,89,90,91,93,94,95,96,97,98,99,100,101,103,104,105,106,48,112,113,116,117,118,119,121,122,123,130,125,126,127,129,150,131,133,136,139,140,141,143,144,145,147,148,149,151,153,154,155,157,158],everyth:[14,118],paradigm:14,moreov:[14,136,113,78,106],left:[],unique_factorization_domain:71,protocol:113,just:[8,90,145,126,31,11,74,83,65,24,99,84,94,14,78,139,70,141,113,112,19],repeteadli:65,yet:[20,145,45,65,83,82,149,37,99,14,151,16,157],languag:14,subobjectscategori:[66,24],easi:[14,82,36,65],transitivegroup:36,subcryst:151,had:[14,65],stanley_symmetric_funct:0,els:[20,24,74],save:65,set_latex_opt:[14,151],elt:[8,77,31,99,151],phi2:59,opt:14,applic:[52,20,145,126,65,14,63],dot2tex:[14,151],phi1:59,mayb:[69,65],preserv:[8,145,0,126,99,13,27,69,29,113,158],is_order_id:22,rng:[],subquoti:[],rnd:136,beast:14,background:[138,145,34,24,14,126],elabor:99,formalcompositemap:59,lcm:[136,15,116,74],poset:[],measur:[20,47,65],poa3:145,specif:[],arbitrari:[76,15,60,16,65],simple_project:[30,126],all_paths_to_highest_weight:151,negat:152,remind:65,bobbi:[112,84],algebras_with_categori:145,unnecessari:65,underli:[52,145,125,139,83,93,24,12,57,140,59,40,151],www:139,right:[],is_grassmannian:126,deal:[149,141],p4tow:126,manual:[14,78],interv:[52,105],somehow:[14,69],graded_du:16,is_surject:59,intern:[136,145,72,153,14,69,16,152],flatten:145,bori:36,"0x7f2719717230":151,homset_categori:[94,113],bore:145,reduced_word_iter:126,sister:65,lazy_attribut:145,bottom:[136,119],seventeenth:149,stembridg:[52,126,91],subclass:[136,145,65,113,82,12,95,59,69,78,40,63],category_object:[145,24,16],subdu:65,t12:139,t13:139,condit:[52,145,126,65,139,99,103],testobject:[145,65],sagemath:[8,101,47,93,138],root_system:[0,93,99,126,30,151],core:57,plu:138,generating_seri:[77,31],bold:[84,101,48,49,50,8,73,129,121,58,16,61,135,20,24,66,67,99,28,29,30,70,32,147,38,110,40,78,112],delecroix:74,moduleswithbasi:[84,101,48,49,50,8,73,129,12,94,58,16,17,61,135,20,65,24,66,67,99,69,29,30,70,32,121,147,149,38,110,40,78,28,112],subspac:[94,20,149,136],vector_spac:[38,65],join_irreducibles_poset:119,kirillovreshetikhin:[52,151],use_product:21,get_act:125,promot:[14,139],post:[14,65],exapl:63,"super":[],plug:82,obj:29,zero_divisor:47,algebra_gener:[8,20,145,55,98,83,67,47,149,24,121,94,4,87,154,101,50,112,143,147],finiteposet:[22,139,119],slightli:[138,69],literatur:65,unfortun:136,oideal:139,canonic:97,subgraph:112,"__mul__":[14,56,64],produc:[132,141],primenumbers_facad:106,graded_bialgebras_with_basi:120,duke:52,dcab:60,coproduct_by_coercion:[50,87],commutative_additive_group:61,curiou:14,"float":[136,151,113,74],encod:[52,14,139,36,149],bound:[8,126,65,57,95,4,5,99,78,143,144,7],myhomset:113,son:149,down:[145,126,65,22,139,24,94,151,78],creativ:141,"__and__":145,opportun:151,accordingli:[14,113],wai:[8,145,34,65,139,24,99,84,14,151,15,78,69],support:[20,145,93,39,113,82,65,83,99,13,94,14,126,69,16,157,63,7,151],is_directed_acycl:145,transform:[52,113,65],is_homset:113,get_axiom_index:97,avail:[136,145,126,45,155,39,56,65,24,99,84,14,4,69,97,101,87,138,7],width:[8,151,83,99],reli:[14,65],coroot:[93,0,21],fraction:[63,136,139,15,74],idempotent_lift:149,one_from_cartesian_product_of_one_basi:143,ten:14,lowest:[93,113,21,151],ideal_monoid:47,head:[8,52,83,99],dubiou:[145,78],form:[8,20,145,0,136,22,139,83,126,99,149,94,14,59,119,113,103,151],forc:[139,69,78,50,123,29],epsilon:[52,151],xgcd:[15,74],kroneck:[94,149,103,121],maxim:[20,0,136,139,119,126,15,112,103],grassmannian:[0,126,57],product_from_element_class_mul:99,order_ideals_lattic:[22,139],renam:[20,24,12,94,14,78,155,113],"true":[1,3,4,6,7,8,9,10,11,14,15,16,17,18,19,20,21,22,132,24,25,26,0,28,29,30,31,33,34,35,36,38,42,46,47,50,51,52,54,55,56,57,58,59,60,61,63,64,65,67,68,69,70,71,72,74,75,78,79,80,82,83,84,88,90,91,92,93,94,97,99,100,101,103,104,105,106,107,48,110,111,112,113,115,116,117,118,119,122,126,127,150,136,137,139,141,142,143,145,147,148,149,151,152,153,157,158],higher:[20,136,65],quotientscategori:[129,112,24,121],finite_field:107,finitecryst:[151,3],coset:[75,0,83,126,57],base_field:[139,38,32],coeff:20,maximum:[17,14,54,126,151],anem:76,homsetscategori:[8,20,138,67,76,32,58,16,70],crystal:[],toggl:[22,139],rerun:14,is_unique_factorization_domain:71,unrel:[14,65],longest_el:105,later:[136,145,65,56,158,14,64,157,6],classic:[],category_right:59,"abstract":[],finite_monoid:[23,127],cyclotom:[75,126,136],zpca:136,is_highest_weight:[151,21],integerrang:78,exist:[106,145,126,55,65,22,83,47,139,24,121,113,14,59,21,112,36,151],indirect:[136,145,29,140,38,59,43,50,63],rationalfield:[145,107,10,117,128,76],tit:126,beezer:83,dacb:60,tester:14,when:[],refactor:[40,113,12,65,29],role:[95,12,94,14,40,157,36],c_phi:59,test:[],presum:65,smell:65,isomorphic_object:[24,78,49],order_filter_gener:139,magmas_and_additive_magma:[45,28,99,65],is_order_filt:22,base_set:5,felt:14,eigenvalu:30,an_el:[118,91,64,3,4,5,50,51,7,52,9,127,56,93,12,6,14,151,60,17,18,36,20,21,83,24,99,68,26,126,30,143,104,105,106,145,72,148,77,153,42,157,113],consid:[20,145,126,78,117,65,129,66,74,24,94,14,5,49,15,157,113],as_join:[14,145],finiteweylgroup:[105,26,0,126,42],"_ring":82,faster:[14,82,126,145,97],furthermor:[14,34,151,139,65],anywher:65,finite_dimensional_bialgebras_with_basi:46,discrete_valu:116,pseudo:136,gradedmodul:[158,16],ignor:[122,78,16],freemonoid:18,time:[145,0,65,82,139,149,14,126,21,112,36,151],push:14,backward:[8,105,145,83,84,123,101,61],degree_on_basi:141,metapost:151,concept:[145,24,99,14,157,7],is_full_subcategori:[145,126],chain:[145,10,65,22,139,113],skip:[70,24,82,29],rob:83,from_base_ring_from_one_basi:56,focus:14,category_contains_method_by_parent_class:82,algebraicclosurefunctor:136,coxetergroup:[30,145,104,126,42],supplement:[8,99],stembridgedelta_depth:52,computation:139,subobject:[],primer:[],row:[8,52,93,83,99,94,14,151],decid:[22,14,145,65],depend:[],random_matrix:14,inject_shorthand:[24,5],graph:[],decim:83,readabl:145,is_join_semilattic:105,dba:60,must:[8,20,145,31,10,65,113,139,24,99,14,115,59,29,136,112,63,6],decis:[125,113,145,65],userwarn:145,multilinear:20,isinst:[145,65,47,24,142,113,97],sourc:[155,14,143,65],string:[8,145,10,65,47,139,83,99,151,69,97,60,101,7],articl:[8,126,55,83,75,47,24,121,57,13,94,14,58,99,16,101,70,112],uml:139,finite_dimensional_modules_with_basi:94,join:[],infinite_enumerated_set:[68,114],brows:155,seemingli:65,quo_rem:[132,74],level:[145,126,65,93,76,30,63],did:[14,125,34],iter:[83,123,126,57,14,58,59,15,97,20,153,65,22,139,24,68,69,29,101,105,145,72,149,151,78,155,112],rightmodul:44,shortcom:125,unsupport:[136,6],finitedimensionalhopfalgebraswithbasi:[62,4,65],quotientring_generic_with_categori:113,quick:65,mpolynomialring_polydict_domain:113,extra_super_categori:[3,84,4,48,50,52,150,8,138,83,93,121,14,58,21,36,20,16,65,24,67,99,69,101,147,70,32,143,107,74,76,38,151,78,28,112,158],unitriangular:[94,20],ignored_kwd:78,trailing_item:20,sign:6,"_repr_term":141,cost:126,facade_with_categori:145,gr13:139,codomain:[20,125,136,113,139,37,119,94,59,63,6],register_axiom:65,explictli:112,"_with_axiom_as_tupl":[145,65],appear:[52,20,145,126,65,139,149,14,15,69,113],remain:[14,136,113,65],uniform:[126,24,116,78,29],current:[91,136,81,82,83,49,88,7,125,55,129,93,94,14,59,61,36,97,20,65,66,99,69,127,70,145,157,107,149,39,78,79,113],is_poset_morph:[139,119],babbab:[64,56],deriv:[145,126,65,14,15,43,97],demazure_lusztig_operator_on_basi:30,coerce_map_from:[136,145,59,157],coercionexcept:136,gener:[],oversimplifi:16,coeffici:[20,0,136,56,83,141],satisfi:[52,20,145,126,65,132,47,139,14],slow:[106,126],coincid:[136,145,20,65,112,150],multipolynomialfunctor:136,gradedcoalgebra:1,finitelygeneratedmagma:99,lower_set:22,combinator:[93,36],root:[0,74,75,65,57,149,151,30,93],pseudo_ord:23,color_by_label:[112,151],behav:[8,14,36,99,83],bca:[123,60,29],pvw0:99,gradedalgebraswithbasi:[54,143,158],commonli:61,eberli:149,semant:[14,97,78,16,65],enumeratedset:[145,84,31,78,29],regardless:[136,125,117,65],mobiu:126,extra:[8,136,145,65,82,139,24,99,14,69,78,155,63],from_vector:149,modul:[],prefer:[105,64,145,65,56,24,14,138],semiregular:52,subcategori:[],fake:[84,30,38,49,50,8,73,129,121,58,61,135,20,24,66,67,99,28,29,101,70,32,147,48,110,78,112,113],instal:151,bruhat:[105,0,126],red:151,gradedhopfalgebraswithbasi:[145,65,95,110,4,157,158],memori:[125,126,113,139,29],sake:61,univers:[20,149,126,21,118],is_map:59,prec:[136,21],fpsac14:139,overlap:136,live:65,is_centr:[101,83],msg:14,scope:65,gradedcoalgebraswithbasi:92,sets_with_categori:95,capit:62,finite_group:[65,84],acbd:60,magmatic_algebra:[64,56,145,55,121],peopl:[136,65],m2009:93,asserttru:14,finit:[],division_r:[150,65],rigid:14,oop:14,edge_size2:112,pg_getattr:113,effort:47,easiest:155,fly:65,graphic:[105,145,14,151,60,42],has_desc:[104,126,42],graded_compon:[77,31],cap:136,focu:[145,65],cat:[129,66,69,97,49],whatev:[8,83,24,99,65],chainposet:139,cab:[123,60,29],purpos:[20,145,118,91,65,83,82,29,24,14,136,69,78,42,70,104],principal_upper_set:22,cad:60,encapsul:14,cartesian_project:24,predict:29,weak_poset:105,chit:93,precision_rel:33,attrgett:97,critic:82,tikzpictur:151,ari:101,meet_irreduc:119,occur:[136,65,139,155,113,97],contribut:0,hst2008:30,alwai:[8,136,145,126,65,22,75,24,38,14,99,157,113],differenti:14,multipl:[],is_selfdu:139,base_category_class:65,category_:70,monoidmorph:14,write:[],facadesemigroup:65,criterion:126,pure:[82,149,7],direct_product:[101,83,121],heisenbug:56,explain_pickl:113,map:[],product:[],rc1:14,max:[24,97],clone:139,spot:[14,82,138,65],equivanl:29,membership:[145,107],scratch:136,mixin:[14,65],mai:[8,20,145,34,65,83,149,93,24,126,99,113,14,136,59,15,29,155,112,36,151],data:[14,145,151,113],grow:[14,65,61],man:[],print_opt:[94,20],pointed_set:124,practic:[145,65,129,66,24,14,69,49],antipode_basi:4,frica:14,demazure_operator_simpl:[52,93],predic:[112,126],im_func:24,inform:[138,145,31,59,65,83,12,14,40,15,21,101,69,151],combin:[115,136,126,35,65,83,141,14,70],tall:151,hecke_algebra_represent:30,hopfalgebra:[145,137,147,65,24,14,110,69],talk:14,permissivecategori:113,q35:136,leading_support:20,length_increas:126,soc:0,graphviz:151,my_funct:113,canonical_matrix:126,polynomial_integer_dense_flint:14,equip:[14,31],still:[145,45,65,83,24,14,59,7],mainli:125,dynam:[],group:[],thank:[83,40,45,65],concis:[151,65],polici:[20,24],"_set_of_super_categori":145,instantli:14,conjugacyclass_with_categori:83,window:151,commutativeadditivemonoid:[8,20,145,65,115,24,14,58,153,61,79],main:[145,126,65,82,14,69,29],countabl:[114,29],prime:[24,14,136,15,106],non:[],term_ord:136,recal:[145,65,24,57,14,69,21],finitesetsorderedbyinclus:[22,51],initi:[136,121,114,49,89,7,125,10,129,12,6,59,97,135,20,65,132,66,69,143,145,34,73,40],lunch:14,verifi:[20,139],"_coerce_map_from_":136,now:[136,84,4,5,123,6,126,14,59,60,133,20,16,65,139,24,69,145,149,78,155,112,157],discuss:[],nor:[138,55,149,121,69,143],introduct:[],term:[20,126,136,83,141,14,15,21,17,112,36],name:[],dabc:60,revers:[94,126,113,139],pg_dynamic_class:113,extend_codomain:59,separ:[16,10,65],register_as_coercion:6,"_test_elements_eq_reflex":[91,118,3,4,51,7,52,9,127,93,14,60,18,36,21,24,68,26,126,143,104,106,72,148,151,153,42],attributeerror:[101,20,106,69,65],isotypic_projective_modul:149,domain:[],hasse_diagram:105,test_rectangle_period:139,replac:[145,55,121,94,14,155],individu:14,weylgroup:[105,0,93,57,126,30,112],wrap:[],necessarilli:35,coprim:76,additivemagma:[8,145,45,65,67,24,99,14,142,28,88,70,79],operand:[14,143,6,136],resourc:14,happen:[14,136,139,145,65],monoid_algebra:11,space:[],faculti:139,ringhomset:113,decreasingli:[145,126],addvar:139,rational:[145,69,65],formula:[52,20,93,21,149],correct:[],primenumb:106,hull:8,runtimeerror:125,million:14,argu:65,unpublish:0,org:[8,138,47,93,121,140,27,96,101,122],register_as_convers:6,unpredict:14,care:[20,139,31,65],cartesianproductcategori:14,multiplicative_gener:75,suffici:[14,125,139,65],support_of_term:20,bdac:60,increasingli:[136,126],first_desc:126,thing:[14,136,141,143,65],place:[10,83,14,88,79,63],monomorph:145,principl:[14,82,65],think:[14,145,65],first:[],origin:[145,65,24,15,78,113],addition_t:[8,14],directli:[],attrcal:[126,22,139,24,119,94,29,144],onc:[20,145,65,22,139,24,14,36,158],"__getitem__":[94,119],finite_poset:139,axiom_of_nested_class:65,fast:[],bradshaw:[136,125,59,15,63,6],oppos:15,ring:[],affine_grassmannian_to_cor:57,open:[106,151,65],lexicograph:[136,126],size:[90,20,145,126,116,10,65,83,74,24,76,84,136,59,78,113,155,63,151],given:[45,118,81,83,32,5,122,7,90,8,125,126,55,10,95,56,121,14,15,96,18,63,64,98,65,139,24,99,136,69,101,72,70,105,145,0,31,75,149,38,151,153,155,113],law:14,homogen:[17,14,54,141],workaround:[81,45,158,99,65],hecke_monoid:149,is_endomorph:6,euclideandomainel:24,abgrp:[145,63],is_pieri_factor:0,numberfield:[136,117],necessarili:[8,20,145,139,64,47,65,24,99,150,14,136,146,112,82,80,44],draft:[],averag:36,finitedimension:[20,145,55,65,46,56,149,121,38,25,94,14,4,48,16,122,158,143,103],proposit:126,conveni:[24,5],cyc7:75,friend:[145,65],integraldomainel:24,especi:[145,24,65],is_integral_domain:100,copi:[155,47,59,149],undoubtedli:65,specifi:[],is_ident:6,phi_minus_epsilon:151,interrel:14,mostli:[145,157,113],holder:[79,88],than:[105,20,145,126,65,22,132,82,139,83,94,14,136,15,78,112,113],serv:[14,70,79,145,88],denot:[52,139,21],t123:139,bh1994:0,bandlow:20,balanc:24,formalcoercionmorph:6,were:[151,74],posit:[8,20,145,0,78,151,22,83,24,76,99,14,34,15,126,21,29,148,51,104],transport:24,seri:[14,0,31,21,136],pre:145,full_super_categori:[70,145],sai:[52,145,65,24,12,14,40,155,113],is_on:101,nicer:[105,61,139],omega_1:[52,91,93,3,151,21],argument:[136,83,4,5,8,126,14,94,95,59,15,16,17,63,97,20,65,24,99,141,69,143,145,31,151,78,112,113],discretevaluationr:116,notimplementederror:[105,145,34,118,47,83,84,68,59,15,114,29,151],bruhat_lower_covers_reflect:[0,126],mislead:24,engin:14,squar:[50,75],advic:14,testobjectsoverbas:65,phi_xi:59,note:[],altogeth:14,ideal:[],denomin:[139,15],nota:16,take:[136,82,5,6,138,126,12,94,151,15,21,20,65,24,99,141,34,69,145,0,40,78,155],advis:145,phi_xz:59,leftmodul:[145,146],noth:[49,65,129,66,69,78,70,113],begin:65,sure:[14,70,158,16,65],importantli:65,trace:14,normal:[52,145,116,83,24,14],multipli:[123,126,24,65],price:14,evenpolynomialr:136,aros:136,abus:24,algebraid:[],pair:[52,20,65,23,24,136,97],dualobject:[20,121,38,14,16,50],function_field:130,chaincomplex:[113,10],"_test_associ":[126,127,118,148,143,14,26,4,60,42,18,36,7,104],latex:[84,101,48,49,50,89,8,73,129,12,58,151,16,61,135,20,24,66,67,99,28,29,30,70,32,121,147,38,110,40,78,112],latticepolytop:14,synonym:47,"_sort":145,affine_grassmannian_elements_of_given_length:57,combinatorialfreemodul:[52,20,98,149,24,141,94,151,5,16,154,69,36],drive:14,mro:[14,82,24,145,142],badc:60,runtim:[14,65],finitelatticeposet:[139,144,119],axi:94,sigma:126,tableaux:[52,139,93,21,151],show:[105,106,126,65,14,4,15,69,112],enumer:[],groupoid:[],cheap:139,permiss:113,cartesianproductfunctor:[24,12],facade_for:[34,24],counit:[20,83,98,87,50],galois_group:84,magmamorph:14,"_dict":[59,6],ground:[30,56,139,65],permutationgroupfunctor:136,onli:[91,136,47,83,84,88,50,52,6,7,8,138,125,126,10,93,121,57,13,94,14,59,15,21,96,63,82,20,65,139,24,99,28,30,70,105,106,145,0,31,74,75,149,76,39,42,69,112,79,113],explicitli:[136,126,65,24,99,14,78,123,112],is_endset:113,ideal_nc:47,enough:[14,145,59,65],canonical_represent:126,parametr:[14,145,69],"_make_named_class":145,dict:[99,97],robi:139,orthogonal_idempotents_central_mod_rad:149,overwritten:113,j_class:[123,83],variou:[8,136,145,95,65,24,99,14,78,157],get:[136,145,126,72,78,65,139,24,14,151,16,155,153,36,158,7],repr:125,indicator_label:139,cannot:[65,24,112,59,70,6,7],sci_not:136,setswithgrad:[77,31],"_cartan_typ":[151,91],compositeconstructionfunctor:136,gen:[101,20,145,149,98,117,136,47,139,83,14,15,30,87,112,6],requir:[8,20,145,133,65,83,24,76,99,14,115,151,28,29,136,112,52,143],e_str:151,reveal:14,order_ideal_toggl:[22,139],cartesianproductscategori:[8,20,83,67,24,12,38,121,28,99,78,29,101,61,112,143],sets_cat:[106,65,82,24,142,78,51],distributive_magmas_and_additive_magma:[28,65],yield:[136,145,139,14,59,78],aris:[75,139],principal_order_filt:22,trailing_support:20,where:[115,45,136,83,5,52,150,7,8,138,125,126,95,93,108,94,14,59,15,21,61,104,20,65,132,139,24,99,69,29,35,70,71,105,106,145,0,31,74,75,149,151,78,157,113,152],wiki:[47,121,140,27,96,122],kernel:145,"__module__":[45,47,83,84,5,50,122,8,126,14,15,16,82,65,24,99,69,29,101,105,147,149,78,158],dbac:60,stanlei:0,surgeri:7,homomesi:139,cyc3:75,is_order_preserving_morph:139,reserv:99,euclid:145,"_all_super_categories_prop":145,nonstandard:139,infinit:[],timeit:[106,82],detect:65,amort:126,number_field:117,monoid:[],tensori:69,"_last_from_iter":78,label:[112,139,91,151],oversimplif:14,getattr:145,wayn:149,between:[],"import":[45,64,47,83,84,101,48,49,122,50,6,7,8,125,55,10,129,56,121,89,14,58,59,61,63,82,97,135,20,65,22,67,66,24,99,136,28,29,30,70,32,103,145,147,73,36,149,37,38,110,151,78,155,112,113,152],across:[14,145],spars:[14,136],sortabl:126,additive_group:[61,70,152],bruhat_lower_cov:[0,126],facade_set:[148,34],blame:65,cycl:[139,36,65],leading_item:20,comm:[126,83],integermodr:[8,24,16,101,122,112],come:[8,52,145,91,65,113,13,14,136,70,36],crystaloflett:91,homsetwithbas:113,avoid:[136,125,10,65,139,145,14,113,97],tucf:145,to_matrix:149,quiet:65,is_morph:6,tutori:[],sum_of_term:20,improv:[145,65,82,14,16,89],adjoin:[145,139],among:[145,126,65,21,36,103],reindex:20,color:[52,126,91,151],overview:[14,65],unittest:14,"_unrank_from_list":78,uniquefactorizationdomain:[145,71],dispatch:[81,145,16],pon:0,featur:[],peirc:149,qs4:83,nicola:[135,20,145,73,65,113,66,12,121,40,69,49,129,112,36,89],poli:[136,63],ultim:24,to_lowest_weight:151,ringleftid:134,coupl:[82,145,65],semistandard:139,ineleg:65,invert:[20,116,75],invers:[8,52,125,0,65,83,47,74,24,145,99,14,115,126,139,101,61,70,150,152],rueth:[132,74],breath:105,valueerror:[20,145,0,59,106,113,93,24,126,57,131,54,99,29,17,112,63,51,151],followup:14,thousand:14,resolut:[105,14,145],"_test_on":[126,127,148,143,26,4,42,101,18,36,104],"_multipli":55,principal_order_id:22,order_filt:[22,139],ignore_axiom:[145,97],former:[24,6],those:[105,20,145,126,65,82,139,24,12,149,14,40,69,21,155,112,157,113,103],"case":[],category_left:59,thesi:[0,149],superflu:113,idempotentsemigroupsel:7,unpleasantli:65,trick:[7,65],matrixalgebra:128,margin:65,girth:145,positiveintegersorderedbydivisibilityfacad:[22,51],completionfunctor:136,finite_dimensional_semisimple_algebras_with_basi:103,advantag:[14,24],demazure_oper:[52,93,151],canon:[136,145,126,107,83,56,139,24,14,59,114,29,157],darij:139,is_integrally_clos:74,blah:[95,145,65],good:[14,112,145],ambient:[105,136,9,10,118,126,93,24,121,38,149,101,0,78,30,112,113,151],supremum:[15,144],ascii:[8,83,99],"__init__":[136,145,34,65,47,149,24,78,29,82],sami:52,"_test_prod":[126,127,148,143,26,4,42,18,36,104],magmaticalgebra:[8,64,145,55,65,56,67,121,101,112],dualimmacul:24,author:[136,83,84,114,49,89,125,73,129,12,6,59,15,36,97,135,20,132,66,69,121,145,74,63,149,40,112,113],obfusc:24,alphabet:[72,153,118,143,14,60,154,155,123,112,18,36],evenpolynomialfunctor:136,same:[136,119,50,123,52,126,93,121,94,14,63,20,65,132,24,105,145,74,38,151,78,112,113],check:[136,81,83,119,52,8,9,10,56,94,14,59,15,21,17,63,20,16,65,22,139,24,99,68,69,103,145,34,31,149,76,78,113],binari:[8,23,99,14,58,101,123,112,152],pad:[8,83,99],knuth:105,eventu:[105,145,0,55,65,121,84,126,50,157],gadget:36,futhermor:65,laurentpolynomialr:136,nest:[],caylei:[155,112,83],someon:91,gset:[43,145],mani:[145,65,82,149,24,76,14,60],extern:151,commutative_additive_monoid:[79,153],is_construction_defined_by_bas:69,defn:[113,59,63,136],additiveassoci:[8,115,35,65,67,47,88,24,99,14,58,28,61,45,79,152],appropri:[145,65,23,14,16,157],principal_lower_set:22,algebra_functor:[8,83,67,24,99,84,101,69,48,30,61,112,89],facad:[],commutative_ring_id:41,without:[115,136,145,65,113,141,14,151,15,60,17,63],model:[],category_id:[39,156,41,10,134],category_for:[20,59],roughli:[126,65],base_categori:[115,67,64,47,3,119,84,123,101,121,4,87,48,49,88,100,50,147,90,8,54,55,73,129,56,12,150,94,58,16,17,61,62,36,135,20,122,65,23,66,139,24,99,26,28,29,30,102,70,32,143,103,105,83,34,35,74,75,149,107,38,110,40,152,78,69,112,79,158,80,114],polygen:125,execut:65,dihedr:[105,126,147,98,83,140,4,87,101,50,112,36,104],resp:[105,126,69,139],kill:20,commutativeringid:[41,134],touch:14,at_startup:65,speed:145,concentr:14,versu:145,get_action_c:113,hint:65,alternatinggroup:[36,83,99,84,112,113],trigger:[6,78,65],except:[8,20,145,65,132,139,24,99,29,52,104],littl:65,identif:24,withequalitybyid:[82,24],real:[20,145,126,74,65,86,136,59,113],inspir:14,around:[155,14,0,65,20],ohai:139,read:[],mor:59,"_internal_convert_map_from":59,reduced_word_reverse_iter:126,pop:136,"_test_characterist":[4,143],world:[7,118],usefulli:65,saniti:[149,65],qs3:[20,149,83],brokencategori:145,facadeset:[34,24],myfinitefield:65,integ:[101,67,116,64,81,47,127,83,84,85,77,121,4,87,48,49,122,50,52,6,146,8,125,54,55,10,134,129,56,12,51,94,14,58,59,15,126,16,132,17,61,63,97,135,20,147,65,22,23,66,139,24,99,141,68,136,34,28,29,30,102,70,32,103,106,145,0,31,73,74,148,113,149,76,38,110,40,41,78,69,112,86,158,151],idempotentsemigroup:7,finite_cryst:3,unitalalgebra:[56,55,145],either:[8,52,93,31,74,132,65,24,99,136,126,101,123,112,113,151],output:[118,83,49,123,122,52,8,126,55,129,57,94,14,59,15,61,63,97,20,65,22,132,66,139,99,141,136,69,101,70,103,105,145,0,31,74,75,149,78,112,113],tower:136,phi_yz:59,supplementari:[145,69,97],node:[52,105,0,57,126,151],"_test_antipod":4,"_apply_functor":63,ascend:22,qdim:21,simplici:[145,113,97,10],magma:[],adequ:[145,10,7],reduced_word:[52,105,0,93,57,126,29,30],"_test_category_over_bas":[81,24],constitut:139,hyperplan:0,assertionerror:[106,145,65,82,118,14,112,36,6],cartan_invariants_matrix:149,confirm:83,multi_vari:136,definit:[52,126,65,22,139,24,140,94,14,96],recomput:126,semiprimitiverings_with_categori:[145,10,7],evolv:65,inject:[20,139,24,14,59,5,29],definin:14,carri:[14,65],base_r:[149,1,2,120,4,5,89,10,92,56,93,12,94,46,16,19,20,137,65,24,25,141,143,11,76,111,158],gcddomain:108,dot_tex:151,permutationgroup:[136,65,83,13,14,112,36],refer:[52,145,125,0,78,65,113,93,24,126,139,149,14,59,21,132,36],unpickle_map:59,power:[136,116,14,15,21,101],bruhat_poset:[105,126],bivari:149,garbag:[125,59,113],ration:[149,116,117,64,1,47,2,83,95,32,85,86,121,4,5,48,122,50,52,6,156,90,8,125,55,10,11,128,56,12,89,94,46,59,15,16,61,62,133,63,97,19,20,137,98,65,67,139,24,99,25,142,136,69,14,154,101,147,141,143,103,120,145,107,74,36,92,76,38,39,110,40,111,78,134,87,112,157,113,158,44],broken:[14,145,65,151,29],homspac:113,semigroupel:14,fulli:65,group_gener:[83,126,36,84],immut:[94,29],schuetzenberger_involut:93,cbad:60,group_algebra:19,stone:16,central:[101,0,83,103,149],simplicialcomplex:[113,97,10],underwai:14,wut:139,joyner:[113,63,6],crystal_morph:151,meaning:[8,20,65,24,99,14,138],acm:149,cartesianproduct_with_categori:24,degre:[136,54,117,74,83,24,84,14,59,21,132,17,141],intens:[14,126],neighbor:105,act:[105,20,125,0,93,57,94,126,30,112,36],jpropp:139,constructionfunctor:136,caategori:130,skew:150,module_gener:[52,151,91],morphism:[],mannheim:36,"_test_stembridge_local_axiom":[52,91,93,3,151,21],effici:[14,65],multigraph:52,elementari:[52,91,42],terminolog:[14,125,139],basis_kei:149,"_all_super_categori":145,global_opt:21,quotient_r:47,einstein:139,gomez:132,descentalgebra:[149,55,16],your:[14,139,24,83,65],area:[14,65],aren:113,finitedimensionalcoalgebraswithbasi:25,catj:145,unpickle_newobj:113,brute:[139,78,29],overwrit:151,mapcombinatorialclass:29,strict:[145,0,34,65],interfac:[83,125,24,29],low:[126,10],lot:[94,82,126,65],wut1:139,strictli:[22,65],wut3:139,atkin:76,sets_with_grad:[77,31],identityfunctor_gener:63,minimal_polynomi:75,"__invert__":112,reshetikhin:52,tupl:[52,145,0,65,22,83,47,74,24,139,126,69,21,101,112,143,97,104],to_grassmannian:57,procedur:[52,149],lspath:21,grinberg:139,reliz:95,conclus:[],"__get__":16,notat:[125,65,24,14,5,42],tripl:[52,15,74],tmp_filenam:151,ternari:20,possibl:[8,20,145,91,65,37,82,149,24,121,99,14,136,59,15,16,29,30,143,151],"default":[136,47,83,84,101,5,49,123,50,52,6,7,8,126,55,10,129,56,93,94,14,59,15,21,17,63,20,16,65,22,66,139,24,99,141,34,69,29,30,147,70,105,145,0,31,36,149,151,78,112,157,113],index_set:[52,105,0,91,83,151,126,42,101,104],polynomial_generic_sparse_field:14,freecommutativeadditivemonoid:153,cat1:69,cat2:69,coxeter_knuth_graph:105,or_subcategori:145,g_full:151,eigenvector:30,connect:[52,145,126,65,93,14,21,158,97],cba:[123,154,55,60,29],creat:[105,136,125,91,117,65,113,47,83,76,130,14,142,69,145,63,82],homsetsof:70,certain:[145,121,14,151,50,113],automaton:112,cherednikoperatorseigenvector:30,decreas:[136,0,126,151],file:[14,139,151,10,65],fill:136,post_compos:59,sublattic:65,graded_modules_with_basi:[17,141],googl:121,workhors:65,directed_subset:[22,139],prepend:65,qqbar:[15,74],idiom:[145,65,82,24,14,113],freegroup:83,cleanup:113,groupmorph:14,is_unit:[47,116,74],intermedi:65,classcallmetaclass:[95,145],poor:[],reflection_to_root:0,integraldomain:[100,80,74],sequenc:[52,145,126,65,47,139,69,155],symbol:[14,83],vertex:[8,52,151],docstr:65,polynomi:[117,136,82,83,4,6,8,125,10,14,59,15,133,63,20,65,132,139,156,145,0,74,75,149,76,39,113],track:136,vocabulari:65,monoid_gener:[101,18,83,84],reduc:[52,20,0,65,47,93,57,94,14,126,139,105,104],assert:[22,126,24,65],actor:125,descript:[],categorywithaxiom_singleton:[115,67,47,83,32,114,88,123,150,8,58,61,65,23,24,99,28,101,107,34,35,74,75,48,152,78,100,112,79,80],cherednik:30,tricki:65,mimic:121,potenti:[],categorywithaxiom:[52,105,145,0,55,16,119,65,83,139,3,38,84,85,86,26,57,21,70,32,36],calll:75,mimim:57,togeth:[145,65,129,66,14,151,114,49,29,157,113,103],represent:[8,145,126,91,149,83,99,141,14,151,30,113],all:[45,117,118,81,47,83,84,101,4,5,123,52,130,7,8,138,125,126,127,91,10,95,93,12,57,150,94,14,59,21,153,36,97,20,147,16,65,22,139,24,99,60,136,69,29,30,72,70,141,103,105,145,0,31,74,149,37,38,40,78,42,112,157,151],out_with_categori:99,sci:52,tensor_product:69,epimorph:145,illustr:[153,125,139,72,98,83,65,148,75,118,24,113,14,141,154,127,112,18,63,7],alg:78,lack:[145,24,65],principal_ideal_domain:96,ala:149,scalar:[136,125,65,145,94,143],associative_algebra:[64,145,149,99],deprecationwarn:[8,101,93,138],follow:[91,118,47,5,49,52,8,55,129,57,14,59,15,60,20,65,22,66,139,24,99,141,136,69,29,145,75,149,151,78,42,112,113],alt:78,finitedimensionalvectorspac:[145,157],children:106,edg:[52,105,0,91,65,151,126,112,104],leftregularband:[155,99,60],rewrot:121,finitedimensionalsemisimplealgebraswithbasi:[122,103],birational_free_label:139,init:63,program:[14,145,24],hasattr:[136,70],associative_properti:[8,99],callmorph:6,introduc:[145,65,139,24,14,151],is_field:74,sound:65,consum:82,krull_dimens:14,straightforward:126,grassmanian:[0,126],fals:[116,136,47,119,84,101,122,51,8,125,54,10,56,57,6,94,14,59,15,21,17,63,82,20,16,65,22,139,24,99,34,69,29,30,70,33,104,105,106,145,0,107,74,75,149,126,110,151,112,113],f_string:151,from_set:[145,157,5],worst:65,fall:[83,84],veri:[145,126,10,65,24,14,15,29],ticket:[64,47,83,50,138,125,55,10,56,93,121,14,59,15,16,20,65,22,24,136,34,70,105,145,0,74,76,78,113],strang:136,cartesian_product:[8,20,69,67,24,12,38,121,14,28,99,78,29,101,61,112,143,83],instrospect:14,has_full_support:126,"_register_r":24,finitesemigroups_with_categori:65,list:[91,118,47,144,83,84,5,114,123,122,52,130,8,9,12,57,13,14,58,59,15,60,97,20,21,65,22,139,24,99,68,136,126,69,29,101,103,104,105,145,0,75,149,151,78,42,112],small:[30,14,70,82,65],stembridgedel_depth:52,bruhat_lower_covers_coroot:0,fast_method:[82,24],c_extra_super_categori:65,dimens:[20,145,0,136,93,121,149,126,21,50,113,151],meet_irreducibles_poset:119,tex:151,finitegroup:[],zero:[118,47,83,4,150,7,8,54,121,94,14,58,15,16,17,20,65,132,139,24,99,100,145,74,149,152,153,112,113,80],design:[],infimum:144,pass:[91,118,82,3,4,5,51,7,52,125,9,127,10,93,94,14,59,60,153,18,36,136,21,65,24,68,26,126,143,104,106,145,72,148,151,78,42,112],further:[],suboptim:65,casual:99,nozerodivisor:[47,100,150,80,65],tensorproductfunctor:40,bilinear:[94,20,145,55,65],abb:143,abc:[55,29,60,154,123,112],abd:60,sub:[136,145,118,24,99,59,29,112,63,130,151],section:[52,65,24,14,59,21,150,151],abl:[59,69,65],semisimple_quoti:[149,103,121],overload:[136,145,24,59,50,63],version:[125,74,132,65,145,14,6,97],diaz:132,intersect:[145,45,65,99,94,14],deepli:14,method:[],raton:[7,118],full:[45,91,47,8,138,9,94,14,16,17,18,136,65,24,99,141,126,70,104,145,0,151,42,113,158],themselv:[8,106,145,31,91,138,83,139,24,99,14,77,123],is_submodul:94,first_el:24,blackboxconstructionfunctor:136,variat:[113,65],sophist:74,one_basi:[8,98,56,83,4,5,154,101,143],modular:[],inher:14,strong:[145,125,59,126],modifi:[155,24],valu:[20,125,0,72,22,132,139,83,145,141,14,151,153,29,97],hass:139,search:[105,53,139],bcda:60,divisor:[20,139,116,65,22,132,47,74,24,119,150,15,100,144,80],indetermin:139,"_test_elements_eq_tranisit":24,projectivespac:113,adbc:60,amount:65,base:[],dual_equivalence_graph:52,doctest:[8,136,145,93,65,29,140,38,59,78,50,101,43,138,63],enumerated_set:[78,29],action:[],myre:82,polynomialfunctor:136,symmetricfunct:[20,36,50],magnitud:65,quotient:[],is_perfect:74,highestweight:[93,151],via:[],shorthand:[20,145,65,24,99,5,16,101],multipolynomi:136,primit:[105,145,75,151,60,42,103],transit:[105,121],young:[52,139],glitch:14,famili:[118,83,84,30,8,126,55,93,121,60,17,18,20,98,154,67,141,101,127,104,72,75,149,151,153,42,112],heurist:65,abeliangroup:[145,83],coercion:[],convert_map_from:59,select:[145,21,65],proceed:[145,149],distinct:[136,145,126,65,139,14,151,16],regist:[145,157,6],certainli:[145,157],panyushev_orbit:139,formul:14,category_from_categori:69,realfield:[136,15,74],taken:[145,126,149],"_repr_object_nam":[145,10,7,65],myparent_with_categori:145,more:[136,47,83,8,12,14,151,15,21,63,82,20,65,23,139,24,99,141,69,101,70,105,106,145,0,74,40,78,155,112,157,113,158],reachabl:52,cartesianproductsof:69,diamond:145,desir:[136,145,65,99,14,20,157],birat:139,order_ideal_complement_gener:139,henc:[8,136,145,126,65,74,24,12,99,84,14,40,69,30,113],inversion_arrang:0,dai:136,additivesemigroup:[8,67,58,55,142],duadic:75,moduleel:24,cycle_index:36,stick:65,particular:[8,145,0,16,65,75,47,149,83,126,99,94,14,59,5,21,101,69,113,82,151],known:[145,126,65,83,14,69,21,29],multiset:29,cach:[145,21,65,47,24,151,78,113],glad:14,quotientfunctor:136,seminorm:52,none:[45,116,117,118,81,47,83,84,85,86,4,122,50,52,124,7,146,8,138,126,55,91,10,128,93,108,57,13,94,14,131,59,15,21,96,17,36,82,20,16,65,22,132,139,24,140,99,141,136,27,29,101,147,70,33,144,71,105,145,0,31,75,149,37,38,130,151,112,157,113,44],join_irreduc:119,phi21:59,modular_abelian_varieti:32,inverseact:125,monoidalgebra:11,del:[125,59,97],"_test_cardin":[91,118,3,4,51,7,52,9,127,93,14,60,18,36,21,24,68,26,126,143,104,106,72,148,151,153,42],caveat:[126,59,6,21,65],learn:14,abandon:113,cartan_typ:[151,91],def:[150,20,145,34,10,65,47,139,24,119,149,94,14,136,126,15,78,29,113,82,7],factori:[20,37],grassmannian_el:126,pari_group:84,substanti:139,"_without_axiom":[145,65],registr:[6,65],share:[14,112,65,145,20],ordered_monoid:27,minimum:[145,0,126],category_singleton:[45,116,117,82,124,8,138,126,93,108,57,131,15,21,96,52,65,132,24,99,27,29,70,33,71,0,151,78],pointwis:14,explor:[30,14,112,65],explos:[],pai:14,"_base_category_class_and_axiom":65,rndz:136,coalgebra:[],huge:14,cours:[20,127,117,65,132,14,59,29,113],cartesian_factor:24,goal:[],divid:[22,132,139,24,119,122,30,123,144],rather:[145,126,65,139,15,78],anoth:[136,145,126,155,65,63,139,14,151,17,36],perhap:[8,83,99],mapl:126,divis:[],is_idempot:[20,118,99,14,60,7],to_tableau:93,latticeposet:[22,144,119],standard_tableaux:149,direction_imag:151,unabl:107,"_test_categori":[91,118,82,3,4,51,7,52,9,127,93,14,60,18,36,21,24,68,26,126,29,143,104,106,145,72,148,151,153,42],algebra:[],"_iterator_from_list":78,variant:[20,145,45,65,24,14],reflect:[0,151,65,99,14,126,30,104],inverse_el:[8,99],floor:139,deodhar:126,graded_bialgebra:111,develop:[145,65],wilei:149,associ:[],commutativeadditivegroup:[145,35,65,113,47,24,99,14,61,63,152],"short":[14,145,126,24,99],confus:[14,24],"__name__":15,ambigu:[105,136,65,24,99,14,113],caus:65,zerodivisionerror:139,matrixspac:[94,75,47,59,136],mortem:[14,65],integerpartit:139,egg:139,multivari:[20,0,136,139,99,149,59,69,63],type_to_par:136,functionfield:[130,74],constitu:59,help:[],infinitepolynomialr:136,similarwis:65,categorywithparamet:[86,145,140,10,65],soon:65,morphismmethod:[94,14,145,24,20],ntl:136,paper:151,through:[126,155,91,65,24,14,69,78,30,6],sqrt:[37,15,136],hivert:[20,114],the_answ:118,hierarchi:[],implicitli:[24,6],paramet:[145,0,31,65,82,24,14,69,21],member:[59,71],style:[14,93,78],assaf:52,compatibilti:145,exact:145,freshexample_with_categori:78,opposition_automorph:93,harmless:24,cachedrepresent:[82,24],bypass:78,jacobi:47,might:[145,126,65,132,82,139,14,143],unique_represent:[106,145,9,72,91,118,148,82,127,24,68,77,5,60,42,69,51,104],dynkin:[105,0,57,126,30,151],"return":[3,4,5,6,7,8,9,10,12,13,14,15,16,17,18,20,60,22,23,24,0,29,30,33,34,31,36,37,38,39,40,42,43,45,47,114,49,50,51,52,138,54,55,56,57,58,59,21,63,65,66,67,68,69,70,71,72,74,75,77,78,82,83,84,85,86,87,89,93,94,95,96,97,98,99,100,101,103,105,106,108,48,112,113,116,91,118,119,121,122,123,130,125,126,127,129,150,132,133,134,136,139,140,141,143,144,145,147,149,151,153,154,157,158],masaki:52,gradedmoduleswithbasi:[17,20,141],pollut:65,framework:[],is_r:[47,82],rank:[136,0,65,14,126,78,29,113,97],peirce_decomposit:149,adventur:91,complain:[24,99,65],leading_monomi:20,super_categori:[2,3,4,5,7,8,10,11,108,13,14,15,16,17,19,20,22,23,24,25,26,27,28,29,31,32,33,0,35,38,39,41,43,44,45,46,47,114,49,50,150,52,138,54,55,57,58,21,61,62,36,65,66,67,69,70,71,102,74,75,76,78,79,80,81,82,83,84,85,86,87,88,90,93,94,95,96,99,100,101,121,105,107,48,110,112,113,115,116,117,119,120,122,123,124,126,128,129,130,131,132,133,134,139,140,142,143,144,145,146,147,149,151,152,156,157,158],document:[],mathematician:[],covariantfunctorialconstruct:[135,24,12,40,69,16,89],instruct:24,is_coxeter_sort:126,easili:[83,15,65],achiev:[20,145,126,157,65],compris:139,category_realization_of_par:[24,145,157,5,95],found:[145,65,139,83,14,59,96,113],difficult:65,truncat:[17,112],valuat:[],weight:[],complete_discrete_valu:33,commutativealgebraid:[39,156],hard:65,idea:[136,145],functor:[],realli:[101,145,45,65,82,24,14,17,70,7],heavi:24,principal_id:149,dynamic_class:145,expect:[14,145,97,60,65],"_test_random":78,quantum:0,subcategorymethod:[8,138,145,45,65,47,24,121,99,158,14,58,151,16,70,89],orient:[105,14,65],"try":[155,136,56,113,65],finitelygeneratedasmagma:[112,99,65],item:[8,20,129,66,139,99,141,49],robert:[136,125,84,59,15,112,63,6],withrealizationscategori:[8,24,110,101,50,157],demazure_lusztig_eigenvector:30,publish:149,"_functor_nam":69,semisimplealgebra:[122,121],uniformli:126,sloan:155,variable_nam:136,occurr:65,acdb:60,difficulti:[14,65],biproduct:145,advanc:[],polyhedra:[8,142],suspici:65,"_test_category_graph":70,reason:[136,145,95,76,14,15,157],quotientofleftzerosemigroup:118,finitedimensionalalgebra:65,is_commut:99,put:[138,145,65,14,69,20],withbasis_with_categori:65,basi:[],thrown:139,finitedimensionalbialgebraswithbasi:46,thread:121,blue_extra_super_categori:65,left_bas:86,graded_algebra:102,finite_set:[8,34,65,75,24,99,32,28,48],powersum:36,parent_with_r:[24,5,95],"_flatten_categori":145,assign:[126,65],commutative_algebra:90,bimodul:[],singleton:[],dicyclicgroup:83,obviou:[83,65],prevent:[14,145,59,83,65],feel:[14,91,65],exchang:[94,14],schubert:[93,0],nonnegativeinteg:[68,77,31],misc:[145,95,82,24,14,151,5],number:[],panyushev_orbit_it:139,forgetfulfunctor_gener:63,cadb:60,axiomat:20,done:[106,145,126,74,24,14,59,5,113,6],graded_coalgebra:1,stabl:[0,65],miss:[14,138,65],differ:[],exponenti:[14,65],column_kei:[8,83,99],interact:99,dual_equivalence_class:52,least:[105,145,116,74,65,14,15,144],"_test_graded_compon":31,"_subcategory_hook_":14,make_morph:6,expand:[20,145,126,136,29,157,36],is_zero:[75,47],sum_of_monomi:20,scheme:[],store:[106,145,82,141,14,97],pointedset:124,one_from_one_basi:56,statement:[14,65],behind:65,regressivecovariantconstructioncategori:[73,129,66,95,69,49,157,158],tom:139,on_left_matrix:149,pari:84,holomorph:83,additional_structur:[45,85,86,8,138,55,93,108,57,13,16,96,52,21,65,99,69,29,71,145,0,38,158],uniquerepresent:[106,145,9,72,91,118,148,82,29,24,68,77,5,60,42,69,127,51,104],cs_with_categori:[145,65],king:[136,74,63,15,113,97],kind:[14,91],aaa:[139,143],cyclic:[75,139,83,151],nested_cl:65,remov:[136,145,126,65,81,121,14,59,97],withbasi:[46,50,122,8,55,92,56,121,94,14,16,97,20,65,67,25,69,103,145,147,149,38,110,40,112],matrixgroupelement_gap:14,str:[46,47,2,83,120,30,4,87,88,54,11,121,94,16,17,19,65,25,69,101,147,143,145,35,149,151,78,100,112,158],primenumbers_abstract:[106,24],arrang:[0,83],toward:126,comput:[],cover_reflect:126,finitepermutationgroup:[36,13],packag:[14,126],stembridgetripl:52,coproduct_by_basi:50,symmetricgroupweakorderposet:139,mupad:[14,145,157,24],default_super_categori:[129,66,69,70,49],category_with_axiom:[115,67,64,47,3,119,84,123,4,87,48,88,122,150,90,8,55,83,56,121,94,14,58,16,61,62,36,97,20,65,23,139,24,99,26,28,101,107,70,32,143,103,105,145,34,35,74,75,149,38,152,78,100,112,79,158,80,114],option:[47,83,4,87,114,52,126,55,14,56,93,95,17,36,20,65,139,24,141,101,143,105,145,31,75,151,155,112,113],sell:65,lie:[94,47,113,117,21],built:[20,145,126,10,65,149,99,94,14,101,7],equival:[52,145,126,65,57,131,100,29,155,70,97],self:[3,4,5,7,8,9,10,121,13,14,15,16,18,20,60,22,132,24,26,0,28,29,30,32,34,31,36,37,38,40,42,45,47,114,49,50,51,52,55,56,12,57,58,59,21,61,63,64,65,66,67,68,69,70,71,72,73,74,75,78,82,83,84,87,93,94,95,99,101,103,104,105,106,48,110,112,113,116,91,118,119,123,126,127,129,150,23,135,136,139,143,144,145,147,148,149,151,153,157,158],violat:65,semigroups_cython:7,onset:65,also:[117,64,81,82,83,119,84,4,52,150,7,8,126,91,129,56,12,57,94,14,59,15,60,96,61,63,134,20,65,22,66,139,24,99,136,27,69,29,105,106,145,0,40,113,151],robustli:65,build:[20,145,91,65,139,83,119,14,151,157],analogu:126,tightpag:[14,151],affine_grassmannian_to_partit:57,distribut:[],left_modul:146,previou:[136,65],reach:126,overwis:99,freemodul:[136,145,113,16],most:[118,47,83,84,114,51,54,93,57,6,14,59,15,17,36,82,20,65,139,24,99,68,136,34,69,29,101,105,106,145,0,107,63,126,151,78,112,113],plai:[20,65,14,155,36,158,7],pg_quotientring_gener:113,charl:149,alpha:0,poormancomposemap:37,charg:[145,157,65],lazili:[14,112,65],leftzerosemigroup:[7,118],bdc:[112,60],clear:[136,96,139,65],cover:[105,0,65,22,139,126,69],dimension:[],demazur:[30,52,93,126,151],part:[136,65,24,83,151,15,69],quotientmodulewithbasi:94,subgroup:[105,0,83,75,66,24,126,49,129],blend:14,dualobjectscategori:[135,20,121,38,16,50],awesom:97,visibl:14,lest:139,cdf:[136,59,24],cr62:149,cda:60,cdb:60,coxeter_group_algebra:30,"_test_some_el":[91,118,3,4,51,7,52,9,127,93,14,60,18,36,21,24,68,26,126,29,143,104,106,72,148,151,153,42],commutative_properti:[8,99],session:65,particularli:14,inapplic:65,reus:155,fine:65,find:[136,145,126,24,141,14,59,15,151],caruso:6,cell:155,coerc:[8,136,147,47,83,99,51,14,5,113,6],indexerror:78,algebrascategori:[8,83,67,24,99,84,101,69,48,30,61,112,89],ruin:78,writer:24,solut:[14,149],clearli:[139,65],"__base__":[8,34,55,65,75,56,24,38,32,28,99,16,122,158,103],ep13:139,templat:[145,91,118,14,42,104],factor:[],finite_enumerated_set:[9,78],abelian:[],adcb:[18,60],bruhat_l:126,leading_coeffici:20,express:[20,126,65,83,24,99,14,151,5,21,36],"__classcall__":[82,24,145,65],nativ:59,commutativ:[75,47,99],freesemigroup_with_categori:99,longest:[105,93,104],contrari:31,"_test_elements_neq":[91,118,3,4,51,7,52,9,127,93,14,60,18,36,21,24,68,26,126,143,104,106,72,148,151,153,42],"_functor_categori":[84,101,38,49,50,8,73,129,121,58,61,135,20,24,66,67,99,69,29,30,70,32,147,48,110,78,28,112],whenev:[8,145,126,65,14,69,29,157,103],apply_simple_reflection_right:[126,104],common:[8,136,145,116,132,74,83,24,99,14,15,29],vincent:74,stanley_symm_poly_weight:0,curti:149,set:[],stump:20,dump:[136,145,10,59,16,113],precompos:125,printout:14,startup:65,decompos:[136,149,126,15,65],mutabl:139,l1995:52,see:[91,136,47,83,121,101,4,50,52,6,7,8,138,125,9,55,130,10,95,93,12,57,13,94,14,58,59,15,126,21,96,18,82,134,20,16,65,22,23,139,24,99,141,34,69,29,30,70,143,104,106,145,0,31,75,149,76,150,40,78,42,112,157,113,151],arg:[136,47,3,84,101,4,5,48,49,50,52,89,8,138,73,129,93,12,95,58,59,15,21,61,135,20,16,65,67,66,24,99,28,29,30,147,70,32,143,121,83,145,0,31,76,38,110,40,78,69,112,157,151],disadvantag:[106,24],analog:[145,126,157,65],regressivecovariantfunctorialconstruct:[151,24,16],inconveni:123,jacobson_rad:[145,10,7],deleg:[136,126,20,22,14,50],map_item:20,someth:[145,65,24,94,14,157],d10:[105,126],join_as_tupl:97,hom_categori:138,birational_toggl:139,experi:14,ringhomset_generic_with_categori:113,altern:[8,106,126,65,24,93,83,99,149,42,112,113,103],annihilator_:94,numer:[15,6],complement:[14,126,139,65],sole:[40,12],isol:14,lowercas:[8,83,99],frozenset:[8,145,65,139,67,99,14,28,101,112,152],distinguish:[116,136,46,2,120,4,87,123,54,92,57,13,94,14,16,17,62,36,20,24,99,25,126,143,103,145,149,110,112],purpl:151,minut:112,vectorspac:[145,65,38,16,113,158],both:[8,20,145,65,113,139,24,99,14,136,59,15,49,69,112,63,151],affine_weyl_group:57,last:[118,47,83,84,114,49,51,54,129,93,57,6,14,59,15,17,36,82,20,65,66,139,24,99,141,68,136,34,69,29,101,70,105,106,145,0,107,63,126,151,78,112,113],to_highest_weight:151,annual:149,relabel:[14,151],lusztig:[30,93],context:[8,145,65,24,149,83,99,16,132],pdf:139,whole:[52,14,15,65],pdb:14,load:[136,145,10,59,16,113],simpli:[145,126,65,14,59,157],show3d:112,point:[],each:[115,83,5,49,126,129,93,94,14,15,21,61,136,153,65,66,139,24,141,69,72,145,31,75,149,151,78,157],upper_set:22,deviat:14,residu:116,reasonn:65,pieri:0,suppli:15,mistak:63,throughout:82,along:[14,151,65],vertex_shap:14,aon:56,becom:[136,125,65,139,121,14,145],fractionfield:[136,145,63],quantum_onli:0,coerce_map_from_c:113,due:[136,145,126,138,139,83,65],empti:[8,52,145,0,79,65,139,88,24,99,69,29,122,61,112,18,154],implicit:14,bgcolor:112,newcom:65,right_domain:125,unambigu:[14,24,136],matrixgroup:83,box:136,intersci:149,imag:[20,9,147,78,22,139,24,94,151,69,49,29],"_cmp_kei":[14,145,97],gap:[136,83,84],coordin:83,lam2008:0,permutation_isomorphic_group:13,pushout_lattic:136,repetit:[60,65],gradedhopfalgebra:137,semigroup:[],homogeneous_compon:17,category_cy_help:97,withreal:[8,145,24,99,95,110,5,101,50,157],look:[145,60,65,139,24,14,4,78],frozen:[145,65],setmorph:[59,113,6],is_antichain_of_poset:22,pon2010:0,"while":[14,106,139,65],behavior:[65,29],error:[136,145,54,65,57,131,59,99,21,29,17,6,114],assoc:52,loos:63,loop:[8,106,145,65,82,99,59,112],quotientfield:15,propag:65,missuggest:14,vol:[93,149],echelon:[94,20,136],graded_hopf_algebra:137,c_with_categori:65,itself:[8,145,65,129,66,149,12,121,14,40,49,42,112,157,82,7],centuri:14,quadrat:[136,65],rid:[158,16,65],vanish:139,decor:[14,65],canonicalize_axiom:[97,65],irrelev:[14,145,65],identityconstructionfunctor:136,dualcategori:147,minim:[91,118,119,51,7,9,127,14,60,18,20,98,65,23,139,68,126,154,104,106,145,72,148,75,153,42],belong:[105,145,65,149,24,14,59,157,113],additive_semigroup_gener:[8,72,58,24,153],scaling_factor:151,dcba:60,"_facade_for":34,tensorproduct:[52,20,145,147,16,93,3,121,38,4,69,21,50,40,143,151],expand_tow:136,"_class":[59,6],subalgebra:94,conflict:136,j_transversal_of_idempot:[123,60],base_category_class_and_axiom:65,semiprimitiv:[145,10,7],wherea:[14,106,145,65],infinitepolynomialfunctor:136,sym:[20,50],ignore_reduct:145,covari:[],finite_weyl_group:[26,42],temporari:20,user:[136,65,24,14,59,63],class_graph:14,realm:14,chang:[145,126,83,139,24,14,151,78,123,157,113],overdesign:14,recent:[118,47,83,84,114,51,54,93,57,6,14,59,15,17,36,82,20,65,139,24,99,68,136,34,69,29,101,105,106,145,0,107,63,126,151,78,112,113],lower:[20,0,136,22,139,126,144,151],task:14,machineri:65,free_module_homspac:113,map_support_skip_non:20,entri:[],kashiwara:[52,93,21],forgetfulfunctor:63,pickl:[145,149,63],expens:14,sets_with_partial_map:[142,82,24,131],integermodmonoid:127,antipode_on_basi:[4,83,98],explan:[145,139],a_5:151,a_3:[52,136,126,91,93,3,151,21],primenumbers_inherit:[106,24],a_1:136,set_pythontyp:113,prompt:16,lazyimport:65,shape:[52,93,21,151],endofunct:20,combinat:[52,145,0,98,126,57,141,4,5,99,78,154,30,157,143,151],subsetalgebra:[5,99],hopf_algebra:[147,65],noncross:126,shortcut:[90,145,5],dixon:149,input:[118,47,144,83,119,101,4,5,49,52,6,8,9,55,10,95,129,56,93,131,57,89,94,14,58,59,15,21,17,63,97,20,16,65,22,132,66,139,24,99,141,136,34,69,30,70,103,105,145,0,74,36,149,126,151,78,75,87,112,157,113],tell:[145,59,149],mod:[75,127],bin:[8,99],extendedaffineweylgroup:99,stein:[113,145,63,6,121],format:14,abcdabcd:12,big:65,catalan:126,highwt:151,classicalcryst:93,characterist:[136,74,47,149,24,84,122],formal:[125,65,83,145,14,59,21,113],semi:[112,83,7],preimag:20,resolv:[136,65,22,24,14,15],finite_dimensional_coalgebras_with_basi:25,collect:[145,125,65,83,149,24,12,14,59,69,40,113,97],princip:[],"_mul_":[14,145,99],g_set:43,admittedli:[20,136,65],mpoli:136,compabl:55,two:[64,47,83,119,85,86,123,6,8,126,55,56,108,14,58,59,15,60,96,36,82,134,20,16,98,65,67,139,24,99,141,136,69,29,30,127,144,104,145,34,74,63,149,38,39,112,157,113],kac:21,bacd:60,myobject:145,often:[8,145,83,24,99,14,123],creation:[14,113,65],some:[],back:[145,147,65,83,139,24,99,84,5,50],emph:76,global:[24,14,15,65],understood:139,schemes_over_bas:81,unspecifi:151,ncol:136,endset:[20,65,32,59,16,138,70,113,6],surpris:[14,136,65],scale:[],ringrightid:134,poor_man_map:37,shall:[8,145,99,13,69,78,70,158],per:[118,82,3,84,5,123,8,9,55,56,93,21,18,36,52,153,98,65,22,67,24,101,127,143,144,106,145,34,72,74,151,78,154,112],substitut:14,mathemat:[8,136,145,65,83,66,149,24,12,99,14,40,69,49,129,70],larg:[105,14,112,65,29],register_axiom_categori:65,incompletesubquotientsemigroup:118,prod:[136,126,75,47,139,119,14,101,112],proc:52,r_with_categori:82,"_index_set_color":151,zzz:139,compute_coeffici:21,integral_domain:100,s12:139,laurentpolynomialfunctor:136,surject:[59,139],is_categori:145,step:[14,65],from_base_r:56,cyclotomicfield:6,automorph:[22,139,83,151],shorten:145,impos:[8,65,83,99,69,16],indexedfreegroup:83,faith:[14,126],integerwrapp:[106,24],is_mut:94,noncommutative_id:47,preclud:65,prove:145,partially_ordered_monoid:27,primenumbers_wrapper_with_categori:106,goodi:[95,157],"_test_an_el":[91,118,3,4,51,7,52,9,127,93,14,60,18,36,21,24,68,26,126,29,143,104,106,72,148,151,153,42],abstract_methods_of_class:151,principalidealdomainel:24,block:[14,136,149,65],ida:145,reduct:145,fulfil:14,echelon_form:20,"__repr__":136,primarili:91,digraph:[112,0,119,91,151],within:[14,125,145,65],you:[65,139,83,14,59,5,155],ensur:[14,145,133,139,106],"__func__":14,ann:93,naivecryst:91,kohel:[113,145,63,121],lext:139,inclus:[65,22,139,94,14,5,29,51],span:[94,20,136],modularabelianvarieti:32,spam:139,element_class:[106,145,72,10,142,24,57,68,14,4,153,30,143,51,7,151],bcad:60,question:[145,157],affinepermutationgroup:[0,126],"long":[0,65,139,24,126,149,14,59,21,30,112,36],custom:[145,10,7],arithmet:[136,145,126,14,5,157],includ:[8,20,145,65,22,83,24,84,14,136,7],"_pow_":[14,7],datastructur:[14,106],pg_unpickle_mpolynomialring_libsingular:113,maschk:[149,24,84],cdba:60,properli:[20,145,16,65],reorgan:[14,65],edge_label:112,sqrt2:15,"_latex_":151,finite_lattice_poset:119,decomposit:[149,15,103],link:[140,65],translat:[8,14,151,83,99],atom:93,line:[],foosbar:65,echeloniz:14,concaten:[18,65],additiveunit:[8,115,145,45,65,142,47,67,99,14,58,28,61,35,70,79,152],consist:[105,94,125,9,55,60,65,22,29,121,139,149,68,14,126,16,42,70,145,151],bialgebras_with_basi:2,caller:[14,24,65],"_power":47,myfield:65,plethysm:36,groupel:14,as_nam:65,covariant_functorial_construct:[84,101,48,49,50,89,8,73,129,12,95,58,61,135,20,65,24,66,67,99,69,29,30,70,32,121,145,147,38,110,40,78,28,112,157,158],highlight:[149,65],remaind:[132,74],similar:[115,136,145,35,65,139,14,28,29,69],coercion_revers:136,curv:[14,82],baba:[64,56],"r\u00f3nyai":149,constant:[20,82,126],smoothli:[14,65],euclidean_degre:[132,74],doesn:[106,76],lectur:23,finitelygeneratedsemigroup:112,failureexcept:14,incomplet:[118,65],chat:69,field:[],pg_hom:113,idempot:[52,145,126,118,65,99,149,60,123,103],parabol:[105,0,126],deodhar_lift_down:126,invalid:59,cayley_t:83,priori:[14,65],freealgebra_with_categori:143,retract:[20,9,118,24,121,94,101,112],eb89:149,nice:[14,145,36],nonzero:[47,80],draw:[155,151,24],affinespac:113,functorialconstruct:138,magmael:14,additivemonoid:[8,138,67,142,58,70,152],polynomialr:[136,149,117,74,75,139,76,84,14,15],william:[145,65,63,121,113,6],finiteenumeratedset:[145,9,107,24,12,48,126,78,29],weak_cov:126,weddeburn:150,elementmethod:[101,116,117,64,47,83,84,85,86,4,87,50,52,130,7,146,8,138,54,143,56,93,108,57,150,94,14,15,21,96,17,62,104,36,20,147,16,65,22,23,24,99,26,27,100,29,30,107,33,121,71,105,145,0,102,132,74,75,149,126,38,110,151,42,112,158,80,44],deserv:65,algorithm:[],reverse_iter:126,reiner:149,dvf:[],orbit:[75,139],notion:[22,139,16],functorialconstructioncategori:[70,69],delta:151,far:[105,136,145,127,65,14],fresh:78,finite_dimensional_algebra:65,hello:[78,7,118],dvr:[],manin_symbol_rep:125,dualiti:52,ep13b:139,code:[],partial:[],is_subcategori:[145,55,65,82,24,99,84,14,58,48,16,107,70,113,150],finite_field_prime_modn:113,summation_from_element_class_add:8,queri:14,coalgebraswithbasi:[50,87],gcd_domain:108,ellipt:[14,82],"__getattr__":7,element_constructor:139,edu:139,latex_fil:151,algebra_modul:133,cython:[],theorist:14,simon:[136,74,63,15,113,97],polyhedr:[],product_on_basi:[8,55,98,83,149,67,5,154,112,143],elsewher:[145,65],friendli:65,send:[20,131,139],peirce_summand:149,becam:125,is_identity_decomposition_into_orthogonal_idempot:[149,103],unital_algebra:[56,145],sens:[145,126,65,22,93,99,14,69,139],finitemonoid:[127,65,23,48,69,101],dynamicmetaclass:145,sent:[0,139],"_random_element_from_unrank":78,annoy:65,additiveabeliangroup:8,sage:[],interpol:30,category_of:[84,101,38,49,50,8,73,129,121,58,61,135,20,24,66,67,99,69,29,30,70,32,147,48,110,78,28,112],disast:82,finitelygeneratedasxxx:99,free_modul:[98,141,4,5,154,143],is_euclidean_domain:132,relev:[136,145,65,82,12,14,40,69,138],conjug:[20,0,126],tri:[14,136,145,99,65],z_3:136,magic:[14,65],complic:[14,31],pullback:145,gradedmodulescategori:[17,110,54,102,158],pleas:[138,145,126,10,65,24,99,101,143,7],repres:[45,83,84,5,8,126,57,13,94,14,59,36,20,24,99,141,101,70,104,106,145,72,149,153,157,113],smaller:[105,136,145,126,65,22,132,139],natur:[45,136,83,121,5,138,126,12,14,59,20,65,132,24,69,101,143,105,145,76,40,157,113],hardcod:[14,65],uniqu:[],"1587v1":52,fold:65,annihil:[94,149],blanklin:[47,83],actionendomorph:125,coxeter_knuth_neighbor:105,upper_cov:[22,126],append:65,victor:21,compat:[8,105,31,65,83,84,14,136,122,101,61,138,113],index:[83,30,4,5,52,8,53,126,55,56,21,36,20,98,65,24,141,69,29,101,143,0,31,149,151,78,154],weight_lattice_r:[93,151],compar:[106,145,65,22,139,24,101],q_dimens:21,feedback:133,affin:[],booleanlattic:[22,119],experiment:14,freegroup_class:83,counterexampl:14,cycle_typ:83,deduc:[14,58,59,65],can:[117,136,81,83,119,101,4,5,52,51,8,138,125,126,56,108,6,94,14,59,15,21,96,36,20,16,65,22,132,139,24,99,141,69,29,30,143,71,105,145,63,149,76,151,78,112,113,152],led:[14,65],is_finit:[24,48,65],despit:24,dcb:60,direct_product_of_group:83,len:[105,126,47,139,83,149,151,21,29,113],closur:[105,136,65],let:[52,20,145,126,60,83,65,75,139,24,149,94,14,136,4,21,157,6,78],debruijnsequ:78,right_modul:44,lex:[136,139],layout:[112,65],vertic:[52,105,145,0,91,139,149,126,112,103,151],sinc:[64,47,48,122,8,56,118,14,21,61,63,82,20,65,132,139,24,99,136,100,29,71,145,34,74,75,149,38,39,78,113,114],convert:[101,112,5],triangularmodulemorphismfromfunct:20,convers:[106,125,113,139,24,59,5,50,63,6],is_lattice_morph:[139,119],b_extra_super_categori:65,rdf:[136,145,59,149,142],earli:65,conjugacy_class:[83,84],typic:[105,145,34,31,65,143,24,99,94,14,126,69,16,29,122,157,113],gradedmodules_with_categori:158,degrevlex:[136,113],irreduc:[15,108,119,71],control:[14,65],florent:[20,114],diagonalmodulemorph:20,danger:14,thicklin:151,appli:[52,20,125,126,65,139,93,83,99,149,14,136,151,69,30,138,63,97],semidirect_product:83,trailing_term:20,submodul:[94,20,136],pf1:136,pf2:136,lower_cov:[22,126],deodhar_lift_up:126,scandal:126,besnier:59,fed:24,from:[],zip:136,chi:93,doubl:[136,59],upgrad:99,frog:139,next:[106,139,136,65,141,68,29,97],k1993:52,left_domain:125,regularcryst:[52,93],commut:[],sorting_word:126,sort:[115,118,46,47,2,83,120,4,5,88,100,123,7,8,54,11,121,94,14,58,16,17,61,97,19,52,65,22,139,99,25,126,69,101,147,143,104,145,35,75,149,151,78,87,79,158],racoon:14,reflection_to_coroot:0,babb:[64,56],acb:[118,154,60,29,123,18,143],"_call_":[125,59],sg4:101,parlanc:14,trail:20,depth:[52,151],billei:0,rare:65,sage_trac:47,mygroupalgebra_with_categori:4,account:[145,34],alik:14,retriev:[8,20,65,139,83,99],coset_repres:126,alia:[45,64,47,127,83,4,154,122,50,51,7,8,126,55,11,121,13,58,151,16,18,19,20,147,60,65,22,67,139,24,99,141,68,28,29,101,72,143,144,104,105,106,0,35,74,150,77,152,153,42,112,158,80],is_functor:63,acd:60,cambridg:21,cumbersom:65,annoi:14,obvious:7,morphimmethod:138,about:[138,145,31,65,113,66,139,24,94,14,69,49,129,157,63],frogn:139,abcd:[12,60,118],weaker:65,finitedimensionalalgebraswithbasi:[65,149,121,94,14,143,103],process:[155,65],bene:16,birational_rowmot:139,tab:139,categoryobject:[14,145,24,16],indecompos:149,heckemodul:76,"_test_enumerated_set_contain":[52,9,127,60,91,93,3,68,14,26,126,151,21,42,36,104],gcd:[],zpcr:136,cbda:60,shimozono:0,tableau:151,cardin:[9,60,91,83,149,42,24,126,139,84,68,14,0,21,29,155,93,36,78,151],acycl:[151,21],run:[0,1,2,3,4,6,7,8,9,10,11,108,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,37,38,40,42,44,45,46,47,114,49,50,51,52,138,54,55,56,57,58,60,61,62,36,64,65,66,67,68,70,71,72,73,74,75,76,78,79,80,81,82,83,84,85,87,88,90,91,92,93,94,95,96,99,100,101,102,103,104,106,107,48,110,111,112,113,115,116,117,118,119,120,121,122,123,124,126,127,128,129,130,131,132,135,137,139,142,143,144,145,146,147,148,149,150,151,152,153,157,158],variet:93,laurentseriesr:[77,33,116],instead:[136,84,114,123,8,138,126,93,14,59,16,63,20,65,139,24,29,101,105,145,149,42,113],bialgebraswithbasi:2,circular:[97,10],set_object_enumer:51,frac:[136,15],overridden:16,additiveinvers:[8,115,45,65,47,99,14,58,28,61,35,152],max_length:0,"_xbar":149,apply_simple_reflect:[104,126,42],as_id:139,semisimpl:[],notebook:[155,14],inst:145,redund:[138,145,65],modular_symbol_rep:125,cokernel:145,frog2:139,essenti:[126,141,78,65],bind:[95,7,65],correspond:[91,136,87,8,138,126,55,93,14,63,97,20,98,65,24,139,67,141,69,105,145,0,149,112,113],element:[],issu:[139,65],allow:[8,136,125,126,31,65,139,24,95,99,14,131,45,145,6,157],vertex_color:112,rowmot:139,lusztig_involut:93,highest_weight_vector:[52,151,91,21],an_inst:[145,10,65,140,86,43,133],finiteset:[14,145,24,48,65],routin:83,permutation_group:13,move:[20,126,31,74,14,151],cyclotomic_coset:75,"_an_element_":[113,24],supercategori:[14,24,65],partiallyorderedmonoid:27,bunch:[14,65,29],perfect:74,absolute_length:126,searchforest:126,abccba:55,coxetergroupalgebra:[30,126],infrastructur:[14,45,65],total:14,sage_getfil:14,therefor:[136,145,65,63,24,99,14,69,48,16,36],"_short_nam":89,f_extra_super_categori:65,forest:65,category_in_ambi:10,greater:[22,136,139,83,78],dab:[18,60,118],dac:60,python:[82,84,101,48,49,50,6,8,73,129,121,14,58,61,135,20,22,24,66,67,99,28,29,30,70,32,145,147,38,110,151,78,112,113],handi:8,"_make_weak_refer":59,mention:[14,145,65],"__pow__":14,successor:[22,0],rowmotion_orbit:139,subquotientscategori:[73,24,48,99,101,112],trac:[64,47,83,50,8,138,125,55,10,56,93,121,14,59,15,16,20,65,22,24,136,34,101,70,105,145,0,74,76,78,113],anyth:[113,145,24],edit:[112,65,21,84],tran:83,mangl:145,truth:[22,14,65],"_product_from_product_on_basis_multipli":[4,143],few:[14,65],homsets_with_categori:70,arxiv:[52,93,0,139],semilattic:139,combinatorialfreemoduleel:141,is_homogen:[17,54,141],combinatori:[],"static":[101,14,145,83,65],group_el:14,moretti:[112,84],our:[52,136,145,65,149,94,14,151,39,157,63],meth:126,sstposet:139,special:[],out:[20,145,65,139,24,99,14,136,5,157],variabl:[136,117,47,139,83,82,15,6],matrix:[],bag:14,influenc:[14,65],singular:136,bad:[60,65],isomorphicobjectoffiniteenumeratedset:9,stub:70,"_coerce_into_domain":63,highest_weight_cryst:21,suitabl:[151,15,65],rel:[33,14,24,136],lattic:[],determin:[136,145,0,65,23,47,74,139,141,14,59,15,113,103,151],thieri:[135,20,145,73,113,66,12,121,40,69,49,129,112,36,89],ref:113,frog1:139,matric:[136,145,20,47,94,14],semidirect:83,clarifi:16,random_el:[24,114,78,29],insid:112,manipul:[8,145,65,24,99,14],maintaint:65,coh1996:132,new_codomain:59,categorywithaxiom_over_base_r:[90,20,149,55,64,56,65,121,38,158,94,4,87,16,122,62,143,103],magma_gener:112,york:149,dictionari:[136,72,153,139,83,141,151,78],desingularis:93,r11:136,prime_rang:113,organ:14,shortest:126,"_test_invers":[126,26,42,112,36,104],transposit:[14,91,42],upper_bound:14,could:[136,145,91,65,83,47,37,121,14,58,69,42],phi32:59,ask:[14,15],abdc:60,david:[145,63,139,121,113,6],counterpart:24,length:[8,0,83,57,126,99,29,155,112,36],enforc:[14,145,24,20],psi1:59,psi2:59,random_element_of_length:126,geometri:8,"_list_from_iter":78,softwar:14,automaticsemigroup:112,themat:14,ker1991:36,infpoli:136,quantum_bruhat_successor:0,already_echelon:[94,20],"_deriv":15,lib:14,art:24,s3a:20,assert_:14,"5294v1":139,realization_of:[24,99],philosophi:14,bracket:[94,20,47],start:[20,126,65,139,14,155,112],finitefield:[145,107,74,65,24,76,84,16,63],"_test_distribut":[4,143],adjoint:149,perfectli:65,system:[126,65,149,24,14,59,151],messag:65,abcdefgh:78,attach:[14,65],multiplication_t:[14,83,99],zero_el:8,pg_:113,"final":[31,65,14,151,78,70],boil:65,prone:[16,65],algebramodul:[39,133],d1974:93,antipode_by_coercion:[4,147],fuzzi:16,weak_order_id:126,untwist:30,exactli:[105,20,126,136,139,65],fundamental_weight:[93,151],mechan:[14,138,24,78,50],matrixfunctor:136,finite_permutation_group:36,structur:[],charact:[52,93],is_lowest_weight:151,finite_dimensional_algebras_with_basi:[122,149],chararacterist:149,graded_modul:[17,110,54,102,158],threefold:29,discretevaluationfield:116,similarity_factor:151,julian:[132,74],cohen:132,maximal_el:105,deprec:[8,105,145,10,65,93,24,14,59,101,138,112,63,7],operation_t:83,"_hom_":113,ybar:47,joincategori:[145,65],one_el:101,ringel:24,close:[8,136,145,83,24,99,151,15,38,155],central_form:83,multi_polynomial_r:113,algebraleftid:39,central_orthogonal_idempot:[149,103],symmetricgroupalgebra:[20,149,83,99,101,143],smallest:[145,126,65,22,75,14,113],piecewis:139,abstract_method:[14,151,15,114],xre:112,"__or__":145,"_unrank_from_iter":[78,29],jacobson:[122,149],mix:[145,157,5],discret:[],atla:16,which:[101,117,64,47,83,119,84,86,5,49,130,7,8,125,126,55,59,10,129,56,12,144,94,14,58,40,16,63,82,134,20,153,98,65,22,67,66,139,24,99,141,136,34,69,29,30,127,70,91,121,105,106,145,0,72,74,148,36,149,37,76,38,39,27,78,154,112,157,113,158,152,151],conclud:[20,127,153,60,72,18,51],with_axiom_as_tupl:65,cdab:60,subject:[14,126,104],mit:139,singl:[],tffc:145,pyx:14,unless:[136,145,126,65,22,139,24,14,16,29,122],clash:65,mimick:65,"28ring_theori":94,discov:[14,6,65],triangular:20,"_test_additive_associ":[143,4,72,153],zbar:47,graded_hopf_algebras_with_basi:110,comparison:[20,145,126,65,22,139,5],phd:0,why:[14,93,16,136],pushout:[136,145],acbcba:154,urg:65,laurent:136,heckemonoid:149,dens:[94,136,47,72,153],summand_split:24,gather:[14,65],request:[8,136,145,113,99],inde:[45,83,85,86,49,52,138,55,129,93,108,57,14,15,16,96,136,60,65,66,24,99,29,70,103,145,0,149,38,21,78,112,113],univari:[8,20,125,139,59,10,65,113,74,83,76,39,136,4,15,145,156,133,63,6],radical_basi:[122,149],xavier:6,fact:[83,32,8,14,58,16,136,65,24,139,67,99,28,29,70,105,145,34,31,149,48,69,112,157],is_inject:59,texlbl:151,zpfm:136,"_super_categori":145,dbc:60,verbos:[91,118,3,4,51,7,52,9,127,93,14,60,18,36,21,24,68,26,126,143,104,106,72,148,151,153,42],construction_tow:136,elif:20,fpsac:[52,139],bring:65,"_base_category_class":[84,30,38,49,50,8,73,129,121,58,61,135,20,24,66,67,99,28,29,101,70,32,147,48,110,78,112],finitesemigroup:[65,14,60,29,155,123,112],cover_rel:[94,105,126,139,119],finitelygener:[123,99],edge_s:112,trivial:[0,65,118,24,149,94,14,69],anywai:[136,145,65],homomorph:[63,24,76,16,113],poormanmap:37,dual_spac:16,leading_term:20,locat:[83,65],diamondposet:139,print:[105,20,145,126,65,24,141,14,59,15,78,151],"_test_has_desc":[26,104,126,42],forev:139,should:[136,47,83,84,85,86,114,123,52,7,8,138,126,55,10,56,93,121,57,13,14,21,62,63,82,97,20,16,65,139,24,140,99,69,29,105,145,0,31,36,38,39,151,78,75,155,43,112,157,113,158],distributivemagmasandadditivemagma:[45,28,65],won:[65,139,29],suppos:[151,65,29],congratul:65,cores_length_with_categori:57,bindable_class:[95,5],left_base_r:86,local:[52,145,91,95,65,14,16,70,157],hopf:[],hope:136,meant:[145,45],is_parent_of:[34,24],"_internal_coerce_map_from":6,abbc:154,completediscretevaluationfield:33,assaf08:52,algebrafunctor:89,familiar:[14,65],simplest:20,nested_class_test:14,perfectmatch:145,joint:30,vectorfunctor:136,notimpl:[145,139,119,57,48,50,144],is_chain_of_poset:22,increas:[136,145,126,151,65],spur:65,lucki:14,precision_absolut:33,"_test_homsets_categori":70,haiman:0,y_3:136,debruijn_sequ:78,"_repr_object_names_stat":65,stuff:65,integr:[],partit:[52,126,31,149,139,57,141,78,17,36],contain:[118,82,119,5,7,126,121,94,14,59,97,20,65,22,139,136,103,105,145,75,149,151,113],withgrad:31,view:[136,31,65,148,14,151],additive_magma:[8,142,70],moduli:136,legaci:151,modulo:[20,149,127,10,136,23,139,24,16,101,112,36,134],sampl:145,setswithpartialmap:[],apply_simple_reflection_left:126,knowledg:14,withseveralbas:[145,157],freecommutativeadditivesemigroup:[72,153],commutative_with_categori:145,endomorph:[136,125,65,16,70,113,6],modulu:136,piter:139,bbab:[64,56],braid:[93,126],twosid:[105,47,112],correctli:139,pattern:[14,82,151],picklabl:[145,16],natural_map:113,favor:14,state:[93,65,139,14,59,29],"__bases__":[14,145],regular_cryst:[52,93],progress:[14,65],neither:[69,149,55,121],conjugacy_classes_repres:[83,84],induc:[8,20,98,136,67,24,69,112,63],kei:[46,47,2,83,120,101,4,87,88,100,54,55,11,121,94,14,16,17,97,19,65,139,25,69,30,147,141,143,145,35,149,151,78,154,5,158],amen:65,maximal_ord:15,demazure_charact:93,finitedimensional_with_categori:[145,55,65,56,38,158,16,122,103],realizationscategori:[50,24,147,99,95],semirng:[],unnot:65,amer:0,embed:[136,145,10,56,139,24,38,14,59,63],addit:[],pyrexifi:63,aquo:103,morphism_class:145,category_sort_kei:97,covariantconstructioncategori:[84,101,48,49,50,89,8,73,129,12,58,61,135,20,65,24,66,67,99,69,29,30,70,32,121,147,38,110,40,78,28,112],equal:[8,136,126,65,83,24,99,113,15,21,5,63],module_morph:[94,20],etc:[],admit:[8,20,145,65,136,24,99,94,14,58,101,70,157,152],instanc:[],num_edg:[112,126],equat:[94,149],littelmann:[52,151],cartesianproduct:[8,20,145,69,65,67,47,24,12,38,121,14,28,99,78,29,101,61,112,143,83],integermodmonoid_with_categori:101,comment:[125,65,83,58,143,7],guidelin:24,is_prim:[106,24],solv:[149,78],respect:[52,20,145,0,69,65,83,56,139,24,119,149,14,136,126,5,15,70,151],mydivisionr:65,torsion:94,dummy_arg:78,quit:[4,24,65],category_from_par:69,cbd:60,addition:31,decent:126,compos:[14,136,59,63,65],compon:[20,31,136,93,141,77,21,17],"int":[20,34,136,24,29,113],accept:[14,82,13],besid:[14,65],matrix_gp:14,pieri_factor:0,long_el:[105,104,0,126,42],immedi:[145,65,22,13,14,144],dedekinddomainel:24,mike:149,bit:[],primenumbers_inherits_with_categori:[106,24],upcom:[],presenc:[101,65],bdca:60,with_basi:[94,20],"_test_pickl":[91,118,3,4,51,7,52,9,127,93,14,60,18,36,21,24,68,26,126,143,104,106,72,148,151,153,42],deodhar_factor_el:126,x_2:136,resort:[70,84],fundament:[145,24,14,151,5,157],finitefield_prime_modn:113,present:34,statist:0,divisionr:[14,47,150,65],quasisymmetricfunct:[24,16],commutative_algebra_id:156,connecting_set:[112,84],a_real:[8,24,101,5,99],plain:[105,106,24,99,14,17,113],uncamelcas:65,from_reduced_word:[105,93,0,126,57],base_schem:81,is_spars:136,rectangular:139,defin:[],"_axiom":65,sebastien:59,wrapped_class:[127,51],inner_product_matrix:[136,113],observ:151,pentagonposet:139,rndd:136,helper:[24,97],demo:126,triangularmodulemorph:20,wut2:139,zeitschrift:0,site:14,additivegroup:[61,58,70,152],semifield:139,tropicalsemir:139,precomposedact:125,motiv:14,dual:[],submonoid:[101,66,112],fiddl:24,revis:[135,20,73,129,66,12,121,40,69,114,49,89],scienc:[],bda:60,uniti:[30,75,113],highestweightcryst:[151,21],welcom:[14,145,133,24,65],insight:[8,99],access:[145,65,139,14,5,16],elementwrapp:[106,72,153,91,118,14,60,42,127,18,51,104],handl:[],largest:[22,14,69,65],unital_magma:[8,99],schill:0,backtrac:[21,65],fieldel:74,competit:82,phi:[52,20,94,59,113,6,151],http:[8,138,139,47,93,121,140,27,96,101,122],again:[14,139,63,12,65],expans:[136,5],upon:[],effect:[8,136,145,139,14,151,97],new_domain:59,"348f42ae77a66d16":121,bruhat_upper_cov:[105,0,126],order_ideal_gener:139,all_axiom:[97,65],demazure_product:126,devel:121,leftzero:[112,99],cyclicpermutationgroup:[36,24,99,83,75],keep:[136,125,106,65,14,59,143],pushforward:6,off:[136,130],center:[20,149,83,99,94,14,103],nevertheless:65,well:[52,136,145,54,65,82,139,24,95,14,126,15,69,113,158],trailing_monomi:20,joincategory_with_categori:[14,145,69,65],choos:[52,126,65,24,83,151],undefin:[139,74],polya:36,"_test_rel":30,usual:[91,47,8,126,14,59,15,63,82,136,65,22,132,139,24,140,99,30,145,31,40,42,113,151],unari:20,taller:151,distanc:139,less:[14,112,139,24,99],"boolean":[105,20,145,126,65,22,139,24,119,16,30,112,113],tcu:145,obtain:[52,20,145,0,118,59,65,101,93,24,126,139,149,14,136,54,69,30,123,7],rlist:136,category_over_bas:[145,10,81,140,32,95,43],tcf:145,simultan:[145,129,66,99,14,49,30],systemat:[72,153,65,82,158,14,60,127,18,51],kwd:[136,145,138,83,47,24,59,15,101,112,151],leftzerosemigroupel:7,web:139,foo:[84,101,48,49,50,150,8,73,129,121,14,58,61,135,20,65,24,66,67,99,28,29,30,70,32,147,38,110,78,112],omit:39,infiniteenumeratedset:[68,24,114,29],exempl:104,add:[47,6,8,126,14,57,94,95,16,36,97,65,24,69,145,149,39,151,155,112,113,158],valid:136,adb:60,adc:60,bool:47,subcategory_class:[82,145],gmp:14,"_test_reduced_word":[26,104,126,42],match:[94,14,136,69,65],cached_method:65,morphim:145,mypar:145,thicker:151,piec:[14,141,16,65],arguabl:65,realiz:[],five:151,know:[106,45,24,99,14,69,29],press:21,fr85:149,gradedpartitionmodul:141,recurs:[105,136,145,126,65,149,99,14],method_provid:145,python2:14,dualfunctor:135,insert:[],like:[145,126,98,65,83,82,139,24,95,141,94,14,59,69,61,89],lost:65,completediscretevaluationr:33,q15:136,necessari:20,have:[],page:[53,0,139],npoint:14,center_basi:[94,149,83],"export":151,superclass:[14,145],convex:8,proper:[14,145,149,83,151],guarante:[145,91,65,108,14,21],peter:52,as_field:136,librari:[],tmp:151,antichainposet:139,bruhat_lequ:126,lead:[8,20,65,83,139,24,99,14,136],"__contains__":[145,34,82,24,14,113],leak:[125,113],required_method:[14,145],antipod:[20,4,83,147,98],cayley_graph_dis:84,commutativeringel:24,leav:65,settl:145,summand:[17,136,54,143,149],j_classes_of_idempot:123,speak:[145,65],leader:75,encourag:126,investig:24,finitecoxetergroup:[105,14,126,104],"_group":[87,98],order_id:[22,139],journal:93,usag:[],dca:60,although:[105,139],dct:139,skelet:139,stage:14,katalin:149,groups_with_categori:65,actual:[20,145,34,78,65,83,82,139,24,95,99,14,136,126,16,157],testsuit:[0,1,2,3,4,6,7,8,9,10,11,108,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,37,38,40,42,44,45,46,47,114,49,50,51,52,138,54,55,56,57,58,60,61,62,36,64,65,66,67,68,70,71,72,73,74,75,76,78,79,80,81,82,83,84,85,87,88,90,91,92,93,94,95,96,99,100,101,102,103,104,106,107,48,110,111,112,113,115,116,117,118,119,120,121,122,123,124,126,127,128,129,130,131,132,135,137,139,142,143,144,145,146,147,148,149,150,151,152,153,155,157,158],column:[8,94,83,99],stongli:113,commutativealgebra:[90,121],abab:[64,56],constructor:[136,65,139,24,14,151,15,155,112,113],explicit:[20,145,136,93,99,65],homogeneous_degre:54,"_cardinality_from_list":78,own:[145,74,83,65,24,14,78,70],homsetsof_with_categori:70,automat:[145,91,65,22,47,24,12,141,14,40,69,123,157],thinkabl:14,diagon:[30,20,149],ring_id:134,weyl:[],partitionalgebra:55,conwai:136,algebrarightid:39,mere:[145,65],cabd:60,merg:136,pictur:151,assumpt:[145,10,65,113,24,94,63],"_next_from_iter":29,rotat:0,yre:112,"_reduct":145,inner:[94,14,136,65],"var":[14,77,136],stai:14,jason:20,favorit:65,"function":[],interest:[14,139,24,20],bookshelv:[14,65],subsum:136,euclidean_domain:132,summand_project:24,keyerror:139,neutral:[8,112,99],gain:65,bookshelf:14,eas:24,highest:[],bug:[63,16],count:[126,149,24,14,15,78,36],succe:65,made:[14,125,138,145,65],whether:[136,47,119,52,51,8,125,54,57,14,59,15,17,63,82,20,65,22,139,24,99,34,69,29,101,71,145,0,74,149,126,38,151,113],wish:136,dihedralgroup:[105,126,75,149,83,140,122,112,104],smooth:121,displai:[8,112,151,145,99],upper:[20,126,65,22,139,151,144],below:[136,125,126,16,65,81,24,145,78],limit:[14,145,21,16,65],otherwis:[136,82,84,4,87,52,8,126,14,59,21,17,20,65,22,139,141,29,101,70,145,74,151,113],problem:[14,125,149,65],reciproc:[8,145,65,149,99,14,150],print_compar:24,pin:23,wedderburn:[14,65],dure:[106,145,113,78,65],filenam:151,meaningless:65,doc:[14,63,15,113],twist:[151,65],min_demazure_product_great:126,implement:[],permutationgroupel:136,permutohedron:126,inf:151,eric:23,probabl:[65,24,69,78,29,158],mutual:145,set_gener:113,nonetheless:113,detail:[8,20,145,126,10,65,83,101,93,24,99,13,14,59,15,30,69,112,157,138],longer:14,old:[14,139,113],other:[],lookup:[155,78],futur:[145,126,65,149,139,151,61],rememb:65,varieti:[],theor:52,primenumbers_wrapp:106,weak_l:126,quotient_field:15,identityfunctor:63,freshexampl:78,repeat:[14,145,29],polymorph:14,"class":[],semir:[115,145,45,65,47,139,14,28,16,82],pov3:145,symplect:0,involut:[93,126,139],test_rectangle_periodicity_trop:139,semirings_with_categori:65,extra_:65,"_test_eq":[91,118,3,4,51,7,52,9,127,93,14,60,18,36,21,24,68,26,126,143,104,106,72,148,151,153,42],nrow:136,"_repr_":[30,14,145,149,65],bcd:60,suit:[91,118,3,4,51,7,52,9,127,93,14,60,18,36,21,24,68,26,126,143,104,106,72,148,151,153,42],has_right_desc:[104,126,42],indirectli:69,extran:[150,65],algebraicextensionfunctor:136,submodulewithbasi:20,parent_class:[145,10,47,24,14,16,113,51],portion:[83,21],auxiliari:[136,145,59,97],magmat:[8,145,55,16,65],invari:149,noncommutativesymmetricfunct:[50,54,147],"_test_el":[91,118,3,4,51,7,52,9,127,93,14,60,18,36,21,24,68,26,126,143,104,106,72,148,151,153,42],polyhedralset:142},objtypes:{"0":"py:module","1":"py:method","2":"py:class","3":"py:attribute","4":"py:classmethod","5":"py:function","6":"py:data","7":"py:staticmethod","8":"py:exception"},objnames:{"0":["py","module","Python module"],"1":["py","method","Python method"],"2":["py","class","Python class"],"3":["py","attribute","Python attribute"],"4":["py","classmethod","Python class method"],"5":["py","function","Python function"],"6":["py","data","Python data"],"7":["py","staticmethod","Python static method"],"8":["py","exception","Python exception"]},filenames:["sage/categories/weyl_groups","sage/categories/graded_coalgebras","sage/categories/bialgebras_with_basis","sage/categories/finite_crystals","sage/categories/hopf_algebras_with_basis","sage/categories/examples/with_realizations","sage/categories/morphism","sage/categories/examples/semigroups_cython","sage/categories/additive_magmas","sage/categories/examples/finite_enumerated_sets","sage/categories/category_types","sage/categories/monoid_algebras","sage/categories/cartesian_product","sage/categories/permutation_groups","sage/categories/primer","sage/categories/quotient_fields","sage/categories/modules","sage/categories/graded_modules_with_basis","sage/categories/examples/monoids","sage/categories/group_algebras","sage/categories/modules_with_basis","sage/categories/highest_weight_crystals","sage/categories/posets","sage/categories/finite_monoids","sage/categories/sets_cat","sage/categories/finite_dimensional_coalgebras_with_basis","sage/categories/finite_weyl_groups","sage/categories/partially_ordered_monoids","sage/categories/distributive_magmas_and_additive_magmas","sage/categories/enumerated_sets","sage/categories/coxeter_group_algebras","sage/categories/sets_with_grading","sage/categories/modular_abelian_varieties","sage/categories/complete_discrete_valuation","sage/categories/facade_sets","sage/categories/rngs","sage/categories/finite_permutation_groups","sage/categories/poor_man_map","sage/categories/vector_spaces","sage/categories/algebra_ideals","sage/categories/tensor","sage/categories/commutative_ring_ideals","sage/categories/examples/finite_weyl_groups","sage/categories/g_sets","sage/categories/right_modules","sage/categories/magmas_and_additive_magmas","sage/categories/finite_dimensional_bialgebras_with_basis","sage/categories/rings","sage/categories/finite_sets","sage/categories/isomorphic_objects","sage/categories/coalgebras","sage/categories/examples/posets","sage/categories/regular_crystals","index","sage/categories/graded_algebras_with_basis","sage/categories/magmatic_algebras","sage/categories/unital_algebras","sage/categories/affine_weyl_groups","sage/categories/additive_monoids","sage/categories/map","sage/categories/examples/finite_semigroups","sage/categories/commutative_additive_groups","sage/categories/finite_dimensional_hopf_algebras_with_basis","sage/categories/functor","sage/categories/associative_algebras","sage/categories/category_with_axiom","sage/categories/subobjects","sage/categories/additive_semigroups","sage/categories/examples/infinite_enumerated_sets","sage/categories/covariant_functorial_construction","sage/categories/homsets","sage/categories/unique_factorization_domains","sage/categories/examples/commutative_additive_semigroups","sage/categories/subquotients","sage/categories/fields","sage/categories/commutative_rings","sage/categories/hecke_modules","sage/categories/examples/sets_with_grading","sage/categories/finite_enumerated_sets","sage/categories/commutative_additive_monoids","sage/categories/domains","sage/categories/schemes","sage/categories/category_singleton","sage/categories/groups","sage/categories/finite_groups","sage/categories/bialgebras","sage/categories/bimodules","sage/categories/coalgebras_with_basis","sage/categories/commutative_additive_semigroups","sage/categories/algebra_functor","sage/categories/commutative_algebras","sage/categories/examples/crystals","sage/categories/graded_coalgebras_with_basis","sage/categories/classical_crystals","sage/categories/finite_dimensional_modules_with_basis","sage/categories/realizations","sage/categories/principal_ideal_domains","sage/categories/category_cy_helper","sage/categories/examples/hopf_algebras_with_basis","sage/categories/magmas","sage/categories/integral_domains","sage/categories/monoids","sage/categories/graded_algebras","sage/categories/finite_dimensional_semisimple_algebras_with_basis","sage/categories/examples/finite_coxeter_groups","sage/categories/finite_coxeter_groups","sage/categories/examples/sets_cat","sage/categories/finite_fields","sage/categories/gcd_domains","sage/categories/examples/coxeter_groups","sage/categories/graded_hopf_algebras_with_basis","sage/categories/graded_bialgebras","sage/categories/semigroups","sage/categories/homset","sage/categories/infinite_enumerated_sets","sage/categories/semirings","sage/categories/discrete_valuation","sage/categories/number_fields","sage/categories/examples/semigroups","sage/categories/finite_lattice_posets","sage/categories/graded_bialgebras_with_basis","sage/categories/algebras","sage/categories/semisimple_algebras","sage/categories/finite_semigroups","sage/categories/pointed_sets","sage/categories/action","sage/categories/coxeter_groups","sage/categories/examples/finite_monoids","sage/categories/matrix_algebras","sage/categories/quotients","sage/categories/function_fields","sage/categories/sets_with_partial_maps","sage/categories/euclidean_domains","sage/categories/algebra_modules","sage/categories/ring_ideals","sage/categories/dual","sage/categories/pushout","sage/categories/graded_hopf_algebras","sage/categories/objects","sage/categories/finite_posets","sage/categories/groupoid","sage/categories/examples/graded_modules_with_basis","sage/categories/polyhedra","sage/categories/algebras_with_basis","sage/categories/lattice_posets","sage/categories/category","sage/categories/left_modules","sage/categories/hopf_algebras","sage/categories/examples/facade_sets","sage/categories/finite_dimensional_algebras_with_basis","sage/categories/division_rings","sage/categories/crystals","sage/categories/additive_groups","sage/categories/examples/commutative_additive_monoids","sage/categories/examples/algebras_with_basis","sage/categories/tutorial","sage/categories/commutative_algebra_ideals","sage/categories/with_realizations","sage/categories/graded_modules"],titles:["Weyl Groups","Graded Coalgebras","Bialgebras with basis","Finite Crystals","Hopf algebras with basis","Examples of parents endowed with multiple realizations","Morphisms","Examples of semigroups in cython","Additive Magmas","Examples of finite enumerated sets","Specific category classes","Monoid algebras","Cartesian Product Functorial Construction","Permutation groups","Elements, parents, and categories in Sage: a (draft of) primer","Quotient fields","Modules","Graded modules with basis","Examples of monoids","Group Algebras","Modules With Basis","Highest Weight Crystals","Posets","Finite Monoids","Sets","Finite dimensional coalgebras with basis","Finite Weyl Groups","Partially ordered monoids","Distributive Magmas and Additive Magmas","Enumerated Sets","Coxeter Group Algebras","Sets With a Grading","Modular abelian varieties","Complete Discrete Valuation Rings (CDVR) and Fields (CDVF)","Facade Sets","Rngs","Finite Permutation Groups","Poor Man’s map","Vector Spaces","AlgebraIdeals","Tensor Product Functorial Construction","Commutative ring ideals","Examples of finite Weyl groups","G-Sets","Right modules","Magmas and Additive Magmas","Finite dimensional bialgebras with basis","Rings","Finite sets","Isomorphic Objects Functorial Construction","Coalgebras","Examples of posets","Regular Crystals","Category Theory","Graded algebras with basis","Non-unital non-associative algebras","Unital algebras","Affine Weyl Groups","Additive monoids","Base class for maps","Examples of finite semigroups","Commutative additive groups","Finite dimensional Hopf algebras with basis","Functors","Associative algebras","Axioms","Subobjects Functorial Construction","Additive semigroups","Examples of infinite enumerated sets","Covariant Functorial Constructions","Homset categories","Unique factorization domains","Examples of commutative additive semigroups","Subquotient Functorial Construction","Fields","Commutative rings","Hecke modules","Example of a set with grading","Finite Enumerated Sets","Commutative additive monoids","Domains","Schemes","Singleton categories","Groups","FiniteGroups","Bialgebras","Bimodules","Coalgebras with basis","Commutative additive semigroups","Algebra Functorial Construction","Commutative algebras","Example of a crystal","Graded coalgebras with basis","Classical Crystals","Finite dimensional modules with basis","Realizations Covariant Functorial Construction","Principal ideal domains","Fast functions for the category framework","Examples of algebras with basis","Magmas","Integral domains","Monoids","Graded Algebras","Finite dimensional semisimple algebras with basis","Examples of finite Coxeter groups","Finite Coxeter Groups","Examples of sets","Finite Fields","Gcd domains","Examples of Coxeter groups","Graded Hopf algebras with basis","Graded bialgebras","Semigroups","Homsets","Infinite Enumerated Sets","Semirngs","Discrete Valuation Rings (DVR) and Fields (DVF)","Number fields","Examples of semigroups","Finite lattice posets","Graded bialgebras with basis","Algebras","Semisimple Algebras","Finite semigroups","Pointed sets","Group, ring, etc. actions on objects.","Coxeter Groups","Examples of finite monoids","Matrix algebras","Quotients Functorial Construction","Function fields","SetsWithPartialMaps","Euclidean domains","Algebra modules","Ring ideals","Dual functorial construction","Coercion via Construction Functors","Graded Hopf algebras","Objects","Finite posets","Groupoid","Examples of graded modules with basis","Polyhedral subsets of free ZZ, QQ or RR-modules.","Algebras With Basis","Lattice posets","Categories","Left modules","Hopf algebras","Example of facade set","Finite dimensional algebras with basis","Division rings","Crystals","Additive groups","Examples of commutative additive monoids","Examples of algebras with basis","Implementing a new parent: a (draft of) tutorial","Commutative algebra ideals","With Realizations Covariant Functorial Construction","Graded modules"],objects:{"sage.categories.additive_monoids.AdditiveMonoids.ParentMethods":{sum:[58,1,1,""]},"sage.categories.examples.monoids.FreeMonoid":{one:[18,1,1,""],monoid_generators:[18,1,1,""],Element:[18,2,1,""]},"sage.categories.sets_cat.Sets.Infinite.ParentMethods":{is_empty:[24,1,1,""],cardinality:[24,1,1,""],is_finite:[24,1,1,""]},"sage.categories.finite_dimensional_algebras_with_basis.FiniteDimensionalAlgebrasWithBasis.ParentMethods":{peirce_decomposition:[149,1,1,""],cartan_invariants_matrix:[149,1,1,""],center:[149,1,1,""],radical:[149,1,1,""],is_identity_decomposition_into_orthogonal_idempotents:[149,1,1,""],orthogonal_idempotents_central_mod_radical:[149,1,1,""],semisimple_quotient:[149,1,1,""],radical_basis:[149,1,1,""],peirce_summand:[149,1,1,""],idempotent_lift:[149,1,1,""],principal_ideal:[149,1,1,""],center_basis:[149,1,1,""],isotypic_projective_modules:[149,1,1,""]},"sage.categories.examples.commutative_additive_monoids":{Example:[153,3,1,""],FreeCommutativeAdditiveMonoid:[153,2,1,""]},"sage.categories.modules_with_basis":{ModulesWithBasis:[20,2,1,""]},"sage.categories.homsets":{HomsetsCategory:[70,2,1,""],Homsets:[70,2,1,""],HomsetsOf:[70,2,1,""]},"sage.categories.matrix_algebras.MatrixAlgebras":{super_categories:[128,1,1,""]},"sage.categories.pushout.InfinitePolynomialFunctor":{merge:[136,1,1,""],expand:[136,1,1,""]},"sage.categories.cartesian_product.CartesianProductsCategory":{base_ring:[12,1,1,""],CartesianProducts:[12,1,1,""]},"sage.categories.algebras.Algebras.CartesianProducts":{extra_super_categories:[121,1,1,""]},"sage.categories.sets_with_partial_maps":{SetsWithPartialMaps:[131,2,1,""]},"sage.categories.modular_abelian_varieties.ModularAbelianVarieties.Homsets":{Endset:[32,2,1,""]},"sage.categories.left_modules":{LeftModules:[146,2,1,""]},"sage.categories.coalgebras.Coalgebras.TensorProducts":{extra_super_categories:[50,1,1,""],ElementMethods:[50,2,1,""],ParentMethods:[50,2,1,""]},"sage.categories.sets_cat.Sets.ElementMethods":{cartesian_product:[24,1,1,""]},"sage.categories.modules_with_basis.ModulesWithBasis.CartesianProducts":{extra_super_categories:[20,1,1,""],ParentMethods:[20,2,1,""]},"sage.categories.magmatic_algebras.MagmaticAlgebras.WithBasis":{ParentMethods:[55,2,1,""]},"sage.categories.finite_groups.FiniteGroups.Algebras":{extra_super_categories:[84,1,1,""]},"sage.categories.commutative_algebra_ideals.CommutativeAlgebraIdeals":{super_categories:[156,1,1,""],algebra:[156,1,1,""]},"sage.categories.category_with_axiom.TestObjects":{super_categories:[65,1,1,""],FiniteDimensional:[65,2,1,""],Commutative:[65,2,1,""],Unital:[65,2,1,""]},"sage.categories.examples.graded_modules_with_basis.GradedPartitionModule":{degree_on_basis:[141,1,1,""],basis:[141,1,1,""]},"sage.categories.principal_ideal_domains":{PrincipalIdealDomains:[96,2,1,""]},"sage.categories.algebras.Algebras.Quotients.ParentMethods":{algebra_generators:[121,1,1,""]},"sage.categories.pushout.QuotientFunctor":{merge:[136,1,1,""]},"sage.categories.sets_cat.Sets.Subquotients":{ElementMethods:[24,2,1,""],ParentMethods:[24,2,1,""]},"sage.categories.additive_monoids":{AdditiveMonoids:[58,2,1,""]},"sage.categories.finite_lattice_posets.FiniteLatticePosets":{ParentMethods:[119,2,1,""]},"sage.categories.number_fields":{NumberFields:[117,2,1,""]},"sage.categories.modules_with_basis.ModulesWithBasis":{ElementMethods:[20,2,1,""],Graded:[20,3,1,""],is_abelian:[20,1,1,""],FiniteDimensional:[20,3,1,""],ParentMethods:[20,2,1,""],TensorProducts:[20,2,1,""],CartesianProducts:[20,2,1,""],MorphismMethods:[20,2,1,""],Homsets:[20,2,1,""],DualObjects:[20,2,1,""]},"sage.categories.finite_enumerated_sets.FiniteEnumeratedSets.IsomorphicObjects":{example:[78,1,1,""],ParentMethods:[78,2,1,""]},"sage.categories.coalgebras_with_basis.CoalgebrasWithBasis.ParentMethods":{counit_on_basis:[87,1,1,""],coproduct:[87,1,1,""],coproduct_on_basis:[87,1,1,""],counit:[87,1,1,""]},"sage.categories.sets_cat.Sets.Subquotients.ParentMethods":{retract:[24,1,1,""],lift:[24,1,1,""],ambient:[24,1,1,""]},"sage.categories.weyl_groups.WeylGroups.ElementMethods":{reflection_to_coroot:[0,1,1,""],stanley_symmetric_function_as_polynomial:[0,1,1,""],bruhat_upper_covers_coroots:[0,1,1,""],left_pieri_factorizations:[0,1,1,""],stanley_symmetric_function:[0,1,1,""],is_pieri_factor:[0,1,1,""],quantum_bruhat_successors:[0,1,1,""],reflection_to_root:[0,1,1,""],inversion_arrangement:[0,1,1,""],inversions:[0,1,1,""],bruhat_lower_covers_coroots:[0,1,1,""]},"sage.categories.highest_weight_crystals.HighestWeightCrystals.ParentMethods":{highest_weight_vectors:[21,1,1,""],highest_weight_vector:[21,1,1,""],q_dimension:[21,1,1,""],lowest_weight_vectors:[21,1,1,""]},"sage.categories.pushout.ConstructionFunctor":{merge:[136,1,1,""],pushout:[136,1,1,""],expand:[136,1,1,""],commutes:[136,1,1,""]},"sage.categories.examples.sets_cat":{PrimeNumbers:[106,2,1,""],PrimeNumbers_Inherits:[106,2,1,""],PrimeNumbers_Facade:[106,2,1,""],PrimeNumbers_Wrapper:[106,2,1,""],PrimeNumbers_Abstract:[106,2,1,""]},"sage.categories.gcd_domains.GcdDomains":{super_categories:[108,1,1,""],additional_structure:[108,1,1,""],ElementMethods:[108,2,1,""],ParentMethods:[108,2,1,""]},"sage.categories.covariant_functorial_construction":{FunctorialConstructionCategory:[69,2,1,""],RegressiveCovariantConstructionCategory:[69,2,1,""],CovariantConstructionCategory:[69,2,1,""],CovariantFunctorialConstruction:[69,2,1,""]},"sage.categories.graded_algebras_with_basis.GradedAlgebrasWithBasis":{ElementMethods:[54,2,1,""],ParentMethods:[54,2,1,""]},"sage.categories.algebra_ideals":{AlgebraIdeals:[39,2,1,""]},"sage.categories.discrete_valuation":{DiscreteValuationRings:[116,2,1,""],DiscreteValuationFields:[116,2,1,""]},"sage.categories.finite_groups.FiniteGroups.ParentMethods":{cayley_graph_disabled:[84,1,1,""],conjugacy_classes_representatives:[84,1,1,""],monoid_generators:[84,1,1,""],conjugacy_classes:[84,1,1,""],semigroup_generators:[84,1,1,""],some_elements:[84,1,1,""],cardinality:[84,1,1,""]},"sage.categories.coalgebras.Coalgebras.Realizations.ParentMethods":{coproduct_by_coercion:[50,1,1,""]},"sage.categories.unital_algebras.UnitalAlgebras.WithBasis.ParentMethods":{from_base_ring:[56,1,1,""],from_base_ring_from_one_basis:[56,1,1,""],one_from_one_basis:[56,1,1,""],one_basis:[56,1,1,""],one:[56,1,1,""]},"sage.categories.finite_dimensional_semisimple_algebras_with_basis.FiniteDimensionalSemisimpleAlgebrasWithBasis.Commutative.ParentMethods":{central_orthogonal_idempotents:[103,1,1,""]},"sage.categories.coxeter_groups.CoxeterGroups.ElementMethods":{reduced_words:[126,1,1,""],apply_simple_reflections:[126,1,1,""],is_grassmannian:[126,1,1,""],min_demazure_product_greater:[126,1,1,""],weak_le:[126,1,1,""],bruhat_upper_covers_reflections:[126,1,1,""],apply_demazure_product:[126,1,1,""],coxeter_sorting_word:[126,1,1,""],lower_covers:[126,1,1,""],bruhat_lower_covers:[126,1,1,""],first_descent:[126,1,1,""],left_inversions_as_reflections:[126,1,1,""],reduced_word:[126,1,1,""],is_coxeter_sortable:[126,1,1,""],has_descent:[126,1,1,""],descents:[126,1,1,""],absolute_length:[126,1,1,""],bruhat_le:[126,1,1,""],inverse:[126,1,1,""],inversions_as_reflections:[126,1,1,""],weak_covers:[126,1,1,""],coset_representative:[126,1,1,""],lower_cover_reflections:[126,1,1,""],canonical_matrix:[126,1,1,""],has_left_descent:[126,1,1,""],has_right_descent:[126,1,1,""],apply_simple_reflection_left:[126,1,1,""],binary_factorizations:[126,1,1,""],bruhat_lower_covers_reflections:[126,1,1,""],deodhar_factor_element:[126,1,1,""],upper_covers:[126,1,1,""],deodhar_lift_down:[126,1,1,""],absolute_le:[126,1,1,""],bruhat_upper_covers:[126,1,1,""],apply_conjugation_by_simple_reflection:[126,1,1,""],deodhar_lift_up:[126,1,1,""],has_full_support:[126,1,1,""],reduced_word_graph:[126,1,1,""],apply_simple_projection:[126,1,1,""],apply_simple_reflection_right:[126,1,1,""],length:[126,1,1,""],apply_simple_reflection:[126,1,1,""],reduced_word_reverse_iterator:[126,1,1,""],support:[126,1,1,""],cover_reflections:[126,1,1,""]},"sage.categories.examples.hopf_algebras_with_basis":{MyGroupAlgebra:[98,2,1,""]},"sage.categories.dual":{DualFunctor:[135,2,1,""],DualObjectsCategory:[135,2,1,""]},"sage.categories.groups.Groups.Commutative":{free:[83,7,1,""]},"sage.categories.action.Action":{domain:[125,1,1,""],is_left:[125,1,1,""],actor:[125,1,1,""],left_domain:[125,1,1,""],right_domain:[125,1,1,""],act:[125,1,1,""],codomain:[125,1,1,""],operation:[125,1,1,""]},"sage.categories.category_cy_helper":{canonicalize_axioms:[97,5,1,""],category_sort_key:[97,5,1,""],AxiomContainer:[97,2,1,""],join_as_tuple:[97,5,1,""],get_axiom_index:[97,5,1,""]},"sage.categories.finite_sets.FiniteSets.ParentMethods":{is_finite:[48,1,1,""]},"sage.categories.examples.with_realizations.SubsetAlgebra.Bases.ParentMethods":{from_set:[5,1,1,""],one:[5,1,1,""]},"sage.categories.discrete_valuation.DiscreteValuationRings.ParentMethods":{residue_field:[116,1,1,""],uniformizer:[116,1,1,""]},"sage.categories.function_fields.FunctionFields":{super_categories:[130,1,1,""],ElementMethods:[130,2,1,""],ParentMethods:[130,2,1,""]},"sage.categories.monoids.Monoids.Subquotients.ParentMethods":{one:[101,1,1,""]},"sage.categories.semigroups.Semigroups.Algebras.ParentMethods":{product_on_basis:[112,1,1,""],algebra_generators:[112,1,1,""]},"sage.categories.monoids":{Monoids:[101,2,1,""]},"sage.categories.magmas_and_additive_magmas.MagmasAndAdditiveMagmas":{super_categories:[45,1,1,""],additional_structure:[45,1,1,""],Distributive:[45,3,1,""],SubcategoryMethods:[45,2,1,""]},"sage.categories.weyl_groups":{WeylGroups:[0,2,1,""]},"sage.categories.sets_cat.Sets.WithRealizations.ParentMethods.Realizations":{super_categories:[24,1,1,""]},"sage.categories.commutative_additive_groups.CommutativeAdditiveGroups":{Algebras:[61,2,1,""],CartesianProducts:[61,2,1,""]},"sage.categories.hopf_algebras_with_basis.HopfAlgebrasWithBasis.ParentMethods":{antipode_on_basis:[4,1,1,""],antipode:[4,1,1,""]},"sage.categories.magmas.Magmas.Unital.Realizations.ParentMethods":{one:[99,1,1,""]},"sage.categories.magmas.Magmas.Unital.CartesianProducts.ParentMethods":{one:[99,1,1,""]},"sage.categories.highest_weight_crystals.HighestWeightCrystals.TensorProducts.ParentMethods":{highest_weight_vectors:[21,1,1,""]},"sage.categories.magmatic_algebras.MagmaticAlgebras.ParentMethods":{algebra_generators:[55,1,1,""]},"sage.categories.magmas.Magmas":{Subquotients:[99,2,1,""],super_categories:[99,1,1,""],ElementMethods:[99,2,1,""],Commutative:[99,2,1,""],SubcategoryMethods:[99,2,1,""],FinitelyGeneratedAsMagma:[99,3,1,""],Realizations:[99,2,1,""],ParentMethods:[99,2,1,""],Unital:[99,2,1,""],CartesianProducts:[99,2,1,""],Algebras:[99,2,1,""],Associative:[99,3,1,""]},"sage.categories.magmas_and_additive_magmas.MagmasAndAdditiveMagmas.SubcategoryMethods":{Distributive:[45,1,1,""]},"sage.categories.classical_crystals.ClassicalCrystals.ElementMethods":{lusztig_involution:[93,1,1,""]},"sage.categories.commutative_rings.CommutativeRings.Finite":{ParentMethods:[75,2,1,""]},"sage.categories.highest_weight_crystals":{HighestWeightCrystals:[21,2,1,""]},"sage.categories.algebras_with_basis.AlgebrasWithBasis.TensorProducts":{extra_super_categories:[143,1,1,""],ElementMethods:[143,2,1,""],ParentMethods:[143,2,1,""]},"sage.categories.rngs.Rngs":{Unital:[35,3,1,""]},"sage.categories.finite_posets.FinitePosets":{ParentMethods:[139,2,1,""]},"sage.categories.modules_with_basis.ModulesWithBasis.ParentMethods":{basis:[20,1,1,""],echelon_form:[20,1,1,""],submodule:[20,1,1,""],tensor:[20,1,1,""],module_morphism:[20,1,1,""]},"sage.categories.magmas.Magmas.Unital.Realizations":{ParentMethods:[99,2,1,""]},"sage.categories.groups.Groups":{Finite:[83,3,1,""],ElementMethods:[83,2,1,""],Commutative:[83,2,1,""],free:[83,7,1,""],ParentMethods:[83,2,1,""],CartesianProducts:[83,2,1,""],Algebras:[83,2,1,""],example:[83,1,1,""]},"sage.categories.sets_cat.Sets.Quotients":{ParentMethods:[24,2,1,""]},"sage.categories.finite_dimensional_modules_with_basis.FiniteDimensionalModulesWithBasis":{MorphismMethods:[94,2,1,""],ElementMethods:[94,2,1,""],ParentMethods:[94,2,1,""]},"sage.categories.unique_factorization_domains.UniqueFactorizationDomains":{super_categories:[71,1,1,""],additional_structure:[71,1,1,""],ElementMethods:[71,2,1,""],ParentMethods:[71,2,1,""]},"sage.categories.coalgebras.Coalgebras.WithRealizations.ParentMethods":{coproduct:[50,1,1,""],counit:[50,1,1,""]},"sage.categories.coalgebras_with_basis":{CoalgebrasWithBasis:[87,2,1,""]},"sage.categories.examples.semigroups_cython":{LeftZeroSemigroupElement:[7,2,1,""],LeftZeroSemigroup:[7,2,1,""],IdempotentSemigroups:[7,2,1,""],IdempotentSemigroupsElementMethods:[7,2,1,""]},"sage.categories.crystals":{Crystals:[151,2,1,""]},"sage.categories.graded_coalgebras":{GradedCoalgebras:[1,5,1,""]},"sage.categories.coalgebras":{Coalgebras:[50,2,1,""]},"sage.categories.examples.finite_coxeter_groups.DihedralGroup.Element":{has_right_descent:[104,1,1,""],apply_simple_reflection_right:[104,1,1,""]},"sage.categories.action.InverseAction":{codomain:[125,1,1,""]},"sage.categories.crystals.Crystals.ParentMethods":{weight_lattice_realization:[151,1,1,""],plot:[151,1,1,""],tensor:[151,1,1,""],latex:[151,1,1,""],digraph:[151,1,1,""],an_element:[151,1,1,""],index_set:[151,1,1,""],metapost:[151,1,1,""],plot3d:[151,1,1,""],crystal_morphism:[151,1,1,""],latex_file:[151,1,1,""],dot_tex:[151,1,1,""],cartan_type:[151,1,1,""],subcrystal:[151,1,1,""],Lambda:[151,1,1,""]},"sage.categories.examples.semigroups.LeftZeroSemigroup":{some_elements:[118,1,1,""],an_element:[118,1,1,""],product:[118,1,1,""],Element:[118,2,1,""]},"sage.categories.monoids.Monoids.WithRealizations.ParentMethods":{one:[101,1,1,""]},"sage.categories.examples.posets.FiniteSetsOrderedByInclusion.Element":{wrapped_class:[51,3,1,""]},"sage.categories.examples.posets.FiniteSetsOrderedByInclusion":{an_element:[51,1,1,""],le:[51,1,1,""],Element:[51,2,1,""]},"sage.categories.finite_sets.FiniteSets.Algebras":{extra_super_categories:[48,1,1,""]},"sage.categories.examples.finite_weyl_groups.SymmetricGroup.Element":{has_right_descent:[42,1,1,""]},"sage.categories.pushout.VectorFunctor":{merge:[136,1,1,""]},"sage.categories.hopf_algebras.HopfAlgebras.TensorProducts":{extra_super_categories:[147,1,1,""],ElementMethods:[147,2,1,""],ParentMethods:[147,2,1,""]},"sage.categories.examples.finite_weyl_groups":{SymmetricGroup:[42,2,1,""],Example:[42,3,1,""]},"sage.categories.modules_with_basis.ModulesWithBasis.ElementMethods":{leading_support:[20,1,1,""],trailing_item:[20,1,1,""],map_support_skip_none:[20,1,1,""],tensor:[20,1,1,""],support_of_term:[20,1,1,""],map_support:[20,1,1,""],leading_coefficient:[20,1,1,""],trailing_term:[20,1,1,""],trailing_support:[20,1,1,""],trailing_coefficient:[20,1,1,""],map_coefficients:[20,1,1,""],leading_item:[20,1,1,""],leading_term:[20,1,1,""],map_item:[20,1,1,""],leading_monomial:[20,1,1,""],trailing_monomial:[20,1,1,""]},"sage.categories.category_with_axiom.Blahs":{super_categories:[65,1,1,""],Commutative:[65,2,1,""],SubcategoryMethods:[65,2,1,""],Unital:[65,2,1,""],Flying:[65,2,1,""],FiniteDimensional:[65,2,1,""],Blue_extra_super_categories:[65,1,1,""],Connected:[65,2,1,""]},"sage.categories.finite_monoids.FiniteMonoids":{ElementMethods:[23,2,1,""]},"sage.categories.fields.Fields":{extra_super_categories:[74,1,1,""],Finite:[74,3,1,""],ElementMethods:[74,2,1,""],ParentMethods:[74,2,1,""]},"sage.categories.homsets.HomsetsOf":{super_categories:[70,1,1,""]},"sage.categories.finite_dimensional_bialgebras_with_basis":{FiniteDimensionalBialgebrasWithBasis:[46,5,1,""]},"sage.categories.posets":{Posets:[22,2,1,""]},"sage.categories.magmatic_algebras":{MagmaticAlgebras:[55,2,1,""]},"sage.categories.cartesian_product":{cartesian_product:[12,6,1,""],CartesianProductsCategory:[12,2,1,""],CartesianProductFunctor:[12,2,1,""]},"sage.categories.regular_crystals.RegularCrystals":{super_categories:[52,1,1,""],ElementMethods:[52,2,1,""],ParentMethods:[52,2,1,""],additional_structure:[52,1,1,""],TensorProducts:[52,2,1,""],example:[52,1,1,""]},"sage.categories.sets_cat.Sets.Realizations":{ParentMethods:[24,2,1,""]},"sage.categories.additive_monoids.AdditiveMonoids.Homsets":{extra_super_categories:[58,1,1,""]},"sage.categories.examples.with_realizations.SubsetAlgebra.Bases":{super_categories:[5,1,1,""],ParentMethods:[5,2,1,""]},"sage.categories.graded_algebras_with_basis":{GradedAlgebrasWithBasis:[54,2,1,""]},"sage.categories.finite_enumerated_sets.FiniteEnumeratedSets.ParentMethods":{last:[78,1,1,""],cardinality:[78,1,1,""],list:[78,1,1,""],random_element:[78,1,1,""]},"sage.categories.integral_domains":{IntegralDomains:[100,2,1,""]},"sage.categories.algebras.Algebras.DualObjects":{extra_super_categories:[121,1,1,""]},"sage.categories.objects":{Objects:[138,2,1,""]},"sage.categories.bialgebras_with_basis":{BialgebrasWithBasis:[2,5,1,""]},"sage.categories.category.JoinCategory":{super_categories:[145,1,1,""],"_repr_object_names":[145,1,1,""],"_repr_":[145,1,1,""],"_without_axioms":[145,1,1,""],additional_structure:[145,1,1,""],is_subcategory:[145,1,1,""]},"sage.categories.finite_crystals.FiniteCrystals.TensorProducts":{extra_super_categories:[3,1,1,""]},"sage.categories.category_cy_helper.AxiomContainer":{add:[97,1,1,""]},"sage.categories.enumerated_sets.EnumeratedSets.CartesianProducts":{ParentMethods:[29,2,1,""]},"sage.categories.finite_weyl_groups":{FiniteWeylGroups:[26,2,1,""]},"sage.categories.groups.Groups.Algebras":{extra_super_categories:[83,1,1,""],ElementMethods:[83,2,1,""],example:[83,1,1,""],ParentMethods:[83,2,1,""]},"sage.categories.semigroups":{Semigroups:[112,2,1,""]},"sage.categories.groups.Groups.CartesianProducts.ParentMethods":{group_generators:[83,1,1,""],order:[83,1,1,""]},"sage.categories.hopf_algebras_with_basis.HopfAlgebrasWithBasis.TensorProducts":{extra_super_categories:[4,1,1,""],ElementMethods:[4,2,1,""],ParentMethods:[4,2,1,""]},"sage.categories.sets_cat.Sets.Algebras":{extra_super_categories:[24,1,1,""]},"sage.categories.examples.semigroups.FreeSemigroup":{semigroup_generators:[118,1,1,""],product:[118,1,1,""],an_element:[118,1,1,""],Element:[118,2,1,""]},"sage.categories.examples.crystals.HighestWeightCrystalOfTypeA":{Element:[91,2,1,""]},"sage.categories.posets.Posets.ParentMethods":{order_ideal_toggle:[22,1,1,""],is_order_filter:[22,1,1,""],gt:[22,1,1,""],principal_order_ideal:[22,1,1,""],principal_lower_set:[22,1,1,""],is_order_ideal:[22,1,1,""],upper_covers:[22,1,1,""],is_antichain_of_poset:[22,1,1,""],upper_set:[22,1,1,""],ge:[22,1,1,""],directed_subset:[22,1,1,""],order_ideal:[22,1,1,""],order_filter:[22,1,1,""],le:[22,1,1,""],lower_covers:[22,1,1,""],lt:[22,1,1,""],order_ideal_toggles:[22,1,1,""],is_chain_of_poset:[22,1,1,""],lower_set:[22,1,1,""],principal_upper_set:[22,1,1,""],principal_order_filter:[22,1,1,""]},"sage.categories.examples.semigroups":{LeftZeroSemigroup:[118,2,1,""],IncompleteSubquotientSemigroup:[118,2,1,""],QuotientOfLeftZeroSemigroup:[118,2,1,""],FreeSemigroup:[118,2,1,""]},"sage.categories.examples.with_realizations.SubsetAlgebra.Fundamental":{product_on_basis:[5,1,1,""],one_basis:[5,1,1,""],one:[5,1,1,""]},"sage.categories.homsets.Homsets.SubcategoryMethods":{Endset:[70,1,1,""]},"sage.categories.additive_semigroups.AdditiveSemigroups.Algebras":{extra_super_categories:[67,1,1,""],ParentMethods:[67,2,1,""]},"sage.categories.sets_cat.Sets.WithRealizations":{extra_super_categories:[24,1,1,""],example:[24,1,1,""],ParentMethods:[24,2,1,""]},"sage.categories.modules.Modules.SubcategoryMethods":{Graded:[16,1,1,""],FiniteDimensional:[16,1,1,""],WithBasis:[16,1,1,""],TensorProducts:[16,1,1,""],dual:[16,1,1,""],DualObjects:[16,1,1,""],base_ring:[16,1,1,""]},"sage.categories.monoids.Monoids":{Subquotients:[101,2,1,""],Inverse:[101,3,1,""],ElementMethods:[101,2,1,""],Commutative:[101,2,1,""],WithRealizations:[101,2,1,""],free:[101,7,1,""],ParentMethods:[101,2,1,""],Finite:[101,3,1,""],CartesianProducts:[101,2,1,""],Algebras:[101,2,1,""]},"sage.categories.finite_coxeter_groups.FiniteCoxeterGroups":{ElementMethods:[105,2,1,""],ParentMethods:[105,2,1,""]},"sage.categories.hopf_algebras":{HopfAlgebras:[147,2,1,""]},"sage.categories.finite_dimensional_semisimple_algebras_with_basis":{FiniteDimensionalSemisimpleAlgebrasWithBasis:[103,2,1,""]},"sage.categories.magmas.Magmas.Unital.ParentMethods":{is_empty:[99,1,1,""],one:[99,1,1,""]},"sage.categories.commutative_algebra_ideals":{CommutativeAlgebraIdeals:[156,2,1,""]},"sage.categories.map":{unpickle_map:[59,5,1,""],Map:[59,2,1,""],FormalCompositeMap:[59,2,1,""],Section:[59,2,1,""],is_Map:[59,5,1,""]},"sage.categories.examples.sets_cat.PrimeNumbers_Abstract.Element":{is_prime:[106,1,1,""],next:[106,1,1,""]},"sage.categories.finite_permutation_groups":{FinitePermutationGroups:[36,2,1,""]},"sage.categories.additive_magmas.AdditiveMagmas.AdditiveUnital.ParentMethods":{zero:[8,1,1,""],is_empty:[8,1,1,""],zero_element:[8,1,1,""]},"sage.categories.permutation_groups":{PermutationGroups:[13,2,1,""]},"sage.categories.semisimple_algebras.SemisimpleAlgebras":{super_categories:[122,1,1,""],FiniteDimensional:[122,2,1,""],ParentMethods:[122,2,1,""]},"sage.categories.morphism.Morphism":{category:[6,1,1,""],pushforward:[6,1,1,""],is_identity:[6,1,1,""],register_as_coercion:[6,1,1,""],register_as_conversion:[6,1,1,""],is_endomorphism:[6,1,1,""]},"sage.categories.group_algebras":{GroupAlgebras:[19,5,1,""]},"sage.categories.enumerated_sets":{EnumeratedSets:[29,2,1,""]},"sage.categories.hecke_modules.HeckeModules":{super_categories:[76,1,1,""],Homsets:[76,2,1,""],ParentMethods:[76,2,1,""]},"sage.categories.groupoid":{Groupoid:[140,2,1,""]},"sage.categories.pushout.LaurentPolynomialFunctor":{merge:[136,1,1,""]},"sage.categories.pushout":{InfinitePolynomialFunctor:[136,2,1,""],type_to_parent:[136,5,1,""],IdentityConstructionFunctor:[136,2,1,""],LaurentPolynomialFunctor:[136,2,1,""],AlgebraicClosureFunctor:[136,2,1,""],construction_tower:[136,5,1,""],PolynomialFunctor:[136,2,1,""],CompositeConstructionFunctor:[136,2,1,""],MultiPolynomialFunctor:[136,2,1,""],PermutationGroupFunctor:[136,2,1,""],CompletionFunctor:[136,2,1,""],BlackBoxConstructionFunctor:[136,2,1,""],QuotientFunctor:[136,2,1,""],MatrixFunctor:[136,2,1,""],AlgebraicExtensionFunctor:[136,2,1,""],expand_tower:[136,5,1,""],pushout:[136,5,1,""],SubspaceFunctor:[136,2,1,""],VectorFunctor:[136,2,1,""],FractionField:[136,2,1,""],pushout_lattice:[136,5,1,""],ConstructionFunctor:[136,2,1,""]},"sage.categories.coalgebras_with_basis.CoalgebrasWithBasis":{ElementMethods:[87,2,1,""],ParentMethods:[87,2,1,""]},"sage.categories.coalgebras.Coalgebras":{super_categories:[50,1,1,""],ElementMethods:[50,2,1,""],Realizations:[50,2,1,""],WithRealizations:[50,2,1,""],WithBasis:[50,3,1,""],TensorProducts:[50,2,1,""],ParentMethods:[50,2,1,""],DualObjects:[50,2,1,""]},"sage.categories.isomorphic_objects.IsomorphicObjectsCategory":{default_super_categories:[49,4,1,""]},"sage.categories.integral_domains.IntegralDomains":{ElementMethods:[100,2,1,""],ParentMethods:[100,2,1,""]},"sage.categories.examples.crystals":{HighestWeightCrystalOfTypeA:[91,2,1,""],NaiveCrystal:[91,2,1,""]},"sage.categories.finite_lattice_posets":{FiniteLatticePosets:[119,2,1,""]},"sage.categories.monoids.Monoids.ParentMethods":{semigroup_generators:[101,1,1,""],submonoid:[101,1,1,""],one_element:[101,1,1,""],prod:[101,1,1,""]},"sage.categories.category_with_axiom.TestObjectsOverBaseRing":{super_categories:[65,1,1,""],Commutative:[65,2,1,""],FiniteDimensional:[65,2,1,""],Unital:[65,2,1,""]},"sage.categories.graded_modules":{GradedModules:[158,2,1,""],GradedModulesCategory:[158,2,1,""]},"sage.categories.semigroups.Semigroups.Algebras":{extra_super_categories:[112,1,1,""],ParentMethods:[112,2,1,""]},"sage.categories.algebras.Algebras.SubcategoryMethods":{Semisimple:[121,1,1,""]},"sage.categories.groups.Groups.Algebras.ElementMethods":{central_form:[83,1,1,""]},"sage.categories.magmas.Magmas.Commutative.ParentMethods":{is_commutative:[99,1,1,""]},"sage.categories.magmas.Magmas.Realizations":{ParentMethods:[99,2,1,""]},"sage.categories.finite_posets.FinitePosets.ParentMethods":{is_selfdual:[139,1,1,""],toggling_orbit_iter:[139,1,1,""],panyushev_orbit_iter:[139,1,1,""],birational_free_labelling:[139,1,1,""],panyushev_orbits:[139,1,1,""],is_poset_isomorphism:[139,1,1,""],birational_toggle:[139,1,1,""],rowmotion_orbit_iter:[139,1,1,""],is_lattice:[139,1,1,""],directed_subsets:[139,1,1,""],order_ideal_generators:[139,1,1,""],birational_toggles:[139,1,1,""],is_poset_morphism:[139,1,1,""],order_ideal_complement_generators:[139,1,1,""],antichains:[139,1,1,""],order_filter_generators:[139,1,1,""],rowmotion:[139,1,1,""],toggling_orbits:[139,1,1,""],panyushev_complement:[139,1,1,""],rowmotion_orbits:[139,1,1,""],birational_rowmotion:[139,1,1,""],order_ideals_lattice:[139,1,1,""]},"sage.categories.schemes.Schemes":{super_categories:[81,1,1,""]},"sage.categories.examples.hopf_algebras_with_basis.MyGroupAlgebra":{algebra_generators:[98,1,1,""],antipode_on_basis:[98,1,1,""],one_basis:[98,1,1,""],coproduct_on_basis:[98,1,1,""],product_on_basis:[98,1,1,""],counit_on_basis:[98,1,1,""]},"sage.categories.algebras_with_basis.AlgebrasWithBasis":{ElementMethods:[143,2,1,""],Graded:[143,3,1,""],FiniteDimensional:[143,3,1,""],ParentMethods:[143,2,1,""],TensorProducts:[143,2,1,""],CartesianProducts:[143,2,1,""],example:[143,1,1,""]},"sage.categories.division_rings":{DivisionRings:[150,2,1,""]},"sage.categories.quotients":{QuotientsCategory:[129,2,1,""]},"sage.categories.graded_modules_with_basis.GradedModulesWithBasis":{ElementMethods:[17,2,1,""],ParentMethods:[17,2,1,""]},"sage.categories.isomorphic_objects":{IsomorphicObjectsCategory:[49,2,1,""]},"sage.categories.semisimple_algebras.SemisimpleAlgebras.ParentMethods":{radical_basis:[122,1,1,""]},"sage.categories.category_with_axiom.TestObjects.Commutative":{Facade:[65,2,1,""],Finite:[65,2,1,""],FiniteDimensional:[65,2,1,""]},"sage.categories.sets_cat.Sets.Realizations.ParentMethods":{realization_of:[24,1,1,""]},"sage.categories.coxeter_groups":{CoxeterGroups:[126,2,1,""]},"sage.categories.sets_cat.Sets.ParentMethods":{is_parent_of:[24,1,1,""],algebra:[24,1,1,""],an_element:[24,1,1,""],CartesianProduct:[24,3,1,""],some_elements:[24,1,1,""],cartesian_product:[24,1,1,""]},"sage.categories.finite_groups":{FiniteGroups:[84,2,1,""]},"sage.categories.rings.Rings":{Division:[47,3,1,""],ElementMethods:[47,2,1,""],Commutative:[47,3,1,""],SubcategoryMethods:[47,2,1,""],ParentMethods:[47,2,1,""],NoZeroDivisors:[47,3,1,""]},"sage.categories.finite_posets":{FinitePosets:[139,2,1,""]},"sage.categories.examples.sets_with_grading":{Example:[77,3,1,""],NonNegativeIntegers:[77,2,1,""]},"sage.categories.posets.Posets":{super_categories:[22,1,1,""],Finite:[22,3,1,""],ElementMethods:[22,2,1,""],example:[22,1,1,""],ParentMethods:[22,2,1,""]},"sage.categories.examples.finite_coxeter_groups.DihedralGroup":{one:[104,1,1,""],index_set:[104,1,1,""],Element:[104,2,1,""]},"sage.categories.examples.sets_cat.PrimeNumbers_Facade":{element_class:[106,3,1,""]},"sage.categories.sets_with_grading.SetsWithGrading":{super_categories:[31,1,1,""],ParentMethods:[31,2,1,""]},"sage.categories.affine_weyl_groups.AffineWeylGroups":{super_categories:[57,1,1,""],additional_structure:[57,1,1,""],ElementMethods:[57,2,1,""],ParentMethods:[57,2,1,""]},"sage.categories.finite_coxeter_groups.FiniteCoxeterGroups.ParentMethods":{bruhat_poset:[105,1,1,""],weak_poset:[105,1,1,""],long_element:[105,1,1,""],w0:[105,1,1,""],some_elements:[105,1,1,""],weak_lattice:[105,1,1,""]},"sage.categories.semigroups.Semigroups":{Subquotients:[112,2,1,""],Finite:[112,3,1,""],ElementMethods:[112,2,1,""],FinitelyGeneratedAsMagma:[112,3,1,""],Unital:[112,3,1,""],ParentMethods:[112,2,1,""],CartesianProducts:[112,2,1,""],Algebras:[112,2,1,""],example:[112,1,1,""],Quotients:[112,2,1,""]},"sage.categories.additive_magmas.AdditiveMagmas.AdditiveUnital.Algebras.ParentMethods":{one_basis:[8,1,1,""]},"sage.categories.category_types":{SimplicialComplexes:[10,2,1,""],AbelianCategory:[10,2,1,""],Elements:[10,2,1,""],Category_over_base:[10,2,1,""],ChainComplexes:[10,2,1,""],Category_module:[10,2,1,""],Category_in_ambient:[10,2,1,""],Category_ideal:[10,2,1,""],Category_over_base_ring:[10,2,1,""]},"sage.categories.algebra_ideals.AlgebraIdeals":{super_categories:[39,1,1,""],algebra:[39,1,1,""]},"sage.categories.classical_crystals.ClassicalCrystals.TensorProducts":{extra_super_categories:[93,1,1,""]},"sage.categories.pushout.AlgebraicClosureFunctor":{merge:[136,1,1,""]},"sage.categories.finite_coxeter_groups.FiniteCoxeterGroups.ElementMethods":{coxeter_knuth_graph:[105,1,1,""],coxeter_knuth_neighbor:[105,1,1,""],bruhat_upper_covers:[105,1,1,""]},"sage.categories.polyhedra.PolyhedralSets":{super_categories:[142,1,1,""]},"sage.categories.monoids.Monoids.CartesianProducts":{extra_super_categories:[101,1,1,""],ParentMethods:[101,2,1,""]},"sage.categories.groupoid.Groupoid":{super_categories:[140,1,1,""],an_instance:[140,4,1,""]},"sage.categories.homsets.HomsetsCategory":{default_super_categories:[70,4,1,""],base:[70,1,1,""]},"sage.categories.complete_discrete_valuation.CompleteDiscreteValuationRings.ElementMethods":{precision_relative:[33,1,1,""],precision_absolute:[33,1,1,""]},"sage.categories.unital_algebras.UnitalAlgebras.ParentMethods":{from_base_ring:[56,1,1,""]},"sage.categories.semisimple_algebras.SemisimpleAlgebras.FiniteDimensional":{WithBasis:[122,3,1,""]},"sage.categories.additive_magmas.AdditiveMagmas.AdditiveUnital.Homsets.ParentMethods":{zero:[8,1,1,""]},"sage.categories.commutative_additive_semigroups":{CommutativeAdditiveSemigroups:[88,2,1,""]},"sage.categories.map.FormalCompositeMap":{then:[59,1,1,""],is_injective:[59,1,1,""],second:[59,1,1,""],is_surjective:[59,1,1,""],domains:[59,1,1,""],first:[59,1,1,""]},"sage.categories.bialgebras.Bialgebras":{super_categories:[85,1,1,""],additional_structure:[85,1,1,""],ElementMethods:[85,2,1,""],ParentMethods:[85,2,1,""]},"sage.categories.covariant_functorial_construction.FunctorialConstructionCategory":{super_categories:[69,1,1,""],category_of:[69,4,1,""],extra_super_categories:[69,1,1,""],base_category:[69,1,1,""]},"sage.categories.distributive_magmas_and_additive_magmas":{DistributiveMagmasAndAdditiveMagmas:[28,2,1,""]},"sage.categories.finite_enumerated_sets.FiniteEnumeratedSets.IsomorphicObjects.ParentMethods":{cardinality:[78,1,1,""]},"sage.categories.modular_abelian_varieties":{ModularAbelianVarieties:[32,2,1,""]},"sage.categories.additive_magmas.AdditiveMagmas.AdditiveUnital":{ElementMethods:[8,2,1,""],SubcategoryMethods:[8,2,1,""],AdditiveInverse:[8,2,1,""],WithRealizations:[8,2,1,""],additional_structure:[8,1,1,""],CartesianProducts:[8,2,1,""],Algebras:[8,2,1,""],Homsets:[8,2,1,""],ParentMethods:[8,2,1,""]},"sage.categories.affine_weyl_groups":{AffineWeylGroups:[57,2,1,""]},"sage.categories.affine_weyl_groups.AffineWeylGroups.ElementMethods":{affine_grassmannian_to_partition:[57,1,1,""],affine_grassmannian_to_core:[57,1,1,""],is_affine_grassmannian:[57,1,1,""]},"sage.categories.euclidean_domains.EuclideanDomains":{super_categories:[132,1,1,""],ElementMethods:[132,2,1,""],ParentMethods:[132,2,1,""]},"sage.categories.algebras_with_basis.AlgebrasWithBasis.CartesianProducts":{extra_super_categories:[143,1,1,""],ParentMethods:[143,2,1,""]},"sage.categories.examples.finite_enumerated_sets.IsomorphicObjectOfFiniteEnumeratedSet":{retract:[9,1,1,""],lift:[9,1,1,""],ambient:[9,1,1,""]},"sage.categories.finite_enumerated_sets.FiniteEnumeratedSets.CartesianProducts.ParentMethods":{random_element:[78,1,1,""],cardinality:[78,1,1,""],last:[78,1,1,""],unrank:[78,1,1,""],rank:[78,1,1,""]},"sage.categories.sets_cat.Sets.Subobjects":{ParentMethods:[24,2,1,""]},"sage.categories.associative_algebras.AssociativeAlgebras":{ElementMethods:[64,2,1,""],Unital:[64,3,1,""]},"sage.categories.additive_magmas.AdditiveMagmas.AdditiveCommutative":{Algebras:[8,2,1,""],CartesianProducts:[8,2,1,""]},"sage.categories.category_types.Elements":{super_categories:[10,1,1,""],an_instance:[10,4,1,""],object:[10,1,1,""]},"sage.categories.distributive_magmas_and_additive_magmas.DistributiveMagmasAndAdditiveMagmas.AdditiveAssociative.AdditiveCommutative":{AdditiveUnital:[28,2,1,""]},"sage.categories.additive_magmas.AdditiveMagmas.AdditiveCommutative.Algebras":{extra_super_categories:[8,1,1,""]},"sage.categories.modules.Modules.Homsets.Endset":{extra_super_categories:[16,1,1,""]},"sage.categories.graded_hopf_algebras_with_basis":{GradedHopfAlgebrasWithBasis:[110,2,1,""]},"sage.categories.sets_cat":{print_compare:[24,5,1,""],EmptySetError:[24,8,1,""],Sets:[24,2,1,""]},"sage.categories.modules_with_basis.ModulesWithBasis.DualObjects":{extra_super_categories:[20,1,1,""]},"sage.categories.commutative_rings.CommutativeRings.Finite.ParentMethods":{cyclotomic_cosets:[75,1,1,""]},"sage.categories.finite_coxeter_groups":{FiniteCoxeterGroups:[105,2,1,""]},"sage.categories.examples.finite_semigroups":{LeftRegularBand:[60,2,1,""],Example:[60,3,1,""]},"sage.categories.algebra_functor":{AlgebraFunctor:[89,2,1,""],AlgebrasCategory:[89,2,1,""]},"sage.categories.commutative_rings":{CommutativeRings:[75,2,1,""]},"sage.categories.distributive_magmas_and_additive_magmas.DistributiveMagmasAndAdditiveMagmas.AdditiveAssociative.AdditiveCommutative.AdditiveUnital":{Associative:[28,2,1,""]},"sage.categories.integral_domains.IntegralDomains.ParentMethods":{is_integral_domain:[100,1,1,""]},"sage.categories.matrix_algebras":{MatrixAlgebras:[128,2,1,""]},"sage.categories.additive_groups.AdditiveGroups":{AdditiveCommutative:[152,3,1,""]},"sage.categories.magmas_and_additive_magmas":{MagmasAndAdditiveMagmas:[45,2,1,""]},"sage.categories.functor":{IdentityFunctor:[63,5,1,""],is_Functor:[63,5,1,""],Functor:[63,2,1,""],ForgetfulFunctor_generic:[63,2,1,""],IdentityFunctor_generic:[63,2,1,""],ForgetfulFunctor:[63,5,1,""]},"sage.categories.fields.Fields.ElementMethods":{quo_rem:[74,1,1,""],gcd:[74,1,1,""],xgcd:[74,1,1,""],euclidean_degree:[74,1,1,""],is_unit:[74,1,1,""],lcm:[74,1,1,""]},"sage.categories.semigroups.Semigroups.CartesianProducts":{extra_super_categories:[112,1,1,""]},"sage.categories.homsets.Homsets":{super_categories:[70,1,1,""],SubcategoryMethods:[70,2,1,""],Endset:[70,2,1,""]},"sage.categories.tensor":{TensorProductsCategory:[40,2,1,""],tensor:[40,6,1,""],TensorProductFunctor:[40,2,1,""]},"sage.categories.pushout.AlgebraicExtensionFunctor":{merge:[136,1,1,""],expand:[136,1,1,""]},"sage.categories.additive_magmas.AdditiveMagmas.Algebras.ParentMethods":{product_on_basis:[8,1,1,""],algebra_generators:[8,1,1,""]},"sage.categories.discrete_valuation.DiscreteValuationRings.ElementMethods":{is_unit:[116,1,1,""],lcm:[116,1,1,""],valuation:[116,1,1,""],gcd:[116,1,1,""]},"sage.categories.crystals.Crystals.ElementMethods":{is_highest_weight:[151,1,1,""],Phi:[151,1,1,""],to_lowest_weight:[151,1,1,""],e:[151,1,1,""],weight:[151,1,1,""],f:[151,1,1,""],to_highest_weight:[151,1,1,""],epsilon:[151,1,1,""],all_paths_to_highest_weight:[151,1,1,""],index_set:[151,1,1,""],s:[151,1,1,""],f_string:[151,1,1,""],phi:[151,1,1,""],phi_minus_epsilon:[151,1,1,""],is_lowest_weight:[151,1,1,""],Epsilon:[151,1,1,""],e_string:[151,1,1,""],cartan_type:[151,1,1,""],subcrystal:[151,1,1,""]},"sage.categories.category_with_axiom.TestObjectsOverBaseRing.FiniteDimensional":{Finite:[65,2,1,""],Unital:[65,2,1,""]},"sage.categories.ring_ideals.RingIdeals":{super_categories:[134,1,1,""]},"sage.categories.unital_algebras.UnitalAlgebras":{WithBasis:[56,2,1,""],ElementMethods:[56,2,1,""],ParentMethods:[56,2,1,""]},"sage.categories.semigroups.Semigroups.Quotients":{example:[112,1,1,""],ParentMethods:[112,2,1,""]},"sage.categories.algebras_with_basis.AlgebrasWithBasis.CartesianProducts.ParentMethods":{one_from_cartesian_product_of_one_basis:[143,1,1,""],one:[143,1,1,""]},"sage.categories.additive_semigroups.AdditiveSemigroups.CartesianProducts":{extra_super_categories:[67,1,1,""]},"sage.categories.examples.facade_sets":{IntegersCompletion:[148,2,1,""],PositiveIntegerMonoid:[148,2,1,""]},"sage.categories.examples.sets_cat.PrimeNumbers_Abstract":{some_elements:[106,1,1,""],an_element:[106,1,1,""],next:[106,1,1,""],Element:[106,2,1,""]},"sage.categories.domains.Domains":{super_categories:[80,1,1,""],ElementMethods:[80,2,1,""],Commutative:[80,3,1,""],ParentMethods:[80,2,1,""]},"sage.categories.distributive_magmas_and_additive_magmas.DistributiveMagmasAndAdditiveMagmas.CartesianProducts":{extra_super_categories:[28,1,1,""]},"sage.categories.additive_magmas.AdditiveMagmas.AdditiveUnital.Homsets":{extra_super_categories:[8,1,1,""],ParentMethods:[8,2,1,""]},"sage.categories.examples.posets.PositiveIntegersOrderedByDivisibilityFacade":{element_class:[51,2,1,""],le:[51,1,1,""]},"sage.categories.unique_factorization_domains":{UniqueFactorizationDomains:[71,2,1,""]},"sage.categories.regular_crystals.RegularCrystals.ParentMethods":{demazure_operator:[52,1,1,""],dual_equivalence_graph:[52,1,1,""]},"sage.categories.finite_dimensional_coalgebras_with_basis":{FiniteDimensionalCoalgebrasWithBasis:[25,5,1,""]},"sage.categories.examples.semigroups.IncompleteSubquotientSemigroup":{ambient:[118,1,1,""],Element:[118,2,1,""]},"sage.categories.graded_bialgebras_with_basis":{GradedBialgebrasWithBasis:[120,5,1,""]},"sage.categories.category_types.Category_ideal":{ring:[10,1,1,""],an_instance:[10,4,1,""]},"sage.categories.examples.infinite_enumerated_sets":{Example:[68,3,1,""],NonNegativeIntegers:[68,2,1,""]},"sage.categories.monoid_algebras":{MonoidAlgebras:[11,5,1,""]},"sage.categories.enumerated_sets.EnumeratedSets.ParentMethods":{map:[29,1,1,""],list:[29,1,1,""],rank:[29,1,1,""],next:[29,1,1,""],is_empty:[29,1,1,""],unrank:[29,1,1,""],random_element:[29,1,1,""],some_elements:[29,1,1,""],first:[29,1,1,""]},"sage.categories.finite_monoids":{FiniteMonoids:[23,2,1,""]},"sage.categories.category_types.ChainComplexes":{super_categories:[10,1,1,""]},"sage.categories.homset.Homset":{domain:[113,1,1,""],get_action_c:[113,1,1,""],element_class_set_morphism:[113,1,1,""],coerce_map_from_c:[113,1,1,""],is_endomorphism_set:[113,1,1,""],homset_category:[113,1,1,""],codomain:[113,1,1,""],reversed:[113,1,1,""],identity:[113,1,1,""],natural_map:[113,1,1,""]},"sage.categories.pushout.PolynomialFunctor":{merge:[136,1,1,""]},"sage.categories.algebras_with_basis.AlgebrasWithBasis.ParentMethods":{one:[143,1,1,""]},"sage.categories.category_with_axiom.TestObjects.FiniteDimensional.Unital":{Commutative:[65,2,1,""]},"sage.categories.algebras":{Algebras:[121,2,1,""]},"sage.categories.hopf_algebras_with_basis":{HopfAlgebrasWithBasis:[4,2,1,""]},"sage.categories.magmas.Magmas.Commutative":{Algebras:[99,2,1,""],ParentMethods:[99,2,1,""]},"sage.categories.category_types.Category_in_ambient":{ambient:[10,1,1,""]},"sage.categories.examples.finite_monoids.IntegerModMonoid":{semigroup_generators:[127,1,1,""],an_element:[127,1,1,""],Element:[127,2,1,""],product:[127,1,1,""],one:[127,1,1,""]},"sage.categories.morphism":{IdentityMorphism:[6,2,1,""],CallMorphism:[6,2,1,""],is_Morphism:[6,5,1,""],FormalCoercionMorphism:[6,2,1,""],Morphism:[6,2,1,""],SetMorphism:[6,2,1,""],make_morphism:[6,5,1,""]},"sage.categories.covariant_functorial_construction.CovariantConstructionCategory":{additional_structure:[69,1,1,""],default_super_categories:[69,4,1,""],is_construction_defined_by_base:[69,1,1,""]},"sage.categories.hopf_algebras.HopfAlgebras":{super_categories:[147,1,1,""],ElementMethods:[147,2,1,""],DualCategory:[147,2,1,""],Realizations:[147,2,1,""],ParentMethods:[147,2,1,""],WithBasis:[147,3,1,""],TensorProducts:[147,2,1,""],dual:[147,1,1,""],Morphism:[147,2,1,""]},"sage.categories.magmas.Magmas.Subquotients":{ParentMethods:[99,2,1,""]},"sage.categories.category_with_axiom.Blahs.Flying":{extra_super_categories:[65,1,1,""]},"sage.categories.complete_discrete_valuation.CompleteDiscreteValuationFields":{super_categories:[33,1,1,""],ElementMethods:[33,2,1,""]},"sage.categories.gcd_domains":{GcdDomains:[108,2,1,""]},"sage.categories.magmas.Magmas.Unital":{Inverse:[99,2,1,""],SubcategoryMethods:[99,2,1,""],Realizations:[99,2,1,""],ParentMethods:[99,2,1,""],additional_structure:[99,1,1,""],CartesianProducts:[99,2,1,""],Algebras:[99,2,1,""]},"sage.categories.category":{Category:[145,2,1,""],is_Category:[145,5,1,""],category_graph:[145,5,1,""],JoinCategory:[145,2,1,""],category_sample:[145,5,1,""],CategoryWithParameters:[145,2,1,""]},"sage.categories.sets_cat.Sets.IsomorphicObjects":{ParentMethods:[24,2,1,""]},"sage.categories.hecke_modules.HeckeModules.Homsets":{extra_super_categories:[76,1,1,""],base_ring:[76,1,1,""],ParentMethods:[76,2,1,""]},"sage.categories.finite_dimensional_semisimple_algebras_with_basis.FiniteDimensionalSemisimpleAlgebrasWithBasis.ParentMethods":{central_orthogonal_idempotents:[103,1,1,""]},"sage.categories.subobjects":{SubobjectsCategory:[66,2,1,""]},"sage.categories.finite_dimensional_hopf_algebras_with_basis":{FiniteDimensionalHopfAlgebrasWithBasis:[62,2,1,""]},"sage.categories.number_fields.NumberFields":{super_categories:[117,1,1,""],ElementMethods:[117,2,1,""],ParentMethods:[117,2,1,""]},"sage.categories.finite_crystals":{FiniteCrystals:[3,2,1,""]},"sage.categories.complete_discrete_valuation.CompleteDiscreteValuationFields.ElementMethods":{precision_relative:[33,1,1,""],precision_absolute:[33,1,1,""]},"sage.categories.enumerated_sets.EnumeratedSets.ElementMethods":{rank:[29,1,1,""]},"sage.categories.highest_weight_crystals.HighestWeightCrystals":{super_categories:[21,1,1,""],ElementMethods:[21,2,1,""],ParentMethods:[21,2,1,""],additional_structure:[21,1,1,""],TensorProducts:[21,2,1,""],example:[21,1,1,""]},"sage.categories.additive_magmas.AdditiveMagmas.AdditiveUnital.WithRealizations":{ParentMethods:[8,2,1,""]},"sage.categories.associative_algebras":{AssociativeAlgebras:[64,2,1,""]},"sage.categories.poor_man_map.PoorManMap":{domain:[37,1,1,""],codomain:[37,1,1,""]},"sage.categories.enumerated_sets.EnumeratedSets":{super_categories:[29,1,1,""],ElementMethods:[29,2,1,""],ParentMethods:[29,2,1,""],additional_structure:[29,1,1,""],CartesianProducts:[29,2,1,""],Infinite:[29,3,1,""],Finite:[29,3,1,""]},"sage.categories.magmas.Magmas.CartesianProducts.ParentMethods":{product:[99,1,1,""]},"sage.categories.vector_spaces.VectorSpaces":{super_categories:[38,1,1,""],ElementMethods:[38,2,1,""],ParentMethods:[38,2,1,""],additional_structure:[38,1,1,""],WithBasis:[38,2,1,""],TensorProducts:[38,2,1,""],CartesianProducts:[38,2,1,""],base_field:[38,1,1,""],DualObjects:[38,2,1,""]},"sage.categories.partially_ordered_monoids.PartiallyOrderedMonoids":{super_categories:[27,1,1,""],ElementMethods:[27,2,1,""],ParentMethods:[27,2,1,""]},"sage.categories.examples.infinite_enumerated_sets.NonNegativeIntegers":{an_element:[68,1,1,""],Element:[68,3,1,""],next:[68,1,1,""]},"sage.categories.examples.algebras_with_basis":{FreeAlgebra:[154,2,1,""],Example:[154,3,1,""]},"sage.categories.commutative_additive_groups":{CommutativeAdditiveGroups:[61,2,1,""]},"sage.categories.finite_semigroups":{FiniteSemigroups:[123,2,1,""]},"sage.categories.category_with_axiom.TestObjectsOverBaseRing.Commutative":{Facade:[65,2,1,""],Finite:[65,2,1,""],FiniteDimensional:[65,2,1,""]},"sage.categories.vector_spaces.VectorSpaces.CartesianProducts":{extra_super_categories:[38,1,1,""]},"sage.categories.partially_ordered_monoids":{PartiallyOrderedMonoids:[27,2,1,""]},"sage.categories.homset":{hom:[113,5,1,""],End:[113,5,1,""],is_Endset:[113,5,1,""],HomsetWithBase:[113,2,1,""],Hom:[113,5,1,""],is_Homset:[113,5,1,""],end:[113,5,1,""],Homset:[113,2,1,""]},"sage.categories.finite_enumerated_sets.FiniteEnumeratedSets.CartesianProducts":{extra_super_categories:[78,1,1,""],ParentMethods:[78,2,1,""]},"sage.categories.functor.Functor":{domain:[63,1,1,""],codomain:[63,1,1,""]},"sage.categories.category_with_axiom.Bars":{super_categories:[65,1,1,""],Unital_extra_super_categories:[65,1,1,""]},"sage.categories.magmas.Magmas.Unital.Algebras":{extra_super_categories:[99,1,1,""]},"sage.categories.commutative_additive_monoids":{CommutativeAdditiveMonoids:[79,2,1,""]},"sage.categories.schemes.Schemes_over_base":{super_categories:[81,1,1,""],base_scheme:[81,1,1,""]},"sage.categories.covariant_functorial_construction.CovariantFunctorialConstruction":{category_from_parents:[69,1,1,""],category_from_categories:[69,1,1,""],category_from_category:[69,1,1,""]},"sage.categories.algebras.Algebras.Quotients":{ParentMethods:[121,2,1,""]},"sage.categories.magmas.Magmas.Algebras":{extra_super_categories:[99,1,1,""]},"sage.categories.additive_magmas.AdditiveMagmas.AdditiveUnital.Algebras":{extra_super_categories:[8,1,1,""],ParentMethods:[8,2,1,""]},"sage.categories.examples.sets_cat.PrimeNumbers_Inherits":{Element:[106,2,1,""]},"sage.categories.finite_dimensional_algebras_with_basis.FiniteDimensionalAlgebrasWithBasis.ElementMethods":{to_matrix:[149,1,1,""],on_left_matrix:[149,1,1,""]},"sage.categories.complete_discrete_valuation":{CompleteDiscreteValuationRings:[33,2,1,""],CompleteDiscreteValuationFields:[33,2,1,""]},"sage.categories.additive_monoids.AdditiveMonoids":{AdditiveCommutative:[58,3,1,""],ParentMethods:[58,2,1,""],Homsets:[58,2,1,""],AdditiveInverse:[58,3,1,""]},"sage.categories.additive_magmas.AdditiveMagmas.AdditiveUnital.AdditiveInverse.CartesianProducts":{extra_super_categories:[8,1,1,""],ElementMethods:[8,2,1,""]},"sage.categories.additive_magmas.AdditiveMagmas.Homsets":{extra_super_categories:[8,1,1,""]},"sage.categories.examples.commutative_additive_semigroups":{Example:[72,3,1,""],FreeCommutativeAdditiveSemigroup:[72,2,1,""]},"sage.categories.examples.commutative_additive_semigroups.FreeCommutativeAdditiveSemigroup":{summation:[72,1,1,""],an_element:[72,1,1,""],additive_semigroup_generators:[72,1,1,""],Element:[72,2,1,""]},"sage.categories.algebra_modules.AlgebraModules":{super_categories:[133,1,1,""],an_instance:[133,4,1,""],algebra:[133,1,1,""]},"sage.categories.function_fields":{FunctionFields:[130,2,1,""]},"sage.categories.coalgebras.Coalgebras.WithRealizations":{ParentMethods:[50,2,1,""]},"sage.categories.sets_cat.Sets.CartesianProducts":{extra_super_categories:[24,1,1,""],ElementMethods:[24,2,1,""],example:[24,1,1,""],ParentMethods:[24,2,1,""]},"sage.categories.category_with_axiom.CategoryWithAxiom":{super_categories:[65,1,1,""],axioms:[65,1,1,""],extra_super_categories:[65,1,1,""],"__classget__":[65,7,1,""],"_repr_object_names":[65,1,1,""],"_repr_object_names_static":[65,7,1,""],"__classcall__":[65,7,1,""],base_category:[65,1,1,""],"_without_axioms":[65,1,1,""],additional_structure:[65,1,1,""],"_test_category_with_axiom":[65,1,1,""],"__init__":[65,1,1,""]},"sage.categories.schemes":{Schemes_over_base:[81,2,1,""],Schemes:[81,2,1,""]},"sage.categories.crystals.Crystals.SubcategoryMethods":{TensorProducts:[151,1,1,""]},"sage.categories.sets_cat.Sets.SubcategoryMethods":{Subquotients:[24,1,1,""],Subobjects:[24,1,1,""],Finite:[24,1,1,""],Facades:[24,1,1,""],Infinite:[24,1,1,""],Facade:[24,1,1,""],CartesianProducts:[24,1,1,""],IsomorphicObjects:[24,1,1,""],Algebras:[24,1,1,""],Quotients:[24,1,1,""]},"sage.categories.graded_modules.GradedModules.SubcategoryMethods":{Connected:[158,1,1,""]},"sage.categories.category_singleton":{Category_singleton:[82,2,1,""],Category_contains_method_by_parent_class:[82,2,1,""]},"sage.categories.algebras_with_basis.AlgebrasWithBasis.TensorProducts.ParentMethods":{product_on_basis:[143,1,1,""],one_basis:[143,1,1,""]},"sage.categories.magmas.Magmas.Unital.Inverse":{CartesianProducts:[99,2,1,""]},"sage.categories.coalgebras.Coalgebras.ParentMethods":{coproduct:[50,1,1,""],counit:[50,1,1,""],tensor_square:[50,1,1,""]},"sage.categories.commutative_ring_ideals.CommutativeRingIdeals":{super_categories:[41,1,1,""]},"sage.categories.vector_spaces.VectorSpaces.TensorProducts":{extra_super_categories:[38,1,1,""]},"sage.categories.additive_magmas.AdditiveMagmas.AdditiveUnital.AdditiveInverse":{CartesianProducts:[8,2,1,""]},"sage.categories.bimodules":{Bimodules:[86,2,1,""]},"sage.categories.monoids.Monoids.Commutative":{free:[101,7,1,""]},"sage.categories.sets_with_grading.SetsWithGrading.ParentMethods":{subset:[31,1,1,""],generating_series:[31,1,1,""],grading_set:[31,1,1,""],graded_component:[31,1,1,""],grading:[31,1,1,""]},"sage.categories.algebras.Algebras.TensorProducts":{extra_super_categories:[121,1,1,""],ElementMethods:[121,2,1,""],ParentMethods:[121,2,1,""]},"sage.categories.additive_magmas":{AdditiveMagmas:[8,2,1,""]},"sage.categories.objects.Objects.SubcategoryMethods":{hom_category:[138,1,1,""],Homsets:[138,1,1,""],Endsets:[138,1,1,""]},"sage.categories.magmas.Magmas.SubcategoryMethods":{Commutative:[99,1,1,""],FinitelyGeneratedAsMagma:[99,1,1,""],Unital:[99,1,1,""],FinitelyGenerated:[99,1,1,""],Distributive:[99,1,1,""],Associative:[99,1,1,""]},"sage.categories.vector_spaces.VectorSpaces.WithBasis.TensorProducts":{extra_super_categories:[38,1,1,""]},"sage.categories.euclidean_domains.EuclideanDomains.ElementMethods":{euclidean_degree:[132,1,1,""],gcd:[132,1,1,""],quo_rem:[132,1,1,""]},"sage.categories.groups.Groups.ElementMethods":{conjugacy_class:[83,1,1,""]},"sage.categories.examples.finite_monoids.IntegerModMonoid.Element":{wrapped_class:[127,3,1,""]},"sage.categories.monoids.Monoids.Algebras.ElementMethods":{is_central:[101,1,1,""]},"sage.categories.examples.algebras_with_basis.FreeAlgebra":{product_on_basis:[154,1,1,""],one_basis:[154,1,1,""],algebra_generators:[154,1,1,""]},"sage.categories.g_sets.GSets":{super_categories:[43,1,1,""],an_instance:[43,4,1,""]},"sage.categories.sets_cat.Sets":{super_categories:[24,1,1,""],Subquotients:[24,2,1,""],Algebras:[24,2,1,""],ElementMethods:[24,2,1,""],Subobjects:[24,2,1,""],SubcategoryMethods:[24,2,1,""],WithRealizations:[24,2,1,""],IsomorphicObjects:[24,2,1,""],ParentMethods:[24,2,1,""],Facade:[24,3,1,""],CartesianProducts:[24,2,1,""],Infinite:[24,2,1,""],Realizations:[24,2,1,""],Finite:[24,3,1,""],MorphismMethods:[24,2,1,""],example:[24,1,1,""],Quotients:[24,2,1,""]},"sage.categories.affine_weyl_groups.AffineWeylGroups.ParentMethods":{affine_grassmannian_elements_of_given_length:[57,1,1,""],special_node:[57,1,1,""]},"sage.categories.additive_magmas.AdditiveMagmas.AdditiveUnital.CartesianProducts":{extra_super_categories:[8,1,1,""],ParentMethods:[8,2,1,""]},"sage.categories.objects.Objects":{super_categories:[138,1,1,""],additional_structure:[138,1,1,""],SubcategoryMethods:[138,2,1,""],ParentMethods:[138,2,1,""]},"sage.categories.monoids.Monoids.Algebras.ParentMethods":{one_basis:[101,1,1,""],algebra_generators:[101,1,1,""]},"sage.categories.finite_fields":{FiniteFields:[107,2,1,""]},"sage.categories.facade_sets":{FacadeSets:[34,2,1,""]},"sage.categories.finite_crystals.FiniteCrystals":{extra_super_categories:[3,1,1,""],TensorProducts:[3,2,1,""],example:[3,1,1,""]},"sage.categories.magmas.Magmas.Unital.SubcategoryMethods":{Inverse:[99,1,1,""]},"sage.categories.infinite_enumerated_sets.InfiniteEnumeratedSets.ParentMethods":{list:[114,1,1,""],random_element:[114,1,1,""]},"sage.categories.coalgebras.Coalgebras.Realizations":{ParentMethods:[50,2,1,""]},"sage.categories.graded_hopf_algebras_with_basis.GradedHopfAlgebrasWithBasis.WithRealizations":{super_categories:[110,1,1,""]},"sage.categories.tensor.TensorProductsCategory":{base:[40,1,1,""],TensorProducts:[40,1,1,""]},"sage.categories.graded_modules_with_basis.GradedModulesWithBasis.ParentMethods":{basis:[17,1,1,""]},"sage.categories.classical_crystals.ClassicalCrystals":{super_categories:[93,1,1,""],ElementMethods:[93,2,1,""],ParentMethods:[93,2,1,""],additional_structure:[93,1,1,""],TensorProducts:[93,2,1,""],example:[93,1,1,""]},"sage.categories.semisimple_algebras":{SemisimpleAlgebras:[122,2,1,""]},"sage.categories.pushout.CompositeConstructionFunctor":{expand:[136,1,1,""]},"sage.categories.hopf_algebras.HopfAlgebras.Realizations.ParentMethods":{antipode_by_coercion:[147,1,1,""]},"sage.categories.vector_spaces":{VectorSpaces:[38,2,1,""]},"sage.categories.algebra_functor.AlgebraFunctor":{base_ring:[89,1,1,""]},"sage.categories.finite_dimensional_algebras_with_basis":{FiniteDimensionalAlgebrasWithBasis:[149,2,1,""]},"sage.categories.magmas.Magmas.ElementMethods":{is_idempotent:[99,1,1,""]},"sage.categories.finite_fields.FiniteFields":{extra_super_categories:[107,1,1,""],ElementMethods:[107,2,1,""],ParentMethods:[107,2,1,""]},"sage.categories.examples.semigroups_cython.IdempotentSemigroupsElementMethods":{is_idempotent_cpdef:[7,1,1,""]},"sage.categories.pushout.SubspaceFunctor":{merge:[136,1,1,""]},"sage.categories.magmas.Magmas.Unital.CartesianProducts":{extra_super_categories:[99,1,1,""],ElementMethods:[99,2,1,""],ParentMethods:[99,2,1,""]},"sage.categories.monoids.Monoids.WithRealizations":{ParentMethods:[101,2,1,""]},"sage.categories.sets_with_partial_maps.SetsWithPartialMaps":{super_categories:[131,1,1,""]},"sage.categories.finite_dimensional_modules_with_basis.FiniteDimensionalModulesWithBasis.ParentMethods":{quotient_module:[94,1,1,""],annihilator_basis:[94,1,1,""],annihilator:[94,1,1,""]},"sage.categories.semigroups.Semigroups.ParentMethods":{magma_generators:[112,1,1,""],semigroup_generators:[112,1,1,""],prod:[112,1,1,""],cayley_graph:[112,1,1,""],subsemigroup:[112,1,1,""]},"sage.categories.pointed_sets":{PointedSets:[124,2,1,""]},"sage.categories.fields":{Fields:[74,2,1,""]},"sage.categories.hopf_algebras.HopfAlgebras.Realizations":{ParentMethods:[147,2,1,""]},"sage.categories.ring_ideals":{RingIdeals:[134,2,1,""]},"sage.categories.modules.Modules.Homsets.ParentMethods":{zero:[16,1,1,""],base_ring:[16,1,1,""]},"sage.categories.weyl_groups.WeylGroups.ParentMethods":{pieri_factors:[0,1,1,""],quantum_bruhat_graph:[0,1,1,""]},"sage.categories.finite_permutation_groups.FinitePermutationGroups":{extra_super_categories:[36,1,1,""],ElementMethods:[36,2,1,""],example:[36,1,1,""],ParentMethods:[36,2,1,""]},"sage.categories.bimodules.Bimodules":{super_categories:[86,1,1,""],ElementMethods:[86,2,1,""],an_instance:[86,4,1,""],ParentMethods:[86,2,1,""],additional_structure:[86,1,1,""],left_base_ring:[86,1,1,""],right_base_ring:[86,1,1,""]},"sage.categories.additive_magmas.AdditiveMagmas.AdditiveUnital.SubcategoryMethods":{AdditiveInverse:[8,1,1,""]},"sage.categories.bialgebras":{Bialgebras:[85,2,1,""]},"sage.categories.finite_semigroups.FiniteSemigroups":{ParentMethods:[123,2,1,""]},"sage.categories.finite_semigroups.FiniteSemigroups.ParentMethods":{j_classes:[123,1,1,""],idempotents:[123,1,1,""],j_classes_of_idempotents:[123,1,1,""],j_transversal_of_idempotents:[123,1,1,""]},"sage.categories.sets_cat.Sets.WithRealizations.ParentMethods":{Realizations:[24,2,1,""],facade_for:[24,1,1,""],a_realization:[24,1,1,""],realizations:[24,1,1,""],inject_shorthands:[24,1,1,""]},"sage.categories.rings.Rings.SubcategoryMethods":{Division:[47,1,1,""],NoZeroDivisors:[47,1,1,""]},"sage.categories.graded_modules_with_basis":{GradedModulesWithBasis:[17,2,1,""]},"sage.categories.modules.Modules":{super_categories:[16,1,1,""],ElementMethods:[16,2,1,""],Graded:[16,3,1,""],SubcategoryMethods:[16,2,1,""],FiniteDimensional:[16,2,1,""],ParentMethods:[16,2,1,""],additional_structure:[16,1,1,""],WithBasis:[16,3,1,""],Homsets:[16,2,1,""]},"sage.categories.rngs":{Rngs:[35,2,1,""]},"sage.categories.vector_spaces.VectorSpaces.DualObjects":{extra_super_categories:[38,1,1,""]},"sage.categories.discrete_valuation.DiscreteValuationFields":{super_categories:[116,1,1,""],ElementMethods:[116,2,1,""],ParentMethods:[116,2,1,""]},"sage.categories.modules.Modules.FiniteDimensional":{extra_super_categories:[16,1,1,""]},"sage.categories.poor_man_map":{PoorManMap:[37,2,1,""],PoorManComposeMap:[37,2,1,""]},"sage.categories.coxeter_groups.CoxeterGroups.ParentMethods":{weak_order_ideal:[126,1,1,""],elements_of_length:[126,1,1,""],from_reduced_word:[126,1,1,""],random_element_of_length:[126,1,1,""],simple_projections:[126,1,1,""],index_set:[126,1,1,""],bruhat_interval:[126,1,1,""],rank:[126,1,1,""],simple_reflection:[126,1,1,""],grassmannian_elements:[126,1,1,""],canonical_representation:[126,1,1,""],demazure_product:[126,1,1,""],semigroup_generators:[126,1,1,""],some_elements:[126,1,1,""],simple_reflections:[126,1,1,""],group_generators:[126,1,1,""],simple_projection:[126,1,1,""]},"sage.categories.crystals.Crystals":{super_categories:[151,1,1,""],ElementMethods:[151,2,1,""],SubcategoryMethods:[151,2,1,""],ParentMethods:[151,2,1,""],TensorProducts:[151,2,1,""],Finite:[151,3,1,""],example:[151,1,1,""]},"sage.categories.polyhedra":{PolyhedralSets:[142,2,1,""]},"sage.categories.examples.finite_coxeter_groups":{Example:[104,3,1,""],DihedralGroup:[104,2,1,""]},"sage.categories.unique_factorization_domains.UniqueFactorizationDomains.ParentMethods":{is_unique_factorization_domain:[71,1,1,""]},"sage.categories.magmatic_algebras.MagmaticAlgebras.WithBasis.ParentMethods":{product_on_basis:[55,1,1,""],product:[55,1,1,""],algebra_generators:[55,1,1,""]},"sage.categories.rings.Rings.ElementMethods":{is_unit:[47,1,1,""]},"sage.categories.additive_magmas.AdditiveMagmas.Algebras":{extra_super_categories:[8,1,1,""],ParentMethods:[8,2,1,""]},"sage.categories.rings":{Rings:[47,2,1,""]},"sage.categories.lattice_posets":{LatticePosets:[144,2,1,""]},"sage.categories.classical_crystals":{ClassicalCrystals:[93,2,1,""]},"sage.categories.monoids.Monoids.Subquotients":{ParentMethods:[101,2,1,""]},"sage.categories.pushout.CompletionFunctor":{merge:[136,1,1,""],commutes:[136,1,1,""]},"sage.categories.finite_dimensional_semisimple_algebras_with_basis.FiniteDimensionalSemisimpleAlgebrasWithBasis":{Commutative:[103,2,1,""],ParentMethods:[103,2,1,""]},"sage.categories.finite_dimensional_hopf_algebras_with_basis.FiniteDimensionalHopfAlgebrasWithBasis":{ElementMethods:[62,2,1,""],ParentMethods:[62,2,1,""]},"sage.categories.quotient_fields":{QuotientFields:[15,2,1,""]},"sage.categories.category.Category":{"_all_super_categories_proper":[145,1,1,""],"_sort_uniq":[145,1,1,""],"_repr_object_names":[145,1,1,""],category_graph:[145,1,1,""],is_full_subcategory:[145,1,1,""],is_subcategory:[145,1,1,""],"_with_axiom":[145,1,1,""],"__init__":[145,1,1,""],category:[145,1,1,""],"_with_axiom_as_tuple":[145,1,1,""],element_class:[145,1,1,""],Realizations:[145,1,1,""],additional_structure:[145,1,1,""],"_make_named_class":[145,1,1,""],subcategory_class:[145,1,1,""],"_set_of_super_categories":[145,1,1,""],super_categories:[145,1,1,""],"_super_categories_for_classes":[145,1,1,""],is_abelian:[145,1,1,""],an_instance:[145,4,1,""],required_methods:[145,1,1,""],"__classcall__":[145,7,1,""],"_test_category":[145,1,1,""],join:[145,7,1,""],axioms:[145,1,1,""],structure:[145,1,1,""],full_super_categories:[145,1,1,""],"_all_super_categories":[145,1,1,""],morphism_class:[145,1,1,""],"_sort":[145,7,1,""],"_repr_":[145,1,1,""],or_subcategory:[145,1,1,""],WithRealizations:[145,1,1,""],"_without_axioms":[145,1,1,""],parent_class:[145,1,1,""],"_super_categories":[145,1,1,""],all_super_categories:[145,1,1,""],meet:[145,7,1,""],example:[145,1,1,""]},"sage.categories.rings.Rings.ParentMethods":{ideal_monoid:[47,1,1,""],quotient_ring:[47,1,1,""],characteristic:[47,1,1,""],is_ring:[47,1,1,""],ideal:[47,1,1,""],bracket:[47,1,1,""],is_zero:[47,1,1,""],quo:[47,1,1,""],quotient:[47,1,1,""]},"sage.categories.regular_crystals.RegularCrystals.TensorProducts":{extra_super_categories:[52,1,1,""]},"sage.categories.finite_lattice_posets.FiniteLatticePosets.ParentMethods":{is_lattice_morphism:[119,1,1,""],meet_irreducibles:[119,1,1,""],join_irreducibles_poset:[119,1,1,""],meet_irreducibles_poset:[119,1,1,""],join_irreducibles:[119,1,1,""]},"sage.categories.hopf_algebras.HopfAlgebras.DualCategory":{ParentMethods:[147,2,1,""]},"sage.categories.monoids.Monoids.Algebras":{extra_super_categories:[101,1,1,""],ElementMethods:[101,2,1,""],ParentMethods:[101,2,1,""]},"sage.categories.modules_with_basis.ModulesWithBasis.Homsets":{ParentMethods:[20,2,1,""]},"sage.categories.magmas.Magmas.CartesianProducts":{extra_super_categories:[99,1,1,""],example:[99,1,1,""],ParentMethods:[99,2,1,""]},"sage.categories.magmas.Magmas.Commutative.Algebras":{extra_super_categories:[99,1,1,""]},"sage.categories.action.PrecomposedAction":{codomain:[125,1,1,""],domain:[125,1,1,""]},"sage.categories.coxeter_group_algebras.CoxeterGroupAlgebras":{ParentMethods:[30,2,1,""]},"sage.categories.category_types.Category_over_base":{an_instance:[10,4,1,""],base:[10,1,1,""]},"sage.categories.groups.Groups.ParentMethods":{cayley_table:[83,1,1,""],holomorph:[83,1,1,""],group_generators:[83,1,1,""],monoid_generators:[83,1,1,""],semidirect_product:[83,1,1,""],conjugacy_class:[83,1,1,""]},"sage.categories.lattice_posets.LatticePosets":{super_categories:[144,1,1,""],Finite:[144,3,1,""],ParentMethods:[144,2,1,""]},"sage.categories.subobjects.SubobjectsCategory":{default_super_categories:[66,4,1,""]},"sage.categories.additive_semigroups.AdditiveSemigroups.Homsets":{extra_super_categories:[67,1,1,""]},"sage.categories.crystals.Crystals.TensorProducts":{extra_super_categories:[151,1,1,""]},"sage.categories.quotients.QuotientsCategory":{default_super_categories:[129,4,1,""]},"sage.categories.examples.sets_with_grading.NonNegativeIntegers":{generating_series:[77,1,1,""],an_element:[77,1,1,""],graded_component:[77,1,1,""],grading:[77,1,1,""]},"sage.categories.modular_abelian_varieties.ModularAbelianVarieties":{super_categories:[32,1,1,""],Homsets:[32,2,1,""],base_field:[32,1,1,""]},"sage.categories.additive_magmas.AdditiveMagmas.AdditiveUnital.CartesianProducts.ParentMethods":{zero:[8,1,1,""]},"sage.categories.with_realizations":{WithRealizationsCategory:[157,2,1,""],WithRealizations:[157,5,1,""]},"sage.categories.commutative_algebras":{CommutativeAlgebras:[90,2,1,""]},"sage.categories.pushout.PermutationGroupFunctor":{merge:[136,1,1,""],gens:[136,1,1,""]},"sage.categories.sets_cat.Sets.CartesianProducts.ElementMethods":{summand_split:[24,1,1,""],cartesian_projection:[24,1,1,""],cartesian_factors:[24,1,1,""],summand_projection:[24,1,1,""]},"sage.categories.sets_cat.Sets.CartesianProducts.ParentMethods":{an_element:[24,1,1,""],is_finite:[24,1,1,""],random_element:[24,1,1,""],is_empty:[24,1,1,""],cartesian_projection:[24,1,1,""],cardinality:[24,1,1,""],cartesian_factors:[24,1,1,""]},"sage.categories.category_with_axiom":{Bars:[65,2,1,""],base_category_class_and_axiom:[65,5,1,""],Blahs:[65,2,1,""],TestObjects:[65,2,1,""],CategoryWithAxiom_singleton:[65,2,1,""],uncamelcase:[65,5,1,""],TestObjectsOverBaseRing:[65,2,1,""],axiom_of_nested_class:[65,5,1,""],CategoryWithAxiom:[65,2,1,""],CategoryWithAxiom_over_base_ring:[65,2,1,""],axiom:[65,5,1,""]},"sage.categories.groups":{Groups:[83,2,1,""]},"sage.categories.distributive_magmas_and_additive_magmas.DistributiveMagmasAndAdditiveMagmas.AdditiveAssociative":{AdditiveCommutative:[28,2,1,""]},"sage.categories.coalgebras.Coalgebras.DualObjects":{extra_super_categories:[50,1,1,""]},"sage.categories.semirings":{Semirings:[115,2,1,""]},"sage.categories.subquotients":{SubquotientsCategory:[73,2,1,""]},"sage.categories.right_modules":{RightModules:[44,2,1,""]},"sage.categories.finite_monoids.FiniteMonoids.ElementMethods":{pseudo_order:[23,1,1,""]},"sage.categories.commutative_rings.CommutativeRings":{Finite:[75,2,1,""],ElementMethods:[75,2,1,""]},"sage.categories.examples.commutative_additive_monoids.FreeCommutativeAdditiveMonoid":{zero:[153,1,1,""],Element:[153,2,1,""]},"sage.categories.examples.finite_enumerated_sets":{Example:[9,2,1,""],IsomorphicObjectOfFiniteEnumeratedSet:[9,2,1,""]},"sage.categories.examples.graded_modules_with_basis":{GradedPartitionModule:[141,2,1,""],Example:[141,3,1,""]},"sage.categories.highest_weight_crystals.HighestWeightCrystals.TensorProducts":{extra_super_categories:[21,1,1,""],ParentMethods:[21,2,1,""]},"sage.categories.category.CategoryWithParameters":{"_make_named_class":[145,1,1,""]},"sage.categories.category_with_axiom.TestObjectsOverBaseRing.FiniteDimensional.Unital":{Commutative:[65,2,1,""]},"sage.categories.graded_hopf_algebras_with_basis.GradedHopfAlgebrasWithBasis":{ParentMethods:[110,2,1,""],ElementMethods:[110,2,1,""],WithRealizations:[110,2,1,""]},"sage.categories.modules_with_basis.ModulesWithBasis.TensorProducts.ElementMethods":{apply_multilinear_morphism:[20,1,1,""]},"sage.categories.additive_semigroups.AdditiveSemigroups":{AdditiveUnital:[67,3,1,""],ParentMethods:[67,2,1,""],AdditiveCommutative:[67,3,1,""],CartesianProducts:[67,2,1,""],Algebras:[67,2,1,""],Homsets:[67,2,1,""]},"sage.categories.finite_enumerated_sets.FiniteEnumeratedSets":{IsomorphicObjects:[78,2,1,""],ParentMethods:[78,2,1,""],CartesianProducts:[78,2,1,""]},"sage.categories.euclidean_domains":{EuclideanDomains:[132,2,1,""]},"sage.categories.sets_cat.Sets.Subquotients.ElementMethods":{lift:[24,1,1,""]},"sage.categories.additive_magmas.AdditiveMagmas.CartesianProducts":{extra_super_categories:[8,1,1,""],ElementMethods:[8,2,1,""]},"sage.categories.category_types.AbelianCategory":{is_abelian:[10,1,1,""]},"sage.categories.category_types.SimplicialComplexes":{super_categories:[10,1,1,""]},"sage.categories.infinite_enumerated_sets":{InfiniteEnumeratedSets:[114,2,1,""]},"sage.categories.groups.Groups.Algebras.ParentMethods":{group:[83,1,1,""],algebra_generators:[83,1,1,""],antipode_on_basis:[83,1,1,""],center_basis:[83,1,1,""],coproduct_on_basis:[83,1,1,""],counit:[83,1,1,""],counit_on_basis:[83,1,1,""]},"sage.categories.domains":{Domains:[80,2,1,""]},"sage.categories.principal_ideal_domains.PrincipalIdealDomains":{super_categories:[96,1,1,""],additional_structure:[96,1,1,""],ElementMethods:[96,2,1,""],ParentMethods:[96,2,1,""]},"sage.categories.discrete_valuation.DiscreteValuationFields.ParentMethods":{residue_field:[116,1,1,""],uniformizer:[116,1,1,""]},"sage.categories.realizations":{Realizations:[95,5,1,""],Category_realization_of_parent:[95,2,1,""],RealizationsCategory:[95,2,1,""]},"sage.categories.graded_algebras_with_basis.GradedAlgebrasWithBasis.ElementMethods":{homogeneous_degree:[54,1,1,""],maximal_degree:[54,1,1,""],degree:[54,1,1,""],is_homogeneous:[54,1,1,""]},"sage.categories.graded_coalgebras_with_basis":{GradedCoalgebrasWithBasis:[92,5,1,""]},"sage.categories.coxeter_groups.CoxeterGroups":{super_categories:[126,1,1,""],Algebras:[126,3,1,""],ElementMethods:[126,2,1,""],Finite:[126,3,1,""],ParentMethods:[126,2,1,""]},"sage.categories.map.Map":{domain:[59,3,1,""],pre_compose:[59,1,1,""],parent:[59,1,1,""],is_injective:[59,1,1,""],extend_domain:[59,1,1,""],is_surjective:[59,1,1,""],extend_codomain:[59,1,1,""],post_compose:[59,1,1,""],domains:[59,1,1,""],codomain:[59,3,1,""],category_for:[59,1,1,""],section:[59,1,1,""]},"sage.categories.additive_magmas.AdditiveMagmas.ParentMethods":{summation:[8,1,1,""],summation_from_element_class_add:[8,1,1,""],addition_table:[8,1,1,""]},"sage.categories.monoids.Monoids.CartesianProducts.ParentMethods":{monoid_generators:[101,1,1,""]},"sage.categories.examples.finite_monoids":{IntegerModMonoid:[127,2,1,""],Example:[127,3,1,""]},"sage.categories.category_with_axiom.Blahs.Unital":{Blue:[65,2,1,""]},"sage.categories.classical_crystals.ClassicalCrystals.ParentMethods":{demazure_character:[93,1,1,""],cardinality:[93,1,1,""],character:[93,1,1,""],opposition_automorphism:[93,1,1,""]},"sage.categories.semigroups.Semigroups.Subquotients":{example:[112,1,1,""]},"sage.categories.homsets.Homsets.Endset":{extra_super_categories:[70,1,1,""]},"sage.categories.left_modules.LeftModules":{super_categories:[146,1,1,""],ElementMethods:[146,2,1,""],ParentMethods:[146,2,1,""]},"sage.categories.examples":{semigroups:[118,0,0,"-"],sets_with_grading:[77,0,0,"-"],infinite_enumerated_sets:[68,0,0,"-"],coxeter_groups:[109,0,0,"-"],finite_coxeter_groups:[104,0,0,"-"],with_realizations:[5,0,0,"-"],finite_weyl_groups:[42,0,0,"-"],commutative_additive_monoids:[153,0,0,"-"],sets_cat:[106,0,0,"-"],facade_sets:[148,0,0,"-"],finite_monoids:[127,0,0,"-"],commutative_additive_semigroups:[72,0,0,"-"],algebras_with_basis:[154,0,0,"-"],finite_semigroups:[60,0,0,"-"],posets:[51,0,0,"-"],graded_modules_with_basis:[141,0,0,"-"],finite_enumerated_sets:[9,0,0,"-"],crystals:[91,0,0,"-"],semigroups_cython:[7,0,0,"-"],hopf_algebras_with_basis:[98,0,0,"-"],monoids:[18,0,0,"-"]},"sage.categories.graded_algebras":{GradedAlgebras:[102,2,1,""]},"sage.categories.finite_permutation_groups.FinitePermutationGroups.ParentMethods":{cycle_index:[36,1,1,""]},"sage.categories.discrete_valuation.DiscreteValuationFields.ElementMethods":{valuation:[116,1,1,""]},"sage.categories.fields.Fields.ParentMethods":{is_perfect:[74,1,1,""],is_integrally_closed:[74,1,1,""],fraction_field:[74,1,1,""],is_field:[74,1,1,""]},"sage.categories.additive_magmas.AdditiveMagmas":{super_categories:[8,1,1,""],AdditiveUnital:[8,2,1,""],ElementMethods:[8,2,1,""],SubcategoryMethods:[8,2,1,""],AdditiveAssociative:[8,3,1,""],ParentMethods:[8,2,1,""],AdditiveCommutative:[8,2,1,""],CartesianProducts:[8,2,1,""],Algebras:[8,2,1,""],Homsets:[8,2,1,""]},"sage.categories.additive_magmas.AdditiveMagmas.SubcategoryMethods":{AdditiveCommutative:[8,1,1,""],AdditiveAssociative:[8,1,1,""],AdditiveUnital:[8,1,1,""]},"sage.categories.magmas":{Magmas:[99,2,1,""]},"sage.categories.permutation_groups.PermutationGroups":{super_categories:[13,1,1,""],Finite:[13,3,1,""]},"sage.categories.commutative_ring_ideals":{CommutativeRingIdeals:[41,2,1,""]},"sage.categories.algebra_modules":{AlgebraModules:[133,2,1,""]},"sage.categories.examples.sets_cat.PrimeNumbers":{element_class:[106,3,1,""],an_element:[106,1,1,""]},"sage.categories.infinite_enumerated_sets.InfiniteEnumeratedSets":{ParentMethods:[114,2,1,""]},"sage.categories.algebras.Algebras":{ElementMethods:[121,2,1,""],Commutative:[121,3,1,""],SubcategoryMethods:[121,2,1,""],Graded:[121,3,1,""],WithBasis:[121,3,1,""],TensorProducts:[121,2,1,""],CartesianProducts:[121,2,1,""],DualObjects:[121,2,1,""],Semisimple:[121,3,1,""],Quotients:[121,2,1,""]},"sage.categories.pointed_sets.PointedSets":{super_categories:[124,1,1,""]},"sage.categories.additive_groups":{AdditiveGroups:[152,2,1,""]},"sage.categories":{number_fields:[117,0,0,"-"],partially_ordered_monoids:[27,0,0,"-"],rings:[47,0,0,"-"],finite_dimensional_bialgebras_with_basis:[46,0,0,"-"],groupoid:[140,0,0,"-"],sets_with_partial_maps:[131,0,0,"-"],hopf_algebras_with_basis:[4,0,0,"-"],graded_modules:[158,0,0,"-"],highest_weight_crystals:[21,0,0,"-"],graded_coalgebras:[1,0,0,"-"],primer:[14,0,0,"-"],homsets:[70,0,0,"-"],monoid_algebras:[11,0,0,"-"],graded_hopf_algebras_with_basis:[110,0,0,"-"],sets_with_grading:[31,0,0,"-"],additive_groups:[152,0,0,"-"],permutation_groups:[13,0,0,"-"],discrete_valuation:[116,0,0,"-"],graded_modules_with_basis:[17,0,0,"-"],finite_permutation_groups:[36,0,0,"-"],coalgebras:[50,0,0,"-"],bialgebras:[85,0,0,"-"],regular_crystals:[52,0,0,"-"],graded_coalgebras_with_basis:[92,0,0,"-"],ring_ideals:[134,0,0,"-"],enumerated_sets:[29,0,0,"-"],classical_crystals:[93,0,0,"-"],function_fields:[130,0,0,"-"],cartesian_product:[12,0,0,"-"],commutative_rings:[75,0,0,"-"],finite_groups:[84,0,0,"-"],polyhedra:[142,0,0,"-"],associative_algebras:[64,0,0,"-"],finite_weyl_groups:[26,0,0,"-"],fields:[74,0,0,"-"],sets_cat:[24,0,0,"-"],facade_sets:[34,0,0,"-"],finite_monoids:[23,0,0,"-"],integral_domains:[100,0,0,"-"],finite_enumerated_sets:[78,0,0,"-"],magmatic_algebras:[55,0,0,"-"],graded_bialgebras_with_basis:[120,0,0,"-"],subobjects:[66,0,0,"-"],schemes:[81,0,0,"-"],semisimple_algebras:[122,0,0,"-"],graded_algebras:[102,0,0,"-"],right_modules:[44,0,0,"-"],finite_sets:[48,0,0,"-"],quotient_fields:[15,0,0,"-"],tutorial:[155,0,0,"-"],category:[145,0,0,"-"],unique_factorization_domains:[71,0,0,"-"],division_rings:[150,0,0,"-"],tensor:[40,0,0,"-"],additive_semigroups:[67,0,0,"-"],poor_man_map:[37,0,0,"-"],isomorphic_objects:[49,0,0,"-"],covariant_functorial_construction:[69,0,0,"-"],euclidean_domains:[132,0,0,"-"],finite_crystals:[3,0,0,"-"],left_modules:[146,0,0,"-"],hecke_modules:[76,0,0,"-"],algebra_ideals:[39,0,0,"-"],algebra_modules:[133,0,0,"-"],realizations:[95,0,0,"-"],finite_dimensional_modules_with_basis:[94,0,0,"-"],objects:[138,0,0,"-"],finite_dimensional_hopf_algebras_with_basis:[62,0,0,"-"],groups:[83,0,0,"-"],rngs:[35,0,0,"-"],bimodules:[86,0,0,"-"],bialgebras_with_basis:[2,0,0,"-"],finite_lattice_posets:[119,0,0,"-"],gcd_domains:[108,0,0,"-"],action:[125,0,0,"-"],commutative_additive_groups:[61,0,0,"-"],subquotients:[73,0,0,"-"],distributive_magmas_and_additive_magmas:[28,0,0,"-"],semirings:[115,0,0,"-"],modular_abelian_varieties:[32,0,0,"-"],hopf_algebras:[147,0,0,"-"],finite_dimensional_coalgebras_with_basis:[25,0,0,"-"],lattice_posets:[144,0,0,"-"],commutative_ring_ideals:[41,0,0,"-"],semigroups:[112,0,0,"-"],coxeter_groups:[126,0,0,"-"],with_realizations:[157,0,0,"-"],unital_algebras:[56,0,0,"-"],finite_fields:[107,0,0,"-"],quotients:[129,0,0,"-"],finite_posets:[139,0,0,"-"],posets:[22,0,0,"-"],category_cy_helper:[97,0,0,"-"],finite_semigroups:[123,0,0,"-"],functor:[63,0,0,"-"],additive_magmas:[8,0,0,"-"],vector_spaces:[38,0,0,"-"],graded_hopf_algebras:[137,0,0,"-"],complete_discrete_valuation:[33,0,0,"-"],algebras:[121,0,0,"-"],principal_ideal_domains:[96,0,0,"-"],graded_bialgebras:[111,0,0,"-"],homset:[113,0,0,"-"],category_types:[10,0,0,"-"],coalgebras_with_basis:[87,0,0,"-"],additive_monoids:[58,0,0,"-"],infinite_enumerated_sets:[114,0,0,"-"],algebras_with_basis:[143,0,0,"-"],category_singleton:[82,0,0,"-"],dual:[135,0,0,"-"],crystals:[151,0,0,"-"],finite_dimensional_semisimple_algebras_with_basis:[103,0,0,"-"],category_with_axiom:[65,0,0,"-"],commutative_algebras:[90,0,0,"-"],magmas_and_additive_magmas:[45,0,0,"-"],g_sets:[43,0,0,"-"],finite_dimensional_algebras_with_basis:[149,0,0,"-"],finite_coxeter_groups:[105,0,0,"-"],algebra_functor:[89,0,0,"-"],commutative_additive_monoids:[79,0,0,"-"],commutative_additive_semigroups:[88,0,0,"-"],group_algebras:[19,0,0,"-"],map:[59,0,0,"-"],pointed_sets:[124,0,0,"-"],weyl_groups:[0,0,0,"-"],modules_with_basis:[20,0,0,"-"],domains:[80,0,0,"-"],graded_algebras_with_basis:[54,0,0,"-"],pushout:[136,0,0,"-"],modules:[16,0,0,"-"],matrix_algebras:[128,0,0,"-"],magmas:[99,0,0,"-"],coxeter_group_algebras:[30,0,0,"-"],affine_weyl_groups:[57,0,0,"-"],morphism:[6,0,0,"-"],commutative_algebra_ideals:[156,0,0,"-"],monoids:[101,0,0,"-"]},"sage.categories.examples.finite_weyl_groups.SymmetricGroup":{product:[42,1,1,""],Element:[42,2,1,""],index_set:[42,1,1,""],simple_reflection:[42,1,1,""],one:[42,1,1,""]},"sage.categories.examples.monoids":{Example:[18,3,1,""],FreeMonoid:[18,2,1,""]},"sage.categories.distributive_magmas_and_additive_magmas.DistributiveMagmasAndAdditiveMagmas":{AdditiveAssociative:[28,2,1,""],CartesianProducts:[28,2,1,""],ParentMethods:[28,2,1,""]},"sage.categories.graded_algebras.GradedAlgebras":{ElementMethods:[102,2,1,""],ParentMethods:[102,2,1,""]},"sage.categories.magmatic_algebras.MagmaticAlgebras":{super_categories:[55,1,1,""],Unital:[55,3,1,""],ParentMethods:[55,2,1,""],additional_structure:[55,1,1,""],WithBasis:[55,2,1,""],Associative:[55,3,1,""]},"sage.categories.modules_with_basis.ModulesWithBasis.MorphismMethods":{on_basis:[20,1,1,""]},"sage.categories.hopf_algebras.HopfAlgebras.ElementMethods":{antipode:[147,1,1,""]},"sage.categories.examples.crystals.HighestWeightCrystalOfTypeA.Element":{e:[91,1,1,""],f:[91,1,1,""]},"sage.categories.facade_sets.FacadeSets.ParentMethods":{is_parent_of:[34,1,1,""],facade_for:[34,1,1,""]},"sage.categories.examples.posets":{PositiveIntegersOrderedByDivisibilityFacade:[51,2,1,""],FiniteSetsOrderedByInclusion:[51,2,1,""]},"sage.categories.examples.semigroups_cython.IdempotentSemigroups":{super_categories:[7,1,1,""],ElementMethods:[7,3,1,""]},"sage.categories.pushout.MatrixFunctor":{merge:[136,1,1,""]},"sage.categories.magmas.Magmas.Realizations.ParentMethods":{product_by_coercion:[99,1,1,""]},"sage.categories.algebras_with_basis":{AlgebrasWithBasis:[143,2,1,""]},"sage.categories.facade_sets.FacadeSets":{example:[34,1,1,""],ParentMethods:[34,2,1,""]},"sage.categories.unital_algebras":{UnitalAlgebras:[56,2,1,""]},"sage.categories.unital_algebras.UnitalAlgebras.WithBasis":{ParentMethods:[56,2,1,""]},"sage.categories.sets_with_grading":{SetsWithGrading:[31,2,1,""]},"sage.categories.complete_discrete_valuation.CompleteDiscreteValuationRings":{super_categories:[33,1,1,""],ElementMethods:[33,2,1,""]},"sage.categories.examples.crystals.NaiveCrystal.Element":{e:[91,1,1,""],f:[91,1,1,""]},"sage.categories.hecke_modules":{HeckeModules:[76,2,1,""]},"sage.categories.action":{Action:[125,2,1,""],PrecomposedAction:[125,2,1,""],ActionEndomorphism:[125,2,1,""],InverseAction:[125,2,1,""]},"sage.categories.examples.semigroups_cython.LeftZeroSemigroup":{Element:[7,3,1,""]},"sage.categories.covariant_functorial_construction.RegressiveCovariantConstructionCategory":{default_super_categories:[69,4,1,""]},"sage.categories.coxeter_group_algebras.CoxeterGroupAlgebras.ParentMethods":{demazure_lusztig_operators:[30,1,1,""],demazure_lusztig_operator_on_basis:[30,1,1,""],demazure_lusztig_eigenvectors:[30,1,1,""]},"sage.categories.graded_hopf_algebras":{GradedHopfAlgebras:[137,5,1,""]},"sage.categories.examples.sets_cat.PrimeNumbers_Wrapper":{ElementWrapper:[106,3,1,""],Element:[106,2,1,""]},"sage.categories.regular_crystals.RegularCrystals.ElementMethods":{phi:[52,1,1,""],stembridgeTriple:[52,1,1,""],weight:[52,1,1,""],epsilon:[52,1,1,""],dual_equivalence_class:[52,1,1,""],stembridgeDelta_rise:[52,1,1,""],demazure_operator_simple:[52,1,1,""],stembridgeDelta_depth:[52,1,1,""],stembridgeDel_depth:[52,1,1,""],stembridgeDel_rise:[52,1,1,""]},"sage.categories.semigroups.Semigroups.Quotients.ParentMethods":{semigroup_generators:[112,1,1,""]},"sage.categories.graded_modules_with_basis.GradedModulesWithBasis.ElementMethods":{homogeneous_component:[17,1,1,""],is_homogeneous:[17,1,1,""],degree:[17,1,1,""],truncate:[17,1,1,""]},"sage.categories.vector_spaces.VectorSpaces.WithBasis.CartesianProducts":{extra_super_categories:[38,1,1,""]},"sage.categories.finite_groups.FiniteGroups":{Algebras:[84,2,1,""],ElementMethods:[84,2,1,""],example:[84,1,1,""],ParentMethods:[84,2,1,""]},"sage.categories.modules.Modules.Homsets":{extra_super_categories:[16,1,1,""],base_ring:[16,1,1,""],ParentMethods:[16,2,1,""],Endset:[16,2,1,""]},"sage.categories.weyl_groups.WeylGroups":{super_categories:[0,1,1,""],additional_structure:[0,1,1,""],Finite:[0,3,1,""],ElementMethods:[0,2,1,""],ParentMethods:[0,2,1,""]},"sage.categories.coxeter_group_algebras":{CoxeterGroupAlgebras:[30,2,1,""]},"sage.categories.modules":{Modules:[16,2,1,""]},"sage.categories.finite_dimensional_algebras_with_basis.FiniteDimensionalAlgebrasWithBasis":{ElementMethods:[149,2,1,""],ParentMethods:[149,2,1,""]},"sage.categories.enumerated_sets.EnumeratedSets.CartesianProducts.ParentMethods":{first:[29,1,1,""]},"sage.categories.discrete_valuation.DiscreteValuationRings":{super_categories:[116,1,1,""],ElementMethods:[116,2,1,""],ParentMethods:[116,2,1,""]},"sage.categories.finite_dimensional_modules_with_basis.FiniteDimensionalModulesWithBasis.MorphismMethods":{matrix:[94,1,1,""]},"sage.categories.graded_modules.GradedModules":{Connected:[158,2,1,""],extra_super_categories:[158,1,1,""],ElementMethods:[158,2,1,""],SubcategoryMethods:[158,2,1,""],ParentMethods:[158,2,1,""]},"sage.categories.additive_magmas.AdditiveMagmas.AdditiveCommutative.CartesianProducts":{extra_super_categories:[8,1,1,""]},"sage.categories.vector_spaces.VectorSpaces.WithBasis":{is_abelian:[38,1,1,""],TensorProducts:[38,2,1,""],CartesianProducts:[38,2,1,""]},"sage.categories.examples.crystals.NaiveCrystal":{Element:[91,2,1,""]},"sage.categories.additive_magmas.AdditiveMagmas.AdditiveUnital.WithRealizations.ParentMethods":{zero:[8,1,1,""]},"sage.categories.finite_sets":{FiniteSets:[48,2,1,""]},"sage.categories.quotient_fields.QuotientFields.ElementMethods":{gcd:[15,1,1,""],partial_fraction_decomposition:[15,1,1,""],xgcd:[15,1,1,""],denominator:[15,1,1,""],numerator:[15,1,1,""],factor:[15,1,1,""],derivative:[15,1,1,""],lcm:[15,1,1,""]},"sage.categories.coalgebras.Coalgebras.ElementMethods":{counit:[50,1,1,""],coproduct:[50,1,1,""]},"sage.categories.pushout.MultiPolynomialFunctor":{merge:[136,1,1,""],expand:[136,1,1,""]},"sage.categories.modules_with_basis.ModulesWithBasis.TensorProducts":{extra_super_categories:[20,1,1,""],ElementMethods:[20,2,1,""],ParentMethods:[20,2,1,""]},"sage.categories.additive_semigroups.AdditiveSemigroups.Algebras.ParentMethods":{product_on_basis:[67,1,1,""],algebra_generators:[67,1,1,""]},"sage.categories.finite_dimensional_semisimple_algebras_with_basis.FiniteDimensionalSemisimpleAlgebrasWithBasis.Commutative":{ParentMethods:[103,2,1,""]},"sage.categories.right_modules.RightModules":{super_categories:[44,1,1,""],ElementMethods:[44,2,1,""],ParentMethods:[44,2,1,""]},"sage.categories.examples.semigroups.QuotientOfLeftZeroSemigroup":{an_element:[118,1,1,""],Element:[118,2,1,""],the_answer:[118,1,1,""],lift:[118,1,1,""],ambient:[118,1,1,""],retract:[118,1,1,""],some_elements:[118,1,1,""]},"sage.categories.examples.with_realizations.SubsetAlgebra":{base_set:[5,1,1,""],supsets:[5,1,1,""],Bases:[5,2,1,""],a_realization:[5,1,1,""],Fundamental:[5,2,1,""],In:[5,2,1,""],indices:[5,1,1,""],indices_cmp:[5,1,1,""],Out:[5,2,1,""]},"sage.categories.groups.Groups.CartesianProducts":{extra_super_categories:[83,1,1,""],ParentMethods:[83,2,1,""]},"sage.categories.category_types.Category_over_base_ring":{base_ring:[10,1,1,""]},"sage.categories.division_rings.DivisionRings":{Finite_extra_super_categories:[150,1,1,""],extra_super_categories:[150,1,1,""],ElementMethods:[150,2,1,""],Commutative:[150,3,1,""],ParentMethods:[150,2,1,""]},"sage.categories.finite_weyl_groups.FiniteWeylGroups":{ElementMethods:[26,2,1,""],ParentMethods:[26,2,1,""]},"sage.categories.examples.semigroups.LeftZeroSemigroup.Element":{is_idempotent:[118,1,1,""]},"sage.categories.graded_bialgebras":{GradedBialgebras:[111,5,1,""]},"sage.categories.examples.with_realizations":{SubsetAlgebra:[5,2,1,""]},"sage.categories.magmas.Magmas.Unital.Inverse.CartesianProducts":{extra_super_categories:[99,1,1,""]},"sage.categories.hopf_algebras_with_basis.HopfAlgebrasWithBasis":{ElementMethods:[4,2,1,""],Graded:[4,3,1,""],FiniteDimensional:[4,3,1,""],ParentMethods:[4,2,1,""],TensorProducts:[4,2,1,""],example:[4,1,1,""]},"sage.categories.examples.finite_semigroups.LeftRegularBand":{semigroup_generators:[60,1,1,""],an_element:[60,1,1,""],product:[60,1,1,""],Element:[60,2,1,""]},"sage.categories.euclidean_domains.EuclideanDomains.ParentMethods":{is_euclidean_domain:[132,1,1,""]},"sage.categories.category_with_axiom.Blahs.SubcategoryMethods":{Blue:[65,1,1,""],Commutative:[65,1,1,""],Unital:[65,1,1,""],Flying:[65,1,1,""],FiniteDimensional:[65,1,1,""],Connected:[65,1,1,""]},"sage.categories.lattice_posets.LatticePosets.ParentMethods":{meet:[144,1,1,""],join:[144,1,1,""]},"sage.categories.sets_cat.Sets.Infinite":{ParentMethods:[24,2,1,""]},"sage.categories.finite_sets.FiniteSets.Subquotients":{extra_super_categories:[48,1,1,""]},"sage.categories.additive_semigroups":{AdditiveSemigroups:[67,2,1,""]},"sage.categories.distributive_magmas_and_additive_magmas.DistributiveMagmasAndAdditiveMagmas.AdditiveAssociative.AdditiveCommutative.AdditiveUnital.Associative":{AdditiveInverse:[28,3,1,""],Unital:[28,3,1,""]},"sage.categories.modular_abelian_varieties.ModularAbelianVarieties.Homsets.Endset":{extra_super_categories:[32,1,1,""]},"sage.categories.g_sets":{GSets:[43,2,1,""]},"sage.categories.quotient_fields.QuotientFields":{super_categories:[15,1,1,""],ElementMethods:[15,2,1,""],ParentMethods:[15,2,1,""]},"sage.categories.monoids.Monoids.ElementMethods":{is_one:[101,1,1,""],powers:[101,1,1,""]},"sage.categories.regular_crystals":{RegularCrystals:[52,2,1,""]},"sage.categories.finite_dimensional_modules_with_basis":{FiniteDimensionalModulesWithBasis:[94,2,1,""]},"sage.categories.finite_sets.FiniteSets":{Subquotients:[48,2,1,""],Algebras:[48,2,1,""],ParentMethods:[48,2,1,""]},"sage.categories.finite_enumerated_sets":{FiniteEnumeratedSets:[78,2,1,""]},"sage.categories.magmas.Magmas.ParentMethods":{product:[99,1,1,""],product_from_element_class_mul:[99,1,1,""],multiplication_table:[99,1,1,""]},"sage.categories.category_with_axiom.TestObjects.FiniteDimensional":{Finite:[65,2,1,""],Unital:[65,2,1,""]},"sage.categories.magmas.Magmas.Subquotients.ParentMethods":{product:[99,1,1,""]}},titleterms:{code:65,partial:27,cdvr:33,when:65,groupoid:140,sage:14,cdvf:33,pitch:14,hierarchi:[14,65],subobject:66,flexibl:65,affin:57,dynam:14,help:14,involv:65,content:14,group:[105,125,0,83,109,13,26,126,57,42,30,61,104,36,152,19],miscellan:53,polyhedr:142,regress:14,complex:65,defin:65,lemma:65,concret:65,theorem:65,semigroup:[72,118,67,60,88,123,112,7],hopf:[62,4,147,110,137],abelian:32,non:55,handl:65,lattic:[144,119,65],rng:35,subquoti:73,number:117,framework:97,realiz:[95,157,5],discret:[33,116],bit:14,poset:[22,139,51,119,144],discuss:[14,65],introduct:14,insert:14,document:14,name:14,specif:[14,10,65],mathematician:14,synthet:65,correct:65,princip:96,vector:38,integr:100,man:37,valuat:[33,116],subset:142,sketch:65,weyl:[26,0,57,42],weight:21,map:[59,37],arboresc:65,bialgebra:[46,85,120,2,111],functor:[136,63],combinatori:14,finitegroup:84,magma:[8,45,28,99],design:[14,65],further:14,todo:[81,47,83,85,86,52,8,138,126,55,95,121,57,13,94,14,58,21,20,16,65,24,70,105,145,0,31,149,38,39,78,112,113,158],special:65,coxet:[30,105,126,109,104],primer:14,tensor:40,space:[14,38],monoid:[79,127,11,23,58,27,153,101,18],enumer:[68,9,114,78,29],categori:[53,145,10,65,82,14,70,97],between:[14,65],"new":[155,14,65],order:[14,27],method:14,challeng:14,cython:7,asymmetri:65,fiber:65,parent:[155,14,5,53],advanc:14,gener:14,usag:14,free:142,modular:32,base:59,theori:53,semirng:115,depend:65,"super":14,basi:[20,54,120,98,92,46,149,2,25,94,110,4,87,154,17,62,141,143,103],remark:65,crystal:[52,91,93,3,151,21],larger:65,isomorph:49,etc:125,heck:76,graph:14,action:125,studi:14,first:14,oper:14,bimodul:86,singleton:82,via:136,directli:65,point:[14,124],grade:[54,31,92,1,137,141,120,110,77,111,17,102,158],modul:[20,146,76,141,94,142,16,17,133,158,44],domain:[132,108,100,96,80,71],placehold:65,hook:14,deduct:65,construct:[95,53,135,73,65,129,66,12,14,136,40,69,49,157,89],wrap:14,ring:[125,116,75,47,41,33,150,134],coercion:136,predefin:65,unit:[56,55],differ:14,cartesian:12,from:14,setswithpartialmap:131,evolut:65,fast:97,parallel:14,draft:[155,14],addit:[8,45,67,58,28,72,153,88,61,79,152],commut:[90,72,75,156,41,153,88,61,79],"function":[130,97],upcom:65,some:14,factor:71,mismatch:65,finit:[46,3,119,123,9,127,94,60,62,36,23,139,25,26,103,104,105,107,149,48,78,42],specifi:14,line:14,highest:21,divis:150,technic:53,conclus:65,morphism:6,"case":[14,65],scheme:81,join:65,left:146,instanc:14,permut:[36,13],prelud:65,uniqu:71,structur:65,axiom:[14,65],euclidean:132,endow:5,homset:[70,113],proof:65,featur:[14,65],comput:[14,65],have:14,evalu:65,classic:93,facad:[148,34],"abstract":[14,65],explos:14,indic:53,right:44,dual:135,tabl:53,element:14,sever:65,coalgebra:[1,50,92,87,25],write:14,multipl:[5,65],goal:65,perform:65,make:65,gcd:108,note:65,field:[107,116,117,74,15,33,130],ideal:[156,41,134,96],other:65,librari:14,varieti:32,test:[14,65],functori:[135,53,73,95,129,66,12,14,40,69,49,157,89],scienc:14,simpl:65,singl:[14,65],complet:33,poor:37,infinit:[68,114],product:[40,12],set:[106,34,31,77,148,24,48,68,9,114,78,29,43,124],distribut:28,algebra:[4,122,89,90,54,55,11,128,56,121,14,62,133,19,64,137,98,156,30,147,143,103,102,149,110,154],optim:14,nest:65,object:[14,125,49,138],upon:65,covari:[14,157,69,95],"class":[14,59,10,65],semisimpl:[122,103],regular:52,scale:14,algebraid:39,associ:[64,55],implement:[155,65],matrix:128,algorithm:[14,65],tutori:155,read:14,entri:14,dvf:116,descript:65,rule:65,subcategori:14,digress:65,exampl:[91,118,5,51,7,53,9,127,14,60,18,98,65,154,141,68,104,106,72,148,109,77,153,42],potenti:14,callabl:65,programm:14,model:65,quotient:[129,15],dimension:[46,149,25,94,62,103],dvr:116}})