=================================================================== RCS file: /home/cvs/OpenXM/src/kan96xx/trans/polymake.sm1,v retrieving revision 1.3 retrieving revision 1.7 diff -u -p -r1.3 -r1.7 --- OpenXM/src/kan96xx/trans/polymake.sm1 2003/12/06 02:49:22 1.3 +++ OpenXM/src/kan96xx/trans/polymake.sm1 2013/09/22 05:17:17 1.7 @@ -1,6 +1,7 @@ -% $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.6 2013/09/21 04:48:36 takayama Exp $ % It is a polymake interface +/@@@polymake.ask.which 1 def /polymake.start { (ox.k0.loaded) boundp { } { [(parse) (ox.sm1) pushfile] extension @@ -14,12 +15,15 @@ k0connectr /@@@polymake.k0.ccc oxk0.ccc def /oxk0.ccc [ ] def @@@polymake.k0.ccc oxsetmathcap @@@polymake.k0.ccc oxmathcap } { } 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 { [(export) (PATH) (=) (/usr/local/polymake/bin:${PATH})] oxshell [(which) (polymake)] oxshell tag 0 eq { (Polymake is not installed in this system.) error } { } ifelse } { } ifelse + } { } ifelse [(which) (polymake2tfb)] oxshell tag 0 eq { (polymake2tfb is not installed in this system.) error } { } ifelse @@ -29,15 +33,17 @@ % 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]])))]$ + $ [(FACETS) (polymake.data(polymake.POINTS([[1,0,0],[1,1,0],[1,0,1],[1,1,1/2]])))]$ ( doPolymake /rr set ) + ( Keys---properties are FACETS, CONE_DIM, LINEARITY_DIM, FEASIBLE, AFFINE_FULL, ... ) ]] putUsages /doPolymake { /arg1 set @@ -57,10 +63,13 @@ @@@polymake.k0.ccc oxpopcmo /ptree set @@@polymake.k0.ccc ( QuoteMode(0); ) oxexecutestring [(treeToPolymake) ptree] extension /pNative set + [ptree 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