| version 1.18, 2009/12/11 02:09:09 |
version 1.19, 2013/10/11 01:08:35 |
|
|
| % $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 |
% cp cone.sm1 $OpenXM_HOME/src/kan96xx/Doc/gfan.sm1 |
| % $Id$ |
% $Id$ |
| % iso-2022-jp |
% iso-2022-jp |
| Line 273 dhcone.printGrobnerFan |
|
| Line 273 dhcone.printGrobnerFan |
|
| or |
or |
| { |
{ |
| (Polymake is not installed in this system or @@@polymake.web is set.) message |
(Polymake is not installed in this system or @@@polymake.web is set.) message |
| /doPolymake {doPolymake.OoHG} def |
usePolymake.OoHG.curl |
| (Using doPolymake.OoHG ) message |
(Using doPolymake.OoHG.curl ) message |
| /polymake.start {polymake.start.OoHG} def |
} { usePolymake.local (Local polymake will be used.) message } ifelse |
| (Using polymake.start.OoHG ) message |
|
| } { (Local polymake will be used.) message } ifelse |
|
| |
|
| /cone.debug 1 def |
/cone.debug 1 def |
| |
|
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to gfan.sm1 CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM / src / kan96xx / Doc