Ticket #5931: doc.patch

File doc.patch, 1.8 KB (added by jdc, 10 years ago)
  • sage/combinat/symmetric_group_algebra.py

    # HG changeset patch
    # User Dan Christensen <jdc@uwo.ca>
    # Date 1240970157 14400
    # Node ID c61e432515b4a80446fd3076a2abda5ad95b5e64
    # Parent  9c4fea38b4c35b8fff068eddc544734a09539211
    Update docs for sage.combinat.symmetric_group_algebra.e and .e_hat
    
    diff -r 9c4fea38b4c3 -r c61e432515b4 sage/combinat/symmetric_group_algebra.py
    a b  
    412412e_cache = {}
    413413def e(tableau, star=0):
    414414    """
     415    The unnormalized Young projection operator.
     416
    415417    EXAMPLES::
    416418   
    417419        sage: from sage.combinat.symmetric_group_algebra import e
     
    419421        [1, 2] + [2, 1]
    420422        sage: e([[1],[2]])
    421423        [1, 2] - [2, 1]
     424
     425    There are differing conventions for the order of the symmetrizers
     426    and antisymmetrizers.  This example illustrates our conventions::
     427
     428        sage: e([[1,2],[3]])
     429        [1, 2, 3] + [2, 1, 3] - [3, 1, 2] - [3, 2, 1]
    422430    """
    423431    t = Tableau(tableau)
    424432    if star:
     
    451459ehat_cache = {}
    452460def e_hat(tab, star=0):
    453461    """
     462    The Young projection operator, an idempotent in the rational group algebra.
     463
    454464    EXAMPLES::
    455465   
    456466        sage: from sage.combinat.symmetric_group_algebra import e_hat
     
    458468        1/6*[1, 2, 3] + 1/6*[1, 3, 2] + 1/6*[2, 1, 3] + 1/6*[2, 3, 1] + 1/6*[3, 1, 2] + 1/6*[3, 2, 1]
    459469        sage: e_hat([[1],[2]])
    460470        1/2*[1, 2] - 1/2*[2, 1]
     471
     472    There are differing conventions for the order of the symmetrizers
     473    and antisymmetrizers.  This example illustrates our conventions::
     474
     475        sage: e_hat([[1,2],[3]])
     476        1/3*[1, 2, 3] + 1/3*[2, 1, 3] - 1/3*[3, 1, 2] - 1/3*[3, 2, 1]
    461477    """
    462478    t = Tableau(tab)
    463479    if star: