krautzource/sre-to-tree

failures wrt to subsupscripts

Closed this issue · 3 comments

pkra commented

rewrite() throws a warning for

  • FS ( {a_n} + {\sum_{i \in h_n} y_i^\beta} ) \subseteq C.
  • \mathbb{F}^2_ < = \left\{ (s,t) \in \mathbb{F}^2 : \max(s) < \min(t) \right\}
  • A^2_ <

and it seems to come down to subsup's.

pkra commented

I've filed zorkow/speech-rule-engine#418.

@zorkow has kindly looked and already has a fix.

pkra commented

I don't really want to work around upstream issues. But 7063588 adds another warning when no data-semantic-speech is found.