Home Online Manual
Top
Back: idealsimplify
Forward: classify_lib
FastBack:
FastForward:
Up: arcpoint_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.6.2.4 equalJinI

Procedure from library arcpoint.lib (see arcpoint_lib).

Usage:
equalJinI(I,J); (I,J ideals)

Assume:
J contained in I and both I and J have been processed with idealsimplify before

Return:
1, if I=J, 0 otherwise

Example:
 
LIB "arcpoint.lib";
ring r=0,(x,y,z),dp;
ideal I = x,y+z2;
ideal J1= x;
ideal J2= x,y+z2;
equalJinI(I,J1);
==> 0
equalJinI(I,J2);
==> 1
See also: idealsimplify.