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

Implement PBW bases for the universal enveloping algebra #16822

Closed
tscrim opened this issue Aug 14, 2014 · 27 comments
Closed

Implement PBW bases for the universal enveloping algebra #16822

tscrim opened this issue Aug 14, 2014 · 27 comments

Comments

@tscrim
Copy link
Collaborator

tscrim commented Aug 14, 2014

Part of #14901. Implements the PBW basis for a Lie algebra with computable structure coefficients.

Depends on #16820

CC: @bsalisbury1

Component: algebra

Keywords: lie algebras, days64

Author: Travis Scrimshaw

Branch/Commit: 394083b

Reviewer: Ben Salisbury

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

@tscrim tscrim added this to the sage-6.4 milestone Aug 14, 2014
@tscrim tscrim self-assigned this Aug 14, 2014
@tscrim
Copy link
Collaborator Author

tscrim commented Mar 13, 2015

Branch: public/lie_algebras/PBW_basis-16822

@tscrim
Copy link
Collaborator Author

tscrim commented Mar 13, 2015

Changed dependencies from #16819 #16820 to #16820

@tscrim
Copy link
Collaborator Author

tscrim commented Mar 13, 2015

Commit: acf7a81

@tscrim
Copy link
Collaborator Author

tscrim commented Mar 13, 2015

Last 10 new commits:

980545eFixed the doc.
8a6950aMerge branch 'public/categories/lie_algebras-16819' of git://trac.sagemath.org/sage into lie1
9b08311a few questions to boot
5a0bc7dAnswering some questions.
144a5a5Small fix for the doc.
198f8a8Added new categories to documentation.
aeb6075Merge branch 'public/categories/lie_algebras-16819' into public/lie_algebras/fd_structure_coeff-16820
ece3cd9Added files to the documentation.
05dab33Merge branch 'public/lie_algebras/fd_structure_coeff-16820' into public/lie_algebras/PBW_basis-16822
acf7a81Added PBW basis for Lie algebras.

@sagetrac-git
Copy link
Mannequin

sagetrac-git mannequin commented Mar 13, 2015

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

4c38c01Added example for pbw_basis() method.

@sagetrac-git
Copy link
Mannequin

sagetrac-git mannequin commented Mar 13, 2015

Changed commit from acf7a81 to 4c38c01

@sagetrac-git
Copy link
Mannequin

sagetrac-git mannequin commented Mar 17, 2015

Changed commit from 4c38c01 to b5cae21

@sagetrac-git
Copy link
Mannequin

sagetrac-git mannequin commented Mar 17, 2015

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

4343505Merge branch 'develop' into public/lie_algebras/PBW_basis-16822
5197c7cMerge branch 'develop' into public/lie_algebras/fd_structure_coeff-16820
845e5aaSome last tweaks and getting full coverage.
b5cae21Merge branch 'public/lie_algebras/fd_structure_coeff-16820' into public/lie_algebras/PBW_basis-16822

@tscrim
Copy link
Collaborator Author

tscrim commented Mar 17, 2015

Changed keywords from lie algebras to lie algebras, days64

@tscrim tscrim modified the milestones: sage-6.4, sage-6.6 Mar 17, 2015
@sagetrac-git
Copy link
Mannequin

sagetrac-git mannequin commented Oct 11, 2015

Changed commit from b5cae21 to d754f66

@sagetrac-git
Copy link
Mannequin

sagetrac-git mannequin commented Oct 11, 2015

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

d754f66fixed merge conflict

@kevindilks
Copy link
Mannequin

kevindilks mannequin commented Oct 11, 2015

New commits:

d754f66fixed merge conflict

@kevindilks kevindilks mannequin modified the milestones: sage-6.6, sage-6.10 Oct 11, 2015
@sagetrac-git
Copy link
Mannequin

sagetrac-git mannequin commented Jun 2, 2016

Changed commit from d754f66 to 374e786

@sagetrac-git
Copy link
Mannequin

sagetrac-git mannequin commented Jun 2, 2016

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

