Re: [MathML4] Removal of the menclose notation "radical"

Stephen Watt <[email protected]> Tue, 26 Jul 2016 08:06:00 -0400
Newsgroups gmane.comp.web.mathematics
Message-ID <CALozgsiz9RS48-wZW+c0_d52_F+gGuv2DE+Dh2V_4xdqLnFwQA@mail.gmail.com>
--94eb2c0a6f2a656ab3053888b967
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

Hi Frederic,

I don't see why there would be inconsistencies in implementation.   A
reasonable developer would just have <msqrt> call the same code as
<menclose notation=3D"radical">.

>From a software engineering point of view, I would think it would make more
sense to remove <msqrt>.   But from a "give the people what they think they
want" point of view, I would think we need to keep it.

Stephen


On Tue, Jul 26, 2016 at 3:29 AM, Fr=C3=A9d=C3=A9ric WANG <[email protected]=
> wrote:

> Hi everybody,
>
> Continuing on proposal for MathML4, there are two equivalent notations
> for square roots:
>
> * <msqrt> child1 child2 ... child3 </msqrt>
> * <menclose notation=3D"radical"> child1 child2 ... child3 </menclose>
>
> The latter does not bring anything new but duplicate code or
> inconsistencies in implementation. In WebKit, the msqrt and mroot
> elements share implementation and menclose@radical was implemented by
> creating anonymous nodes. In the past, this kind of implementation has
> led to rendering, performance and design/security issues. During phase 1
> of our refactoring [1], we thus removed support for menclose@radical. In
> Gecko, the msqrt and menclose elements share implementation but then
> mroot has duplicate logic, which is bad and Gecko should probably be
> aligned on WebKit here.
>
> So we would like menclose@radical to be removed in future versions of
> MathML (it is optional in MathML3 anyway). We expect this removal to be
> safe for the users given that (except in examples and tests) msqrt is
> always preferred over menclose@radical in math documents. The only
> rationale for menclose@radical would be to write overlapping notations
> (e.g. <menclose notation=3D"radical circle horizontalstrike">) but again
> we are not aware of any concrete use cases for that and it's always
> possible to nest <msqrt> and <menclose> to get similar rendering without
> overlapping notations.
>
> Fr=C3=A9d=C3=A9ric, for the Igalia Web Platform team
>
> [1] https://trac.webkit.org/wiki/MathML/Early_2016_Refactoring
>
>
>
>

--94eb2c0a6f2a656ab3053888b967
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr">Hi Frederic,<div><br></div><div>I don&#39;t see why there =
would be inconsistencies in implementation. =C2=A0 A reasonable developer w=
ould just have &lt;msqrt&gt; call the same code as &lt;menclose notation=3D=
&quot;radical&quot;&gt;. =C2=A0 =C2=A0=C2=A0</div><div><br></div><div>From =
a software engineering point of view, I would think it would make more sens=
e to remove &lt;msqrt&gt;. =C2=A0 But from a &quot;give the people what the=
y think they want&quot; point of view, I would think we need to keep it.</d=
iv><div><br></div><div>Stephen</div><div><br></div></div><div class=3D"gmai=
l_extra"><br><div class=3D"gmail_quote">On Tue, Jul 26, 2016 at 3:29 AM, Fr=
=C3=A9d=C3=A9ric WANG <span dir=3D"ltr">&lt;<a href=3D"mailto:fred.wang@fre=
e.fr" target=3D"_blank">[email protected]</a>&gt;</span> wrote:<br><blockqu=
ote class=3D"gmail_quote" style=3D"margin:0 0 0 .8ex;border-left:1px #ccc s=
olid;padding-left:1ex">Hi everybody,<br>
<br>
Continuing on proposal for MathML4, there are two equivalent notations<br>
for square roots:<br>
<br>
* &lt;msqrt&gt; child1 child2 ... child3 &lt;/msqrt&gt;<br>
* &lt;menclose notation=3D&quot;radical&quot;&gt; child1 child2 ... child3 =
&lt;/menclose&gt;<br>
<br>
The latter does not bring anything new but duplicate code or<br>
inconsistencies in implementation. In WebKit, the msqrt and mroot<br>
elements share implementation and menclose@radical was implemented by<br>
creating anonymous nodes. In the past, this kind of implementation has<br>
led to rendering, performance and design/security issues. During phase 1<br=
>
of our refactoring [1], we thus removed support for menclose@radical. In<br=
>
Gecko, the msqrt and menclose elements share implementation but then<br>
mroot has duplicate logic, which is bad and Gecko should probably be<br>
aligned on WebKit here.<br>
<br>
So we would like menclose@radical to be removed in future versions of<br>
MathML (it is optional in MathML3 anyway). We expect this removal to be<br>
safe for the users given that (except in examples and tests) msqrt is<br>
always preferred over menclose@radical in math documents. The only<br>
rationale for menclose@radical would be to write overlapping notations<br>
(e.g. &lt;menclose notation=3D&quot;radical circle horizontalstrike&quot;&g=
t;) but again<br>
we are not aware of any concrete use cases for that and it&#39;s always<br>
possible to nest &lt;msqrt&gt; and &lt;menclose&gt; to get similar renderin=
g without<br>
overlapping notations.<br>
<br>
Fr=C3=A9d=C3=A9ric, for the Igalia Web Platform team<br>
<br>
[1] <a href=3D"https://trac.webkit.org/wiki/MathML/Early_2016_Refactoring" =
rel=3D"noreferrer" target=3D"_blank">https://trac.webkit.org/wiki/MathML/Ea=
rly_2016_Refactoring</a><br>
<br>
<br>
<br>
</blockquote></div><br></div>

--94eb2c0a6f2a656ab3053888b967--