Merge branch 'wma/dense-alias' into wma/levels

Author: willow-ahrens

README.md

@@ -5,14 +5,24 @@ Minutes from our meetings are available [here](https://hackmd.io/0qzK4fJlQp-78t0
 
 ## Specification
 
-The working version of the specification can be found under `spec/latest/index.bs`.
+[View Latest Spec](https://api.csswg.org/bikeshed/?url=https://raw.githubusercontent.com/GraphBLAS/binsparse-specification/main/spec/latest/index.bs)
 
 ### Editing
 
+The working version of the specification can be found under `spec/latest/index.bs`.
+
 The spec is written in [bikeshed](https://github.com/tabatkins/bikeshed) – a variant of markdown.
 To render the spec locally:
 
 * Install bikeshed (ideally in an isolated environment): `pipx install bikeshed`
 * Call `bikeshed spec spec/latest/index.bs`
 
+To render the spec online, see [api.csswg.org](https://api.csswg.org/bikeshed/),
+or use the following commands:
+
+```
+cd binsparse-specification/spec/latest
+curl https://api.csswg.org/bikeshed/ -F file=@index.bs > index.html
+```
+
 Rendered versions will generated for pull requests.

spec/latest/index.bs

@@ -111,9 +111,43 @@ be present in the binary container.  `number_of_elements` refers to the number
 of stored values, `number_of_rows` refers to the number of rows, and `number_of_columns`
 refers to the number of columns.
 
-#### VEC #### {#vec_format}
+#### DVEC #### {#dvec_format}
 
-Vector format
+Dense Vector format
+
+: values
+:: Array of size `number_of_elements` containing stored values.
+
+The element of the vector located at index `i` has scalar value
+`values[i]`.
+
+#### DMATR #### {#dmatr_format}
+
+Row-Major Dense Matrix format
+
+: values
+:: Array of size `number_of_elements` containing stored values.
+
+The element of the vector located at index `i, j` has scalar value
+`values[i * number_of_columns + j]`.
+
+#### DMATC #### {#dmatc_format}
+
+Column-Major Dense Matrix format
+
+: values
+:: Array of size `number_of_elements` containing stored values.
+
+The element of the vector located at index `i, j` has scalar value
+`values[j * number_of_rows + i]`.
+
+#### DMAT #### {#DMAT_format}
+
+DMAT format is an alias for [[#dmatr_format]] format.
+
+#### CVEC #### {#cvec_format}
+
+Compressed Sparse Vector format
 
 : indices_0
 :: Array of size `number_of_elements` containing indices.
@@ -495,9 +529,14 @@ either in the values_type field or as wrapper levels around the element level.
 
 ### Complex Values (complex) ### {#complex_level}
 
-When the values are composed of alternating real and imaginary components of
-complex numbers, we use a complex level to signal this modification to the
-underlying array.
+When a value array is composed of alternating real and imaginary components of
+complex numbers, the type is written as `complex[<type>]`. For example, a value
+array of complex `float64` would have a datatype of `complex[float64]` The real
+component of the `i`th element in the modified array shall be stored at position
+`2i` in the original array, and the imaginary component of the `i`th element in
+the modified array shall be at position `2i + 1` in the underlying array.
+The `complex` value modifier may only be used with the types `float32` and
+`float64`.
 
 If the level key is "complex", the `subformat` key must be present. The
 complex level represents zero or more complex-valued arrays specified by