===================================================================
RCS file: /home/cvs/OpenXM/src/kan96xx/Doc/complex.sm1,v
retrieving revision 1.6
retrieving revision 1.9
diff -u -p -r1.6 -r1.9
--- OpenXM/src/kan96xx/Doc/complex.sm1	2000/12/29 07:19:37	1.6
+++ OpenXM/src/kan96xx/Doc/complex.sm1	2004/09/10 13:20:22	1.9
@@ -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.8 2002/08/11 08:39:50 takayama Exp $
 %% lib/complex.sm1  [ functions for complex ], 1999, 9/9
 %% cf.  yama:1999/Int/uli.sm1
 %%%%%%%%%%%%%%%%%%%   commands %%%%%%%%%%%%%%%%%%%%%%%%%
@@ -305,7 +305,7 @@
      d G 0 get reduction-noH  /rr set
      rr 0 get (0). eq {
        [rr 2 get] B mul 0 get /ans set
-       /ans [ ans { toString rng ,, (-1) rng ,, mul} map  
+       /ans [ ans { toString rng __ (-1) rng __ mul} map  
               rr 1 get toString .. ] def
      } {
        /ans null def
@@ -411,7 +411,7 @@
      d G 0 get reduction  /rr set
      rr 0 get (0). eq {
        [rr 2 get] B mul 0 get /ans set
-       /ans [ ans { toString rng ,, (-1) rng ,, mul} map  
+       /ans [ ans { toString rng __ (-1) rng __ mul} map  
               rr 1 get toString .. ] def
      } {
        /ans null def
@@ -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