Did I find the right examples for you? yes no

All Samples(8)  |  Call(0)  |  Derive(3)  |  Import(5)

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-HEAD/sympy/core/mul.py   sympy(Download)
from sympy.core.basic import Basic, C
from sympy.core.singleton import S
from sympy.core.operations import AssocOp
from sympy.core.cache import cacheit
from sympy.core.logic import fuzzy_not
class Mul(Expr, AssocOp):
 
    __slots__ = []
 
    is_Mul = True

src/s/y/sympy-HEAD/sympy/core/add.py   sympy(Download)
from sympy.core.compatibility import reduce
from sympy.core.singleton import S
from sympy.core.operations import AssocOp
from sympy.core.cache import cacheit
from sympy.core.numbers import ilcm, igcd
class Add(Expr, AssocOp):
 
    __slots__ = []
 
    is_Add = True

src/s/y/sympy-polys-HEAD/sympy/simplify/cse_opts.py   sympy-polys(Download)
 
from sympy.core.basic import Basic
from sympy.core.operations import AssocOp
from sympy.utilities.iterables import preorder_traversal
 
class Sub(AssocOp):
    """ Stub of a Sub operator to replace Add(x, Mul(NegativeOne(-1), y)).
    """
    __slots__ = []
    is_Add = False