GenerateUnivariatePowerSeries(R, FE)ΒΆ

genups.spad line 278 [edit on github]

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: (Integer -> FE, Equation FE, UniversalSegment Integer) -> Any

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

puiseux: (Fraction Integer -> FE, 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: (Fraction Integer -> FE, Equation FE, UniversalSegment Fraction Integer, Fraction Integer) -> Any

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

series: (Integer -> FE, 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: (Integer -> FE, Equation FE) -> Any

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