PolynomialEvaluation(C, S)

qetatool.spad line 123 [edit on github]

• C: Ring

• S: with

  *: (%, %) -> %

  +: (%, %) -> %

  ^: (%, NonNegativeInteger) -> %

undocumented

eval: (C -> S, List Symbol, List S) -> Polynomial C -> S

eval: (List Symbol, List S) -> Polynomial C -> S if S has coerce: C -> S

eval: (Polynomial C, C -> S, List Symbol, List S) -> S

eval: (Polynomial C, List Symbol, List S) -> S if S has coerce: C -> S