VarProduct¶
Description¶
Calculates the product of at least two variables.
Arguments¶
varnames— vector with variable names.prodname— the name of the resulting variable.
Implementation¶
The transformation reads each variable by name from varnames and computes the product:
\[\text{prodname} = \text{varname}_0 \cdot \text{varname}_1 \cdot \dots.\]
Tests¶
Use the following commands for the usage example and testing:
./tests/elementary/test_varproduct.py