MathGroup Archive 1996

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

Search the Archive

Re: More "Logical" functions?

  • To: mathgroup at
  • Subject: [mg4230] Re: [mg4144] More "Logical" functions?
  • From: "Edward G. Neuman" <edneuman at>
  • Date: Tue, 18 Jun 1996 03:28:27 -0400
  • Sender: owner-wri-mathgroup at

Scott Herod wrote:

>I often find myself trying to solve big sets of polynomial equations.
>I realize that there are Groebner basis packages for use in this but
>many times I can get by with Reduce and Solve.  My problem is this:
>Often I get results like
>   {{ x -> 0 },  {x -> 0, y -> 5 },  {x -> 0, z -> -2}, ... }
>where {x -> 0} is common to all of the terms.  I would like to be able
>to factor out the x=0 from each equation.  I don't need to see everything
>else if x has to be zero anyway.
>Currently I'm doing a LogicalExpand[results && x != 0] to see the cases
>where x does not have to be zero, but something to factor the x -> 0
>would be nicer.
>Does anyone know of an existing package do Logical expression operations?
>Scott Herod
>(sherod at

To delete from your list expressions like x->c, where c is a number, you can
use the rewrite-rule capability of Mathematica:

{{}, {y -> 5}, {y -> 0}}

 Edward Neuman                    Phone: (618) 453-6501
 Department of Mathematics        Fax:   (618) 453-5300
 Southern Illinois University     E-mail: edneuman at
 Carbondale,  Ill. 62901-4408     


  • Prev by Date: Re: PDF dist question.
  • Next by Date: Re: How to read *.bmp *.wav files?
  • Previous by thread: Re: More "Logical" functions?
  • Next by thread: can mathematica do this, please answer