403Webshell
Server IP : 93.86.61.54  /  Your IP : 216.73.216.60
Web Server : Apache/2.4.62 (Ubuntu)
System : Linux rasin.ddns.net 6.8.0-124-generic #124~22.04.1-Ubuntu SMP PREEMPT_DYNAMIC Tue May 26 21:05:19 UTC x86_64
User : www-data ( 33)
PHP Version : 8.4.22
Disable Function : NONE
MySQL : OFF  |  cURL : ON  |  WGET : ON  |  Perl : ON  |  Python : OFF  |  Sudo : ON  |  Pkexec : ON
Directory :  /usr/lib/python3/dist-packages/sympy/assumptions/__pycache__/

Upload File :
current_dir [ Writeable ] document_root [ Writeable ]

 

Command :

[ Back ]     

Current File : /usr/lib/python3/dist-packages/sympy/assumptions/__pycache__/wrapper.cpython-310.pyc
o

�8Vad�@s�dZddlmZmZddlmZmZmZddlm	Z	Gdd�de�Z
dd�ZGd	d
�d
e	e
d�Zdd
d�Z
ddd�Zddd�ZdS)a2
Functions and wrapper object to call assumption property and predicate
query with same syntax.

In SymPy, there are two assumption systems. Old assumption system is
defined in sympy/core/assumptions, and it can be accessed by attribute
such as ``x.is_even``. New assumption system is definded in
sympy/assumptions, and it can be accessed by predicates such as
``Q.even(x)``.

Old assumption is fast, while new assumptions can freely take local facts.
In general, old assumption is used in evaluation method and new assumption
is used in refinement method.

In most cases, both evaluation and refinement follow the same process, and
the only difference is which assumption system is used. This module provides
``is_[...]()`` functions and ``AssumptionsWrapper()`` class which allows
using two systems with same syntax so that parallel code implementation can be
avoided.

Examples
========

For multiple use, use ``AssumptionsWrapper()``.

>>> from sympy import Q, Symbol
>>> from sympy.assumptions.wrapper import AssumptionsWrapper
>>> x = Symbol('x')
>>> _x = AssumptionsWrapper(x, Q.even(x))
>>> _x.is_integer
True
>>> _x.is_odd
False

For single use, use ``is_[...]()`` functions.

>>> from sympy.assumptions.wrapper import is_infinite
>>> a = Symbol('a')
>>> print(is_infinite(a))
None
>>> is_infinite(a, Q.finite(a))
False

�)�ask�Q)�_assume_defined�as_property�ManagedProperties)�Basiccs eZdZdZ�fdd�Z�ZS)�AssumptionsWrapperMetazK
    Metaclass to give _eval_is_[...] attributes to AssumptionsWrapper
    csDtD]}dt|�}t||t|��qt�j|g|�Ri|��dS)Nz_eval_%s)rr�setattr�make_eval_method�super�__init__)�cls�args�kws�fact�pname��	__class__��;/usr/lib/python3/dist-packages/sympy/assumptions/wrapper.pyr8szAssumptionsWrapperMeta.__init__)�__name__�
__module__�__qualname__�__doc__r�
__classcell__rrrrr4srcs�fdd�}|S)Ncs8ztt��}t||j�|j�}|WStyYdSw�N)�getattrrr�expr�assumptions�AttributeError)�self�pred�ret�rrr�getit@s
�zmake_eval_method.<locals>.getitr)rr$rr#rr
?sr
cs"eZdZdZd�fdd�	Z�ZS)�AssumptionsWrappera�
    Wrapper over ``Basic`` instances to call predicate query by
    ``.is_[...]`` property

    Parameters
    ==========

    expr : Basic

    assumptions : Boolean, optional

    Examples
    ========

    >>> from sympy import Q, Symbol
    >>> from sympy.assumptions.wrapper import AssumptionsWrapper
    >>> x = Symbol('x', even=True)
    >>> AssumptionsWrapper(x).is_integer
    True
    >>> y = Symbol('y')
    >>> AssumptionsWrapper(y, Q.even(y)).is_integer
    True

    With ``AssumptionsWrapper``, both evaluation and refinement can be supported
    by single implementation.

    >>> from sympy import Function
    >>> class MyAbs(Function):
    ...     @classmethod
    ...     def eval(cls, x, assumptions=True):
    ...         _x = AssumptionsWrapper(x, assumptions)
    ...         if _x.is_nonnegative:
    ...             return x
    ...         if _x.is_negative:
    ...             return -x
    ...     def _eval_refine(self, assumptions):
    ...         return MyAbs.eval(self.args[0], assumptions)
    >>> MyAbs(x)
    MyAbs(x)
    >>> MyAbs(x).refine(Q.positive(x))
    x
    >>> MyAbs(Symbol('y', negative=True))
    -y

    Ncs,|dur|St��|||�}||_||_|Sr)r�__new__rr)r
rr�objrrrr&yszAssumptionsWrapper.__new__r)rrrrr&rrrrrr%Ks-r%)�	metaclassNcC�|dur|jStt�|�|�Sr)�is_infiniterr�infinite�r'rrrrr*��r*cCr)r)�is_extended_realrr�
extended_realr,rrrr.�r-r.cCr)r)�is_extended_nonnegativerr�extended_nonnegativer,rrrr0�r-r0r)r�sympy.assumptionsrr�sympy.core.assumptionsrrr�sympy.core.basicrrr
r%r*r.r0rrrr�<module>s-
9


Youez - 2016 - github.com/yon3zu
LinuXploit