a Ям єzmatrix_fglm..csИtИ|d|dГГSйNrrй┌_incr_kйZk_lй┌O_to┌Srr┌!r zmatrix_fglm..Tй┌key┌reverserc3s|]}И|ИjkVqdSйNй┌zeror)┌_lambda┌domainrr┌ +r zmatrix_fglm..csi|]}И|И|УqSrrr)rrrr┌ .r zmatrix_fglm..csg|]}|ИfСqSrrr)┌srrr9r csИtИ|d|dГГSrrrrrrr;r cs2g|]*\ЙЙtЗЗЗfddДИDГГrИИfСqS)c3s(|] }ttИИИГ|jГduVqdSr)rr┌LMйr ┌g)r┌k┌lrrr=r z)matrix_fglm...)┌allйr )┌Gr)r$r%rr=r cSsg|]}|абСqSr)Zmonicr"rrrr@r cs И|jГSrйr!)r#)rrrrAr N)r┌ngens┌clone┌_basis┌_representing_matrices┌ zero_monom┌oner┌len┌range┌sort┌pop┌_identity_matrix┌_matrix_mulr&┌term_newr┌ from_dictZset_ring┌append┌_update┌extend┌list┌set┌sorted)┌F┌ringrr*Zring_toZ old_basis┌M┌V┌L┌t┌P┌v┌lt┌restr#r)r(rrrrr r┌matrix_fglms@ $ rHcCs6tt|d|ЕГ||dgt||ddЕГГS)Nr)┌tupler;)┌mr$rrrrFsrcs8ЗЗfddДtИГDГ}tИГD]}Иj|||<q |S)Ncsg|]}ИjgИСqSrrйr ┌_йr┌nrrrKr z$_identity_matrix..)r1r/)rNrr@r rrMrr4Jsr4csЗfddД|DГS)Ncs,g|]$ЙtЗЗfddДttИГГDГГСqS)csg|]}И|И|СqSrrr)┌rowrErrrTr z*_matrix_mul...)┌sumr1r0r'йrE)rOrrTr z_matrix_mul..r)r@rErrQrr5Ssr5csжtЗfddДt|tИГГDГГЙttИГГD]4ЙИИkr,ЗЗЗЗfddДttИИГГDГИИ<q,ЗЗЗfddДttИИГГDГИИ<И|ИИИИ<И|<ИS)zE Update ``P`` such that for the updated `P'` `P' v = e_{s}`. csg|]}И|dkr|СqSrrйr ┌j)rrrr[r z_update..cs4g|],}ИИ|ИИ|ИИИИСqSrrrRйrDrr$┌rrrr_r cs g|]}ИИ|ИИСqSrrrR)rDrr$rrrar )┌minr1r0)r rrDrrTrr9Ws *&r9csJИjЙИjdЙЗfddДЙЗЗЗЗfddДЙЗЗfddДtИdГDГS)zn Compute the matrices corresponding to the linear maps `m \mapsto x_i m` for all variables `x_i`. rcs"tdg|dgdgИ|ГS)Nrr)rI)r )┌urr┌varosz#_representing_matrices..varcstЗЗfddДttИГГDГ}tИГD]J\}}Иаt||ГИjбаИб}|абD]\}}Иа|б}||||<qNq$|S)Ncsg|]}ИjgtИГСqSr)rr0rK)┌basisrrrrsr zG_representing_matrices..representing_matrix..) r1r0┌ enumerater6rr/┌remZterms┌index)rJr@r rErUZmonomZcoeffrS)r(rYrr?rr┌representing_matrixrs z3_representing_matrices..representing_matrixcsg|]}ИИ|ГГСqSrrr)r]rXrrr~r z*_representing_matrices..)rr*r1)rYr(r?r)r(rYrr]r?rWrXrr-gs r-csВ|j}ddД|DГЙ|jg}g}|rj|абЙ|аИбЗЗfddДt|jГDГ}|а|б|j|ddНq tt |ГГ}t ||dНS)z░ Computes a list of monomials which are not divisible by the leading monomials wrt to ``O`` of ``G``. These monomials are a basis of `K[X_1, \ldots, X_n]/(G)`. cSsg|] }|jСqSrr)r"rrrrЙr z_basis..cs.g|]&ЙtЗЗfddДИDГГrtИИГСqS)c3s"|]}ttИИГ|ГduVqdSr)rr)r Zlmg)r$rCrrrТs z$_basis...)r&rr'йZleading_monomialsrC)r$rrСs Tr)r)rr.r3r8r1r*r:r2r;r<r=)r(r?r┌ candidatesrYZnew_candidatesrr^rr,Бs r,N)┌__doc__Zsympy.polys.monomialsrrrHrr4r5r9r-r,rrrr┌s@