Home Online Manual
Top
Back: initialForm
Forward: texNumber
FastBack:
FastForward:
Up: tropical_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.13.6.16 initialIdeal

Procedure from library tropical.lib (see tropical_lib).

Usage:
initialIdeal(i,w); i ideal, w intvec

Assume:
i is an ideal in Q[x_1,...,x_n] and w=(w_1,...,w_n)

Return:
ideal, the initialIdeal of i w.r.t. w

Note:
the initialIdeal consists of the terms with MAXIMAL weighted order w.r.t. w

Example:
 
LIB "tropical.lib";
==> Welcome to polymake version
==> Copyright (c) 1997-2015
==> Ewgenij Gawrilow, Michael Joswig (TU Darmstadt)
==> http://www.polymake.org
ring r=0,(x,y),dp;
poly f=x3+y2-xy+x-1;
intvec w=2,3;
initialIdeal(f,w);
==> _[1]=x3+y2