mathlogic-automate

A Python library that automates common mathematics and logic calculations — arithmetic, algebra, geometry, trigonometry, statistics, calculus, and propositional/boolean logic — all through simple, well-documented functions.

Installation

pip install mathlogic-automate

Quick start

import mathlogic_automate as mla

# Basic arithmetic
mla.add(2, 3)                     # 5
mla.factorial(5)                  # 120
mla.is_prime(17)                  # True

# Algebra
mla.solve_equation("x**2 - 4 = 0")            # [-2, 2]
mla.expand_expression("(x + 1)**2")           # 'x**2 + 2*x + 1'
mla.factor_expression("x**2 - 9")             # '(x - 3)*(x + 3)'
mla.quadratic_roots(1, -3, 2)                 # (1, 2)

# Geometry
mla.circle_area(5)                # 78.53981633974483
mla.triangle_area_heron(3, 4, 5)  # 6.0
mla.pythagoras(a=3, b=4)          # 5.0

# Trigonometry
mla.sin_deg(30)                   # 0.49999999999999994

# Statistics
mla.summary_stats([1, 2, 2, 3, 4])
# {'count': 5, 'mean': 2.4, 'median': 2, 'mode': [2], 'min': 1,
#  'max': 4, 'range': 3, 'variance': 1.3, 'std_dev': 1.140...}

# Calculus
mla.differentiate("x**3 + 2*x")   # '3*x**2 + 2'
mla.integrate_expr("2*x")         # 'x**2'
mla.definite_integral("x**2", "x", 0, 3)   # 9.0
mla.limit_of("sin(x)/x", "x", 0)  # '1'

# Logic
mla.evaluate_logical_expression("A AND (B OR NOT C)", {"A": True, "B": False, "C": False})
# True
mla.truth_table("A AND B")
# [{'A': False, 'B': False, 'result': False},
#  {'A': False, 'B': True,  'result': False},
#  {'A': True,  'B': False, 'result': False},
#  {'A': True,  'B': True,  'result': True}]
mla.simplify_boolean("A AND (A OR B)")   # 'A'
mla.is_tautology("A OR NOT A")           # True
mla.is_satisfiable("A AND NOT A")        # False

Modules

Logic expression syntax

Expressions accept either word operators or symbols:

Running tests

pip install -e ".[dev]"
pytest

License

MIT