Lazy Formal Power Series Restructure [GSoC 2021]

[tejasvicsr1]

This attempts to consolidate the existing code for the Lazy Formal Power Series and disentangle it from the unrelated code in the combinatorial species module. The ticket is a continuation to #16107 and #15673, which were the initial implementations of the same. The Lazy Formal Power Series should also be code that also supports multivariate series and puiseux series. The main tasks are -

• To create the Lazy Formal Power Series in a separate module which only contains codes for that module. It can contain and share code from sage.rings. Replace Lazy Power Series in species directory #32367
• In the first iteration, lazy Puisuex series code added should support exponents that are non-negative integers.
• To redefine any formal series in the form sum_{k=0}{\infty} a_n xⁿ, where for multivariate series, a_n is a homogenous polynomial of order n. Lazy Taylor Series #32324
• To handle Cycle Indicator Series (formal power series whose coefficients are symmetric functions) and their specific functionalities.
• To be able to define a Formal Power Series via a set of Functional Equations(Important).
  • The ability to define this implicitly. Implementation of streams as backend for LazyLaurentSeries #31897
  • And the ability to pass initial conditions to the define function.
• Close all the related issues in Meta ticket: unified sequence/lazy list objects #16107 and major improvements to lazy power series #15673.
• Fix the documentation of the existing code.

Tickets:

• Implementation of streams as backend for LazyLaurentSeries #31897: Rewrite lazy Laurent series; basic framework
• Implementing Additional Features for Lazy Formal Laurent Series #31899: Differentiation, integration
• Special Functions for Lazy Series #32345: Special functions
• Replace Lazy Power Series in species directory #32367: Replace lazy power series with new framework

CC: @mantepse

Component: combinatorics

Keywords: LazyPowerSeries, FormalSeries, gsoc2021

Author: Tejasvi Chebrolu

Reviewer: Martin Rubey

Issue created by migration from https://trac.sagemath.org/ticket/31651

[mantepse]

Changed keywords from LazyPowerSeries, FormalSeries, GSoC to LazyPowerSeries, FormalSeries, GSoC21

[tscrim]

Changed keywords from LazyPowerSeries, FormalSeries, GSoC21 to LazyPowerSeries, FormalSeries, gsoc2021

[mantepse]

comment:9

Except for Puiseux series, all has been achieved with #32367.

[vbraun]

comment:11

Merge failure on top of:

51be0b1 Trac #20467: stackoverflow in Maxima integral

9651672 Trac #34266: Drop support for GCC < 8 in Sage 9.8

02bfe77 Trac #33062: GH Actions (docker): Run a job for "make build-local" first, cache image for job "make build"

f87464f Trac #30241: New implementation class FiniteRankDualFreeModule

aa22b33 Trac #30229: Submodules of TensorFreeModule defined by the symmetries of a Components object

4db51ba Trac #34509: Make IndexedFreeModuleElement compatible with collections.abc, change method support to return a SupportView

0b597a7 Trac #34505: using items in indexed_elements.pyx

b6ead19 Trac #34498: Update igraph, python_igraph to 0.10.x

7ebd052 Trac #34495: Construction for invariant/equivariant submodules

46f4f2c Trac #34494: better monomials in shuffle algebras

367711d Trac #34490: sage --package clean command to remove outdated source tarballs

b4311cd Trac #34484: Methods quotient, quotient_module are not the same for some modules from sage.modules

109fd64 Trac #34478: pynormaliz: Add distros information for conda, arch

857f16c Trac #34474: Make FiniteRankFreeModule.tensor_module(0, 1) return the dual

5a41c49 Trac #34453: Tensor products of commutative algebras do not know they are commutative rings

53a523e Trac #34451: sage.tensor: Canonicalize sym, antisym

5b3c6fa Trac #34412: q-commuting polynomials

a6a72a9 Trac #34393: add method "tensor_factors" to tensor products

3063144 Trac #34379: Implement a hook to access free (graded) resolutions

4ef170a Trac #34345: Method to get cells in horizontal/vertical border strip

1ec500e Trac #34282: Make feature TeXFile check latex first

5c42b1b Trac #34235: Error in comparing two Symbolic Ring elements

5278916 Trac #34203: Find and uninstall broken installed SPKGs and wheels

ed76311 Trac #34118: Update sympy to 1.11.1

97beeae Trac #33981: latte_int: ExponentialSubst.h:62:3: error: ISO C++17 does not allow dynamic exception specifications

787b4be Trac #33640: sage fails to factor some easy expressions

700a1f5 Trac #33613: Add pip packages to conda environments, add missing conda.txt files

92b1db1 Trac #33431: Category of submodules of sage.modules.free_module.FreeModule_ambient_pid

d238396 Trac #33093: 5 doctests failing related to external program octave

509ed92 Trac #33002: Method tikz of polyhedron class can now return an object of type TikzPicture

2a41c6e Trac #32669: Adding upper and lower Bruhat cones of M. Dyer to sage/combinat/root_system/reflection_group_real.py

12756f6 Trac #29619: Matrix and Components should have a sparse iterator

cb51da1 Trac #17965: Uniformize the API to compute the inverse of an element

a833b0e Trac #34491: Upgrade igraph to 0.9.10

7747f43 Trac #34467: fix random doctest failure in EllipticCurveHom_velusqrt

cba244e Trac #34466: fix various linter errors

5d89d36 Trac #34228: tox -e docker-...-incremental

627b2bd Updated SageMath version to 9.7

no branch on ticket

[mantepse]

comment:12

Sorry, this was meant to be simply closed.