Simplify equations
- To: mathgroup at smc.vnet.net
- Subject: [mg99260] Simplify equations
- From: openpursuit at gmail.com
- Date: Fri, 1 May 2009 05:22:37 -0400 (EDT)
Why mathematica does not simplify this simple system? Simplify[ C[1] \[Element] Integers && (x == 7 C[1] || x == 14 C [1]) ] I would like that it say "hey...buy if x is a multiple of 7 ,it is also a multiple of 14 so the second equivalence is always verified if x verify the first".