o
    GZŽh,%  ã                   @   sè   d dl mZ d dlmZmZ d dlmZ d dlmZm	Z	m
Z
mZmZmZmZmZmZmZmZmZmZ d dlmZmZmZmZ dd„ Zdd	„ Zd
d„ Zdd„ Zdd„ Zdd„ Zdd„ Z dd„ Z!dd„ Z"dd„ Z#dd„ Z$dd„ Z%dd„ Z&d S )!é    )Úraises)ÚZZÚQQ)ÚDDM)Úddm_transposeÚddm_iaddÚddm_isubÚddm_inegÚddm_imatmulÚddm_imulÚ	ddm_irrefÚddm_idetÚddm_iinvÚddm_iluÚddm_ilu_splitÚddm_ilu_solveÚddm_berk)ÚDMDomainErrorÚDMNonInvertibleMatrixErrorÚDMNonSquareMatrixErrorÚDMShapeErrorc                  C   s0   ddgddgg} t | ƒddgddggksJ ‚d S )Né   é   é   é   )r   ©Úa© r   úT/var/www/auris/lib/python3.10/site-packages/sympy/polys/matrices/tests/test_dense.pyÚtest_ddm_transpose   s    r   c                  C   sF   ddgddgg} ddgddgg}t | |ƒ | ddgd	d
ggks!J ‚d S )Nr   r   r   r   é   é   é   é   é
   é   )r   ©r   Úbr   r   r   Útest_ddm_iadd   ó   
r(   c                  C   sF   ddgddgg} ddgddgg}t | |ƒ | d	d	gd	d	ggks!J ‚d S )
Nr   r   r   r   r    r!   r"   r#   éüÿÿÿ)r   r&   r   r   r   Útest_ddm_isub   r)   r+   c                  C   s4   ddgddgg} t | ƒ | ddgddggksJ ‚d S )	Nr   r   r   r   éÿÿÿÿéþÿÿÿéýÿÿÿr*   )r	   r   r   r   r   Útest_ddm_ineg&   s   r/   c                  C   sh   ddgddgg} t | dƒ | ddgddggksJ ‚ddgddgg} t | dƒ | ddgddggks2J ‚d S )Nr   r   r   r   r!   r#   r   )r   r   r   r   r   Útest_ddm_matmul,   s   

r0   c                  C   sÚ   g d¢g d¢g} ddgddgddgg}d	d	gd	d	gg}t || |ƒ |d
dgddggks-J ‚g d¢g d¢g d¢g}t ||| ƒ |g d¢g d¢g d¢gksMJ ‚dgdgdgg}d	gd	gg}t || |ƒ |dgdggkskJ ‚d S )N)r   r   r   )r   r    r!   r   r   r   r   r    r!   r   é   é   é1   é@   )r   r   r   )é	   r%   é   )é   é   é!   )é   é(   é3   é   é    )r
   )r   r'   Úc1Úc2Úb3Úc3r   r   r   Útest_ddm_imatmul6   s   rC   c                  C   s  g } g }g }t | ƒ|ksJ ‚| |ksJ ‚tdƒtdƒgtdƒtdƒgg} tdƒtdƒgtdƒtdƒgg}ddg}t | ƒ|ks@J ‚| |ksFJ ‚tdƒtdƒtdƒgtdƒtdƒtdƒgg} tdƒtdƒtdƒgtdƒtdƒtdƒgg}ddg}t | ƒ|ks~J ‚| |ks„J ‚tdƒtdƒtdƒgtdƒtdƒtdƒgg} tdƒtdƒtdƒgtdƒtdƒtdƒgg}ddg}t | ƒ|ks¼J ‚| |ksÂJ ‚tdƒtdƒgtdƒtdƒgtdƒtdƒgg} tdƒtdƒgtdƒtdƒgtdƒtdƒgg}ddg}t | ƒ|ksüJ ‚| |ksJ ‚tdƒtdƒtdƒgtdƒtdƒtdƒgg} tdƒtdƒtdƒgtdƒtdƒtdƒgg}ddg}t | ƒ|ks<J ‚| |ksCJ ‚tdƒtdƒgtdƒtdƒgtdƒtdƒgg} tdƒtdƒgtdƒtdƒgtdƒtdƒgg}ddg}t | ƒ|ks~J ‚| |ks…J ‚d S )Nr   r   r   r   r   r,   )r   r   )ÚAZArZpivotsr   r   r   Útest_ddm_irrefH   sF     ,,,,..,,..rE   c                  C   sb  g } t | tƒtdƒksJ ‚tdƒgg} t | tƒtdƒksJ ‚tdƒtdƒgtdƒtdƒgg} t | tƒtdƒks9J ‚tdƒtdƒtdƒgtdƒtdƒtdƒgtdƒtdƒtdƒgg} t | tƒtdƒksdJ ‚tdƒtdƒtdƒgtdƒtdƒtdƒgtdƒtdƒtdƒgg} t | tƒtdƒksJ ‚tddƒtddƒgtddƒtddƒgg} t | tƒtdd	ƒks¯J ‚d S )
