Я пытаюсь вывести фасетные неравенства Белла с учетом крайних точек 16-мерного многогранника. Я использовал программное обеспечение PORTA для go от стандартного представления вершин до представления неравенства. Однако мой вывод PORTA, кажется, дает неравенства (нижние неравенства (17) - (24) - основные, которые я ищу), которые сформулированы в терминах восьми равенств ((1) - (8) выше на рисунке ). Я использовал функцию traf.bat. Мне было интересно, есть ли способ заставить PORTA просто выдавать мне восемь неравенств, зависящих от 16 неизвестных переменных, а не в терминах восьми равенств, указанных выше? Эти неравенства должны выглядеть как знакомые неравенства CH SH, где у вас есть 16 неизвестных <= 2. <a href="https://i.stack.imgur.com/cW4t6.png" rel="nofollow noreferrer"> Изображение, показывающее данные неравенства и равенства