コード例 #1
0
def apply(*imply):
    from axiom.algebra.eq.eq.imply.eq.sum.push_front import absorb_front
    return absorb_front(Product,
                        Greater,
                        *imply,
                        criteria=lambda cond: cond.rhs > 0)
コード例 #2
0
def apply(*imply):
    from axiom.algebra.eq.eq.imply.eq.sum.push_front import absorb_front
    return absorb_front(Cup, Subset, *imply)
コード例 #3
0
ファイル: push_front.py プロジェクト: cosmosZhou/sympy 
def apply(*imply):
    from axiom.algebra.eq.eq.imply.eq.sum.push_front import absorb_front
    return absorb_front(Sum, GreaterEqual, *imply)