On 06/11/2009 05:31 PM, Waldek Hebisch wrote:
> Ralf Hemmecke wrote:
>> However, as Waldek already said. The above definition for = is dangerous.
>>
>> I would rather like to have something like
>>
>>       x = y ==
>>          dx := dom x
>>          dy := dom y
>>      dx ~= dy => false
>>          Dx := EVAL(dx)$Lisp
>>          if Dx has BasicType
>>            then (obj x) pretend Dx = (obj y) pretend Dx
>>            else false
>>
> 
> Actually, this version will silently produce wrong resuls.

Does that mean that even with the fix r624 that code above with

    if Dx has BasicType

would not work as expected?

Ralf

--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups 
"FriCAS - computer algebra system" group.
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to 
[email protected]
For more options, visit this group at 
http://groups.google.com/group/fricas-devel?hl=en
-~----------~----~----~----~------~----~------~--~---

Reply via email to