===================================================================
RCS file: /home/cvs/OpenXM/src/kan96xx/Doc/complex.sm1,v
retrieving revision 1.6
retrieving revision 1.7
diff -u -p -r1.6 -r1.7
--- OpenXM/src/kan96xx/Doc/complex.sm1	2000/12/29 07:19:37	1.6
+++ OpenXM/src/kan96xx/Doc/complex.sm1	2001/11/26 01:25:44	1.7
@@ -1,4 +1,4 @@
-% $OpenXM: OpenXM/src/kan96xx/Doc/complex.sm1,v 1.5 2000/08/01 07:26:23 takayama Exp $
+% $OpenXM: OpenXM/src/kan96xx/Doc/complex.sm1,v 1.6 2000/12/29 07:19:37 takayama Exp $
 %% lib/complex.sm1  [ functions for complex ], 1999, 9/9
 %% cf.  yama:1999/Int/uli.sm1
 %%%%%%%%%%%%%%%%%%%   commands %%%%%%%%%%%%%%%%%%%%%%%%%
@@ -809,6 +809,9 @@
 
 [(intersection)
 [(Ideal intersections in the ring of differential operators.)
+ ([ I1 I2 V-list ] intersection  : I1 and I2 are ideals, and V-list)
+ (is a list of variables.  It returns the ideal intersection of I1 and I2.)
+ (Intersection is computed in the ring of differential operators.)
  $Example 1: [[[(x1) (x2)] [(x2) (x4)] (x1,x2,x3,x4)] intersection$
  $             [(x2) (x4^2)] (x1,x2,x3,x4)] intersection :: $
  $Example 2: [[[(x1) (x2)] [(x2) (x4)] (x1,x2,x3,x4)] intersection$