===================================================================
RCS file: /home/cvs/OpenXM/src/kan96xx/Doc/gfan.sm1,v
retrieving revision 1.15
retrieving revision 1.17
diff -u -p -r1.15 -r1.17
--- OpenXM/src/kan96xx/Doc/gfan.sm1	2009/09/04 00:53:48	1.15
+++ OpenXM/src/kan96xx/Doc/gfan.sm1	2009/09/04 11:13:11	1.17
@@ -1,9 +1,25 @@
-%  $OpenXM: OpenXM/src/kan96xx/Doc/gfan.sm1,v 1.14 2009/08/26 05:03:49 takayama Exp $
+%  $OpenXM: OpenXM/src/kan96xx/Doc/gfan.sm1,v 1.16 2009/09/04 02:59:55 takayama Exp $
 % cp cone.sm1 $OpenXM_HOME/src/kan96xx/Doc/gfan.sm1
-% $Id: gfan.sm1,v 1.15 2009/09/04 00:53:48 takayama Exp $
+% $Id: gfan.sm1,v 1.17 2009/09/04 11:13:11 takayama Exp $
 % iso-2022-jp
 %%Ref:  @s/2004/08/21-note.pdf
 
+%% gfan.sm1 works only for polymake 2.0  Use webservice of 2.0.
+[(gfan)
+[
+ (gfan.sm1 is a package to compute global and local Grobner fans.)
+ (See  R.Bahloul and N.Takayama, arxiv, math.AG/0412044 and references as to algorithms.)
+ (At the beginning of gfan.sm1, there are sample inputs cone.sample and cone.sample2.)
+ (  )
+ (gfan.sm1 works only with polymake 2.0. We provides a web service of computing )
+ (with polymake 2.0.  /@@@polymake.web 1 def is set by default in gfan.sm1.)
+ (See changelog-ja.tex as to details on the difference between 2.0 and later versions.)
+ (  )
+ ( cone.Wt cone.Lpt {vertices in the output} are weights on the rays of the Grobner cone.)
+ ( cone.L gives a basis of the linearity space.) 
+]
+] putUsages
+
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 %% Two examples are given below to get a global Grobner fan and 
 %% a local Grobner fan ; cone.sample and cone.sample2
@@ -250,9 +266,13 @@ dhcone.printGrobnerFan 
 % If you use the cgi/polymake on the net, then uncomment out.
 %/doPolymake {doPolymake.OoHG} def    (Using doPolymake.OoHG ) message 
 %/polymake.start {polymake.start.OoHG} def (Using polymake.start.OoHG ) message 
+/@@@polymake.web 1 def
 %% Choose it automatically.
-[(which) (polymake)] oxshell tag 0 eq {
-  (Polymake is not installed in this system.)  message
+[(which) (polymake)] oxshell tag 0 eq 
+@@@polymake.web 1 eq
+or
+{
+  (Polymake is not installed in this system or @@@polymake.web is set.)  message
   /doPolymake {doPolymake.OoHG} def    
   (Using doPolymake.OoHG ) message 
   /polymake.start {polymake.start.OoHG} def 
@@ -1072,7 +1092,11 @@ def
 
      rr (VERTICES) getNode tag 0 eq {
        (internal error: VERTICES is not found.) error
-     } {  } ifelse
+     } {  
+        rr (VERTICES) getNode 
+        (UNDEF) getNode tag 0 eq {  }
+        { (internal error: VERTICES is UNDEF. See rr. Set /@@@polymake.web 1 def)  error } ifelse
+     } ifelse
 
      /cone.getConeInfo.rr1 rr def