Divided power algebras

[BruceWestbury]

The two attached files implement divided power algebra as a graded Hopf algebra and the quantum divided power algebra as a graded algebra. This is related to the ticket #11929 on quasisymmetric functions.

I have read

Walking Through the Development Process

but I am not clear on what the process is for me to submit these two files for review and inclusion in sage.

I would also like to add an algebra homomorphism from symmetric functions to the quantum divided power algebra and would appreciate any pointers.

CC: @tscrim @nthiery

Component: combinatorics

Keywords: divided powers

Author: Bruce Westbury

Branch/Commit: public/combinat/divided_power_alg @ 103a503

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

[BruceWestbury]

Attachment: dividedpower.py.gz

Attachment: quantumdividedpower.py.gz

[jdemeyer]

Milestone sage-4.7.3 deleted

[fchapoton]

comment:2

here is a patch for the first file. To be continued

[fchapoton]

comment:3

Attachment: trac_11979_divided_power.patch.gz

Here is a patch including both files

[fchapoton]

Commit: f81a422

[fchapoton]

comment:4

Here is a git branch

---

New commits:

020f6c2	trac 11979 divided power algebra and quantum version
f81a422	trac #11979 details

[fchapoton]

Branch: u/chapoton/11979

[fchapoton]

Changed author from bruce to Bruce Westbury