<div dir="ltr"><div>Dear Joe,</div><div><br></div><div>Thanks. That helps a lot.</div><div><br></div><div>Regards,</div><div>Robert</div><div><br></div><div><br style="font-size:12.8000001907349px"><blockquote style="margin:0 0 0 40px;border:none;padding:0px"><div><br style="font-size:12.8000001907349px"></div><div><span style="font-size:12.8000001907349px">Hi Robert,</span></div><div><br style="font-size:12.8000001907349px"></div><div><span style="font-size:12.8000001907349px">One thing that may be useful to you when implementing a reader for the</span></div><div><span style="font-size:12.8000001907349px">defineConstList command: if you have an article foo.art you are trying</span></div><div><span style="font-size:12.8000001907349px">to read, then the command</span></div><div><br style="font-size:12.8000001907349px"></div><div><span style="font-size:12.8000001907349px">opentheory info --article --output-version 5 -o bar.art foo.art</span></div><div><br style="font-size:12.8000001907349px"></div><div><span style="font-size:12.8000001907349px">will generate a version 5 article file bar.art that is *logically</span></div><div><span style="font-size:12.8000001907349px">equivalent* to foo.art. And since defineConstList did not exist in</span></div><div><span style="font-size:12.8000001907349px">version 5 of the article format, the same definitions will be made</span></div><div><span style="font-size:12.8000001907349px">using only defineConst.</span></div><div><br style="font-size:12.8000001907349px"></div><div><span style="font-size:12.8000001907349px">I hope that helps,</span></div><div><br style="font-size:12.8000001907349px"></div><div><span style="font-size:12.8000001907349px">Joe</span></div></blockquote></div></div><div class="gmail_extra"><br><div class="gmail_quote">On 20 May 2015 at 18:27, Robert White <span dir="ltr"><<a href="mailto:ai.robert.wangshuai@gmail.com" target="_blank">ai.robert.wangshuai@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">Dear Joe and other users,<div><br></div><div>I wonder if in the <kbd><a href="http://www.gilith.com/research/opentheory/article-5-6.html#defineConstListCommand" target="_blank">defineConstList</a> , do you actually define the consts first? Or simply use the const "from construction" [1]. This function is now causing problems in my code and I can't find out where exact the problem is. It would be very nice if you can explain a bit more.</kbd></div><div><kbd><br></kbd></div><div>Thanks a lot.</div><div><kbd><br></kbd></div><div><kbd><br></kbd></div><div><kbd>[1] By this, I mean, did you used defineConst or anything to do the definition for individual constants there or simply getting the list pushed as</kbd></div><a name="14d722695fdf8aae_defineConstListCommand" style="color:rgb(0,0,0);font-family:sans-serif;font-size:medium"><blockquote style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex" class="gmail_quote"></blockquote></a>> List [Const c1, ..., Const ck]<div><br><div>--</div><div><div><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div><br></div><div>Regards,</div><div><a href="http://www.dptinfo.ens-cachan.fr/~swang/" target="_blank">Robert White </a>(Shuai Wang)</div><div><a href="https://www.rocq.inria.fr/deducteam/" target="_blank">INRIA Deducteam</a></div></div></div></div></div></div></div></div></div>
</div></div></div>
</blockquote></div><br><br clear="all"><div><br></div>-- <br><div class="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div><br></div><div>Regards,</div><div><a href="http://www.dptinfo.ens-cachan.fr/~swang/" target="_blank">Robert White </a>(Shuai Wang)</div><div><a href="https://www.rocq.inria.fr/deducteam/" target="_blank">INRIA Deducteam</a></div></div></div></div></div></div></div></div></div>
</div>