Упрощение логического выражения теории чисел в Mathematica

Форум пользователей пакета Mathematica

Модератор: Admin

volmike
Сообщения: 235
Зарегистрирован: Вс июн 05, 2005 2:42 pm
Контактная информация:

Упрощение логического выражения теории чисел в Mathematica

Сообщение volmike » Ср окт 17, 2012 1:01 pm

Очевидно, что для любого целого положительного n и простого p верно GCD[n,p]=1||p.
Пытаюсь получить это тождество в Mathematica 8.0.4:

Код: Выделить всё

FullSimplify[GCD[n, p],
 Element[n, Integers] && n > 0 && Element[p, Primes]]
- упрощение не происходит.

Есть предположение, как заставить Mathematica упростить это выражение до 1||p?
Лысый пешему не конный...