X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=spv-file-format.texi;h=e7c3f888900bcdae677436f01d42cc70e64d248a;hb=9692b579384a142daf732706ad2f4401481a3077;hp=89749de0da945e4d7097d77abef39356e441a718;hpb=8f03a15bc9fce38e9651dcb3ce82ba7815ccc9b5;p=pspp

diff --git a/spv-file-format.texi b/spv-file-format.texi
index 89749de0da..e7c3f88890 100644
--- a/spv-file-format.texi
+++ b/spv-file-format.texi
@@ -489,3 +489,34 @@ font  f1  f2     f3   f4     f5    f6  f7  f8
    7  40   0  64173  0/1      8 10/11   1   1
    8  40   0      2    3      8 10/11   1   4
 @end example
+
+@example
+dimensions := int[n-dims] dimension*[n-dims]
+dimension := value[name]
+             byte[d1]
+             (00 | 01 | 02)[d2]
+             (i0 | i2)[d3]
+             (00 | 01)[d4]
+             (00 | 01)[d5]
+             01
+             int[d6]
+             int[n-categories] category*[n-categories]
+@end example
+
+@code{name} is the name of the dimension, e.g. @code{Variables},
+@code{Statistics}, or a variable name.
+
+@code{d1} is usually 0 but many other values have been observed.
+
+@code{d3} is 2 over 99% of the time.
+
+@code{d5} is 0 over 99% of the time.
+
+@code{d6} is either -1 or the 0-based index of the dimension, e.g.@: 0
+for the first dimension, 1 for the second, and so on.  The latter is
+the case 98% of the time in the corpus.
+
+@example
+category := value i1
+            (00 | 01 (00 | 01 | 02) | 02) 00 00 00
+@end example