version 1.5, 2013/09/20 05:12:24 |
version 1.7, 2013/09/22 05:17:17 |
|
|
% $OpenXM: OpenXM/src/kan96xx/trans/polymake.sm1,v 1.4 2013/09/20 04:43:29 takayama Exp $ |
% $OpenXM: OpenXM/src/kan96xx/trans/polymake.sm1,v 1.6 2013/09/21 04:48:36 takayama Exp $ |
% It is a polymake interface |
% It is a polymake interface |
|
|
|
/@@@polymake.ask.which 1 def |
/polymake.start { |
/polymake.start { |
(ox.k0.loaded) boundp { } |
(ox.k0.loaded) boundp { } |
{ [(parse) (ox.sm1) pushfile] extension |
{ [(parse) (ox.sm1) pushfile] extension |
|
|
k0connectr /@@@polymake.k0.ccc oxk0.ccc def /oxk0.ccc [ ] def |
k0connectr /@@@polymake.k0.ccc oxk0.ccc def /oxk0.ccc [ ] def |
@@@polymake.k0.ccc oxsetmathcap @@@polymake.k0.ccc oxmathcap |
@@@polymake.k0.ccc oxsetmathcap @@@polymake.k0.ccc oxmathcap |
} { } ifelse |
} { } ifelse |
|
[(parse) ( 1 )] extension pop % BUG, dummy to avoid bus error on mac.2013.09.21 |
|
@@@polymake.ask.which { |
[(which) (polymake)] oxshell tag 0 eq { |
[(which) (polymake)] oxshell tag 0 eq { |
[(export) (PATH) (=) (/usr/local/polymake/bin:${PATH})] oxshell |
[(export) (PATH) (=) (/usr/local/polymake/bin:${PATH})] oxshell |
[(which) (polymake)] oxshell tag 0 eq { |
[(which) (polymake)] oxshell tag 0 eq { |
(Polymake is not installed in this system.) error |
(Polymake is not installed in this system.) error |
} { } ifelse |
} { } ifelse |
} { } ifelse |
} { } ifelse |
|
} { } ifelse |
[(which) (polymake2tfb)] oxshell tag 0 eq { |
[(which) (polymake2tfb)] oxshell tag 0 eq { |
(polymake2tfb is not installed in this system.) error |
(polymake2tfb is not installed in this system.) error |
} { } ifelse |
} { } ifelse |