|  |  D.13.4.25 radicalMemberShip Procedure from librarytropical.lib(see  tropical_lib).
 
Example:Usage:
radicalMemberShip (f,i); f poly, i ideal
Return:
int, 1 if f is in the radical of i, 0 else
 |  | 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;
ideal i=(x+1)*y2;
// y is NOT in the radical of i
radicalMemberShip(y,i);
==> 0
ring rr=0,(x,y),ds;
ideal i=(x+1)*y2;
// since this time the ordering is local, y is in the radical of i
radicalMemberShip(y,i);
==> 1
 | 
 
 |