Пытаюсь получить это тождество в Mathematica 8.0.4:
Код: Выделить всё
FullSimplify[GCD[n, p],
Element[n, Integers] && n > 0 && Element[p, Primes]]
Есть предположение, как заставить Mathematica упростить это выражение до 1||p?
Модератор: Admin
Код: Выделить всё
FullSimplify[GCD[n, p],
Element[n, Integers] && n > 0 && Element[p, Primes]]