Пытаюсь получить это тождество в Mathematica 8.0.4:
Код: Выделить всё
FullSimplify[GCD[n, p],
Element[n, Integers] && n > 0 && Element[p, Primes]]
Есть предположение, как заставить Mathematica упростить это выражение до 1||p?
Упрощение логического выражения теории чисел в Mathematica
Модератор: Admin
Упрощение логического выражения теории чисел в Mathematica
Очевидно, что для любого целого положительного n и простого p верно GCD[n,p]=1||p.
Пытаюсь получить это тождество в Mathematica 8.0.4:
- упрощение не происходит.
Есть предположение, как заставить Mathematica упростить это выражение до 1||p?
Пытаюсь получить это тождество в Mathematica 8.0.4:
Есть предположение, как заставить Mathematica упростить это выражение до 1||p?
Лысый пешему не конный...
