• accept : predicat< monom >
• def : Base< predicat >
• ind : pol< mon, T >
• k : dumpstruct< pol >
• nbvars : Base< predicat >
• nf : dumpstruct< pol > , pol< mon, T >
• nfind : pol< mon, T >
• refuse : predicat< monom >
• size : dumpstruct< pol > , pol< mon, T > , workspace< coeff >
• sizenf : pol< mon, T > , workspace< coeff >
• tabcoeff : workspace< coeff >
• tabnf : workspace< coeff >
• taille1 : predicat< monom >
• taille2 : predicat< monom >