Navigation: two internal errors with author intents

Aberta
#985 2 comentários 0 reações 0 responsáveis Ver no GitHub

Mantenedores costumam responder em até 1 dia

Ninguém assumiu esta issue ainda.

Avaliação

Dificuldade
4/5
Tempo estimado
3-5 dias
Facilidade para iniciantes
52/100
Tipo de issue
Bug
Clareza
Razoavelmente clara
Status de atividade
Ativa
Stack de tecnologia
rust

Direção de pesquisa

Start by reading the navigation handling for MathML author intents and the relevant rules in navigate.yaml; the issue reports two reproducible failures in Enhanced mode and one in Simple mode. Reproduce the cases with the provided MathML, then trace how navigation resolves the intent-based nodes. Done when both cases navigate without internal errors while reading behavior remains intact.

Escrita pelo modelo de indexação a partir do texto da issue.

Descrição

Found while checking the spanish-mathml-intent test PDFs (#975 is a separate problem). Both happen in every language; examples in English, Enhanced mode.

1. A single token with an intent name. ZoomIn and then MoveNext:

<math><mi intent="greatest-common-divisor">gcd</mi></math>

ZoomIn gives "zoomed in to first character", and MoveNext gives "Internal Error: didn't find id/offset '…-literal-0', current_node_offset: 1 while attempting to start navigation". The same happens with _greatest-common-divisor. Reading is fine ("greatest common divisor").

2. A function whose head is itself an intent. Moving onto (f∘g)(x):

<math><mrow><mi>y</mi><mo>=</mo>
  <mrow intent="$c($a)">
    <mrow arg="c" intent="_composed-with:infix($f,$g)"><mi arg="f">f</mi><mo>∘</mo><mi arg="g">g</mi></mrow>
    <mo>(</mo><mi arg="a">x</mi><mo>)</mo>
  </mrow>
</mrow></math>

ZoomIn "y", MoveNext "is equal to", then MoveNext gives "Variable 'NavNode' set somewhere in navigate.yaml is nodeset and not an attribute: 0 nodes (false)". Same in Simple mode; Character mode works. Reading is fine ("y is equal to, f composed with g of x").

Linguagem predominante
Rust
Estrelas
131
Forks
97
Merge médio
21h 45min
PRs com merge (30d)
95

Preparar o ambiente

Primeiros passos

  1. Leia a issue inteira e depois o guia de contribuição do projeto.
  2. Comente na issue dizendo que vai assumir — evita que duas pessoas façam o mesmo trabalho.
  3. Faça um fork do repositório e trabalhe em uma branch.
  4. Abra um pull request que referencie o número da issue.

Mais de daisy/MathCAT

Todas as issues de daisy/MathCAT

Issues semelhantes

Mais issues de Rust

Receba novas issues na sua caixa de entrada

Um resumo curto de issues do GitHub para quem está começando.