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()