=================================================================== RCS file: /home/cvs/OpenXM/src/kan96xx/Doc/gfan.sm1,v retrieving revision 1.18 retrieving revision 1.19 diff -u -p -r1.18 -r1.19 --- OpenXM/src/kan96xx/Doc/gfan.sm1 2009/12/11 02:09:09 1.18 +++ OpenXM/src/kan96xx/Doc/gfan.sm1 2013/10/11 01:08:35 1.19 @@ -1,6 +1,6 @@ -% $OpenXM: OpenXM/src/kan96xx/Doc/gfan.sm1,v 1.17 2009/09/04 11:13:11 takayama Exp $ +% $OpenXM: OpenXM/src/kan96xx/Doc/gfan.sm1,v 1.18 2009/12/11 02:09:09 takayama Exp $ % cp cone.sm1 $OpenXM_HOME/src/kan96xx/Doc/gfan.sm1 -% $Id: gfan.sm1,v 1.18 2009/12/11 02:09:09 takayama Exp $ +% $Id: gfan.sm1,v 1.19 2013/10/11 01:08:35 takayama Exp $ % iso-2022-jp %%Ref: @s/2004/08/21-note.pdf @@ -273,11 +273,9 @@ dhcone.printGrobnerFan 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 - (Using polymake.start.OoHG ) message -} { (Local polymake will be used.) message } ifelse + usePolymake.OoHG.curl + (Using doPolymake.OoHG.curl ) message +} { usePolymake.local (Local polymake will be used.) message } ifelse /cone.debug 1 def