Special Functions for Lazy Series

[tejasvicsr1]

Implementing special functions for Lazy Series. Some examples would be to implement the series for sines or cosines.

Depends on #32435

CC: @mantepse @tscrim

Component: combinatorics

Keywords: LazyPowerSeries, FormalSeries, gsoc2021

Author: Tejasvi Chebrolu

Branch/Commit: 01f4bbd

Reviewer: Martin Rubey, Travis Scrimshaw

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

[tejasvicsr1]

Branch: u/gh-tejasvicsr1/special_functions_for_lazy_series

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

7dd2cdb

Formatting

[sagetrac-git]

Commit: 7dd2cdb

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

11f59f9	Added all trig, inverse trig, hyperbolic functions, and exponential functions.
cd9da2a	Added hypergeometric function.

[sagetrac-git]

Changed commit from 7dd2cdb to cd9da2a

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. Last 10 new commits:

29e139d	Remove revert() so it can go on a followup ticket.
313cd4d	Merge branch 'u/tscrim/dense_lls-31897' of git://trac.sagemath.org/sage into t/32324/lazy_taylor_series
d160b71	make div and pow work for Taylor again
aaa7207	avoid computing the inverse if not required in __call__
d343b9a	Merge branch 'u/mantepse/dense_lls-31897' of git://trac.sagemath.org/sage into t/32324/lazy_taylor_series
21b260c	remove superfluous assignment
664e35a	Merge branch 'u/mantepse/dense_lls-31897' of git://trac.sagemath.org/sage into t/32324/lazy_taylor_series
8d6ac7b	Merged branch
38c93fb	Added some documentation for reversion, changed the name.
d464320	Re-did hypergeometric series and completed inverse hyperbolic functions.

[sagetrac-git]

Changed commit from cd9da2a to d464320

[sagetrac-git]

Changed commit from d464320 to 0c48f4f

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

0c48f4f

Corrected the names.

[sagetrac-git]

Changed commit from 0c48f4f to cfa0fba

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

cfa0fba

Added log, and a^x.

[mantepse]

Changed branch from u/gh-tejasvicsr1/special_functions_for_lazy_series to u/mantepse/special_functions_for_lazy_series

[tscrim]

Last 10 new commits:

9c83de4	Merge branch 'u/gh-tejasvicsr1/special_functions_for_lazy_series' of git://trac.sagemath.org/sage into t/32324/lazy_taylor_series
651b372	Revert "Merge branch 'u/gh-tejasvicsr1/special_functions_for_lazy_series' of git://trac.sagemath.org/sage into t/32324/lazy_taylor_series"
7c9a5dd	fix invert
51357a0	Small reworkings and fixes. Adding another composition test.
7501204	Adding documentation to the user-facing class level documentation.
4723f6b	Refactoring we discussed at the meeting today.
651c3ed	only get coefficient if necessary
65e604d	Merge branch 'u/mantepse/dense_lls-31897' of git://trac.sagemath.org/sage into t/32324/lazy_taylor_series
b332728	fix and document series reversion
e91d1cc	Merge branch 'u/mantepse/lazy_taylor_series' of git://trac.sagemath.org/sage into t/32345/special_functions_for_lazy_series

[tscrim]

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

[tscrim]

Changed commit from cfa0fba to e91d1cc

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. Last 10 new commits:

d0a677f	Have composition take the product type as input.
c38900b	Changing to instead use an if-check for deciding product in composition.
8317764	Merge branch 'u/tscrim/dense_lls-31897' of git://trac.sagemath.org/sage into t/32324/lazy_taylor_series
a7026ea	fix lmul and rmul in acted_upon
4d6c23b	Merge branch 'u/mantepse/dense_lls-31897' of git://trac.sagemath.org/sage into t/32324/lazy_taylor_series
8bb128c	Faster non-zero check and use LazyModuleElement for checking in __call__.
3566076	fix lmul and rmul doctests
77d66f0	Merge branch 'u/mantepse/dense_lls-31897' of git://trac.sagemath.org/sage into t/32324/lazy_taylor_series
97926fb	Merge branch 'u/mantepse/lazy_taylor_series' of git://trac.sagemath.org/sage into t/32345/special_functions_for_lazy_series
d990cc4	correct parent of left in special functions

