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

D.13.6.24 radicalMemberShip

Procedure from library tropical.lib (see tropical_lib).

Usage:
radicalMemberShip (f,i); f poly, i ideal

Return:
int, 1 if f is in the radical of i, 0 else

Example:
 
LIB "tropical.lib";
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


Top Back: texDrawTriangulation Forward: tInitialFormPar FastBack: FastForward: Up: tropical_lib Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 4.3.1, 2022, generated by texi2html.