Server : Apache/2.4.41 (Ubuntu) System : Linux absol.cf 5.4.0-198-generic #218-Ubuntu SMP Fri Sep 27 20:18:53 UTC 2024 x86_64 User : www-data ( 33) PHP Version : 7.4.33 Disable Function : pcntl_alarm,pcntl_fork,pcntl_waitpid,pcntl_wait,pcntl_wifexited,pcntl_wifstopped,pcntl_wifsignaled,pcntl_wifcontinued,pcntl_wexitstatus,pcntl_wtermsig,pcntl_wstopsig,pcntl_signal,pcntl_signal_get_handler,pcntl_signal_dispatch,pcntl_get_last_error,pcntl_strerror,pcntl_sigprocmask,pcntl_sigwaitinfo,pcntl_sigtimedwait,pcntl_exec,pcntl_getpriority,pcntl_setpriority,pcntl_async_signals,pcntl_unshare, Directory :  /usr/local/lib/python3.6/dist-packages/sympy/sets/handlers/

Upload File : current_dir [ Writeable ] document_root [ Writeable ]

from sympy import symbols, S, oo

from sympy.core import Basic, Expr
from sympy.core.numbers import Infinity, NegativeInfinity
from sympy.multipledispatch import dispatch
from sympy.sets import Interval, FiniteSet



# XXX: The functions in this module are clearly not tested and are broken in a
# number of ways.

_x, _y = symbols("x y")


@dispatch(Basic, Basic)  # type: ignore # noqa:F811
def _set_add(x, y): # noqa:F811
    return None


@dispatch(Expr, Expr)  # type: ignore # noqa:F811
def _set_add(x, y): # noqa:F811
    return x+y


@dispatch(Interval, Interval)  # type: ignore # noqa:F811
def _set_add(x, y): # noqa:F811
    """
    Additions in interval arithmetic
    https://en.wikipedia.org/wiki/Interval_arithmetic
    """
    return Interval(x.start + y.start, x.end + y.end,
                    x.left_open or y.left_open, x.right_open or y.right_open)


@dispatch(Interval, Infinity)  # type: ignore # noqa:F811
def _set_add(x, y): # noqa:F811
    if x.start is S.NegativeInfinity:
        return Interval(-oo, oo)
    return FiniteSet({S.Infinity})

@dispatch(Interval, NegativeInfinity)  # type: ignore # noqa:F811
def _set_add(x, y): # noqa:F811
    if x.end is S.Infinity:
        return Interval(-oo, oo)
    return FiniteSet({S.NegativeInfinity})


@dispatch(Basic, Basic)  # type: ignore
def _set_sub(x, y): # noqa:F811
    return None


@dispatch(Expr, Expr)  # type: ignore # noqa:F811
def _set_sub(x, y): # noqa:F811
    return x-y


@dispatch(Interval, Interval)  # type: ignore # noqa:F811
def _set_sub(x, y): # noqa:F811
    """
    Subtractions in interval arithmetic
    https://en.wikipedia.org/wiki/Interval_arithmetic
    """
    return Interval(x.start - y.end, x.end - y.start,
                    x.left_open or y.right_open, x.right_open or y.left_open)


@dispatch(Interval, Infinity)  # type: ignore # noqa:F811
def _set_sub(x, y): # noqa:F811
    if x.start is S.NegativeInfinity:
        return Interval(-oo, oo)
    return FiniteSet(-oo)

@dispatch(Interval, NegativeInfinity)  # type: ignore # noqa:F811
def _set_sub(x, y): # noqa:F811
    if x.start is S.NegativeInfinity:
        return Interval(-oo, oo)
    return FiniteSet(-oo)