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

D.13.4.27 tInitialFormParMax

Procedure from library tropical.lib (see tropical_lib).

Usage:
tInitialFormParMax(f,w); f a polynomial, w an integer vector

Assume:
f is a polynomial in Q(t)[x_1,...,x_n] and w=(w_1,...,w_2)

Return:
poly, the t-initialform of f(t,x) w.r.t. (-1,w) evaluated at t=1

Note:
the t-initialform are the terms with MAXIMAL weighted order w.r.t. (1,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,t),(x,y),dp;
poly f=t4x2+y2-t2xy+t4x-1/t6;
intvec w=2,3;
tInitialFormParMax(f,w);
==> y2-1