a
    <b3                     @   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 )    )NonSquareMatrixError   )
MatrixExpr)Identity)S)ExprBuilder)cacheit)Pow)_sympify)
MatrixBasec                       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                    sT   t |}|jstd|js(td| t |}t | ||}|rP|jdd}|S )NzMatPow base should be a matrixzPower of non-square matrix %sF)deep)r
   Z	is_Matrix	TypeErrorZ	is_squarer   super__new__doit)clsbaseexpevaluateoptionsobj	__class__ q/Users/vegardjervell/Documents/master/model/venv/lib/python3.9/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   Z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       z!MatPow._entry.<locals>.<listcomp>)MatrixElement)sympy.matrices.expressionsr$   r   
isinstancer   r   Z
is_IntegerZis_positiverangeZ_is_shape_symbolicr"   Z"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 i  S t|dd }|d ur||S t||S )	Nr   Tc                    s   g | ]}|j f i  qS r   )r   )r&   argr2   r   r   r*   >   r+   zMatPow.doit.<locals>.<listcomp>r   r   InverseZ_eval_power)getr   r.   r   r   r   ZOneZZeror   rowsZNegativeOner-   r7   r   getattr)r   r2   r   r   r7   Z
eval_powerr   r5   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   r=   ^   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#   r6   )r   r   )r   r@      )         )Z	validatorrB   Tc                    s   g | ]
} j qS r   r%   r&   r0   r   r   r   r*      r+   z8MatPow._eval_derivative_matrix_lines.<locals>.<listcomp>c                    s   g | ]} j qS r   r%   rF   r7   r   r   r   r*      r+   z cannot evaluate %s derived by %s)Z0sympy.tensor.array.expressions.array_expressionsr?   Z*tensor.array.expressions.array_expressionsrA   matmulr$   Zinverser7   r   r   r!   Zhas_eval_derivative_matrix_linesr   r   _lines	_validater   Z_first_pointer_parentZ_first_pointer_indexZ_second_pointer_parentZ_second_pointer_indexZfromiterr/   r   NotImplementedError)
r   r>   r?   rA   r$   r   lrr0   ZsubexprZnewexprr   rH   r   rJ   a   sN    

"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"   r3   r   r<   r=   rJ   rO   __classcell__r   r   r   r   r      s   



,r   N)Zsympy.matrices.commonr   Zmatexprr   Zspecialr   Z
sympy.corer   Zsympy.core.exprr   Zsympy.core.cacher   Zsympy.core.powerr	   Zsympy.core.sympifyr
   Zsympy.matricesr   r   r   r   r   r   <module>   s   