# loki.expression.tests.test_symbolic

A selection of tests for symbolic computations using expression tree nodes.

Functions

`test_is_dimension_constant`(frontend) |
`test_iteration_index`() |
`test_iteration_number`() |
`test_normalized_loop_range`() | Tests the num_iterations and normalized_loop_range functions.
`test_simplify`(source, ref) |
`test_simplify_collect_coefficients`(source, ref) |
`test_simplify_flattened`(source, ref) |
`test_simplify_integer_arithmetic`(source, ref) |
`test_simplify_logic_evaluation`(source, ref) |
`test_symbolic_literal_comparison`(a, b, lt, eq) | Test correct evaluation of a<b, a<=b, a>b, a>=b, a==b for literals
`test_symbolic_op`(a, _op, b, ref) | Test correct evaluation of operators on expressions.

test_symbolic_literal_comparison(a, b, lt, eq)

  Test correct evaluation of a<b, a<=b, a>b, a>=b, a==b for literals

test_symbolic_op(a, _op, b, ref)

  Test correct evaluation of operators on expressions.

test_simplify_flattened(source, ref)

test_simplify_integer_arithmetic(source, ref)

test_simplify_collect_coefficients(source, ref)

test_simplify_logic_evaluation(source, ref)

test_simplify(source, ref)

test_is_dimension_constant(frontend)

test_normalized_loop_range()

  Tests the num_iterations and normalized_loop_range functions.

test_iteration_number()

test_iteration_index()