Obviously, for the result, it wouldn't matter. But you could force calling a certain function by getting the argument types right explicitly.
http://axiom-wiki.newsynthesis.org/FriCASHelpSet There is ")set output abbreviate off", but it wouldn't help for the signatures here. Ralf (1) -> pxy:=x^10+y-1 Function Selection for ^ Arguments: (VARIABLE(x), PI) Default target type: Polynomial(Integer) -> no appropriate ^ found in Variable(x) -> no appropriate ^ found in PositiveInteger -> no appropriate ^ found in Symbol -> no appropriate ^ found in Integer -> no appropriate ^ found in Polynomial(Integer) -> no appropriate ^ found in Variable(x) -> no appropriate ^ found in PositiveInteger -> no appropriate ^ found in Symbol -> no appropriate ^ found in Integer [1] signature: (POLY(INT), NNI) -> POLY(INT) implemented: slot $$(NonNegativeInteger) from POLY(INT) [2] signature: (POLY(INT), PI) -> POLY(INT) implemented: slot $$(PositiveInteger) from POLY(INT) Function Selection for + Arguments: (POLY(INT), VARIABLE(y)) -> no appropriate + found in Polynomial(Integer) -> no appropriate + found in Variable(y) -> no appropriate + found in Variable(y) [1] signature: (POLY(INT), POLY(INT)) -> POLY(INT) implemented: slot $$$ from POLY(INT) Function Selection for - Arguments: (POLY(INT), PI) -> no appropriate - found in Polynomial(Integer) -> no appropriate - found in PositiveInteger -> no appropriate - found in Integer -> no appropriate - found in PositiveInteger -> no appropriate - found in Integer [1] signature: (POLY(INT), POLY(INT)) -> POLY(INT) implemented: slot $$$ from POLY(INT) 10 (1) y + x - 1 Type: Polynomial(Integer) (2) -> E := Expression INT (2) Expression(Integer) Type: Type (3) -> exy: E := pxy::E 10 (3) y + x - 1 Type: Expression(Integer) (4) -> sxy: SUP E := pxy 10 (4) y + x - 1 Type: SparseUnivariatePolynomial(Expression(Integer)) (5) -> rootOf(pxy, 'y) Function Selection for rootOf Arguments: (POLY(INT), VARIABLE(y)) -> no appropriate rootOf found in Polynomial(Integer) -> no appropriate rootOf found in Variable(y) -> no appropriate rootOf found in Polynomial(Integer) -> no appropriate rootOf found in Variable(y) Modemaps from Associated Packages no modemaps Remaining General Modemaps [1] (D1,PositiveInteger) -> Union(D,"failed") from D if D3 has Join(ORDRING,FIELD) and D has RRCC(D3,D1) and D1 has UPOLYC(D3) [2] (SparseUnivariatePolynomial(D),PositiveInteger) -> Union(D, "failed") from D if D has RCFIELD [3] (D,Symbol) -> D from D if D has ACFS(D2) and D2 has Join(COMPAR,INTDOM) [4] (SparseUnivariatePolynomial(D),Symbol) -> D from D if D has ACF [1] signature: (EXPR(INT), SYMBOL) -> EXPR(INT) implemented: slot $$(Symbol) from EXPR(INT) [2] signature: (SUP(EXPR(INT)), SYMBOL) -> EXPR(INT) implemented: slot $(SparseUnivariatePolynomial $)(Symbol) from EXPR(INT) 10 (5) - x + 1 Type: Expression(Integer) (6) -> rootOf(exy, y) Function Selection for rootOf Arguments: (EXPR(INT), VARIABLE(y)) -> no appropriate rootOf found in Variable(y) [1] signature: (EXPR(INT), SYMBOL) -> EXPR(INT) implemented: slot $$(Symbol) from EXPR(INT) 10 (6) - x + 1 Type: Expression(Integer) (7) -> rootOf(sxy, y) Function Selection for rootOf Arguments: (SUP(EXPR(INT)), VARIABLE(y)) -> no appropriate rootOf found in SparseUnivariatePolynomial(Expression(Integer)) -> no appropriate rootOf found in Variable(y) [1] signature: (SUP(EXPR(INT)), SYMBOL) -> EXPR(INT) implemented: slot $(SparseUnivariatePolynomial $)(Symbol) from EXPR(INT) 10 (7) - x + 1 Type: Expression(Integer) -- 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 fricas-devel+unsubscr...@googlegroups.com. To post to this group, send email to fricas-devel@googlegroups.com. Visit this group at https://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.
