conjure-cp / permutation-patterns-demo

https://conjure-cp.github.io/permutation-patterns-demo/
Mozilla Public License 2.0
0 stars 3 forks source link

Bivincular Pattern Visualiser #1

Open ruthhoffmann opened 1 year ago

ruthhoffmann commented 1 year ago

The bivincular pattern model used to be based of an incorrect definition. The model is now correct but the visualiser might now not be working.

What bivincular patterns actually look like: They have an underlying permutation p , a set of entries which are adjacent by index (for each adjacent pair the column between the entries should be greyed out) and a set of values which are adjacent (for each adjacent pair the row between the entries should be greyed out). After entering the underlying permutation the user should be able to grey rows and columns (either by selecting each square individually or somehow by selecting rows/columns in "one click").

The structure in the parameter file for each pattern is a tuple of the permutation (sequence) followed by a set of the start indexes of the columns and followed by a set of the "start indexes"/lower element of the values.

ruthhoffmann commented 1 year ago

Just to expand on how a user might want to enter a bivincular permutation pattern

  1. Enter and submit the permutation
  2. Choose Bivincular as the pattern type
  3. In the grid they should be able to select whole columns and rows which are shaded. How? I am not sure.
    • A single click (similar to what happens for vincular patterns) is ambiguous as to whether they meant row or column.
    • The user could be asked to shade/click every cell individually, but then a checker needs to be run to see that they have shaded full rows and full columns.
    • You could 'expand' the visualisation and for example allow the user to click on the left of a row (and below a column) to shade it, but then the visualisation will look slightly different for this pattern type than to all others.
    • You could do multiclicks, once for column, twice for row, three times to remove the shading, but this clicking behaviour is different to all other patterns and might not be obvious.

In any case bivincular patterns might need an explanation as to how to enter the shaded cells.