  Fichier structure

       ***************************************************************
       *                    MODULE SYM                               *
       *       MANIPULATIONS DE FONCTIONS SYMETRIQUES                *
       *        (version01: Commonlisp pour Macsyma)                 *
       *                                                             *
       *                ----------------------                       *
       *                  Annick VALIBOUZE                           *
       *                    GDR MEDICIS                              *
       *  (Mathe'matiques Effectives, De'veloppements Informatiques, *
       *           Calculs et Ingenierie, Syste`mes)                 *
       *             LITP (Equipe Calcul Formel)                     *
       *                 Universite' Paris 6,                        *
       *        4 place Jussieu, 75252 Paris cedex 05.               *
       *              e-mail : avb@sysal.ibp.fr                      *
       *************************************************************** 


          ON EST DANS k[y1, ...,yn][x1, ... ,xp]^Sp
             ie. symetrie en x1, ..., xp.

         [forme monomiale] = somme de l'orbite d'un monome sous Sp
          [somme orbitale] = coe x [forme monomiale]
       polynome symetrique = somme de [sommes orbitales]

       REP(u) : representation de u

       REP([forme monomiale]) = [partition associee](i) i = 1,2
         L'utilisateur ne verra que la representation [partition](1)
               [partition](1) = (i1 i2 ... iq)  
                                avec i1 >= i2 >= ... >= iq > 0 
         Pour certaines fonctions comme pui et elem la representation
         interne sera [partition](2) ou :
               [partition](2) = (a1 m1 a2 m2 ... as ms) 
                                avec mi exposants a la puissance ai
                                   et   a1 > a2 > .... > as         
       On passe de l'une a l'autre par chirep i=1,2
               (chirep [partition](j)) = [partition](i) 

               
       REP([somme orbitale])(i) = [terme partitionne](i)
                             = (coe . REP([forme monomiale](i)))
         avec coe dans k[y1, ... , yn] i=1,2.

      REP([polynome symetrique])(i) = [polynome partitionne](i) 
                                            (ou [ppart](i))
                                     = (list REP([sommes orbitales](i)))
               (chirepol [ppart](j)) = [ppart](i)

  CAS PARTICULIER : Les constantes 
 on va les ramener en tete ==> pour le trie il faut qu'elles sortent en queue
 cste = [cste , 0, 0, ..., 0] ou [cste]
 si longueur il y a ce sera 0


Certaines fonctions ont besoin des longueurs. On les rajoute alors
en tete de chaque terme partitionne et on dans le descriptif
on le precise en mettant un l devant : 
exemple :
ppart --> lppart ; tpart --> ltpart

Les objets maxima sont signales avec un $ devant : $pol, $lvar ...
