Top
Back: irrRealizationDim
Forward: symodstd_lib
FastBack: realclassify_lib
FastForward: symodstd_lib
Up: realizationMatroids_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.15.18.3 realizationDimPoly

Procedure from library realizationMatroids.lib (see realizationMatroids_lib).

Usage:
realizationDimPoly(I,C); where I is a homogeneous linear ideal defining the projective plane Y = V(I) and C is a list of intvectors such that each intvector represents a one-dimensional cone in the tropical fan curve whose relative realizability should be checked. This representation is done in the following way: the one-dimensional cone K is represented by a vector w whose equivalence class [w] in R^n/<1> can be written as [w] = m*[v] where [v] is the primitive generator of K and m is the weight of K.

Returns:
If the relative realization space of the tropical fan curve C is non-empty, this routine returns the tuple (r,f), where r is the dimension of the relative realization space and f is an example of a homogeneous polynomial of degree deg(C) cutting out a curve X in Y which tropicalizes to C. In case the relative realization space is empty, the output is set to -1.

Example:
 

Top Back: irrRealizationDim Forward: symodstd_lib FastBack: realclassify_lib FastForward: symodstd_lib Up: realizationMatroids_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.