U
    ;qLe4                     @   s   d dl mZ d dlmZ ddlmZ ddlmZ ddlm	Z	 ddl
mZ ddlmZ dd	lmZ dd
lmZ G dd deZdS )   )
MatrixExpr)Identity    )S)ExprBuilder)cacheit)Pow)_sympify)
MatrixBase)NonSquareMatrixErrorc                       s~   e Zd Zd fdd	Zedd Zedd Zedd	 Zed
d Z	dd Z
dd Zdd Zdd Zdd Zdd Z  ZS )MatPowFc                    sX   t |}|jstd|jdkr,td| t |}t | ||}|rT|jdd}|S )NzMatPow base should be a matrixFzPower of non-square matrix %s)deep)r	   	is_Matrix	TypeError	is_squarer   super__new__doit)clsbaseexpevaluateoptionsobj	__class__ x/home/p21-0144/sympy/latex2sympy2solve-back-end/sympyEq/lib/python3.8/site-packages/sympy/matrices/expressions/matpow.pyr      s    
zMatPow.__new__c                 C   s
   | j d S )Nr   argsselfr   r   r   r      s    zMatPow.basec                 C   s
   | j d S )Nr   r   r    r   r   r   r   !   s    z
MatPow.expc                 C   s   | j jS N)r   shaper    r   r   r   r#   %   s    zMatPow.shapec                 C   s   | j  | j S r"   )r   as_explicitr   r    r   r   r   _get_explicit_matrix)   s    zMatPow._get_explicit_matrixc                    s   ddl m} |   t tr| jjrL jjrL| fddt jD   n0| 	 sd 
 ||f S ddlm} || ||S  ||f S )Nr   MatMulc                    s   g | ]
} j qS r   r   ).0kAr   r   
<listcomp>3   s     z!MatPow._entry.<locals>.<listcomp>)MatrixElement)sympy.matrices.expressionsr'   r   
isinstancer   r   
is_Integeris_positiverange_is_shape_symbolicr%   "sympy.matrices.expressions.matexprr.   )r!   ijkwargsr'   r.   r   r+   r   _entry-   s    
zMatPow._entryc                    s     ddr& fdd| jD \}}n
| j\}}t|trT||jd 9 }|jd }q0t|trf|| S |tjkrt|S |tjkrt|j	S |tj
krddlm} ||jf  S t|dd }|d k	r||S t||S )	Nr   Tc                 3   s   | ]}|j f  V  qd S r"   )r   )r)   arghintsr   r   	<genexpr>>   s     zMatPow.doit.<locals>.<genexpr>r   r   Inverse_eval_power)getr   r0   r   r
   r   OneZeror   rowsNegativeOner/   r?   r   getattr)r!   r<   r   r   r?   Z
eval_powerr   r;   r   r   <   s&    






zMatPow.doitc                 C   s   | j \}}t|j|S r"   )r   r   T)r!   r   r   r   r   r   _eval_transposeZ   s    
zMatPow._eval_transposec                 C   s   t | |S r"   )r   _eval_derivative)r!   xr   r   r   rI   ^   s    zMatPow._eval_derivativec           
         s  ddl m} ddlm} ddlm} ddlm  j}j	j
dkr||sވj	|}|D ]|}t|t|td|jd |j	|d   |jd tdgd	d
g|jd}|jd j|_d|_|jd j|_d|_|g|_q\|S |dkdkr
|fddt|D }	nz|dkdkr( j	|S |dk dkrX| fddt| D }	n,|dkdkrt |S td|f |	|S )Nr   )ArrayContraction   )ArrayTensorProductr   r&   r>   )r   r   )r   rL      )         )	validatorrN   Tc                    s   g | ]
} j qS r   r(   r)   r6   r    r   r   r-      s     z8MatPow._eval_derivative_matrix_lines.<locals>.<listcomp>c                    s   g | ]} j qS r   r(   rS   r?   r!   r   r   r-      s     z cannot evaluate %s derived by %s)0sympy.tensor.array.expressions.array_expressionsrK   *tensor.array.expressions.array_expressionsrM   matmulr'   inverser?   r   r   r#   has_eval_derivative_matrix_linesr   r   _lines	_validater   _first_pointer_parent_first_pointer_index_second_pointer_parent_second_pointer_indexfromiterr3   r   NotImplementedError)
r!   rJ   rK   rM   r'   r   lrr6   subexprnewexprr   rU   r   r[   a   sP    
 
"z$MatPow._eval_derivative_matrix_linesc                 C   s   t | j| j S r"   )r   r   r   r    r   r   r   _eval_inverse   s    zMatPow._eval_inverse)F)__name__
__module____qualname__r   propertyr   r   r#   r   r%   r9   r   rH   rI   r[   rg   __classcell__r   r   r   r   r      s   



,r   N)matexprr   specialr   
sympy.corer   sympy.core.exprr   sympy.core.cacher   sympy.core.powerr   sympy.core.sympifyr	   sympy.matricesr
   sympy.matrices.commonr   r   r   r   r   r   <module>   s   