Страница 1 из 1

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

Добавлено: Ср окт 17, 2012 1:01 pm
volmike
Очевидно, что для любого целого положительного 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?