![]() ![]() | ![]() |
version 1.15, 2009/09/04 00:53:48 | version 1.16, 2009/09/04 02:59:55 | ||
---|---|---|---|
|
|
||
% $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.15 2009/09/04 00:53:48 takayama Exp $ | ||
% cp cone.sm1 $OpenXM_HOME/src/kan96xx/Doc/gfan.sm1 | % cp cone.sm1 $OpenXM_HOME/src/kan96xx/Doc/gfan.sm1 | ||
% $Id$ | % $Id$ | ||
% iso-2022-jp | % iso-2022-jp | ||
%%Ref: @s/2004/08/21-note.pdf | %%Ref: @s/2004/08/21-note.pdf | ||
%% gfan.sm1 works only for polymake 2.0 Use webservice of 2.0. | |||
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% | ||
%% Two examples are given below to get a global Grobner fan and | %% Two examples are given below to get a global Grobner fan and | ||
%% a local Grobner fan ; cone.sample and cone.sample2 | %% a local Grobner fan ; cone.sample and cone.sample2 | ||
|
|
||
% If you use the cgi/polymake on the net, then uncomment out. | % If you use the cgi/polymake on the net, then uncomment out. | ||
%/doPolymake {doPolymake.OoHG} def (Using doPolymake.OoHG ) message | %/doPolymake {doPolymake.OoHG} def (Using doPolymake.OoHG ) message | ||
%/polymake.start {polymake.start.OoHG} def (Using polymake.start.OoHG ) message | %/polymake.start {polymake.start.OoHG} def (Using polymake.start.OoHG ) message | ||
/@@@polymake.web 1 def | |||
%% Choose it automatically. | %% Choose it automatically. | ||
[(which) (polymake)] oxshell tag 0 eq { | [(which) (polymake)] oxshell tag 0 eq | ||
(Polymake is not installed in this system.) message | @@@polymake.web 1 eq | ||
or | |||
{ | |||
(Polymake is not installed in this system or @@@polymake.web is set.) message | |||
/doPolymake {doPolymake.OoHG} def | /doPolymake {doPolymake.OoHG} def | ||
(Using doPolymake.OoHG ) message | (Using doPolymake.OoHG ) message | ||
/polymake.start {polymake.start.OoHG} def | /polymake.start {polymake.start.OoHG} def | ||
|
|
||
rr (VERTICES) getNode tag 0 eq { | rr (VERTICES) getNode tag 0 eq { | ||
(internal error: VERTICES is not found.) error | (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 | /cone.getConeInfo.rr1 rr def | ||