Martin Rubey wrote:
>
> I did a tiny bit of digging. Results:
>
> * Maybe every domain (either of category Type, or BasicType) should have
> CoercibleTo(%), and ConvertibleTo should have CoercibleTo. There are two
> possible reasons against it:
>
> 1) it might not work (after all, it's somehow recursive)
>
> 2) it might slow down the system.
>
> Maybe somebody with a few spare cpu cycles could try the patch below? (from
> a fresh
> checkout!)
>
Currently coercion machinery knows that it can always trivially coerce
something of type % to %, but CoercibleTo(%) gives false, so
mathematically such change is logical. Also, in testing package
when testing InputForm we get spurious warning about domain
without InputForm. But I would not rush such change. First,
we need to check if it really works. Than think if there are
any undesirable conseqences. I would prefer to first get out
release and then get back to this.
--
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 fricas-devel@googlegroups.com
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
-~----------~----~----~----~------~----~------~--~---
