version 1.8, 2013/09/25 07:30:52 |
version 1.9, 2020/03/12 07:33:03 |
|
|
% $OpenXM: OpenXM/src/kan96xx/trans/polymake.sm1,v 1.7 2013/09/22 05:17:17 takayama Exp $ |
% $OpenXM: OpenXM/src/kan96xx/trans/polymake.sm1,v 1.8 2013/09/25 07:30:52 takayama Exp $ |
% It is a polymake interface |
% It is a polymake interface |
|
|
/@@@polymake.ask.which 1 def |
/@@@polymake.ask.which 1 def |
|
|
(See also usePolymake.local, usePolymake.OoHG.native and usePolymake.OoHG.curl in cgi.sm1) |
(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 ) |
|
$ usePolymake.OoHG.curl polymake.start ; $ |
$ [(FACETS) (polymake.data(polymake.POINTS([[1,0,0],[1,1,0],[1,0,1],[1,1,1/2]])))]$ |
$ [(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, ... ) |
( Keys---properties are FACETS, CONE_DIM, LINEARITY_DIM, FEASIBLE, AFFINE_FULL, ... ) |