#6629: Implement the abstract ring of multivariate polynomials, with several
bases
(Schur schubert, ...)
-------------------------------------+-------------------------------------
Reporter: nthiery | Owner: VivianePons
Type: defect | Status: new
Priority: major | Milestone: sage-7.2
Component: combinatorics | Resolution:
Keywords: multivariate | Merged in:
polynomials, schubert |
polynomials, non symmetric |
polynomials, days54 |
Authors: Viviane Pons | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
public/combiat/6629-new-version | 46b6841f0b7ceb9877063c44230f25bf9b63b529
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Changes (by VivianePons):
* commit: 0271f6713b72d069b1097a2b0338f3186c4b53e3 =>
46b6841f0b7ceb9877063c44230f25bf9b63b529
* branch: public/combinat/6629-Schubert-Grothendieck-Key-polynomials =>
public/combiat/6629-new-version
Comment:
Just pushed my latest code.
Mostly everything is working but the tests and examples are all messed up
(and, for some reason, I still cannot run any tests).
I have simplified many things, removing useless classes and so on. Now, I
consider the monomial basis to be a "generator", I call it x and write:
{{{
sage: A.<x> = MultivariatePolynomialAlgebra(QQ)
sage: x[1,2,3] + x[2,3]
x[2, 3, 0] + x[1, 2, 3]
}}}
I think it makes more sense and it is more natural to use. The goal is to
hide the inner mechanics as much as possible. "New example" are written in
this manner, old ones still use the m notation.
All basis are combinatorial free module using a common "key wrapper" class
that handles lists and ambient space basis elements.
In terms of mathematical meaning, remember that all bases are indexed by
**vectors**, for Grothendieck and Schubert, they correspond to the Lehmer
code of the permutation.
The only part that is not working is the "Double polynomial" one, but it's
quite independent from the rest.
I let you have a look at it, it's not finished yet. Feel free to change it
if you feel like it. I will be on holidays for the next 2 weeks.
----
New commits:
||[https://git.sagemath.org/sage.git/commit?id=e0d96822b5df19826fae7bc633d28e4adbe71b6a
e0d9682]||{{{Merge remote-tracking branch 'origin/public/combinat/6629
-Schubert-Grothendieck-Key-polynomials' into local-6629}}}||
||[https://git.sagemath.org/sage.git/commit?id=d9c033a74b8514c7482b999ea7acf3b7bf480683
d9c033a]||{{{Work in progress: simplifying the structure, cleaning stuff,
writting docs}}}||
||[https://git.sagemath.org/sage.git/commit?id=1db580daf8bc5bf5671884b69956a6b123fd1bd2
1db580d]||{{{Refactoring / commenting, Work in progress}}}||
||[https://git.sagemath.org/sage.git/commit?id=7805a1e607ea45d4f2d6028a218e27d87bcaa08a
7805a1e]||{{{Merge branch 'develop' into local-6629-wip}}}||
||[https://git.sagemath.org/sage.git/commit?id=43d86b0ee94a2f521b7bcc685f1cd9ae50b8af34
43d86b0]||{{{Merge branch 'local-6629-wip' into local-6629-wip2}}}||
||[https://git.sagemath.org/sage.git/commit?id=a40f3a87029e2d4b3bdc7587d4200f1ec9a469c1
a40f3a8]||{{{small fixes}}}||
||[https://git.sagemath.org/sage.git/commit?id=f777a78537745f9466b9f6b7f9ca05e25cf6c841
f777a78]||{{{Merge branch 'local-6629-wip2' into local-6629-7.3}}}||
||[https://git.sagemath.org/sage.git/commit?id=46b6841f0b7ceb9877063c44230f25bf9b63b529
46b6841]||{{{Fixing some broken things}}}||
--
Ticket URL: <https://trac.sagemath.org/ticket/6629#comment:18>
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 https://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
