Did I find the right examples for you? yes no

All Samples(12)  |  Call(0)  |  Derive(6)  |  Import(6)

src/s/y/sympy-HEAD/sympy/unify/usympy.py   sympy(Download)
from sympy.matrices import MatAdd, MatMul, MatrixExpr
from sympy.core.sets import Union, Intersection, FiniteSet
from sympy.core.operations import AssocOp, LatticeOp
from sympy.unify.core import Compound, Variable, CondVariable
from sympy.unify import core

src/s/y/sympy-0.7.5/sympy/unify/usympy.py   sympy(Download)
from sympy.matrices import MatAdd, MatMul, MatrixExpr
from sympy.core.sets import Union, Intersection, FiniteSet
from sympy.core.operations import AssocOp, LatticeOp
from sympy.unify.core import Compound, Variable, CondVariable
from sympy.unify import core

src/s/y/sympy-polys-HEAD/sympy/logic/boolalg.py   sympy-polys(Download)
"""Boolean algebra module for SymPy"""
from sympy.core.basic import Basic
from sympy.core.operations import LatticeOp
from sympy.core.function import Application, sympify
 
class And(LatticeOp, BooleanFunction):
    """
    Logical AND function.
 
    It evaluates its arguments in order, giving False immediately if any of them
class Or(LatticeOp, BooleanFunction):
    """
    Logical OR function
 
    It evaluates its arguments in order, giving True immediately if any of them are

src/s/y/sympy-HEAD/sympy/logic/boolalg.py   sympy(Download)
from sympy.core.numbers import Number
from sympy.core.decorators import deprecated
from sympy.core.operations import LatticeOp
from sympy.core.function import Application, sympify
from sympy.core.compatibility import ordered, xrange
class And(LatticeOp, BooleanFunction):
    """
    Logical AND function.
 
    It evaluates its arguments in order, giving False immediately
class Or(LatticeOp, BooleanFunction):
    """
    Logical OR function
 
    It evaluates its arguments in order, giving True immediately

src/s/y/sympy-HEAD/sympy/core/tests/test_operations.py   sympy(Download)
from sympy import Integer, S
from sympy.core.operations import LatticeOp
from sympy.utilities.pytest import raises
from sympy.core.sympify import SympifyError
 
# create the simplest possible Lattice class
 
 
class join(LatticeOp):

src/s/y/sympy-polys-HEAD/sympy/core/tests/test_operations.py   sympy-polys(Download)
from sympy import Integer
from sympy.core.operations import LatticeOp
from sympy.utilities.pytest import raises
from sympy.core.sympify import SympifyError
 
# create the simplest possible Lattice class
class join(LatticeOp):