| version 1.4, 2013/09/20 04:43:29 |
version 1.8, 2013/09/25 07:30:52 |
|
|
| % $OpenXM: OpenXM/src/kan96xx/trans/polymake.sm1,v 1.3 2003/12/06 02:49:22 takayama Exp $ |
% $OpenXM: OpenXM/src/kan96xx/trans/polymake.sm1,v 1.7 2013/09/22 05:17:17 takayama Exp $ |
| % It is a polymake interface |
% It is a polymake interface |
| |
|
| /polymake.start { |
/@@@polymake.ask.which 1 def |
| |
/polymake.start { polymake.start.local } def |
| |
/polymake.start.local { |
| (ox.k0.loaded) boundp { } |
(ox.k0.loaded) boundp { } |
| { [(parse) (ox.sm1) pushfile] extension |
{ [(parse) (ox.sm1) pushfile] extension |
| /@@@polymake.k0.ccc [ ] def |
/@@@polymake.k0.ccc [ ] def |
|
|
| 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 |
|
|
| (polymake, polymake2tfb, ox_k0 must be installed.) |
(polymake, polymake2tfb, ox_k0 must be installed.) |
| (cf. @@@polymake.k0.ccc, kan96xx/Doc/oxshell.*, kan96xx/trans/polymake.sm1, oxshell ) |
(cf. @@@polymake.k0.ccc, kan96xx/Doc/oxshell.*, kan96xx/trans/polymake.sm1, oxshell ) |
| (The variable @@@doPolymake.vars keeps session logs with the polymake) |
(The variable @@@doPolymake.vars keeps session logs with the polymake) |
| |
(See also usePolymake.local, usePolymake.OoHG.native and usePolymake.OoHG.curl in cgi.sm1) |
| (Example:) |
(Example:) |
| % ( [(export) (PATH) (=) (/usr/local/polymake/bin:${PATH})] oxshell ) |
% ( [(export) (PATH) (=) (/usr/local/polymake/bin:${PATH})] oxshell ) |
| $ [(FACETS) (polymake.data(polymake.POINTS([[1,0,0],[1,1,0],[1,0,1],[1,1,1]])))]$ |
$ [(FACETS) (polymake.data(polymake.POINTS([[1,0,0],[1,1,0],[1,0,1],[1,1,1/2]])))]$ |
| ( doPolymake /rr set ) |
( doPolymake /rr set ) |
| |
( Keys---properties are FACETS, CONE_DIM, LINEARITY_DIM, FEASIBLE, AFFINE_FULL, ... ) |
| ]] putUsages |
]] putUsages |
| /doPolymake { |
/doPolymake { doPolymake.local } def |
| |
/doPolymake.local { |
| /arg1 set |
/arg1 set |
| [/in-doPolymake /pAction /pData /pNative /ptree |
[/in-doPolymake /pAction /pData /pNative /ptree |
| /pResult /pError |
/pResult /pError |
|
|
| @@@polymake.k0.ccc oxpopcmo /ptree set |
@@@polymake.k0.ccc oxpopcmo /ptree set |
| @@@polymake.k0.ccc ( QuoteMode(0); ) oxexecutestring |
@@@polymake.k0.ccc ( QuoteMode(0); ) oxexecutestring |
| [(treeToPolymake) ptree] extension /pNative set |
[(treeToPolymake) ptree] extension /pNative set |
| [pNative pAction] /@@@doPolymake.vars set %for debug |
[ptree pNative pAction] /@@@doPolymake.vars set %for debug |
| %% step 2: calling the polymake |
%% step 2: calling the polymake |
| [(polymake) (stringInOut://pNative) pAction] addStdoutStderr |
[(polymake) (stringInOut://pNative) pAction] addStdoutStderr |
| oxshell pop |
oxshell pop |