<!DOCTYPE html><!-- BaNnErBlUrFlE-BoDy-start -->
<!-- Preheader Text : BEGIN -->
<div style="display:none !important;display:none;visibility:hidden;mso-hide:all;font-size:1px;color:#ffffff;line-height:1px;height:0px;max-height:0px;opacity:0;overflow:hidden;">
hi Matt, On 15/05/24 6: 05 am, Matthew Knepley wrote: On Tue, May 14, 2024 at 9: 07 AM Matthew Knepley <knepley@ gmail. com> wrote: On Mon, May 13, 2024 at 10: 04 PM Adrian Croucher <a. croucher@ auckland. ac. nz> wrote: On 14/05/24 1: 44
</div>
<!-- Preheader Text : END -->
<!-- Email Banner : BEGIN -->
<div style="display:none !important;display:none;visibility:hidden;mso-hide:all;font-size:1px;color:#ffffff;line-height:1px;height:0px;max-height:0px;opacity:0;overflow:hidden;">ZjQcmQRYFpfptBannerStart</div>
<!--[if ((ie)|(mso))]>
<table border="0" cellspacing="0" cellpadding="0" width="100%" style="padding: 16px 0px 16px 0px; direction: ltr" ><tr><td>
<table border="0" cellspacing="0" cellpadding="0" style="padding: 0px 10px 5px 6px; width: 100%; border-radius:4px; border-top:4px solid #90a4ae;background-color:#D0D8DC;"><tr><td valign="top">
<table align="left" border="0" cellspacing="0" cellpadding="0" style="padding: 4px 8px 4px 8px">
<tr><td style="color:#000000; font-family: 'Arial', sans-serif; font-weight:bold; font-size:14px; direction: ltr">
This Message Is From an External Sender
</td></tr>
<tr><td style="color:#000000; font-weight:normal; font-family: 'Arial', sans-serif; font-size:12px; direction: ltr">
This message came from outside your organization.
</td></tr>
</table>
</td></tr></table>
</td></tr></table>
<![endif]-->
<![if !((ie)|(mso))]>
<div dir="ltr" id="pfptBannerj2r1u4i" style="all: revert !important; display:block !important; text-align: left !important; margin:16px 0px 16px 0px !important; padding:8px 16px 8px 16px !important; border-radius: 4px !important; min-width: 200px !important; background-color: #D0D8DC !important; background-color: #D0D8DC; border-top: 4px solid #90a4ae !important; border-top: 4px solid #90a4ae;">
<div id="pfptBannerj2r1u4i" style="all: unset !important; float:left !important; display:block !important; margin: 0px 0px 1px 0px !important; max-width: 600px !important;">
<div id="pfptBannerj2r1u4i" style="all: unset !important; display:block !important; visibility: visible !important; background-color: #D0D8DC !important; color:#000000 !important; color:#000000; font-family: 'Arial', sans-serif !important; font-family: 'Arial', sans-serif; font-weight:bold !important; font-weight:bold; font-size:14px !important; line-height:18px !important; line-height:18px">
This Message Is From an External Sender
</div>
<div id="pfptBannerj2r1u4i" style="all: unset !important; display:block !important; visibility: visible !important; background-color: #D0D8DC !important; color:#000000 !important; color:#000000; font-weight:normal; font-family: 'Arial', sans-serif !important; font-family: 'Arial', sans-serif; font-size:12px !important; line-height:18px !important; line-height:18px; margin-top:2px !important;">
This message came from outside your organization.
</div>
</div>
<div style="clear: both !important; display: block !important; visibility: hidden !important; line-height: 0 !important; font-size: 0.01px !important; height: 0px"> </div>
</div>
<![endif]>
<div style="display:none !important;display:none;visibility:hidden;mso-hide:all;font-size:1px;color:#ffffff;line-height:1px;height:0px;max-height:0px;opacity:0;overflow:hidden;">ZjQcmQRYFpfptBannerEnd</div>
<!-- Email Banner : END -->
<!-- BaNnErBlUrFlE-BoDy-end -->
<html><head><!-- BaNnErBlUrFlE-HeAdEr-start -->
<style>
#pfptBannerj2r1u4i { all: revert !important; display: block !important;
visibility: visible !important; opacity: 1 !important;
background-color: #D0D8DC !important;
max-width: none !important; max-height: none !important }
.pfptPrimaryButtonj2r1u4i:hover, .pfptPrimaryButtonj2r1u4i:focus {
background-color: #b4c1c7 !important; }
.pfptPrimaryButtonj2r1u4i:active {
background-color: #90a4ae !important; }
</style>
<!-- BaNnErBlUrFlE-HeAdEr-end -->
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body>
<p>hi Matt,<br>
</p>
<div class="moz-cite-prefix">On 15/05/24 6:05 am, Matthew Knepley
wrote:<br>
</div>
<blockquote type="cite" cite="mid:CAMYG4Gk9bKUW4DjpNMa4eaR+AqHamdD++7_Ejx+iDVgh=NBW3Q@mail.gmail.com">
<div dir="ltr">
<div dir="ltr">On Tue, May 14, 2024 at 9:07 AM Matthew Knepley
<<a href="mailto:knepley@gmail.com" moz-do-not-send="true" class="moz-txt-link-freetext">knepley@gmail.com</a>>
wrote:<br>
</div>
<div class="gmail_quote">
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
<div dir="ltr">
<div dir="ltr">On Mon, May 13, 2024 at 10:04 PM Adrian
Croucher <<a href="mailto:a.croucher@auckland.ac.nz" target="_blank" moz-do-not-send="true" class="moz-txt-link-freetext">a.croucher@auckland.ac.nz</a>>
wrote:<br>
</div>
<div class="gmail_quote">
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
<div>
<p>On 14/05/24 1:44 pm, Matthew Knepley wrote:</p>
<blockquote type="cite">
<div dir="ltr">
<div class="gmail_quote">I wish GMsh was clearer
about what is optional: <a href="https://urldefense.us/v3/__https://gmsh.info/doc/texinfo/gmsh.html*MSH-file-format__;Iw!!G_uCfscf7eWS!dbZ8R9PicaYRx4Y2IkPxvCoLlJ4lpsMbIAFBKbKZK5h5-2OTX5Ne-AwgOBHv2mJaHqg9uo5orDQYs2PaoAcpDmS65Au1g9uw$" target="_blank" moz-do-not-send="true">https://gmsh.info/doc/texinfo/gmsh.html#MSH-file-format</a>
<div>They do talk about it, but not
exhaustively. GMsh always writes and
$Entities block from what I can tell.</div>
<div>I can make it optional, it just might
take until after the PETSc Meeting.</div>
</div>
</div>
</blockquote>
<p>Looks like $Entities are optional:</p>
<p><a href="https://urldefense.us/v3/__https://gitlab.onelab.info/gmsh/gmsh/-/commit/b5feba2af57181ffa946d3f0c494b014603c6efa__;!!G_uCfscf7eWS!dbZ8R9PicaYRx4Y2IkPxvCoLlJ4lpsMbIAFBKbKZK5h5-2OTX5Ne-AwgOBHv2mJaHqg9uo5orDQYs2PaoAcpDmS65ISaNx6E$" target="_blank" moz-do-not-send="true">https://gitlab.onelab.info/gmsh/gmsh/-/commit/b5feba2af57181ffa946d3f0c494b014603c6efa</a><br>
</p>
<p>I can also load a GMSH 4.1 file without $Entities
into GMSH itself and it doesn't complain,
suggesting that they are indeed optional.</p>
</div>
</blockquote>
<div>Yes, but they are not careful to specify when a
file can be inconsistent. For instance, omitting the
$Entities, but then specifying entity numbers in the
$Nodes block. I think they also thought this was
inconsistent, but then got user complaints. The
minimal example they show does exactly this.</div>
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
<div>
<p>If the $Entities aren't strictly needed for
anything in DMPlex (which I'm guessing they
aren't, as the GMSH file format 2.2 doesn't even
have them) then it would be useful not to require
them.</p>
</div>
</blockquote>
<div>I put in some code for this: <a href="https://urldefense.us/v3/__https://gitlab.com/petsc/petsc/-/merge_requests/7546__;!!G_uCfscf7eWS!dbZ8R9PicaYRx4Y2IkPxvCoLlJ4lpsMbIAFBKbKZK5h5-2OTX5Ne-AwgOBHv2mJaHqg9uo5orDQYs2PaoAcpDmS65MnfH9Hr$" target="_blank" moz-do-not-send="true">https://gitlab.com/petsc/petsc/-/merge_requests/7546</a></div>
<div><br>
</div>
<div>It just ignores entity numbers when there is no
section.</div>
</div>
</div>
</blockquote>
<div><br>
</div>
<div>This merged, so now it should be fixed for you.</div>
</div>
</div>
</blockquote>
<p>Thanks, that seems to fix the problem. Great!</p>
<p>Cheers, Adrian<br>
</p>
<pre class="moz-signature" cols="72">--
Dr Adrian Croucher
Senior Research Fellow
Department of Engineering Science
Waipapa Taumata Rau / University of Auckland, New Zealand
email: <a class="moz-txt-link-abbreviated" href="mailto:a.croucher@auckland.ac.nz">a.croucher@auckland.ac.nz</a>
tel: +64 (0)9 923 4611</pre>
</body>
</html>