Services & Resources / Wolfram Forums / MathGroup Archive
-----

MathGroup Archive 2010

[Date Index] [Thread Index] [Author Index]

Search the Archive

Re: Please help

  • To: mathgroup at smc.vnet.net
  • Subject: [mg112268] Re: Please help
  • From: olfa <olfa.mraihi at yahoo.fr>
  • Date: Tue, 7 Sep 2010 02:02:44 -0400 (EDT)
  • References: <i5vns7$2ek$1@smc.vnet.net>

On 5 sep, 11:28, Andrzej Kozlowski <a... at mimuw.edu.pl> wrote:
> On 4 Sep 2010, at 10:00, olfa wrote:
>
> > Hi Mathematica Community,
>
> > Is Mathematica able to detect(recognize) implication between equations?
>
> > Thank you.
>
> Your question is not clear enough to answer with much confidence but at least Mathematica can do things like these:
>
>  Assuming[x^2 + y^2 ==== 1, Refine[x^4 + 2 x^2 y^2 + y^4 ===
== 1]]
>
> True
>
> or
>
> Assuming[x^2 + y^2 ==== 1, Refine[x ==== 0 || x^2 + y^2 =
==== 1]]
>
> True
>
> etc.
>
> Andrzej Kozlowski

With this example I will try to clarify my question:
x,xP,y,yP,t,tP are variables. y and yP are integer variables. Having
this disjunction of conjunctions  :
(y+Floor[Log[2,x]]==yP+Floor[Log[2,xP]] && t==tP && y==yP) || (t/
2^(y)==tP/2^(yP) && y+Log[2,x]==yP+Log[2,xP])

is Mathematica able to detect (to recognize) that there is
implications in this system?





  • Prev by Date: Re: Finite Groups...infinite disappoinment
  • Next by Date: A dragging matter of Interpretation
  • Previous by thread: Re: Please help
  • Next by thread: Re: Please help