<rss xmlns:itunes="http://www.itunes.com/dtds/podcast-1.0.dtd" version="2.0">
  <channel>
    <title>MaplePrimes - comments on Post, Surprise behavior with assume</title>
    <link>http://www.mapleprimes.com/posts/43670-Surprise-Behavior-With-Assume</link>
    <language>en-us</language>
    <copyright>2026 Maplesoft, A Division of Waterloo Maple Inc.</copyright>
    <generator>Maplesoft Document System</generator>
    <lastBuildDate>Fri, 12 Jun 2026 14:50:36 GMT</lastBuildDate>
    <pubDate>Fri, 12 Jun 2026 14:50:36 GMT</pubDate>
    <itunes:subtitle />
    <itunes:summary />
    <description>The latest comments added to the Post, Surprise behavior with assume</description>
    <image>
      <url>http://www.mapleprimes.com/images/mapleprimeswhite.jpg</url>
      <title>MaplePrimes - comments on Post, Surprise behavior with assume</title>
      <link>http://www.mapleprimes.com/posts/43670-Surprise-Behavior-With-Assume</link>
    </image>
    <item>
      <title>But not too surprising</title>
      <link>http://www.mapleprimes.com/posts/43670-Surprise-Behavior-With-Assume?ref=Feed:MaplePrimes:Surprise behavior with assume:Comments#comment80655</link>
      <itunes:summary>The procedure &lt;code&gt;assume&lt;/code&gt; assigns a local variable named (say) &lt;code&gt;a~&lt;/code&gt; to the global variable &lt;code&gt;a&lt;/code&gt;.  However, the assignment statement does not evaluate its left-side symbol (for good reason), so following the assignment statement, the global &lt;code&gt;a&lt;/code&gt; is assigned 0 (etc). However, the Matrix A has the local variable &lt;code&gt;a~&lt;/code&gt;, so there is no effect on it.

To assign values to the assumed variables you could replace the line &lt;code&gt;a:=0; b:=1/2; c:=0&lt;/code&gt; with &lt;code&gt;assume(a=0,b=1/2,c=0)&lt;/code&gt;.  That works because, unlike the assignment statement, the procedure &lt;code&gt;assume&lt;/code&gt; evaluates the variables.</itunes:summary>
      <description>The latest comments added to the Post, Surprise behavior with assume</description>
      <guid>80655</guid>
      <pubDate>Sun, 28 Aug 2005 01:27:01 Z</pubDate>
      <itunes:author>Joe
 Riel
</itunes:author>
      <author>Joe
 Riel
</author>
    </item>
    <item>
      <title>That led to a better idea</title>
      <link>http://www.mapleprimes.com/posts/43670-Surprise-Behavior-With-Assume?ref=Feed:MaplePrimes:Surprise behavior with assume:Comments#comment86858</link>
      <itunes:summary>Thanks, Joe Riel. I understand better what is happening. This led me to think of with(RealDomain), but this did not do the trick. Somehow, I don't remember now how I came to it, I found that the following is just what I want.

&gt; restart:
&gt; with(LinearAlgebra):
&gt; A:=Matrix([[a,b],[b,c]]);
&gt; BilinearForm(Vector([x,y]),Vector([u,v]),A,conjugate=false):
&gt; expand(%);

Your suggest let to this better idea. It is better in ways to complicated to explain here. However, see five lines from the bottom of page 302 in the Maple Conference 2005 Proceedings.
</itunes:summary>
      <description>The latest comments added to the Post, Surprise behavior with assume</description>
      <guid>86858</guid>
      <pubDate>Sun, 28 Aug 2005 03:10:01 Z</pubDate>
      <itunes:author>jherod</itunes:author>
      <author>jherod</author>
    </item>
    <item>
      <title>Assign</title>
      <link>http://www.mapleprimes.com/posts/43670-Surprise-Behavior-With-Assume?ref=Feed:MaplePrimes:Surprise behavior with assume:Comments#comment86850</link>
      <itunes:summary>It should be &lt;code&gt;assign(a=0,b=1/2,c=0)&lt;/code&gt; because &lt;code&gt;assign&lt;/code&gt; evaluates the variables.</itunes:summary>
      <description>The latest comments added to the Post, Surprise behavior with assume</description>
      <guid>86850</guid>
      <pubDate>Tue, 30 Aug 2005 09:38:42 Z</pubDate>
      <itunes:author>alec</itunes:author>
      <author>alec</author>
    </item>
    <item>
      <title>assign/assume</title>
      <link>http://www.mapleprimes.com/posts/43670-Surprise-Behavior-With-Assume?ref=Feed:MaplePrimes:Surprise behavior with assume:Comments#comment90231</link>
      <itunes:summary>Thanks, alec.  At least I knew what I meant 8-).</itunes:summary>
      <description>The latest comments added to the Post, Surprise behavior with assume</description>
      <guid>90231</guid>
      <pubDate>Tue, 30 Aug 2005 17:42:47 Z</pubDate>
      <itunes:author>Joe Riel</itunes:author>
      <author>Joe Riel</author>
    </item>
    <item>
      <title>I just noticed that</title>
      <link>http://www.mapleprimes.com/posts/43670-Surprise-Behavior-With-Assume?ref=Feed:MaplePrimes:Surprise behavior with assume:Comments#comment90232</link>
      <itunes:summary>I just noticed that yesterday - I din't notice that when I read that first time. That's another example when comment editing possibility would be very helpful. </itunes:summary>
      <description>The latest comments added to the Post, Surprise behavior with assume</description>
      <guid>90232</guid>
      <pubDate>Tue, 30 Aug 2005 17:47:56 Z</pubDate>
      <itunes:author>Alec Mihailovs</itunes:author>
      <author>Alec Mihailovs</author>
    </item>
    <item>
      <title>but I could have fixed it...</title>
      <link>http://www.mapleprimes.com/posts/43670-Surprise-Behavior-With-Assume?ref=Feed:MaplePrimes:Surprise behavior with assume:Comments#comment90233</link>
      <itunes:summary>if you hadn't replied 8-).  My preference would be to allow edits regardless whether there is a response.  At least that way comments could get corrected at the source, rather than in the responses.  The thorough poster would mention that the comment had been changed as a result of the following feedback.</itunes:summary>
      <description>The latest comments added to the Post, Surprise behavior with assume</description>
      <guid>90233</guid>
      <pubDate>Tue, 30 Aug 2005 18:07:54 Z</pubDate>
      <itunes:author>Joe Riel</itunes:author>
      <author>Joe Riel</author>
    </item>
  </channel>
</rss>