Hi!
I'm using ')set message bottomup on' to understand coercitions
and the selection of function signatures.
(If you now a better way, please tell me).
Problem: Which function is chosen when more then one choice is admissible?
Eg: In the example below I understand that
[1] and [2] at bottom are admissible signatures for rootsOf
but I do not understand which signature is selected among the two...
?? maybe they are boldly shown by interpreter preference so,
always the first, ie [1], is used ??
(1) -> pxy:=x^10+y-1 -- poly in two variables
10
(1) y + x - 1
Type: Polynomial(Integer)
(2) -> )set message bottomup on
(2) -> pxy%ys:=rootsOf(pxy,y)
Function Selection for rootsOf
Arguments: (POLY(INT), VARIABLE(y))
-> no appropriate rootsOf found in Polynomial(Integer)
-> no appropriate rootsOf found in Variable(y)
-> no appropriate rootsOf found in Polynomial(Integer)
-> no appropriate rootsOf found in Variable(y)
Modemaps from Associated Packages
no modemaps
Remaining General Modemaps
[1] (D,Symbol) -> List(D) from D
if D3 has Join(COMPAR,INTDOM) and D has ACFS(D3)
[2] (SparseUnivariatePolynomial(D),Symbol) -> List(D) from D if D
has ACF
[1] signature: (EXPR(INT), SYMBOL) -> LIST(EXPR(INT))
implemented: slot (List $)$(Symbol) from EXPR(INT)
[2] signature: (SUP(EXPR(INT)), SYMBOL) -> LIST(EXPR(INT))
implemented: slot (List $)(SparseUnivariatePolynomial $)(Symbol) from
EXPR(INT)
10
(2) [- x + 1]
Type: List(Expression(Integer))
Thanks in advance for any hint.
ric
PS Is it possible to have full names and not abbreviations is the above
messages?
--
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 post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
