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

Re: FindInstance over Integers

• To: mathgroup at smc.vnet.net
• Subject: [mg101088] Re: [mg101077] FindInstance over Integers
• From: Andrzej Kozlowski <akoz at mimuw.edu.pl>
• Date: Wed, 24 Jun 2009 06:28:10 -0400 (EDT)
• References: <200906231107.HAA08314@smc.vnet.net> <78F283C1-FCE2-4F51-812A-7D1E87D146ED@mimuw.edu.pl>

I meant: "even though they probably aren't"

Andrzej Kozlowski


On 23 Jun 2009, at 21:24, Andrzej Kozlowski wrote:

> that is, it will never tell you that "the methods available to it  
> are insufficient " (even though they probably are ;-))

• References:
  • FindInstance over Integers
    • From: "zac.ernst" <zac.ernst@gmail.com>