Ruprecht-Karls-Universität Heidelberg




Rule for EquationSection

<EquationKeyword>[:]\n
(<Equation> \n)*
[<End>]

Rule for EquationKeyword

(EQUATIONS[_SECTION] | EQUATION_SECTION | Equations)

Rule for Equation

(<SignedInteger> (⎵\t)*)^n [<Operator>] (⎵\t)* <SignedInteger>

Note that the number of integers on the left hand side has to match the number of columns of your system.

Rule for Operator

(== | =)

Rule for SignedInteger

[+|i](1-9)[(0-9)]*

Examples

DIM=3
Names:
A B C
Equations:
0 0 1 = 0
1 1 0 == 2
-1 0 0 2

May be used in


Legend

[X]: X is optional.
(X|Y|Z): One of X, Y or Z is present.
(A-E): Any ASCII symbol between symbol A and E.
X*: X may occur any number of times (including zero).


Last update: Jun 05 15:00 2015 (SL)
comopt{at}informatik.uni-heidelberg.de

Valid HTML 4.01 Transitional

optWay
Links