Simplification or equality check



On 04/01/13 16:00, Robert Dodier wrote:
> On 2013-04-01, Thomas D. Dean <tomdean at speakeasy.org> wrote:
>>
>> for i:1 thru length(eq3) do if imagpart(eq3[i]) then plteq:eq4[i];
>
> I haven't looked at this carefully, but maybe you meant to write
>
>    for i:1 thru length(eq3) do if imagpart(rhs(eq3[i])) = 0 then plteq:eq4[i];

eq3 is a list of the form [x=..., x=..., x=...] so

imagpart(eq3[2]); /* for example, */
returns 0 = 3*sqrt(7)/4
and
imagpart(eq3[3]);
returns 0 = 0

I believe imagpart(x) is zero when x is not assigned.  Is this always true?

Tom Dean