MLPY/Lib/site-packages/sympy/parsing/autolev/test-examples/ruletest1.al

% ruletest1.al
CONSTANTS F = 3, G = 9.81
CONSTANTS A, B
CONSTANTS S, S1, S2+, S3+, S4-
CONSTANTS K{4}, L{1:3}, P{1:2,1:3}
CONSTANTS C{2,3}
E1 = A*F + S2 - G
E2 = F^2 + K3*K2*G