===================================================================
RCS file: /home/cvs/OpenXM/src/kan96xx/trans/polymake.sm1,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -p -r1.1 -r1.2
--- OpenXM/src/kan96xx/trans/polymake.sm1	2003/12/04 07:49:24	1.1
+++ OpenXM/src/kan96xx/trans/polymake.sm1	2003/12/04 08:00:13	1.2
@@ -1,4 +1,4 @@
-% $OpenXM$
+% $OpenXM: OpenXM/src/kan96xx/trans/polymake.sm1,v 1.1 2003/12/04 07:49:24 takayama Exp $
 % It is a polymake interface
 
 /polymake.start {
@@ -31,7 +31,7 @@
  (polymake, polymake2tfb, ox_k0 must be installed.)
  (Example:)
 % ( [(export) (PATH) (=) (/usr/local/polymake/bin:${PATH})] oxshell )
- $ [(FACETS) (polymake.data(polymake.POINTS([[1,0,0],[1,1,0],[1,0,1],[1,0,0]])))]$
+ $ [(FACETS) (polymake.data(polymake.POINTS([[1,0,0],[1,1,0],[1,0,1],[1,1,1]])))]$
  (         doPolymake /rr set )
 ]] putUsages
 /doPolymake {