Symmetric functions: refactoring to use coercions, categories, unique rep, and Hopf algebra framework

[nthiery]

See: http://combinat.sagemath.org/patches/file/tip/categories-sf-6137-nt.patch

CC: @sagetrac-sage-combinat @jbandlow

Component: combinatorics

Keywords: symmetric functions

Author: Nicolas M. Thiéry

Reviewer: Jason Bandlow

Merged: sage-4.3.alpha0

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

[nthiery]

Description changed:

--- 
+++ 
@@ -1 +1 @@
-
+See http://combinat.sagemath.org/patches/file/tip/categories-sf-6137-nt.patch

[nthiery]

Description changed:

--- 
+++ 
@@ -1 +1 @@
-See http://combinat.sagemath.org/patches/file/tip/categories-sf-6137-nt.patch
+See: http://combinat.sagemath.org/patches/file/tip/categories-sf-6137-nt.patch

[jbandlow]

comment:3

FWIW, I checked the example at line 2703 both on MuPAD and on Maple with SF, and got the same answer as Sage. So it seems this is a false alarm. :)

I hope to give the whole patch a full "stress test" in the next week or two.

[nthiery]

Reviewer: Jason Bandlow

[nthiery]

Author: Nicolas M. Thiéry

[mwhansen]

Merged: sage-4.3.alpha0