[sagetrac-git]

Changed commit from e91d1cc to d990cc4

[sagetrac-git]

Changed commit from d990cc4 to 8a79ab5

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

8a79ab5

fix log doctest

[sagetrac-git]

Changed commit from 8a79ab5 to fe5d9cb

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

fe5d9cb

fix special functions, at least with Taylor series

[sagetrac-git]

Changed commit from fe5d9cb to 1daff82

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

1daff82

add sqrt, remove arccosh, fix doctests for hypergeometric

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. Last 10 new commits:

69ae499	Fixes for (in)equality checking.
ddb863d	Document equality behavior.
7605c26	Merge branch 'u/tscrim/dense_lls-31897' of git://trac.sagemath.org/sage into t/32324/lazy_taylor_series
aa73955	two fixes in Laurent element_constructor
b7b1a03	add TODO comments for composition with Dirichlet series
661c3d4	backport two fixes from 32324
8a7dcd3	fix oversight in shift
78b8fff	Last trivial fix for clean pyflakes.
96771f0	Merge branch 'u/tscrim/dense_lls-31897' of git://trac.sagemath.org/sage into t/32324/lazy_taylor_series
67bb94e	Merge branch 'u/mantepse/lazy_taylor_series' of git://trac.sagemath.org/sage into t/32345/special_functions_for_lazy_series

[sagetrac-git]

Changed commit from 1daff82 to 67bb94e

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

1a1f54a

move `__pow__` up the hierarchy and add (currently failing) doctest

[sagetrac-git]

Changed commit from 67bb94e to 1a1f54a

[tscrim]

Reviewer: Martin Rubey, Travis Scrimshaw

[tscrim]

Last 10 new commits:

459959f	Merge remote-tracking branch 'trac/develop' into public/rings/lazy_dirichlet_series-32309
5b48191	fix encoding
cceb19e	Merge branch 'public/rings/lazy_dirichlet_series-32309' of git://trac.sagemath.org/sage into t/32435/composition_of_dirichlet_series_with_a_degree_one_polynomial
7bf519b	adapt doctests, add a (currently failing) doctest
38ac82f	Fixing bug in Dirichlet _element_consructor_.
8578585	More bugfixes and expanding the Dirichlet `__call__` input.
2f7ddf6	Merge branch 'u/mantepse/special_functions_for_lazy_series' of git://trac.sagemath.org/sage into public/rings/special_funcs_lazy_series-32345
e587a83	Cleaning up rebasing.
5c5bb51	Fixing bug with SR as base ring for Dirichlet series.
547b8b3	Fixing up final issues with special functions for lazy series.

[tscrim]

Changed commit from 1a1f54a to 547b8b3

[tscrim]

Changed branch from u/mantepse/special_functions_for_lazy_series to public/rings/special_funcs_lazy_series-32345

[tscrim]

comment:17

Rebased over #32435.

[tscrim]

Dependencies: #32435

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

94d4bc4

remove wrong :

[sagetrac-git]

Changed commit from 547b8b3 to 94d4bc4

[sagetrac-git]

Changed commit from 94d4bc4 to 01f4bbd

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

ab6c1cd	More precise composition with complex numbers for Dirichlet series.
f06008b	doctest interpretation of series argument
91070cc	doctest interpretation of Dirichlet series argument
0f1aa66	Merge branch 'public/rings/composition_dirichlet_linear-32435' of git://trac.sagemath.org/sage into public/rings/composition_dirichlet_linear-32435
01f4bbd	Merge branch 'public/rings/composition_dirichlet_linear-32435' of git://trac.sagemath.org/sage into t/32345/public/rings/special_funcs_lazy_series-32345

[vbraun]

Changed branch from public/rings/special_funcs_lazy_series-32345 to 01f4bbd