Python expr_cond_pair示例

示例#1

def apply(given, wrt=None):
    or_eqs = given.of(Or)
    assert len(or_eqs) == 2
    return Greater(
        Piecewise(
            *expr_cond_pair(Greater, or_eqs, wrt, reverse=True)).simplify(),
        wrt)

示例#2

def apply(given, wrt=None):
    from axiom.sets.ou.imply.contains.piecewise.two import expr_cond_pair
    or_eqs = given.of(Or)
    assert len(or_eqs) == 2
    return Less(
        Piecewise(*expr_cond_pair(Less, or_eqs, wrt, reverse=True)).simplify(),
        wrt)

示例#3

def apply(given, wrt=None, reverse=True):
    from axiom.sets.ou.imply.contains.piecewise.two import expr_cond_pair
    or_eqs = given.of(Or)

    return Equal(
        Piecewise(
            *expr_cond_pair(Equal, or_eqs, wrt, reverse=reverse)).simplify(),
        wrt)

示例#4

def apply(given, wrt=None):
    or_eqs = given.of(Or)

    assert len(or_eqs) == 2
    return Contains(wrt, Piecewise(*expr_cond_pair(Contains, or_eqs, wrt, reverse=True)).simplify())

示例#5

def apply(given, wrt=None):
    from axiom.sets.ou.imply.contains.piecewise.two import expr_cond_pair
    or_eqs = given.of(Or)

    return Contains(
        Piecewise(*expr_cond_pair(Contains, or_eqs, wrt)).simplify(), wrt)