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.

> Unfortunately, that gives
> 
>     compiling exported = : ($,$) -> Boolean
> 
>     >> System error:
>     The index 4 is too large.
> 
> and I have no idea how I can get around that problem.
> 

That was a bug (should be fixed in revision 624).

-- 
                              Waldek Hebisch
[email protected] 

--~--~---------~--~----~------------~-------~--~----~
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