B
    ˜‘[8  ã               @   s|   d dl mZmZ d dlmZmZmZmZ ddlm	Z	 G dd„ deƒZ
dd„ Zd d	lmZmZ d d
lmZ dd„ Zeed< dS )é    )Úprint_functionÚdivision)ÚBasicÚExprÚSÚsympifyé   )Ú
ShapeErrorc               @   s.   e Zd ZdZdd„ Zedd„ ƒZd
dd„Zd	S )ÚDeterminanta  Matrix Determinant

    Represents the determinant of a matrix expression.

    >>> from sympy import MatrixSymbol, Determinant, eye
    >>> A = MatrixSymbol('A', 3, 3)
    >>> Determinant(A)
    Determinant(A)

    >>> Determinant(eye(3)).doit()
    1
    c             C   s8   t |ƒ}|jstdt|ƒ ƒ‚|js,tdƒ‚t | |¡S )Nz&Input to Determinant, %s, not a matrixzDet of a non-square matrix)r   Z	is_MatrixÚ	TypeErrorÚstrZ	is_squarer	   r   Ú__new__)ÚclsZmat© r   úElib/python3.7/site-packages/sympy/matrices/expressions/determinant.pyr      s    zDeterminant.__new__c             C   s
   | j d S )Nr   )Úargs)Úselfr   r   r   Úarg   s    zDeterminant.argFc          	   C   s(   y
| j  ¡ S  ttfk
r"   | S X d S )N)r   Z_eval_determinantÚAttributeErrorÚNotImplementedError)r   Úexpandr   r   r   Údoit#   s    
zDeterminant.doitN)F)Ú__name__Ú
__module__Ú__qualname__Ú__doc__r   Úpropertyr   r   r   r   r   r   r
      s   
r
   c             C   s   t | ƒ ¡ S )z« Matrix Determinant

    >>> from sympy import MatrixSymbol, det, eye
    >>> A = MatrixSymbol('A', 3, 3)
    >>> det(A)
    Determinant(A)

    >>> det(eye(3))
    1
    )r
   r   )Úmatexprr   r   r   Údet)   s    r   )ÚaskÚQ)Úhandlers_dictc             C   sL   t t | j¡|ƒrtjS t t | j¡|ƒr0tjS t t | j¡|ƒrHtjS | S )zÜ
    >>> from sympy import MatrixSymbol, Q, assuming, refine, det
    >>> X = MatrixSymbol('X', 2, 2)
    >>> det(X)
    Determinant(X)
    >>> with assuming(Q.orthogonal(X)):
    ...     print(refine(det(X)))
    1
    )	r   r    Z
orthogonalr   r   ZOneZsingularZZeroZunit_triangular)ÚexprZassumptionsr   r   r   Úrefine_Determinant<   s    
r#   N)Z
__future__r   r   Zsympyr   r   r   r   r   r	   r
   r   Zsympy.assumptions.askr   r    Zsympy.assumptions.refiner!   r#   r   r   r   r   Ú<module>   s   "