replace **** classes
I see things like
<assertion class="***** TTTT *****">
<CMP></CMP>
</assertion><omtext class="starts-with">
<CMP> 331,379,499,619,691,859,1171,1291,1699,2011,2179,2539,2731,2971,3019,</CMP>
</omtext><assertion class="***** UUUU *****">
<CMP> 3259,3331,3499,3931,4051,4339,4651,5179,5659,5779,6451,6571,6691,</CMP>
</assertion><assertion class="***** IIII *****">
<CMP> 7219,7459,8011,8419,8539,8779,9091,9619,9739,9859,9931,10099,10459</CMP>
</assertion> <assertion class="***** TTTT *****">
in the generated OMDoc, that should be replaced by something better. In particular, they are generated from
%S A140000 331,379,499,619,691,859,1171,1291,1699,2011,2179,2539,2731,2971,3019,
%T A140000 3259,3331,3499,3931,4051,4339,4651,5179,5659,5779,6451,6571,6691,
%U A140000 7219,7459,8011,8419,8539,8779,9091,9619,9739,9859,9931,10099,10459
and I suspect that %S
, %T
, and %U
are really just three initial segments of the sequence. So we should generate something like
<o:assertion>
<o:FMP>
<om:OMOBJ>
<om:OMA>
<om:OMS cd="OEIS" name="starts-with"/>
<om:OMS cd="A140000" name="sequence"/>
<om:OMI>331</om:OMI>
...
<om:OMI>10459</om:OMI>
</om:OMA>
<om:OMOBJ>
<o:FMP>
<o:assertion>