Setting column size factor manually

[OlivierBBB]

Certain helper columns in the HUB only exist in the "interleaved and permuted domain" but arise neither as the row permutation of other columns nor as the interleaving of existing columns from the HUB. We ought to be able to declare them with a size parameter (here: 4.)

Currently when attempting to declare them we can't tell corset that they ought to be considered as columns 4x as long as standard HUB module columns. We get the following error:

[DavePearce]

with a size parameter

This is referred to in corset as the length mulitplier. So you want to be able to declare a column with length multiplier that is not 1? Presumably so that it can be used in constraints involving interleaved columns, etc?

[DavePearce]

Options for syntax:

(defcolumns (X :length 2))

or

(defcolumns (X :height 2))

[DavePearce]

Minimal example to illustrate:

(defcolumns X Y (A :length 2))
(definterleaved (Z) (X Y))
(defconstraint tmp () (vanishes! (- A Z)))