Home Online Manual
Top
Back: substAll
Forward: getRelations
FastBack:
FastForward:
Up: recover_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.8.7.2 veronese

Procedure from library recover.lib (see recover_lib).

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).

Example:
 
LIB "recover.lib";
ring R=0,(x,y,z),dp;
list p=2,3,5;
ideal V=veronese(1,p);
V;
==> V[1]=2
==> V[2]=3
==> V[3]=5
V=veronese(2,p);
V;
==> V[1]=25
==> V[2]=15
==> V[3]=9
==> V[4]=10
==> V[5]=6
==> V[6]=4
See also: maxideal.