Crate ocas_py 

Python bindings for oCAS.

The top-level Python module is named ocas (see pyproject.toml).

Quick start

import ocas

e = ocas.Expression("x^2 + 2*x + 1")
print(e.diff("x"))                 # derivative
print(e.simplify())

print(ocas.solve_diophantine(3, 5, 1))

Re-exports

pub use domain::PyFiniteField;

pub use domain::PyIntegerDomain;

pub use domain::PyRationalDomain;

pub use eval::PyExpressionEvaluator;

pub use expression::Expression;

pub use matrix::PyMatrix;

pub use polynomial::PyPolynomial;

pub use polynomial::PyPolynomialFactor;

pub use solve::PyDiophantineSolution;

pub use solve::py_solve_diophantine;

pub use solve::py_solve_linear_integer;

pub use solve::py_solve_linear_rational;

Modules

domain

Python Domain classes — coefficient-domain selectors.

eval

Python evaluation module — numeric evaluation of expressions.

expression

Python Expression — a self-contained symbolic expression.

matrix

Python Matrix class — dense matrices over ℤ, ℚ, or GF(p).

polynomial

Python Polynomial class — dense univariate polynomials over ℤ, ℚ, or GF(p).

solve

Python solve module — linear and Diophantine equation solvers.