PoM-Matcher Optional Token Replacement Feature

[AndreG-P]

Consider we want to replace the error function with the semantic macro. Currently, we have this:

\operatorname{erf}(z)

with the pattern that matches the expression:

\operatorname{erf}(var1)

Now, a semantic macro pattern may allow optional tokens in between (derivative or prime notation). For example, with the pattern we are unable to translate:

\operatorname{erf}^{(k)}(z)

The solution would be an optional token. Such as

\operatorname{erf} optToken (var1)

where optToken can be subscript or primes. Hence we can replace it by:

\erf optToken @@{var1}

where optToken can be empty.

This requires a lot of updates and is therefore out of scope. But something we should handle in the future.

[AndreG-P]

As a first attempt to fix constraint-update issues, I implemented support to "skip" those optional tokens (primes and carets) but only after semantic macros. Hence, it does not fix this issue yet. It is also only activated when one uses

config.semanticMacroIgnoreTokenRule(true);

for the MatcherConfig.

If thats activated and such a token was skipped, it was captured and can be accessed via:
https://github.com/ag-gipp/LaCASt/blob/d9756a1bbfa4625bf4c79115c0111b662c060f01/interpreter.pom/src/main/java/gov/nist/drmf/interpreter/pom/extensions/GroupCaptures.java#L161-L187

To provide an example:

\EulerGamma@{var0}

would now match

\EulerGamma^{2}@{z}

with the following captured groups:

// returns a map with "var0" -> "z"
groupCaptured.getCapturedGroupStrings();

// returns a map with "optEulerGamma0" -> "^{2}"
groupCaptured.getOptionalSemanticCapturedGroupStrings()