o
    *ήc%                     @   s   d 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 dd
lmZ ddlmZ ddlmZ ddlmZmZ ddlmZ ddlmZ ddlmZ ddl m!Z! dd Z"dddZ#dde$fddZ%dddZ&dS ) zA
Several methods to simplify expressions involving unit objects.
    )reduce)Iterable)Optional)default_sort_key)Add)Tuple)Mul)Pow)ordered)sympify)NonInvertibleMatrixError)	DimensionDimensionSystem)Prefix)Quantity
UnitSystem)siftc           
         s   ddl m}  t| }j|dd fdd|D fddD }dd	  D }|t|s:d S t fd
d|D }|fdd|D }| fdd|D }z||}	W |	S  t	yo   Y d S w )Nr   )MatrixTmark_dimensionlessc                    s   g | ]	}t  |qS  )r   get_dimensional_expr).0x)unit_systemr   ?/tmp/pip-target-vg8gfxp4/lib/python/sympy/physics/units/util.py
<listcomp>   s    z3_get_conversion_matrix_for_expr.<locals>.<listcomp>c                    s$   g | ]} j |d dD ]}|qqS )Tr   )get_dimensional_dependencies)r   r   i)dimension_systemr   r   r      s   $ c                 S   s   h | ]}|qS r   r   r   r   r   r   r   	<setcomp>    s    z2_get_conversion_matrix_for_expr.<locals>.<setcomp>c                    s"   g | ]}| v s  |s|qS r   )addr!   )seenr   r   r   &      " c                    s    g | ]  fd dD qS )c                    s"   g | ]} j |d ddqS )Tr   r   )r   getr!   )r    jr   r   r   (   r%   z>_get_conversion_matrix_for_expr.<locals>.<listcomp>.<listcomp>r   )r   )r    target_dims)r'   r   r   (   s     c                    s   g | ]}  |d qS r   )r&   )r   k)dim_dependenciesr   r   r   )       )
sympy.matrices.denser   get_dimension_systemr   r   r   issubsetsetsolver   )
exprtarget_unitsr   r   expr_dimcanon_dim_unitscanon_expr_unitscamatexprmatres_exponentsr   )r+   r    r$   r(   r   r   _get_conversion_matrix_for_expr   s&   r:   SIc                    s   ddl m} |tttfsgt| tr(tfdd| jD S t	| } t	t| t
sG| t
rG| dd fdd}  fdd	 t| }|d
u rZ| S  | }|t fddt|D  S )a  
    Convert ``expr`` to the same expression with all of its units and quantities
    represented as factors of ``target_units``, whenever the dimension is compatible.

    ``target_units`` may be a single unit/quantity, or a collection of
    units/quantities.

    Examples
    ========

    >>> from sympy.physics.units import speed_of_light, meter, gram, second, day
    >>> from sympy.physics.units import mile, newton, kilogram, atomic_mass_constant
    >>> from sympy.physics.units import kilometer, centimeter
    >>> from sympy.physics.units import gravitational_constant, hbar
    >>> from sympy.physics.units import convert_to
    >>> convert_to(mile, kilometer)
    25146*kilometer/15625
    >>> convert_to(mile, kilometer).n()
    1.609344*kilometer
    >>> convert_to(speed_of_light, meter/second)
    299792458*meter/second
    >>> convert_to(day, second)
    86400*second
    >>> 3*newton
    3*newton
    >>> convert_to(3*newton, kilogram*meter/second**2)
    3*kilogram*meter/second**2
    >>> convert_to(atomic_mass_constant, gram)
    1.660539060e-24*gram

    Conversion to multiple units:

    >>> convert_to(speed_of_light, [meter, second])
    299792458*meter/second
    >>> convert_to(3*newton, [centimeter, gram, second])
    300000*centimeter*gram/second**2

    Conversion to Planck units:

    >>> convert_to(atomic_mass_constant, [gravitational_constant, speed_of_light, hbar]).n()
    7.62963087839509e-20*hbar**0.5*speed_of_light**0.5/gravitational_constant**0.5

    r   r   c                 3   s    | ]	}t | V  qd S N
convert_tor!   r3   r   r   r   	<genexpr>f   s    zconvert_to.<locals>.<genexpr>c                 S   s
   t | tS r<   )
isinstancer   r   r   r   r   <lambda>m   s   
 zconvert_to.<locals>.<lambda>c                    s   |   S r<   r=   rB   r?   r   r   rC   n   s    c                    sZ   t | trtdd  fdd| jD S t | tr! | j| j S t | tr+| S | S )Nc                 S   s   | | S r<   r   )r   yr   r   r   rC   r   s    z<convert_to.<locals>.get_total_scale_factor.<locals>.<lambda>c                    s   g | ]} |qS r   r   r!   get_total_scale_factorr   r   r   s       z>convert_to.<locals>.get_total_scale_factor.<locals>.<listcomp>)	rA   r   r   argsr	   baseexpr   get_quantity_scale_factor)r2   )rF   r   r   r   rF   p   s   



