o Ei@sddlZddlZddlmZddlmZmZddlmZ ej ddddZ ddd e d ej d ed e jd eee e jff ddZddd e d ej d ed e jd ef ddZejjddd e d ej d ed e jd df ddZdS)N) defaultdict)MappingOptionalTcsec Ostjj||\}}tjj|}t|t|kr'tdt|dt|ztjj ddt ||Ddd| D|d}Wntjj j tjj jtjjjfyXYdSwtt}|D].}|D]'}t|tjjjr|jd}||dtd d |d dD|jfqeq_i} | D]1\} } tjd d| Ddd d } tj| dd} | D]\}}|| |<q| jdkrt| } | | | <q| S)N Expected  tensors, got cSg|] \}}tj||qSeinxexprEquation.0r tensor_shaper r J/home/ubuntu/veenaModal/venv/lib/python3.10/site-packages/einx/op/solve.py s z_solve..cS4g|]\}}tjj|t|dtjfdddqS.N)depth1depth2r r rnpasarraynewaxisrkvr r rr"r.rcss|]}t|VqdS)N)int)rtr r r *sz_solve..cSsg|]\}}|qSr r )rcoordvaluer r rr.s)axisint32)dtyper ) r oputil!_clean_description_and_parametersr stage1 parse_argslen ValueErrorsolvezipitemsstage2SolveDepthExceptionSolveExpansionExceptionstage3SolveValueExceptionrlistall isinstanceAxisnamesplitappendtupler&ramaxzerosshaper!) descriptionr tensor_shapes parametersexprsvaluesrootr tokensvalues2r=xsrCr&r%rr r r_solvesT     .    rMFrDtensorsrrFreturncOs$t|gdd|DRd|i|S)aSolve for the axis values of the given expressions and tensors. Args: description: Description string for the tensors in einx notation. tensors: Input tensors or tensor factories matching the description string. cse: Whether to apply common subexpression elimination to the expressions. Defaults to False. **parameters: Additional parameters that specify values for single axes, e.g. ``a=4``. Returns: A mapping from axis name to axis value, or ``None`` if no solution was found. Examples: >>> x = np.zeros((10, 5)) >>> einx.solve("a b", x) {'a': 10, 'b': 5} cSg|]}tj|qSr r tracer get_shapertensorr r rrNzsolve..r)rMrDrrNrFr r rr19s r1cOst|g|Rd|i|duS)aCheck whether the given expressions and tensors match. Args: description: Description string for the tensors in einx notation. tensors: Input tensors or tensor factories matching the description string. cse: Whether to apply common subexpression elimination to the expressions. Defaults to False. **parameters: Additional parameters that specify values for single axes, e.g. ``a=4``. Returns: True if the expressions and tensors match, False otherwise. Examples: >>> x = np.zeros((10, 5)) >>> einx.matches("a b", x) True >>> einx.matches("a b c", x) False rN)r1rWr r rmatchesRsrXcOstjj||\}}tjj|}t|t|kr'tdt|dt|dd|D}tjj ddt ||Ddd| D|ddS) aCheck whether the given expressions and tensors match and raise an exception if they don't. Args: description: Description string for the tensors in einx notation. tensors: Input tensors or tensor factories matching the description string. cse: Whether to apply common subexpression elimination to the expressions. Defaults to False. **parameters: Additional parameters that specify values for single axes, e.g. ``a=4``. rrcSrPr rQrTr r rrrVzcheck..cSr r r rr r rrscSrrrrr r rrrrN) r r*r+r,r r-r.r/r0r1r2r3)rDrrNrFrGrEr r rcheckks rY)r numpyr collectionsrtypingrr numpy.typingnpt lru_cacherMstrTensorbool ArrayLiker1rXtraceback_utilfilterrYr r r rsX  1