Python expr_cond_pair Exemples

Exemple #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)

Exemple #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)

Exemple #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)

Exemple #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())

Exemple #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)