z*convert_to.<locals>.get_total_scale_factorNc                 3   s(    | ]\}}d  | | | V  qdS )   Nr   )r   uprE   r   r   r@      s    
)sympy.physics.unitsr   get_unit_systemrA   r   r   r   fromiterrH   r   r   hasreplacer:   r   zip)r2   r3   r   r   depmatexpr_scale_factorr   )rF   r3   r   r   r>   3   s,   ,




r>   FNacross_dimensionsc                    s8  | j s	| tts| S | t}| dd |D } t| tdd }|D ],}t|| dkr1q&tt	|| }|d |d j
  |  fdd|dd D } q&|r|du r]td	t|}| }|| }|j|d
d}	d}
|j D ]\}}||	kr|}
 nqy|
du r| S |j|
}|rt| ||} | S )a  Return an equivalent expression in which prefixes are replaced
    with numerical values and all units of a given dimension are the
    unified in a canonical manner by default. `across_dimensions` allows
    for units of different dimensions to be simplified together.

    `unit_system` must be specified if `across_dimensions` is True.

    Examples
    ========

    >>> from sympy.physics.units.util import quantity_simplify
    >>> from sympy.physics.units.prefixes import kilo
    >>> from sympy.physics.units import foot, inch, joule, coulomb
    >>> quantity_simplify(kilo*foot*inch)
    250*foot**2/3
    >>> quantity_simplify(foot - 6*inch)
    foot/2
    >>> quantity_simplify(5*joule/coulomb, across_dimensions=True, unit_system="SI")
    5*volt
    c                 S   s   i | ]}||j qS r   scale_factor)r   rN   r   r   r   
<dictcomp>   rG   z%quantity_simplify.<locals>.<dictcomp>c                 S   s   | j S r<   )	dimension)r   r   r   r   rC      s    z#quantity_simplify.<locals>.<lambda>rL   r   c                    s   i | ]}| |j  qS r   rX   )r   virefr   r   rZ      r,   Nz:unit_system must be specified if across_dimensions is TrueTr   )is_AtomrR   r   r   atomsxreplacer   lenlistr
   rY   
ValueErrorr   rP   r.   r   r   dimensional_dependenciesitemsderived_unitsr&   r>   )r2   rW   r   rN   dr*   vr    dim_exprdim_depstarget_dimensionds_dimds_dim_depstarget_unitr   r]   r   quantity_simplify   s<   
"

rp   c              	   C   sJ  ddl m} ||}dd }| t}| j}|D ]c}t }|jD ]Z}|j	r.|
d q#g }	d}
i }t|D ]"}|trGt||}|trT||||}q9|jr[d}
 nq9|	|  |
s}|
tt|	td t|d	kr}td
|q#qi }| tD ]}tdd |jD r|jdd |jD  ||< q| |S )z[Return expr if units in addends have the same
    base dimensions, else raise a ValueError.r   r   c                 S   sP   i | |}|  D ]\}}|| v r||v r|| |  ||< q
dd |  D S )z]Merge dictionaries by adding values of common keys and
        removing keys with value of 0.c                 S   s   i | ]\}}|d kr||qS r)   r   )r   keyvalr   r   r   rZ      s    z5check_dimensions.<locals>.addDict.<locals>.<dictcomp>)rf   )dict1dict2dict3rq   valuer   r   r   addDict   s   z!check_dimensions.<locals>.addDictr   FT)rq   rL   z(addends have incompatible dimensions: {}c                 s   s    | ]}t |tV  qd S r<   )rA   r   r!   r   r   r   r@      s    z#check_dimensions.<locals>.<genexpr>c                 S   s   g | ]}|j s|qS r   )	is_numberr!   r   r   r   r      s
    z$check_dimensions.<locals>.<listcomp>)rO   r   rP   r`   r   r.   r   r0   rH   rx   r#   r   	make_argsrR   r   r   r   free_symbolsextendrf   tuplesortedr   rb   rd   formatanyfuncra   )r2   r   r   rw   addsDIM_OFadesetaidimsskipdimdictr   repsmr   r   r   check_dimensions   sP   


	






r   )r;   )FN)'__doc__	functoolsr   collections.abcr   typingr   sympyr   sympy.core.addr   sympy.core.containersr   sympy.core.mulr   sympy.core.powerr	   sympy.core.sortingr
   sympy.core.sympifyr   sympy.matrices.commonr   sympy.physics.units.dimensionsr   r   sympy.physics.units.prefixesr   sympy.physics.units.quantitiesr   sympy.physics.units.unitsystemr   sympy.utilities.iterablesr   r:   r>   boolrp   r   r   r   r   r   <module>   s*    
QD