Как использовать Resolve поверх пользовательского домена - PullRequest
Новая
       111

Как использовать Resolve поверх пользовательского домена

0 голосов
/ 26 ноября 2018 
A = {1,2,3,4}

ForAll[x, Element[A,x], x+1>0 ]

Resolve[%]

Приведенный выше код выдает мне следующую ошибку:

Невозможно разрешить условие членства в домене или регионе {1,2,3,4} [Элемент] x.

1 Ответ

0 голосов
/ 26 ноября 2018

Я думаю, у вас есть аргументы для Element[A,x] в обратном направлении, потому что A - это ваш домен, а x - это элемент этого домена.Простого изменения их недостаточно для устранения сообщения об ошибке, но этого, по-видимому, достаточно. 

A = {1,2,3,4};
ForAll[x, Element[x,Integers]&&0<x<5, x+1>0 ];
Resolve[%]

, что возвращает True

...