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}