type: BellExpression
scenario: '[(3 2 2) (3 2)]'
representation: Non-signaling Correlators
coefficients:
  numerator: [0, 0, 0, 1, 1, 0, 0, 0, -4, -4, 0, 0, 0, -2, -2, 0, 0, 0, 3, -3]
  denominator: 6
symmetries:
  remarkableGenerators:
    liftings: ['B1(2,3)', 'A1(1,2)', 'A1(2,3)']
    outputInputPerms: ['B2(1,2) A(2,3)']
  numberOfRepresentatives: 24
upper:
  bounds: {local: '1'}
  keywords: [facet-local]
keywords: [io-lifted, not-composite, not-minimal]
names: ['Local facet in [(3 2 2) (3 2)], solved by SymPol.']
sources:
  upper.keywords.facet-local: ['http://www.math.uni-rostock.de/~rehn/software/sympol.html']
  upper.bounds.local: ['http://www.math.uni-rostock.de/~rehn/software/sympol.html']
remarkableForms:
  maximal:
    type: PermutationTransform
    permutation: A2(1,2) A3(1,2) A(2,3)
    of: {type: OriginalExpression}
decomposition:
  type: RepresentationTransform
  representation: Non-signaling Correlators
  of:
    type: ReorderingTransform
    reordering: A(1,2,3)
    of:
      type: LiftingTransform
      lifting: '[(2 2)+(3) (2+(0 1) 2)]'
      of:
        type: PermutationTransform
        permutation: A(1,2)
        of:
          type: AffineTransform
          affine: 1/2 * x
          of: {type: CanonicalExpression, index: 3}