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: (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