=================================================================== RCS file: /home/cvs/OpenXM/src/kan96xx/trans/polymake.sm1,v retrieving revision 1.3 retrieving revision 1.4 diff -u -p -r1.3 -r1.4 --- OpenXM/src/kan96xx/trans/polymake.sm1 2003/12/06 02:49:22 1.3 +++ OpenXM/src/kan96xx/trans/polymake.sm1 2013/09/20 04:43:29 1.4 @@ -1,4 +1,4 @@ -% $OpenXM: OpenXM/src/kan96xx/trans/polymake.sm1,v 1.2 2003/12/04 08:00:13 takayama Exp $ +% $OpenXM: OpenXM/src/kan96xx/trans/polymake.sm1,v 1.3 2003/12/06 02:49:22 takayama Exp $ % It is a polymake interface /polymake.start { @@ -29,11 +29,12 @@ % doPolymake % [ tfb-string tree error] [(doPolymake) -[(It calls polymake to make several construction for polytopes.) +[(It calls polymake via oxshell and ox_k0 to make several construction for polytopes.) ([action data_in_polymake_tfb_format] doPolymake ) ( [result_in_tfb result_in_tree errors]) (polymake, polymake2tfb, ox_k0 must be installed.) - (cf. @@@polymake.k0.ccc ) + (cf. @@@polymake.k0.ccc, kan96xx/Doc/oxshell.*, kan96xx/trans/polymake.sm1, oxshell ) + (The variable @@@doPolymake.vars keeps session logs with the polymake) (Example:) % ( [(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]])))]$ @@ -57,10 +58,13 @@ @@@polymake.k0.ccc oxpopcmo /ptree set @@@polymake.k0.ccc ( QuoteMode(0); ) oxexecutestring [(treeToPolymake) ptree] extension /pNative set + [pNative pAction] /@@@doPolymake.vars set %for debug %% step 2: calling the polymake - [(polymake) (stringInOut://pNative.poly) pAction] addStdoutStderr + [(polymake) (stringInOut://pNative) pAction] addStdoutStderr oxshell pop pError [@@@stdout @@@stderr] append /pError set + @@@doPolymake.vars [pNative @@@stdout] append /@@@doPolymake.vars set %for debug + @@@stdout /pNative set %output file of polymake is XML file. Use old output format. %% step 3: polymake native data to polymake tfb [(polymake2tfb) (<) (stringIn://pNative) (>) (stringOut://pResult) (2>) (stringOut://@@@stderr)] oxshell pop