Revision #794 → #1232 · back to history
addedFormal seriesa75b04cf774c
addedFormal power series88963240bbed
addedRing of formal power series over Rec3906877b46
addedSeries with coefficients [1,-3,5,-7,...]e62fb172aef1
addedSeries with factorial coefficients1a9bcd564428
addedMultiplicative inverse of formal power series51ff57088b02
addedDivision of formal power series85cb14dc0f4b
addedCoefficient extraction operator0a7dff49848b
addedRing of formal power series in X over Rdc628600d290
addedFormal power series ring as completionf7d7b1d8cdd2
addedAddition and multiplication of sequences (Cauchy product)9711bf2bc8cf
addedProduct topology on R^N598ee06d4cb7
addedI-adic topologyd01e6793b272
addedMetric on formal power series7c2331e6de17
addedConvergence iff terms tend to 02ef1d1e30e15
addedInfinite product convergence7ee95f8a7fab
addedUniversal property of formal power series ring6125359cbd3d
addedn-th power of a formal power seriesbb64ec6abdf6
addedComplex powers of series with constant term 18a3cb3b0c824
addedInvertibility criterionc6313747e3e7
addedGeometric series formula34a41e2c70bb
addedDiscrete valuation ring over a field7e08ad5f9976
addedDivision as product with inversec1fb6d2d7a7c
addedCoefficient extraction operator notation7700cba1f4f2
addedComposition of formal power series96456f62a014
addedComposition validity conditiondf894633ebc8
addedFaà di Bruno's formula49bed223bb6a
addedLogarithmic series composition example93f52a24c69c
addedExistence of composition inversee7dffe0c7d9b
addedFormal derivativeb51e149a1020
addedR-linearity of formal derivative2154fe26664d
addedProduct rule497cf09ebad8
addedChain rulec5dd38936218
addedFormal antiderivative4488be2940a4
addedR-linearity of formal antiderivativecccac219c13b
addedAntiderivative is right inverse of derivative5442b5ef3bac
addedPolynomials as subringf3499358128f
addedJacobson radicalf281dbbdd218
addedMaximal ideals characterization88a0c95faae7
addedAlgebraic properties inherited (local, Noetherian, etc.)2ccac1137e8b
addedCompleteness of formal power series metricb956cf22730c
addedCompactness iff R finitee0c1884e20f8
addedWeierstrass preparation theoremaef63a3f5f1c
addedInterpreting formal power series as functions78e06f82fda8
addedExplicit multiplicative inverse formula8bba482a4766
addedFormal Laurent series0c12ddfa97ad
addedOrder of a formal Laurent seriesabafe7312d4a
addedLaurent series of order -38a098d77cffd
addedMultiplication of formal Laurent series156200864476
addedRing of formal Laurent series as localization886ad66ca522
addedFormal derivative of Laurent series8dac3822f501
addedFormal residue7acd7dccf3f5
addedResidue map exact sequencece9f6d255f13
addedRules of calculus for formal residue41d264aa75cc
addedLagrange inversion formula7e768e3434b8
addedGeneralization of Lagrange inversiona81efebea88d
addedFormal power series in several variables0ed52806cf28
addedTopology on series in several variables3b7507cd5a1d
addedInvertibility in several variables48d8fc0bd75b
addedComposition in several variables0286af3aa078
addedPartial derivative operatorsa9c0c5129306
addedUniversal property (several variables)2ba76c51ae53
addedNon-commuting variables / Magnus ringc24f809f388c
addedFormal power series over a semiring9f51278e403b
addedSupport and characteristic series4889478db58e
addedSum, Cauchy product, Hadamard product on a semiringeaf364375a08
addedFormal power series on an ordered abelian group4064f0e676e1
addedHahn series field properties293fe538bc6b