D.8.7.2 veronese

Usage:

veronese(d,p); int d, list p

Return:

ideal: the image of the point p under the degree d Veronese embedding

Note:

The list p should have as many elements as there are ring variables. The order of the points in the returned ideal corresponds to the order of the monomials in maxideal(d).

LIB "recover.lib";
ring R=0,(x,y,z),dp;
list p=2,3,5;
ideal V=veronese(1,p);
V;
V=veronese(2,p);
V;