6.27.2  Les polynômes à plusieurs variables

Un monôme de plusieurs variables peut être représenté :

• soit par son expression symbolique (par exemple 3x²y),
• soit par son coefficent et la liste des puissances de ses variables (selon la liste de ses variables) que l’on parenthése avec %%%{ et %%%} : c’est le format interne creux distribué : par exemple symb2poly(3x^2*y,[x,y]) renvoie %%%{3,[2,1]%%%} qui représente 3x²y si la liste des variables est [x,y],
• soit par la liste des coefficients de la première variable, coefficients qui sont eux-mêmes des polynômes qui seront donnés sous la forme la liste des coefficients de la deuxième variable etc... et que l’on parenthése avec [],[] : c’est le format interne dense récursif : par exemple symb2poly(3x^2*y,x,y) renvoie [][]3,0[],0,0[] qui représente 3x²y si les variables sont x,y.

Un polynôme de plusieurs variables est représenté par la somme de ses monômes.