Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Refactor lazy series code so that it works over any graded ring #34407

Closed
tscrim opened this issue Aug 22, 2022 · 14 comments
Closed

Refactor lazy series code so that it works over any graded ring #34407

tscrim opened this issue Aug 22, 2022 · 14 comments

Comments

@tscrim
Copy link
Collaborator

tscrim commented Aug 22, 2022

With very simple modifications, the code for LazySymmetricFunctions can be extended to work over any graded ring to do computations in their completion of formal linear combinations with finite sums in each graded piece.

There is a bit left over specific to symmetric functions as tensor products of GradedAlgebrasWithBasis do not yet know they are graded:

sage: Cat = Algebras(QQ).WithBasis().Graded()
sage: Cat.TensorProducts()
Category of tensor products of algebras with basis over Rational Field

I want to keep the code ready for when that is fixed.

Depends on #32324

CC: @mantepse @fchapoton @jhpalmieri

Component: algebra

Keywords: lazy power series

Author: Travis Scrimshaw

Branch/Commit: dff4fc4

Reviewer: Martin Rubey

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

@tscrim tscrim added this to the sage-9.7 milestone Aug 22, 2022
@tscrim

This comment has been minimized.

@tscrim
Copy link
Collaborator Author

tscrim commented Aug 22, 2022

Dependencies: #32324

@tscrim
Copy link
Collaborator Author

tscrim commented Aug 22, 2022

comment:1

I also implement a hook formal_series_ring() for parents in GradedAlgebrasWithBasis() as an easy way to access this without adding anything to the global namespace. I thought about calling it completion(), but that is vague as there could be more than one reasonable completion.

@tscrim
Copy link
Collaborator Author

tscrim commented Aug 22, 2022

@tscrim
Copy link
Collaborator Author

tscrim commented Aug 22, 2022

Commit: e780472

@tscrim
Copy link
Collaborator Author

tscrim commented Aug 22, 2022

Last 10 new commits:

c74fd71improve documentation, move options to abstract base class
9d6579bimprove documentation, move zero, one, characteristic, etc. to ABC
feba6b8Working more on `__call__` for LazySymFunc.
3f3e0f2Merge branch 'public/rings/lazy_talyor_series-32324' of https://github.com/sagemath/sagetrac-mirror into public/rings/lazy_talyor_series-32324
6727228Merge branch 'public/rings/lazy_talyor_series-32324' of trac.sagemath.org:sage into t/32324/public/rings/lazy_talyor_series-32324
028796dFixing numerous issues with `__call__` and expanding its functionality. Moving plethysm to a Stream_plethysm.
9fb155fRemoving unused code from previous version.
7f9dbb1Some last doc fixes and tweaks.
4e03feeremove unused local variable
e780472Addressing the linter complaint.

@sagetrac-git
Copy link
Mannequin

sagetrac-git mannequin commented Aug 22, 2022

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

dff4fc4Adding a completion of graded algebras by formal series.

@sagetrac-git
Copy link
Mannequin

sagetrac-git mannequin commented Aug 22, 2022

Changed commit from e780472 to dff4fc4

@tscrim
Copy link
Collaborator Author

tscrim commented Aug 27, 2022

comment:4

Morally green patchbot.

@mantepse
Copy link
Collaborator

comment:5

All of this is rather exciting for me!

This might make it easier to implement the Burnside ring, too!

@tscrim
Copy link
Collaborator Author

tscrim commented Aug 27, 2022

comment:6

Thank you.

@mkoeppe
Copy link
Contributor

mkoeppe commented Aug 27, 2022

comment:7

reviewer name

@mantepse
Copy link
Collaborator

Reviewer: Martin Rubey

@vbraun
Copy link
Member

vbraun commented Aug 30, 2022

Changed branch from public/rings/lazy_graded_algebras-34407 to dff4fc4

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

4 participants