o i: @s~ddlmZddlmZddlmZddlmZddlmZddl m m m Z ddl mZddlZddlmZddlmZd d lmZd d lmZddlm mZddlZd d ZddZddZdededej de!e!e"dfdffddZ#dededej deeej ffddZ$dededej deeej ffddZdededej de%fddZ&dededej ddfdd Z'dS)!) _parse_op) Invocation)solve) SyntaxError)ExpressionIndicatorN) defaultdict)Mapping) _is_scalar)Tensorc Cstt}|D],}|D]%}t|tjr1|jd}||dt dd|ddD|j fq qi}| D]1\}}t j dd|Dddd}t j|d d } |D]\} } | | | <qT| jd krft| } | ||<q9|S) N.rcs|]}t|VqdSNint).0trK/home/ubuntu/.local/lib/python3.10/site-packages/einx/_src/frontend/util.py z!_exprs_to_axes..r cSsg|]\}}|qSrr)rcoordvaluerrr z"_exprs_to_axes..)axisint32)dtyper)rlistnodes isinstancestage3Axisnamesplitappendtupleritemsnpamaxzerosshaper) exprsvaluesrootexprtokensvalues2r#xsr+rrvrrr_exprs_to_axess$   .    r4c Cst|ddd|Did}d|vrt|}t||dddzt|dd|d d \}}t|||||d |d \}}W|StyI|rFYdSw) N operationcSsBg|]}|durtjjjd|dn tjjjddtjdddqS)Nr+)type)r+concrete)tracer signature classicalr ConvertibleTensortypesSimpleNamespace)rr+rrrr*s z_solve..)r#tensorskwargsz->z7The expression must not contain a '->' operator. %EXPR%)posmessagez ->T)el_op invocation allow_concat) cse_concatcse)rrrget_pos_for_literalr_solve2 Exception) description tensor_shapes parametersreraiserGrD indicatorexprs_in exprs_outrrr_solve&s(  rRcCsX|durdSz tdd|jDWSYt|rdSt|r"dStdt|d)Ncsr rr)rxrrrrDrz_get_shape..rzFound z& which is not a valid tensor argument.)r&r+r callable ValueErrorr7)tensorrrr _get_shape@srWrKr?rMreturn.cOs.t|dd|D|ddd}tdd|DS)aDSolve for the shapes of the einx expressions under the given constraints. Args: description: Comma-separated list of tensor expressions in einx notation. *tensors: Tensors matching the description string. Accepts ``None`` for unknown shapes. **parameters: Additional parameters that specify dimension sizes, e.g. ``a=4``. Returns: A tuple of shapes corresponding to the input tensors. Example: >>> x = np.random.rand(3, 4) >>> einx.solve_shapes("a b, c b a", x, None, c=3) ((3, 4), (5, 4, 3)) cSg|]}t|qSrrWrrVrrrr`rz solve_shapes..TrNrGcss|]}|jVqdSrr6)rr/rrrraszsolve_shapes..)rRr&rKr?rMr,rrr solve_shapesOsr^cOs$t|dd|D|ddd}t|S)aSolve for the length of all axes in an expression under the given constraints. Args: description: Comma-separated list of tensor expressions in einx notation. *tensors: Tensors matching the description string. Accepts ``None`` for unknown shapes. **parameters: Additional parameters that specify dimension sizes, e.g. ``a=4``. Returns: A mapping from axis name to their lengths. If an axis is used with an ellipsis, the lengths are given as a list of integers. Example: >>> x = np.random.rand(3, 4) >>> einx.solve_axes("a b, c b a", x, None, c=3) {'a': 3, 'b': 4, 'c': 3} >>> einx.solve_axes("a..., c a...", x, None, c=3) {'a': array([3, 4], dtype=int32), 'c': 3} cSrYrrZr[rrrrxrzsolve_axes..TFr\)rRr4r]rrr solve_axesdsr_cOst|g|Ri|S)z6This function is an alias for :func:`einx.solve_axes`.)r_rKr?rMrrrr|srcOs*zt|g|Ri|WdSYdS)aReturns whether the given tensors match the einx expression description under the given constraints. Args: description: Comma-separated list of tensor expressions in einx notation. *tensors: Tensors matching the description string. Accepts ``None`` for unknown shapes. **parameters: Additional parameters that specify dimension sizes, e.g. ``a=4``. Returns: True if the tensors and constraints match the description, False otherwise. Example: >>> x = np.random.rand(3, 4) >>> einx.matches("a b", x) True >>> einx.matches("a b c", x) False TF)r^r`rrrmatchess racOs0tjdtddt|dd|D|ddddS)Nz^einx.check is deprecated and will be removed in a future release. Please call einx.id instead.) stacklevelcSrYrrZr[rrrrrzcheck..Tr\)warningswarnDeprecationWarningrRr`rrrchecks rg)('einx._src.adapter.einx_from_namedtensorrrrrIeinx._src.frontend.errorsreinx._src.namedtensorreinx._src.namedtensor.stage3_src namedtensorr! collectionsrnumpyr( numpy.typingtypingnptcollections.abcrapir r=r einx._src.tracerr9r4rRrWstr ArrayLiker&rr^r_boolrargrrrrs,         ,&&