Re: [Maxima-discuss] expand phenomenon

[Stavros M. (Σ. Μ. <mac...@al...>]

​Actually, the surprising thing is that the left-hand side isn't also
parenthesized.

"=" is a binary operator (not n-ary).

Here is a simpler case showing what is going on:

ex1: a=b => a=b
ex1=ex1 => a=b=(a=b)

That should actually be printed as (a=b)=(c=d); I consider this a bug.

string(ex1=ex1) also gives a=b=(c=d); this is definitely a bug, since
string is supposed to produce readable strings, and a=b=c is a syntax error.

By the way, do you really want to compare the equations? or just their
right-hand sides?

            -s

On Mon, Feb 16, 2015 at 5:19 AM, Gunter Königsmann <gu...@pe...>
wrote:

> -----BEGIN PGP SIGNED MESSAGE-----
> Hash: SHA512
>
> Dear all,
>
> Can anybody explain me where the parenthesis in %o4 come from?
> I assume I am missing something obvious but cannot quite make out, what.
>
> (%i1) display2d:false;
> (%o1) false
>
> (%i2) f1:y=(x+1)*(x+3)$
> (%i3) f2:expand(f1)$
> (%i4) expand(f1)=expand(f2);
> (%o4) y = x^2+4*x+3 = (y = x^2+4*x+3)
>
> (%i5) is(expand(f1)=expand(f2));
> (%o5) true
>
> (%i6) build_info();
> (%o6) %build_info("branch_5_35_base_177_g95c186b","2015-02-15 09:14:10",
>                   "x86_64-unknown-linux-gnu","SBCL","1.2.4.debian")
>
> Thanks a lot,
>
>   Gunter.
> -----BEGIN PGP SIGNATURE-----
> Version: GnuPG v1
>
> iQJ8BAEBCgBmBQJU4cQfXxSAAAAAAC4AKGlzc3Vlci1mcHJAbm90YXRpb25zLm9w
> ZW5wZ3AuZmlmdGhob3JzZW1hbi5uZXQ1M0YwNDdDRTY2QjkxQjBGNzI0QzU0NUQ1
> Qzg2QzBFNDIxMUQ1QjhFAAoJEFyGwOQhHVuOgzAP/3TTI/vGNBXm/XUinjR/h+Th
> YlAk0FFZsRcK1onR1XV+XhrNYVqxHNYvu4lhh2iud5IYlxyAoJcRqtM6j300Ve3g
> kVJUgsiWD5HemuUoEcMEvHNr9CC0V7TjdaVEuP6d0N0Ms04boSZxJ0yVeu4I/8Dy
> 2uBzubpm2yzzrsIqs1EINJOIpfUcoZ2BbvB9tr4RJJRAwKEl5ri/x8iVXoJUYMFm
> rESK2L1Zq+N8Fp9qTRBpcjwwkhOO53YnFTX8sHPlR6x3B16SI2pI3u6CyU64CM/T
> lvjSxEuzmuY7iU4V/R+H3QNEjZlR0jxw8GQS2FeqYY4wQ4OxDHLTZEV/u8AigawH
> QAjCm398l590o/KeetENIi9JZluxVFr7Cm2uaI8HNojj53X7eGmZfItZ9i5DYvWb
> reT5agk1jnNjM3ykNin5AbJ3zSyLSIEjigJapUCdhiSiNeW3rkVXrGeKe59FwSvg
> GEamPl9V3wW2r9/0Dn5PnK7HpFSPIPasBQA74XzVsm3Ntn4xRE+uoUew91aT6ea4
> +V5BHkB+F4zCaF4Rh3iChDNNgP/9E4TNUXpnPbNVIxhKgQtjZt6Rr/R/+Jyrv5ZB
> l3GSbsEYATTDX5QKW0I3aqVKbHIctVzM74vgclC+/ofPVhKFRHbbFJGtcDdiFKJ7
> 1KUhad9YVlezLCduhgN/
> =5TQq
> -----END PGP SIGNATURE-----
>
>
> ------------------------------------------------------------------------------
> Download BIRT iHub F-Type - The Free Enterprise-Grade BIRT Server
> from Actuate! Instantly Supercharge Your Business Reports and Dashboards
> with Interactivity, Sharing, Native Excel Exports, App Integration & more
> Get technology previously reserved for billion-dollar corporations, FREE
>
> http://pubads.g.doubleclick.net/gampad/clk?id=190641631&iu=/4140/ostg.clktrk
> _______________________________________________
> Maxima-discuss mailing list
> Max...@li...
> https://lists.sourceforge.net/lists/listinfo/maxima-discuss
>