Opened 5 years ago

Closed 3 years ago

#22623 closed enhancement (fixed)

Implement quantum groups by wrapping GAP's QuaGroup package

Reported by: tscrim Owned by:
Priority: major Milestone: sage-8.4
Component: algebra Keywords: lie algebras, quantum groups, days85, days94, sagedays@icerm
Cc: bsalisbury1 Merged in:
Authors: Travis Scrimshaw Reviewers: Ben Salisbury
Report Upstream: N/A Work issues:
Branch: e9037f9 (Commits, GitHub, GitLab) Commit: e9037f9313a9b1df4dcc4fd07497bdbe164910cf
Dependencies: #13426 Stopgaps:

Status badges

Description (last modified by tscrim)

This provides an implementation of quantum groups and their finite-dimensional highest weight modules by wrapping the implementation in GAP's QuaGroup package.

Change History (11)

comment:1 Changed 5 years ago by tscrim

  • Dependencies set to #13426

comment:2 Changed 5 years ago by tscrim

  • Branch set to public/algebras/quantum_groups-22623
  • Commit set to e3b1196748e7026be9e3226fc36ab4dd323ba54c
  • Description modified (diff)

Here is an initial version to play with.

We should strongly consider putting a _from_dict into the ModulesWithBasis category and dimension, as well as _dense_free_module in the FiniteDimensionalModulesWithBasis category. We probably could also do a generic _vector_ by getting the position of the key from monomial_coefficients in the basis. I had to do some very generic implementations here.


New commits:

2754f58Added new packages to gap_packages.
e3b1196Initial implementation of quantum groups using libGAP.

comment:3 Changed 4 years ago by git

  • Commit changed from e3b1196748e7026be9e3226fc36ab4dd323ba54c to 6b9146a77729028543996ca30cba9ce3ed77c777

Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:

e726fa6Added new packages to gap_packages.
95bc17aInitial implementation of quantum groups using libGAP.
6b9146aAdding more doc and doctests.

comment:4 Changed 4 years ago by dimpase

GAP's cohomolo is written by Derek Holt. Please fix this in the comments in your branch.

comment:5 Changed 3 years ago by git

  • Commit changed from 6b9146a77729028543996ca30cba9ce3ed77c777 to 252cc2ae3a92f9f31255eae6629581b2a48eb9c0

Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:

252cc2aImplementation of quantum groups using libGAP.

comment:6 Changed 3 years ago by tscrim

  • Cc bsalisbury1 added
  • Keywords days94 added
  • Milestone changed from sage-7.6 to sage-8.3
  • Status changed from new to needs_review

comment:7 Changed 3 years ago by git

  • Commit changed from 252cc2ae3a92f9f31255eae6629581b2a48eb9c0 to e4794bd21510bfd26e55af24739bb63afab97c53

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

9803821Merge branch 'public/algebras/quantum_groups-22623' of git://trac.sagemath.org/sage into public/algebras/quantum_groups-22623
e4794bdMarking doctests as optional.

comment:8 Changed 3 years ago by tscrim

  • Keywords sagedays@icerm added
  • Milestone changed from sage-8.3 to sage-8.4

comment:9 Changed 3 years ago by git

  • Commit changed from e4794bd21510bfd26e55af24739bb63afab97c53 to e9037f9313a9b1df4dcc4fd07497bdbe164910cf

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

8d0f980Merge branch 'develop' into t/22623/public/algebras/quantum_groups-22623
e9037f9documentation added and typos fixed

comment:10 Changed 3 years ago by bsalisbury1

  • Reviewers set to Ben Salisbury
  • Status changed from needs_review to positive_review

All looks good to me. I made some documentation updates and added a link to the GAP documentation for the package (just in case). Thanks for doing this!

comment:11 Changed 3 years ago by vbraun

  • Branch changed from public/algebras/quantum_groups-22623 to e9037f9313a9b1df4dcc4fd07497bdbe164910cf
  • Resolution set to fixed
  • Status changed from positive_review to closed
Note: See TracTickets for help on using tickets.