Nr   r   r   r   r-   r    r,   r   é   )r   r   r   ©rD   r   r   r   Útest_ddm_idet{   s    @@(rH   c                     s\  g ‰ g ‰t ˆˆ tƒ ˆˆ ksJ ‚g ‰ g ‰tt‡ ‡fdd„ƒ tdƒtdƒgg‰ tdƒtdƒgg‰tt‡ ‡fdd„ƒ tddƒtddƒgtddƒtddƒgg‰ tdƒtdƒgtdƒtdƒgg‰td	dƒtddƒgtddƒtd
dƒgg} t ˆˆ tƒ ˆ| ks~J ‚tddƒtddƒgtddƒtddƒgg‰ tdƒtdƒgtdƒtdƒgg‰tt‡ ‡fdd„ƒ d S )Nc                      ó   t ˆˆ tƒS ©N)r   r   r   ©rD   ZAinvr   r   Ú<lambda>—   ó    ztest_ddm_inv.<locals>.<lambda>r   r   r   c                      rI   rJ   ©r   r   r   rK   r   r   rL   ›   rM   r   r   r-   r,   c                      rI   rJ   rN   r   rK   r   r   rL   ¥   rM   )r   r   r   r   r   r   )ZAinv_expectedr   rK   r   Útest_ddm_inv   s$   ( (( rO   c                  C   s\  g } g }t | ƒ}| |ksJ ‚|g ksJ ‚g g} g g}t | ƒ}| |ks$J ‚|g ks*J ‚tdƒtdƒgtdƒtdƒgg} tdƒtdƒgtdƒtdƒgg}t | ƒ}| |ksTJ ‚|g ksZJ ‚tdƒtdƒgtdƒtdƒgg} tdƒtdƒgtdƒtdƒgg}t | ƒ}| |ks„J ‚|dgks‹J ‚tdƒtdƒtdƒgtdƒtdƒtd	ƒgtd
ƒtdƒtdƒgg} tdƒtdƒtdƒgtdƒtdƒtdƒgtd
ƒtdƒtdƒgg}t | ƒ}| |ksÕJ ‚|g ksÛJ ‚tdƒtdƒtdƒgtdƒtdƒtdƒgtdƒtdƒtdƒgg} tdƒtdƒtdƒgtdƒtdƒtdƒgtdƒtdƒtdƒgg}t | ƒ}| |ks&J ‚|dgks.J ‚tdƒtdƒtdƒgtdƒtdƒtd	ƒgg} tdƒtdƒtdƒgtdƒtdƒtdƒgg}t | ƒ}| |kseJ ‚|g kslJ ‚tdƒtdƒgtdƒtdƒgtdƒtd	ƒgg} tdƒtdƒgtdƒtdƒgtdƒtdƒgg}t | ƒ}| |ks¥J ‚|g ks¬J ‚d S )Nr   r   r   r   r-   r   ©r   r   r    r!   r"   r#   r5   r.   éúÿÿÿr,   )r   r   )r   r   )rD   ZAluÚswapsr   r   r   Útest_ddm_ilu¨   sP       @@@@,,..rS   c                  C   s&  g } g }g }g }t || tƒ}| |ksJ ‚||ksJ ‚|g ks J ‚g g} tdƒgg}g g}tdƒgg}t || tƒ}| |ks>J ‚||ksDJ ‚|g ksJJ ‚tdƒtdƒgtdƒtdƒgg} tdƒtdƒgtdƒtdƒgg}tdƒtdƒgtdƒtdƒgg}tdƒtdƒgtdƒtdƒgg}t || tƒ}| |ks–J ‚||ksœJ ‚|g ks¢J ‚tdƒtdƒtdƒgtdƒtdƒtdƒgg} tdƒtdƒgtdƒtdƒgg}tdƒtdƒtdƒgtdƒtd	ƒtd
ƒgg}tdƒtdƒgtdƒtdƒgg}t || tƒ}| |ksúJ ‚||ksJ ‚|g ksJ ‚tdƒtdƒgtdƒtdƒgtdƒtdƒgg} tdƒtdƒtdƒgtdƒtdƒtdƒgtdƒtdƒtdƒgg}tdƒtdƒgtdƒtdƒgtdƒtdƒgg}tdƒtdƒtdƒgtdƒtdƒtdƒgtdƒtdƒtdƒgg}t || tƒ}| |ksƒJ ‚||ksŠJ ‚|g ks‘J ‚d S )Nr   r   r   r   r   r-   r    r!   r.   rQ   )r   r   )ÚUÚLZUexpZLexprR   r   r   r   Útest_ddm_ilu_splitÚ   sP       , , .@.@rV   c                     s  t dƒt dƒgt dƒt dƒgg‰t dƒt dƒgt dƒt dƒgg‰ g ‰tt dƒgt dƒggdt ƒ‰tt dƒgt dƒggdt ƒ‰tt dƒgt ddƒggdt ƒ} tˆˆ ˆˆˆƒ ˆ| ks[J ‚t dƒt dƒgt dƒt dƒgg‰t dƒt dƒgt dƒt dƒgg‰ dg‰tt dƒgt dƒggdt ƒ‰tt dƒgt dƒggdt ƒ‰tt dƒgt ddƒggdt ƒ} tˆˆ ˆˆˆƒ ˆ| ks·J ‚t dƒt dƒgt dƒt dƒgt dƒt dƒgg‰t dƒt dƒt dƒgt dƒt dƒt dƒgt d	ƒt dƒt dƒgg‰ g ‰tt dƒgt dƒgt dƒggd
t ƒ‰tt dƒgt dƒggdt ƒ‰tt dƒgt ddƒggdt ƒ} tˆˆ ˆˆˆƒ ˆ| ks.J ‚tt dƒgt dƒgt dƒggd
t ƒ‰tt‡ ‡‡‡‡fdd„ƒ t dƒt dƒgt dƒt dƒgg‰t dƒt dƒgt dƒt dƒgg‰ g ‰tt dƒgt dƒggdt ƒ‰tt‡ ‡‡‡‡fdd„ƒ t dƒt dƒgg‰t dƒgg‰ g ‰tt dƒggdt ƒ‰tt‡ ‡‡‡‡fdd„ƒ tt dƒgt dƒgt dƒggd
t ƒ‰tt‡ ‡‡‡‡fdd„ƒ t dƒgg‰t dƒgg‰ g ‰t dƒgg‰g ‰tt‡ ‡‡‡‡fdd„ƒ g ‰g ‰ g ‰g ‰g ‰tˆˆ ˆˆˆƒ ˆg ksJ ‚d S )Nr   r   r   r-   r   )r   r   r   rP   r    )r   r   c                      ó   t ˆˆ ˆˆˆƒS rJ   ©r   r   ©rU   rT   r'   rR   Úxr   r   rL   -  ó    z$test_ddm_ilu_solve.<locals>.<lambda>c                      rW   rJ   rX   r   rY   r   r   rL   5  r[   )r   r   c                      rW   rJ   rX   r   rY   r   r   rL   =  r[   c                      rW   rJ   rX   r   )rU   rT   rA   rR   rZ   r   r   rL   A  r[   c                      rW   rJ   rX   r   rY   r   r   rL   I  r[   )r   r   r   r   r   ÚNotImplementedErrorr   )Zxexpr   )rU   rT   r'   rA   rR   rZ   r   Útest_ddm_ilu_solve	  sf       .@$$  $r]   c                     sÄ   g ‰ t ˆ tƒtdƒggksJ ‚tdƒtdƒtdƒgtdƒtdƒtdƒgtdƒtdƒtd	ƒgg‰ tdƒgtd
ƒgtdƒgtdƒgg} t ˆ tƒ| ksJJ ‚ttdƒtdƒggdtƒ‰ tt‡ fdd„ƒ d S )Nr   r   r   r   r    r!   r"   r#   r5   iñÿÿÿiîÿÿÿr   )r   r   c                      s
   t ˆ tƒS rJ   )r   r   r   rG   r   r   rL   ^  s   
 z#test_ddm_charpoly.<locals>.<lambda>)r   r   r   r   r   )ZAvecr   rG   r   Útest_ddm_charpolyU  s   @$r^   N)'Zsympy.testing.pytestr   Zsympy.polysr   r   Zsympy.polys.matrices.ddmr   Zsympy.polys.matrices.denser   r   r   r	   r
   r   r   r   r   r   r   r   r   Zsympy.polys.matrices.exceptionsr   r   r   r   r   r(   r+   r/   r0   rC   rE   rH   rO   rS   rV   r]   r^   r   r   r   r   Ú<module>   s$    <
32/L