Top
Back: HilbertWeights
Forward: ImageGroup
FastBack: ainvar_lib
FastForward: stratify_lib
Up: rinvar_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.7.3.3 ImageVariety

Procedure from library rinvar.lib (see rinvar_lib).

Usage:
ImageVariety(ideal I, F [, w]);ideal I; F is a list/ideal, intvec w.

Purpose:
compute the Zariski closure of the image of the variety of I under the morphism F.

Note:
if 'I' and 'F' are quasihomogenous w.r.t. 'w' then the Hilbert-driven 'std' is used.

Return:
polynomial ring over the same ground field, containing the ideal 'imageid'. The variables are Y(1),...,Y(k) where k = size(F) - 'imageid' is the ideal of the Zariski closure of F(X) where X is the variety of I.

Example:
 


Top Back: HilbertWeights Forward: ImageGroup FastBack: ainvar_lib FastForward: stratify_lib Up: rinvar_lib Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 3-1-6, Dec 2012, generated by texi2html.