Navigation problems with binomial notation represented using <mmultiscripts>

Abierto
  • ¿Algo no está bien?
#823 0 comentarios 0 reacciones 0 asignados Ver en GitHub

Los mantenedores suelen responder en 1 día

Nadie ha tomado este issue todavía.

Evaluación

Dificultad
3/5
Tiempo estimado
1-2 días
Aptitud para principiantes
68/100
Tipo de issue
Error
Claridad
Bastante claro
Estado de actividad
Activo
Stack tecnológico
rust, yaml
Área
accessibility

Línea de trabajo

Reproduce the MathML example in NVDA with MathCAT 0.7.6-rc.3, then read the relevant into-or-out-of-mmultiscripts rules in navigate.yaml and the rules that skip none and mprescripts. Done means Enhanced/Simple navigation announces semantic parts rather than literal base/subscript roles, while Character mode avoids the redundant subscript transition.

Escrito por el modelo de indexación a partir del texto del issue.

Descripción

bug rules

Navigation of a binomial coefficient represented using <mmultiscripts> produces unexpected structural labels in all three navigation modes.

MathML

<math id="0" display="block" xmlns="http://www.w3.org/1998/Math/MathML">
    <mmultiscripts id="1">
        <mi id="2">C</mi>
        <mi id="3">m</mi>
        <none id="4"/>
        <mprescripts id="5"/>
        <mi id="6">n</mi>
        <none id="7"/>
    </mmultiscripts>
</math>

This represents a binomial coefficient with presubscript n and postsubscript m.

Settings

  • Language: English
  • Speech style: SimpleSpeak
  • Speech verbosity: Medium
  • Overview: False
  • Navigation verbosity: Verbose
  • Auto zoom out: True

Tested through NVDA with MathCAT 0.7.6-rc.3 installed as an addon.

Observed behaviour

Enhanced and Simple (identical)

  1. ZoomIn

    • land on id="6"
    • hear: "zoom in; in base; n"

  2. MoveNext

    • land on id="3"
    • hear: "move right; in subscript; m"

The landing order n → m appears correct for the inferred binomial semantics, but the structural labels do not.

MathCAT's binomial-mmultiscripts inference converts this expression into a semantic binomial whose children are n and m. Therefore n is no longer the literal base of the original <mmultiscripts>, and m is no longer being navigated as its literal postsubscript.

I would expect semantic navigation to describe these as arguments/parts of the binomial rather than as "base" and "subscript".

For example, with the current generic navigation behaviour for semantic structures, something approximately like:

  1. ZoomIn

    • land on id="6"
    • hear: "zoom in; in part 1; n"

  2. MoveNext

    • land on id="3"
    • hear: "move right; in part 2; m"

would seem more consistent.

Character

  1. ZoomIn

    • land on id="2"
    • hear: "zoom in; in base; c"

  2. MoveNext

    • land on id="3"
    • hear: "move right; in subscript; m"

  3. MoveNext

    • land on id="6"
    • hear: "move right; out of subscript; in subscript; in pre-subscript; n"

Character mode correctly follows the literal MathML structure and lands on the expected nodes.

However, the third announcement appears to contain a redundant structural transition:

"out of subscript; in subscript; in pre-subscript; n"

When moving from the postsubscript m across <none> and <mprescripts> to the presubscript n, I would expect something more like:

"move right; out of subscript; in pre-subscript; n"

or another equivalent transition that does not temporarily announce "in subscript" again.

Possible causes

There appear to be two potentially relevant areas in navigate.yaml.

For Enhanced/Simple, the inferred binomial still originates from <mmultiscripts>. The into-or-out-of-mmultiscripts navigation rule applies when:

@data-from-mathml='mmultiscripts'

and assigns roles according to literal child positions (base, subscript, superscript, etc.).

This may cause the two children of the inferred semantic binomial(n, m) to be incorrectly labelled as though they were still the first two children of the original <mmultiscripts>.

For Character mode, the rules that skip <none> and <mprescripts> perform additional Move2D/MoveNextZoom operations while moving to the following real script. This may be responsible for the extra "in subscript" announcement while crossing from the postscript to the prescript.

Disclosure: I asked ChatGPT for help to dig into the cause of this, so these guesses might well be wrong.

Lenguaje dominante
Rust
Estrellas
130
Forks
96
Merge medio
1 d 1 h
PR fusionados (30 d)
84

Preparar el entorno

Primeros pasos

  1. Lee el issue completo y luego la guía de contribución del proyecto.
  2. Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
  3. Haz un fork del repositorio y trabaja en una rama.
  4. Abre un pull request que haga referencia al número del issue.

Más de daisy/MathCAT

Todos los issues de daisy/MathCAT

Issues similares

Más issues de Rust

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.