Opened 13 years ago

Last modified 6 weeks ago

#8581 needs_work enhancement

Implement an uniform set for index infinite variable algebraic structure, implement polynomial ring in infinite set of indeterminate with categories, implement the Schubert base ring in y1, y2, y3, ...

Reported by: nborie Owned by: nborie
Priority: major Milestone:
Component: combinatorics Keywords: polynomial, infinite, Schubert, category
Cc: sage-combinat Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Description (last modified by nborie)

This patch Implement a set with categories to index monomials of infinite indeterminate algebraic structure. There is 4 versions of this set : power of indeterminate can be negative or only positive and there is a dense and sparse implementation of the set (list/dictionary).

From this set, there is an example of graded_algebras_with_basis which is the polynomial ring in infinite indeterminate.

The Schubert base ring inherit from this example and changing 3 thing:

  • the name of the ring
  • the name of variable (y1, y2, y3, ...) for Schubert
  • A call method for element which correspond to the specialization

With this patch, one can do for example:

sage: from sage.combinat.multivariate_polynomials.schubert_base_ring import SchubertBaseRing
sage: from sage.categories.examples.graded_algebras_with_basis import PolynomialRingInfiniteIndeterminate
sage: S = SchubertBaseRing(ZZ); S
Base ring for Schubbert polynomials in the variables y1, y2, y3, ... over Integer Ring
sage: A = PolynomialRingInfiniteIndeterminate(S); A
An example of graded algebra with basis: the polynomial ring in infinite indeterminate over Base ring for Schubbert polynomials in the variables y1, y2, y3, ... over Integer Ring
sage: A.base_ring().an_element()*A.an_element()
(1+2*y1+y1*y3^2*y4^3+3*y1^2) + (2+4*y1+2*y1*y3^2*y4^3+6*y1^2)*X1 + (1+2*y1+y1*y3^2*y4^3+3*y1^2)*X1*X3^2*X4^3 + (3+6*y1+3*y1*y3^2*y4^3+9*y1^2)*X1^2

This built the ambient space for Schubert polynomials which are polynomials in two infinite alphabet of indeterminate indexed by PositiveIntegers?() (or NonNegativeIntegers?()... setting this is easy...)

Will be followed by the Adrien's work on #6629

Attachments (1)

trac_8581_multivariate_schubert_step_1-nb.patch (48.1 KB) - added by nborie 13 years ago.

Download all attachments as: .zip

Change History (11)

comment:1 Changed 13 years ago by nborie

Status: newneeds_review

comment:2 Changed 13 years ago by nborie

Description: modified (diff)
Type: enhancementtask

comment:3 Changed 13 years ago by nborie

Type: taskenhancement

comment:4 Changed 13 years ago by nborie

Description: modified (diff)

comment:5 Changed 13 years ago by nborie

Status: needs_reviewneeds_work

Under discussion with combinatorics veterans..........

comment:6 Changed 9 years ago by jdemeyer

Milestone: sage-5.11sage-5.12

comment:7 Changed 9 years ago by vbraun_spam

Milestone: sage-6.1sage-6.2

comment:8 Changed 9 years ago by vbraun_spam

Milestone: sage-6.2sage-6.3

comment:9 Changed 8 years ago by vbraun_spam

Milestone: sage-6.3sage-6.4

comment:10 Changed 6 weeks ago by mkoeppe

Milestone: sage-6.4
Note: See TracTickets for help on using tickets.