Machine Epsilon

This program generates epsilon-delta proofs for polynomial limits.

Install

Java 8+

Syntax

lim x→c f(x) = L

c — An integer or a fraction

f(x) — A sequence of terms seperated by addition (+) or subtraction (-) operators

L — An integer or a fraction

Fractions are of the form a or a/b, with an optional preceding minus sign (-)

Terms are of the form a ora/b or ax or (a/b)x or x^n or ax^n or (a/b)x^n

a, b, n ∈ ℕ; x is the character 'x'

Example