Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.2 9/18/84; site brl-tgr.ARPA
Path: utzoo!watmath!clyde!burl!ulysses!mhuxr!mhuxt!houxm!vax135!cornell!uw-beaver!tektronix!zehntel!dual!lll-crg!gymble!umcp-cs!seismo!brl-tgr!abc
From: abc@brl-tgr.ARPA (Brint Cooper )
Newsgroups: net.math.symbolic
Subject: Macsyma: "Eliminate" Problem
Message-ID: <9478@brl-tgr.ARPA>
Date: Mon, 25-Mar-85 13:35:29 EST
Article-I.D.: brl-tgr.9478
Posted: Mon Mar 25 13:35:29 1985
Date-Received: Fri, 29-Mar-85 01:33:51 EST
Distribution: net
Organization: Ballistic Research Lab
Lines: 44

Given the following equations:

	v = w**2 - p

	x = v**2 - p

	y = x**2 - p

	z = y**2 - p

I re-write them as Macsyma "expressions":

	e1:	v - w**2 + p

	e2: 	x - v**2 + p

	e3:	y - x**2 + p

	e4:	z - y**2 + p

In Macsyma, I invoke "eliminate([e1,e2],[v])" which yields an
expression, say e5, involving x, w, and p.

Similarly, I invoke "eliminate([e3,e4],[y]" which yields an expression,
say e6, involving x, z, and p.

NOW:  When I try to invoke "eliminate" on e5 and e6 to eliminate x, it
returns the list [1].  

Why?

Thanks,

Brint
	 ARPA:  abc@brl.arpa
	 UUCP:  ...{decvax,cbosgd}!brl-bmd!abc

		  Dr Brinton Cooper
		  U.S. Army Ballistic Research Laboratory
		  Attn: AMXBR-SECAD (Cooper)
		  Aberdeen Proving Ground, MD  21005-5066

Offc:    301 278-6883    AV:  283-6883     FTS: 939-6883
Home:	 301-879-8927