===================================================================
RCS file: /home/cvs/OpenXM/src/kan96xx/Doc/complex.sm1,v
retrieving revision 1.6
retrieving revision 1.8
diff -u -p -r1.6 -r1.8
--- OpenXM/src/kan96xx/Doc/complex.sm1	2000/12/29 07:19:37	1.6
+++ OpenXM/src/kan96xx/Doc/complex.sm1	2002/08/11 08:39:50	1.8
@@ -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.7 2001/11/26 01:25:44 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$
@@ -879,6 +882,9 @@
     /vlist ff 2 get  def
     /mm slist length def
 
+    vlist tag ArrayP eq {
+      vlist { toString } map from_records /vlist set
+    } {  } ifelse
     [vlist to_records pop] [(_z) (_y)] join /vlist2 set
     [vlist2 from_records ring_of_polynomials 
      [[(_z) 1 (_y) 1]] weight_vector