<rss xmlns:itunes="http://www.itunes.com/dtds/podcast-1.0.dtd" version="2.0">
  <channel>
    <title>MaplePrimes - comments on Post, convert/identifier</title>
    <link>http://www.mapleprimes.com/posts/135657-Convertidentifier</link>
    <language>en-us</language>
    <copyright>2026 Maplesoft, A Division of Waterloo Maple Inc.</copyright>
    <generator>Maplesoft Document System</generator>
    <lastBuildDate>Wed, 10 Jun 2026 11:06:12 GMT</lastBuildDate>
    <pubDate>Wed, 10 Jun 2026 11:06:12 GMT</pubDate>
    <itunes:subtitle />
    <itunes:summary />
    <description>The latest comments added to the Post, convert/identifier</description>
    <image>
      <url>http://www.mapleprimes.com/images/mapleprimeswhite.jpg</url>
      <title>MaplePrimes - comments on Post, convert/identifier</title>
      <link>http://www.mapleprimes.com/posts/135657-Convertidentifier</link>
    </image>
    <item>
      <title>computing with identifiers?</title>
      <link>http://www.mapleprimes.com/posts/135657-Convertidentifier?ref=Feed:MaplePrimes:convert/identifier:Comments#comment135660</link>
      <itunes:summary>&lt;p&gt;Do you really mean computing with identifiers, i.e. TypeMK representations of objects?&lt;/p&gt;
&lt;p&gt;About the color of brackets, compare the outputs of:&lt;/p&gt;
&lt;pre&gt;`#mfenced(mfrac(mi("a"),mi("b")))`;
Typesetting:-mfenced(mfrac(mi("a"),mi("b")));
&lt;/pre&gt;</itunes:summary>
      <description>The latest comments added to the Post, convert/identifier</description>
      <guid>135660</guid>
      <pubDate>Thu, 05 Jul 2012 13:29:24 Z</pubDate>
      <itunes:author>Alejandro Jakubi</itunes:author>
      <author>Alejandro Jakubi</author>
    </item>
    <item>
      <title>as names</title>
      <link>http://www.mapleprimes.com/posts/135657-Convertidentifier?ref=Feed:MaplePrimes:convert/identifier:Comments#comment135663</link>
      <itunes:summary>&lt;p&gt;&lt;a href="http://www.mapleprimes.com/posts/135657-Convertidentifier#comment135660"&gt;@Alejandro Jakubi&lt;/a&gt;&amp;nbsp;By "computing with identifiers" I meant just using them only as names, not parsing them. Clearly typeset names which &lt;em&gt;look&lt;/em&gt; the same would also have to &lt;em&gt;be&lt;/em&gt; the same (internally), or else mixing them arithmetically and otherwise would not be so useful.&lt;/p&gt;
&lt;p&gt;Thanks, about the brackets.&lt;/p&gt;
&lt;p&gt;By trying a few tricks I got some hints that Typesetting:-Typeset may not get called at all when one does right-click conversion to Atomic Identifier. That makes getting the exact same structures problematic. It'd be easier to use the same basic mechanism, than to fix up the results from something else.&lt;/p&gt;</itunes:summary>
      <description>The latest comments added to the Post, convert/identifier</description>
      <guid>135663</guid>
      <pubDate>Thu, 05 Jul 2012 15:40:24 Z</pubDate>
      <itunes:author>acer</itunes:author>
      <author>acer</author>
    </item>
    <item>
      <title>Look and be</title>
      <link>http://www.mapleprimes.com/posts/135657-Convertidentifier?ref=Feed:MaplePrimes:convert/identifier:Comments#comment135683</link>
      <itunes:summary>&lt;p&gt;Yes. The problem, as I see it, is that typically a large number of different TypeMK names could be created that look the same. So, without parsing them, I do not see how you could be sure that they share the same "canonical" representation for interoperation. Presumably, the standard way of handling them would be as in 2D input, passing them through the 2D parser, and operating on the resulting DAGs.&amp;nbsp;&lt;/p&gt;</itunes:summary>
      <description>The latest comments added to the Post, convert/identifier</description>
      <guid>135683</guid>
      <pubDate>Fri, 06 Jul 2012 07:51:04 Z</pubDate>
      <itunes:author>Alejandro Jakubi</itunes:author>
      <author>Alejandro Jakubi</author>
    </item>
  </channel>
</rss>