diff options
| author | Ian Hinder <ian.hinder@aei.mpg.de> | 2012-02-07 01:17:42 -0500 |
|---|---|---|
| committer | Ian Hinder <ian.hinder@aei.mpg.de> | 2012-02-07 01:17:42 -0500 |
| commit | 2898d3ef389ea8df8f762cc5f14e7567e4d175d5 (patch) | |
| tree | 1ef1074a7dbf1a2b8153a879d114fffbcbb6e775 /Auxiliary | |
| parent | e43ef1fbbfaecfdd3837fb5c5eef23b60be6335e (diff) | |
kranc2.peg: Capture index expression operator in a group
Diffstat (limited to 'Auxiliary')
| -rw-r--r-- | Auxiliary/Grammars/kranc2.peg | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Auxiliary/Grammars/kranc2.peg b/Auxiliary/Grammars/kranc2.peg index fe6aab3..9111540 100644 --- a/Auxiliary/Grammars/kranc2.peg +++ b/Auxiliary/Grammars/kranc2.peg @@ -7,7 +7,8 @@ lower_index = ({index_symbol}|\({index_expr}(,{index_expr})*\)) upper_index = ({index_symbol}|\({index_expr}(,{index_expr})*\)) indices = (\_{lower_index}+|\^{upper_index}+)* index_symbol = [a-zA-Z]'*|[0-9] -index_expr = {index_symbol}([+-]{int}|) +index_op = [+-] +index_expr = {index_symbol}({index_op}{int}|) tensor = {name}{indices} dname = D[a-z0-9]* dtensor = {dname}{indices}? {tensor} # Can this "?" be removed? |