aldor -M no-abbrev -O -Fasy -Fao -Flsp -laxiom -Mno-AXL_W_WillObsolete -DAxiom -Y $AXIOM/algebra eval.as #1 (Warning) Deprecated message prefix: use `ALDOR_' instead of `_AXL'
"eval.as", line 11: eval(a, x, 1) ................^ [L11 C17] #2 (Error) No one possible return type satisfies the context type. These possible return types were rejected:
-- Fraction(UnivariatePolynomial(x, F)) The context requires an _expression_ of type Fraction(UnivariatePolynomial(x, F)). The following could be suitable if imported: eval: (Fraction(UnivariatePolynomial(x, F)), Symbol pretend SetCategory, UnivariatePolynomial(x, F) pretend Type) -> Fraction(UnivariatePolynomial(x, F)) from Fraction(UnivariatePolynomial(x, F)), if UnivariatePolynomial(x, F) has InnerEvalable(Symbol, UnivariatePolynomial(x, F))