6815f1creview heisenberg.py again; coercion still relies on unstaged changes to module morphisms
573e074Merge branch 'public/lie_algebras/fd_structure_coeff-16820' of trac.sagemath.org:sage into public/lie_algebras/fd_structure_coeff-16820
3f9a4a1Fixing the failing doctests and making the doc build.
b9930e6some changes to standardization of names
60f743aParsing the input so that it uses the indexing set.
a02380fMerge branch 'public/lie_algebras/fd_structure_coeff-16820' in 7.0.rc1
50f4441trac #16820 correct the spelling of Cartesian
f1514bdMerge branch 'public/lie_algebras/fd_structure_coeff-16820' into 7.3.b2
7d155ecFixing trivial doctest failures.
374e786Merge branch 'public/lie_algebras/PBW_basis-16822' of trac.sagemath.org:sage into public/lie_algebras/PBW_basis-16822

@sagetrac-git
Copy link
Mannequin

sagetrac-git mannequin commented Mar 29, 2017

Changed commit from 374e786 to 49cf8ee

@sagetrac-git
Copy link
Mannequin

sagetrac-git mannequin commented Mar 29, 2017

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

965c70btrac 16820 no more xrange
e8c5256Merge branch 'public/lie_algebras/fd_structure_coeff-16820' in 7.5.rc1
7c92fd1trac 16820 nonzero -> bool
a9d636cMerge branch 'public/lie_algebras/fd_structure_coeff-16820' in 7.6.b5
7bda1a4trac 16820 get rid of some .iteritems in py files
3e2c547Merge branch 'public/lie_algebras/fd_structure_coeff-16820' of git://trac.sagemath.org/sage into public/lie_algebras/fd_structure_coeff-16820
cf88feeChanges for the reviewer and using standard copyright.
42666d4Adding centralizer_basis method, improving to/from_vector for finite-dim Lie algebras, other fixes.
59df7ceFixing pdf docbuild in finite-dim Lie algebras w/ basis category.
49cf8eeMerge branch 'public/lie_algebras/PBW_basis-16822' of git://trac.sagemath.org/sage into public/lie_algebras/PBW_basis-16822

@tscrim tscrim modified the milestones: sage-6.10, sage-8.0 Mar 29, 2017
@sagetrac-git
Copy link
Mannequin

sagetrac-git mannequin commented Apr 1, 2017

Changed commit from 49cf8ee to ed96e1d

@sagetrac-git
Copy link
Mannequin

sagetrac-git mannequin commented Apr 1, 2017

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

ed587afImplementing ideal checks and fixing product_space.
3baf33fMerge branch 'develop' into public/lie_algebras/fd_structure_coeff-16820
c0f01dfCache is_ideal and explaining doc what is clear from the code.
fc395c8Fixing typo.
64ab605Trivial fix by making docstring a raw string.
299a0b4Merge branch 'public/lie_algebras/PBW_basis-16822' of git://trac.sagemath.org/sage into public/lie_algebras/PBW_basis-16822
ed96e1dRemoving cmp in PBW bases.

@bsalisbury1
Copy link

Reviewer: Ben Salisbury

@bsalisbury1
Copy link

comment:12
----------------------------------------------------------------------
sage -t src/sage/algebras/lie_algebras/poincare_birkhoff_witt.py  # 27 doctests failed
----------------------------------------------------------------------

@sagetrac-git
Copy link
Mannequin

sagetrac-git mannequin commented May 19, 2017

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

3dca78bMerge branch 'develop' into t/16822/public/lie_algebras/PBW_basis-16822
66ce4a0Corrected documentation errors

@sagetrac-git
Copy link
Mannequin

sagetrac-git mannequin commented May 19, 2017

Changed commit from ed96e1d to 66ce4a0

@sagetrac-git
Copy link
Mannequin

sagetrac-git mannequin commented May 19, 2017

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

394083bFixing failures in PBW algebras.

@sagetrac-git
Copy link
Mannequin

sagetrac-git mannequin commented May 19, 2017

Changed commit from 66ce4a0 to 394083b

@tscrim
Copy link
Collaborator Author

tscrim commented May 19, 2017

comment:15

Most of those came from the change of what sl2 means. It also showed an inconsistency with the index set of the classical Lie algebras not being a FiniteEnumeratedSet (well, really something having a cardinality).

@bsalisbury1
Copy link

comment:16

Math looks good, documentation looks good, all tests passed on my machine, and all documentation builds.

@vbraun
Copy link
Member

vbraun commented May 20, 2017

Changed branch from public/lie_algebras/PBW_basis-16822 to 394083b

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

3 participants