Ejemplos de assume en Python

Lenguaje de programación: Python

Namespace/Package Name: calculus.enriched.constructors

Método / Función: assume

Ejemplos en hotexamples.com: 1

Python assume - 1 ejemplos encontrados. Estos son los ejemplos en Python del mundo real mejor valorados de calculus.enriched.constructors.assume extraídos de proyectos de código abierto. Puedes valorar ejemplos para ayudarnos a mejorar la calidad de los ejemplos.

Ejemplo n.º 1

Mostrar archivo

Archivo: SS.py Proyecto: koreiklein/fantasia

# Copyright (C) 2013 Korei Klein <*****@*****.**>

from calculus.enriched import constructors
from lib import natural, library, common_vars, equivalence, function

# A proof that forall n : N . S (S n) > n
n = common_vars.n()

a = common_vars.a()
b = common_vars.b()

claim = natural.Less(natural.zero,
    constructors.Apply( constructors.Apply(natural.zero, natural.S)
                      , natural.S))

proof = natural.lib.beginProof().forwardFollow(lambda p:
    p.onPathFollow(lambda x:
      constructors.assume(x, claim)))

proof = proof.forwardFollow(lambda p:
    p.onPathFollow(lambda x:
      x.forwardSimplify()))