In my code I have two functions with exactly the same signatures but
coming from different domains. I have compiled the code inside my
session and after )set message bottom on I get.
(58) -> width(8,2)
Function Selection for width
Arguments: (PI, PI)
[1] signature: (PI, INT) -> INT
implemented: slot (Integer)(PositiveInteger)(Integer) from GAMMA0
[2] signature: (PI, INT) -> INT
implemented: slot (Integer)(PositiveInteger)(Integer) from GAMMA1
(58) 2
Type: PositiveInteger
Unfortunately, I do not see a warning and I get the wrong result.
Needless to say that this is a very dangerous source of errors.
Here I was expecting to get 4 as an answer.
Would it be hard to add a switch to FriCAS that tells it to SHOUT
whenever there is ambiguity during function selection?
Even if it is considered a feature that the interpreter tries to do the
right thing, it can be terribly wrong and I have no chance to recognize
this easily.
Ralf
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/66f6d838-94a1-8582-6a9d-aa1cc413a9bd%40hemmecke.de.
