GenerateUnivariatePowerSeries(R, FE)

genups.spad line 278 [edit on github]

• R : Join(IntegralDomain, Comparable, RetractableTo(Integer), LinearlyExplicitOver(Integer))
• FE : Join(RetractableTo(Symbol), TranscendentalFunctionCategory, FunctionSpace(R))

This package is to restrict interpreter choice of signatures, and force Expression when no types are declared

laurent : (FE, Symbol, Equation(FE), UniversalSegment(Integer)) -> Any if FE has Evalable(FE)

laurent : (Mapping(FE, Integer), Equation(FE), UniversalSegment(Integer)) -> Any

puiseux : (FE, Symbol, Equation(FE), UniversalSegment(Fraction(Integer)), Fraction(Integer)) -> Any if FE has Evalable(FE)

puiseux : (Mapping(FE, Fraction(Integer)), Equation(FE), UniversalSegment(Fraction(Integer)), Fraction(Integer)) -> Any

series : (FE, Symbol, Equation(FE)) -> Any if FE has Evalable(FE)

series : (FE, Symbol, Equation(FE), UniversalSegment(Fraction(Integer)), Fraction(Integer)) -> Any if FE has Evalable(FE)

series : (FE, Symbol, Equation(FE), UniversalSegment(Integer)) -> Any if FE has Evalable(FE)

series : (Mapping(FE, Fraction(Integer)), Equation(FE), UniversalSegment(Fraction(Integer)), Fraction(Integer)) -> Any

series : (Mapping(FE, Integer), Equation(FE)) -> Any

series : (Mapping(FE, Integer), Equation(FE), UniversalSegment(Integer)) -> Any

taylor : (FE, Symbol, Equation(FE)) -> Any if FE has Evalable(FE)

taylor : (FE, Symbol, Equation(FE), UniversalSegment(NonNegativeInteger)) -> Any if FE has Evalable(FE)

taylor : (Mapping(FE, Integer), Equation(FE)) -> Any

taylor : (Mapping(FE, Integer), Equation(FE), UniversalSegment(NonNegativeInteger)) -> Any