Simplify¶

Simplification utilities for symbolic GR expressions.

gravica.simplify.str_is_zero(expr)¶

Fast zero check via string representation (for optimization skips).

gravica.simplify.simplify(expr)¶

Best-effort simplification: together then cancel.

Using together() first puts everything over a common denominator, which allows cancel() to find and eliminate common polynomial factors.

gravica.simplify.is_zero(expr, coords=None)¶

Check if a symbolic expression is zero.

First tries symbolic simplification. Falls back to random numerical substitution if that is inconclusive.