version 1.15, 2009/09/04 00:53:48 |
version 1.19, 2013/10/11 01:08:35 |
|
|
% $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.18 2009/12/11 02:09:09 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. |
|
[(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 the source code gfan.sm1, there are sample inputs cone.sample and cone.sample2.) |
|
( ) |
|
(gfan.sm1 works only with polymake 2.0. We provide 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 |
%% 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 |
Line 250 dhcone.printGrobnerFan |
|
Line 266 dhcone.printGrobnerFan |
|
% 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 |
/doPolymake {doPolymake.OoHG} def |
or |
(Using doPolymake.OoHG ) message |
{ |
/polymake.start {polymake.start.OoHG} def |
(Polymake is not installed in this system or @@@polymake.web is set.) message |
(Using polymake.start.OoHG ) message |
usePolymake.OoHG.curl |
} { (Local polymake will be used.) message } ifelse |
(Using doPolymake.OoHG.curl ) message |
|
} { usePolymake.local (Local polymake will be used.) message } ifelse |
|
|
/cone.debug 1 def |
/cone.debug 1 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 |
|
|