#15150: Implement NCSym
------------------------------------+-----------------------------
Reporter: tscrim | Owner: sage-combinat
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-5.13
Component: combinatorics | Resolution:
Keywords: | Merged in:
Authors: Travis Scrimshaw | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
Dependencies: #15143, #15164 | Stopgaps:
------------------------------------+-----------------------------
Comment (by zabrocki):
Hmm. I still don't get `_set_par_to_par`. Where does the `\lambda_i \leq
\lambda_{i+1}` come in?
{{{
sage: w = SymmetricFunctionsNonCommutingVariables(QQ).dual().w()
sage: h = SymmetricFunctions(QQ).h()
sage: w._set_par_to_par(SetPartition([[1],[2],[3,4,5]]))
[3, 1, 1]
sage: w._set_par_to_par(SetPartition([[1,2,3],[4],[5]]))
[3, 1, 1]
sage: w._set_par_to_par(SetPartition([[1],[2,3,4],[5]]))
[3, 1, 1]
sage: w._set_par_to_par(SetPartition([[1],[2,3,5],[4]]))
sage: h(w[[1,2],[3]])
---------------------------------------------------------------------------
AssertionError Traceback (most recent call
last)
...
AssertionError:
sage: h(w[[1],[2,3]])
---------------------------------------------------------------------------
AssertionError Traceback (most recent call
last)
...
AssertionError:
sage: h(w[[1,3],[2]])
---------------------------------------------------------------------------
ValueError Traceback (most recent call
last)
...
ValueError: w{{1, 3}, {2}} is not in the image of Generic morphism:
From: Symmetric Functions over Rational Field in the homogeneous basis
To: Dual symmetric functions in non-commuting variables over the
Rational Field in the w basis
sage:
}}}
Why is the last one a `ValueError` and the others are assertion errors?
--
Ticket URL: <http://trac.sagemath.org/ticket/15150#comment:62>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/groups/opt_out.
