HDTenEightyP/NetNews huggingface dataset:
From: raghu@pico.engr.mun.ca (B. Raghu)
Subject: MAPLE V doubts
Organization: Memorial University of Newfoundland
Date: Tue, 12 Jan 1993 17:19:36 GMT

Dear Netters,

	I have the following problem in using MAPLE V. I have a data
	file with numbers in E format like,

		2.3300E-02  3.4000E-4. How would I read them in Maple ?
		Maple doesnot seem to accept E format. Please help
		me in this regard ?

			Thanx.


Newsgroups: sci.math.symbolic
From: lestrade@Ra.MsState.Edu (John Patrick Lestrade)
Subject: Novice asks for symbolic math suggestions...
Organization: Mississippi State University
Date: Tue, 12 Jan 1993 18:36:47 GMT

ok, assume i am computer literate and math literate and I am a late
comer to symbolic math packages.  is there a consensus of opinion as to
which package i should buy: mathematica, maple, axiom (i just saw a book
in the bookstore for Axiom -- is it a viable contender?) and if
mathematica is the best, which book should I buy.
thanks
patrick

--
John Patrick Lestrade        
cnesta::lestrade                       Let's try again in '96!
lestrade@ra.msstate.edu
From: wmcb@math.appstate.edu (Bill Bauldry)
Newsgroups: sci.math.symbolic
Subject: Re: mma big bad bug
Followup-To: sci.math.symbolic
Date: 6 Jan 1993 17:42:21 GMT
Organization: Appalachian State Univ, Math Sciences
Distribution: world
NNTP-Posting-Host: lynx.math.appstate.edu

In article <14073@ecs.soton.ac.uk>, hnr@ecs.soton.ac.uk (Harvey Rutt)
wrote:
> 
> In <1993Jan5.153704.2319@mail.cornell.edu> rz10@cornell.edu (Ray Zimmerman) writes:
> 
> >In article <1993Jan5.145612.11165@Arco.COM> , jrowney@arco.com writes:
> >>>Here is a bizzarre mma bug.  Try entering:
> >>>
> >>>Pi*Sqrt[Pi]/(2*3*Sqrt[2])
> >>>
> >>>This is very bad.  If anyone knows what is going on,
> >>>I would like to hear from them.
> >>>
> >>>Brett
> >>>
> >>
> >>Quite bizarre -- Mathematica just seems to stop dead in its tracks!
> >>
> >>Mac IIfx, MMA 2.102
> 
> >Hmmm, me too!
> >Mac IIci, MMA 2.102
> 
> Me too!! MMA2.0/Windows 3.1 486PC with 16MB
> So its not machine dependant.

Definitely not machine dependent! Here's a session from a Convex (courtesy
of tga@math.appstate)

In[2]:= Pi*Sqrt[Pi]/(2*3*Sqrt[2])

Interrupt> **after one minute**
??
Your options are:
        abort (or a) to abort current calculation
        continue (or c) to continue
        exit (or quit) to exit Mathematica
        inspect (or i) to enter an interactive dialog
        show (or s) to show current operation (and then continue)
        trace (or t) to show all operations

Interrupt> a


WARNING: disk quota (/cardinal/edu) exceeded

DISK LIMIT REACHED (/cardinal/edu) - WRITE FAILED
Bus error (core dumped)

---
Just how much did it cost for this *upgrade* ?

+=======================+===============================+
     Bill Bauldry       |   wmcb@math.appstate.edu
    Math. Sciences      | wmcb@lynx.math.appstate.edu
  Appalachian State U   |  BauldryWC@appstate.bitnet
   Boone, NC   28608    |       (704) 262-2355
+=======================+===============================+
When judging a mathematician you should only integrate f_+
and ignore f_-
- A Zygmund
From: dlj0@ns1.cc.lehigh.edu (DAVID L. JOHNSON)
Newsgroups: sci.math.symbolic
Subject: Re: mma big bad bug
Date: 6 Jan 93 01:55:04 GMT
Organization: Lehigh University

In article <mgh3-050193112839@math26647.math.cwru.edu>, mgh3@po.cwru.edu (mike hurley) writes:
>> >Here is a bizzarre mma bug.  Try entering:
>> >
>> >Pi*Sqrt[Pi]/(2*3*Sqrt[2])
>> >
>> >This is very bad.  If anyone knows what is going on,
>> >I would like to hear from them.
>> >
>> >Brett
>> Quite bizarre -- Mathematica just seems to stop dead in its tracks!
>> 
>From a look at this with tracing turned on, it seems that Mma is getting
>caught in an infinite loop, changing Sqrt[(Pi^3)/8]/3 into (Pi/2)^(3/2)/3
>and then back again. I'm speculating that the first change is an attempt
>to simplify the total expression and the second is an attempt to make the
>output "prettier". Bad news.  (mma 2.0 on a sparc; similar results with
>the windows version). 
>
The problem with this explanation is that, when you drop the 2*3, it doesn't
have any trouble...
-- 
Sincerely,

David L. Johnson                    ID:  dlj0@lehigh.edu
Christmas-Saucon Hall #14, rm 241        dlj0@chern.math.lehigh.edu
Department of Mathematics

Lehigh University                   Telephone: 215-758-3759 (office)
From: dlj0@ns1.cc.lehigh.edu (DAVID L. JOHNSON)
Newsgroups: sci.math.symbolic
Subject: Re: mma big bad bug
Date: 7 Jan 93 20:13:57 GMT
Organization: Lehigh University

>I tried out the bug and it worked fine. The problem is that if you
>do not use a period at the end of the numericals it goes into an 
>infinite loop. Hope this helps.
>
>
>In[3]:= bug = Pi*Sqrt[Pi]/(2.*3.*Sqrt[2.])
>
>Out[3]= 0.1178511301977579*Pi^(3/2)
>
>In[4]:= CloseLog[]
>
>
>Sridhar
>
Your ``solution'' rather begs the question, doesn't it, since the periods force
Mma into floating-point calculations.  The problem is with its *exact* 
arithmetic.

I still don't see how the explanations provided so far make sense, since 
removing the 3 from the denominator eliminates the problem.

Sorry to have responded, again, to this endless discussion.  Does anyone have
a real solution, or explanation?

-- 
Sincerely,

David L. Johnson                    ID:  dlj0@lehigh.edu
Christmas-Saucon Hall #14, rm 241        dlj0@chern.math.lehigh.edu
Department of Mathematics

Lehigh University                   Telephone: 215-758-3759 (office)
From: larsj@kih.no (Lars M. Johansen)
Newsgroups: sci.math.symbolic,fa.mathematica
Subject: Error: Mathematica local heap is full
Summary: Error when loading large notebooks
Keywords: Mathematica,local heap
Date: 6 Jan 93 12:45:56 GMT
Organization: Kongsberg College of Engineering


When I load notebooks of some size (3-4 pages??), I sometimes get these
annoying error messages:" Mathematica local heap is full". They may pop
up maybe 10-40 times in success, and afterwards my screen picture goes crazy.
Lines disappear etc. 

I'm running version 2 of Mathematica under MS Windows 3.1 on a 486 with 16 
MB RAM.

Has anyone encountered this problem? Please E-mail me. I appreciate any 
response.

What's this "local heap"-stuff anyway?

  Lars M. Johansen
  Dep. of Physics & Mathematics
  Kongsberg College of Engineering
  Norway
From: mgh3@po.cwru.edu (mike hurley)
Newsgroups: sci.math.symbolic
Subject: Re: mma big bad bug
Followup-To: sci.math.symbolic
Date: 5 Jan 1993 16:33:40 GMT
Organization: case western reserve u
Distribution: world
NNTP-Posting-Host: math26647.math.cwru.edu

In article <1993Jan5.145612.11165@Arco.COM>, jrowney@arco.com wrote:
> 
> In article <15326.2b48512a@ohstpy.mps.ohio-state.edu>
> vandesande@ohstpy.mps.ohio-state.edu writes:
> >
> >Here is a bizzarre mma bug.  Try entering:
> >
> >Pi*Sqrt[Pi]/(2*3*Sqrt[2])
> >
> >This is very bad.  If anyone knows what is going on,
> >I would like to hear from them.
> >
> >Brett
> >
> 
> Quite bizarre -- Mathematica just seems to stop dead in its tracks!
> 
> Mac IIfx, MMA 2.102
> 
> John
> jrowney@arco.com

From a look at this with tracing turned on, it seems that Mma is getting
caught in an infinite loop, changing Sqrt[(Pi^3)/8]/3 into (Pi/2)^(3/2)/3
and then back again. I'm speculating that the first change is an attempt
to simplify the total expression and the second is an attempt to make the
output "prettier". Bad news.  (mma 2.0 on a sparc; similar results with
the windows version). 

mike hurley   mgh3@po.cwru.edu
dept of mathematics
case western reserve univ. 44106-7058
Newsgroups: sci.math.symbolic
From: dhart@bronze.ucs.indiana.edu (Dave Hart)
Subject: Re: sum(k from f(n) to g(n) of h(n,k))
Organization: Indiana University
Date: Wed, 6 Jan 1993 21:40:58 GMT

In article <1993Jan4.155647.9643@iscsvax.uni.edu> kraai4712@iscsvax.uni.edu writes:
>Hello Symbolic Mathers!
>
>I was wondering which symbolic packages aren't afraid to evaluate,
>symbolically, summations whose bounds are functions.
>
>Oh, and are any of those that meet the first criterion able to draw spheres
>quickly?
>
>I know these two questions come together sooooo often.

	I don't know about your last assertion, or why you want to,
but Maple does:

e.g.,
>f := n->n^2;
>g := n->n^3;
>h := (n,k)->1/(1+n+k);
>subs( n=sqrt(2), sum( h(n,k), k=f(n)..g(n) ) );

produces psi(2 + 3*sqrt(2)) - psi(3 + sqrt(2)) 
[that's approximately .381872089]. [note that I don't claim
that this is programming, much less "good"].

"sphereplot" is a builtin function.
Newsgroups: sci.math.symbolic
Subject: Wanted: Jones function or equivalent to describe knots
From: C.B.Christie@massey.ac.nz (C.B. Christie)
Date: Wed, 6 Jan 93 05:04:06 GMT
Organization: Massey University, Palmerston North, New Zealand
X-Reader: NETNEWS/PC Version 2c



Hi guys, I am looking for a function to describe the looping of string
through a knot. I understand Vaughn Jones at  UCLA Berkley may have
developed an equation that does this particular job for a large number
of different knots.

Any assistance with the function would be most welcome.

Thanks very much

Bruce Christie
Department of Plant Science, Massey University
Palmerston North, New Zealand

email: C.B.Christie@massey.ac.nz
Newsgroups: sci.math.symbolic
Subject: Re: all intersections of a list of sets
From: a_rubin@dsg4.dse.beckman.com (Arthur Rubin)
Date: 4 Jan 93 19:58:11 GMT
Organization: Beckman Instruments, Inc.

In <C03MqH.DGA@news.cso.uiuc.edu> Richard J. Gaylord <gaylord@ux1.cso.uiuc.edu> writes:

>ulf wostner asked me how to return all of the intersections of a list of
>sets.

>eg., 

>AllIntersections[{{a,b,c},{b,c,d},{c,d,e}}]
>{{c}, {b, c}, {c, d}, {a, b, c}, {b, c, d}, {c, d, e}}

>he and i are surprised that Outer[Intersection, sets, sets] doesn't work
>at all {in fact, i can't figure out what its doing or why}.

>anyway, i made up a nested anonymous function kind of thing to do it. 

>AllIntersections[set_] :=
>Union[Flatten[Map[(Map[Function[y, Intersection[#,y]], set])&,set], 1]] 

>AllIntersections[{{a,b,c},{b,c,d},{c,d,e}}]
>{{c}, {b, c}, {c, d}, {a, b, c}, {b, c, d}, {c, d, e}}

AllIntersections[set_] :=
List @@ Union[Flatten[Outer[Intersection,list$ @@ set,list$ @@ set]]]

Outer[f,ax,bx] doesn't work the way I would expect if any head of a member
of ax is the same as the head of ax.
--
Arthur L. Rubin: a_rubin@dsg4.dse.beckman.com (work) Beckman Instruments/Brea
216-5888@mcimail.com 70707.453@compuserve.com arthur@pnet01.cts.com (personal)
My opinions are my own, and do not represent those of my employer.
My interaction with our news system is unstable; please mail anything important.
Newsgroups: sci.math.symbolic,sci.math.num-analysis,sci.math,sci.math.stat,sci.comp-aided,sci.astro,sci.bio,sci.med,sci.misc,sci.physics,sci.edu,sci.aeronautics,comp.robotics,sci.engr,sci.engr.civil,sci.engr.mech
From: ramin@crchh775.BNR.CA (Ramin Moshiri-Tafreshi)
Subject: Kidney Transplant Information Needed
Date: Tue, 5 Jan 1993 20:20:22 GMT
Reply-To: ramin@crchh775.BNR.CA (Ramin Moshiri-Tafreshi)
Organization: Bell-Northern Research Ltd.


I would appreciate any information on Kidney Transplant options in the
USA.  Does
anyone know about Kidney transplant centers (all, or in the southern
states), and the
number and success rate of those transplants.

Any statistics and Phone numbers are appreciated.


Reagrds;
Ramin
Newsgroups: sci.math.symbolic
From: mek@guinan.psu.edu (Mark E. Kotanchek)
Subject: Re: Novice asks for symbolic math suggestions...
Organization: Penn State Center for Academic Computing
Date: Tue, 12 Jan 93 20:41:16 GMT

In article <lestrade.726863807@Ra.MsState.Edu> lestrade@Ra.MsState.Edu  
(John Patrick Lestrade) writes:
> ok, assume i am computer literate and math literate and I am a late
> comer to symbolic math packages.  is there a consensus of opinion as to
> which package i should buy: mathematica, maple, axiom (i just saw a book
> in the bookstore for Axiom -- is it a viable contender?) and if
> mathematica is the best, which book should I buy.
> thanks
> patrick
> 
> --
> John Patrick Lestrade        
> cnesta::lestrade                       Let's try again in '96!
> lestrade@ra.msstate.edu

If you opt for Mathematica, buy ALL the books as the on-line help is  
worthless--IMHO, based upon experiences with Mathematica 2.1 on my  
NeXTstation--unless you are already aware of the existence of the command. 

If you opt for Mathematica, the essential book is "Mathematica Quick  
Reference, Version 2" by Nancy Blachman which summarizes all of the  
commands and their options.

Personal opinion is that all of them have serious flaws and ugly user  
intefaces (even if Mathematica does produce nice graphics after a bit of a  
struggle). The only one which adequately handles variables and functions  
defined on an interval is Derive and that's only available for MS-DOS.

In any event, dealing with Maple (best help--at least on a Mac),  
Mathematica (best graphics), Macsyma (no experience), Axiom (only for the  
RS/6000), or Derive (only MS-DOS) is that you'll be inspired to expand  
your vocabulary in new and colorful ways.

Mark.
--
Mark Kotanchek
Guidance & Control Dept - 363 ASB
Applied Research Lab/Penn State
P.O. Box 30
State College, PA 16804
From: adler@acf3.NYU.EDU (Andre Adler,Meyer 258,998-7661,)
Newsgroups: sci.math.symbolic
Subject: Re: wolfram interview in jan. dr. dobbs j.
Date: 5 Jan 93 21:53:00 GMT
Organization: New York University

/* acf3:sci.math.symbolic / Richard J. Gaylord <gaylord@ux1.cso.uiuc.edu> /  4:49 am  Jan  4, 1993 */
just wanted to pass along the info. that an interview with stephen
wolfram appears on pp. 109-112 of the january issue of dr. dobbs journal.
it deals with the design of the mathemtica programming language.
/* ---------- */

There is a second part to that interview with Stephen Wolfram in the
February issue of Doctor Dobbs.

Andre Adler
NYU
Department of Physics
Newsgroups: sci.math.symbolic,sci.math,alt.uu.math.misc
From: rbm2273@ultb.isc.rit.edu (R.B. Mead)
Subject: What Solve?
Originator: rbm2273@ultb
Organization: Rochester Institute of Technology
Date: Mon, 4 Jan 1993 06:52:13 GMT

What is "What Solve"?  (Math package available on IBM/PC type machines)

Can someone explain the capabilities of this package and on what platforms
it is available?

What alternate packages are available?

Regards ... rbm2273@ultb.isc.rit.edu

Newsgroups: sci.math.symbolic
From: Richard J. Gaylord <gaylord@ux1.cso.uiuc.edu>
Subject: wolfram interview in jan. dr. dobbs j.
X-Xxdate: Mon, 4 Jan 93 03:50:12 GMT
X-Useragent: Nuntius v1.1.1d13
Organization: University of Illinois
Date: Mon, 4 Jan 1993 09:49:20 GMT
X-Xxmessage-Id: <A76D647428029B16@mm-mac22.mse.uiuc.edu>

just wanted to pass along the info. that an interview with stephen
wolfram appears on pp. 109-112 of the january issue of dr. dobbs journal.
it deals with the design of the mathemtica programming language.
From: vandesande@ohstpy.mps.ohio-state.edu
Newsgroups: sci.math.symbolic
Subject: more on mma big bad bug 
Date: 7 Jan 93 18:17:56 EST
Organization: The Ohio State University, Department of Physics


Pi Sqrt[Pi]/(2 2 Sqrt[2])

The explanation for the "big bad bug" from Wolfram is that 
the Simplification rules for Power conflict.  The expression
is "simplified" back and forth between two different forms.
Will fix in another release, they say.  There is no really 
satisfactory fix.

Here is another big bad bug:

Integrate[E^( - k1*r[1]),{k1, 0, Infinity}]

Note that this expression correctly evaluates in version 2.0.

Brett
Newsgroups: sci.math.symbolic
From: Richard J. Gaylord <gaylord@ux1.cso.uiuc.edu>
Subject: Re: Mathematica and Virtual on a Mac
X-Xxdate: Tue, 12 Jan 93 02:59:48 GMT
X-Useragent: Nuntius v1.1.1d13
Organization: University of Illinois
Date: Tue, 12 Jan 1993 08:59:08 GMT
X-Xxmessage-Id: <A777E4A4CC019B16@mm-mac22.mse.uiuc.edu>

Subject: Mathematica and Virtual on a Mac
From: Anthony E. Siegman, siegman@EE.Stanford.EDU
Date: Mon, 11 Jan 93 20:50:44 GMT
In article <1993Jan11.205044.9070@EE.Stanford.EDU> Anthony E. Siegman,
siegman@EE.Stanford.EDU writes:
>
>   I'm about to try Mathematic 2.03 in combination with Virtual from
>Connectix on a Mac II (or an SE/30) as a way of handling some problems
>with very large arrays which overflow the 8 MB of RAM on my Macs.
>Anyone have any useful hints or warnings about this?  (I understand
>that the execution speed is not likely to be greatly enhanced by doing
>this.)

=================

i used to run Mathematica on a Mac II with a Connectix's Virtual (in
fact, i beta tested a couple of versions of their product using
mathematica) with no problem. The system 7 virtual is much slower than
connectix's [and 7.1's virtual is impossibly bad] and is pretty awful
(its standard apple policy to take the work of third part developer's and
make an inferior version of their own).
From: rclark@lpl.arizona.edu (Richard Clark x4971)
Newsgroups: sci.math.symbolic
Subject: Re: mma big bad bug
Date: 6 Jan 93 12:09:22 GMT
Organization: Lunar & Planetary Laboratory, Tucson AZ.

In article <1icn2vINNer6@crcnis1.unl.edu> me@ienext.unl.edu writes:
>In article <15326.2b48512a@ohstpy.mps.ohio-state.edu>  
>vandesande@ohstpy.mps.ohio-state.edu writes:
>> 
>> Here is a bizzarre mma bug.  Try entering:
   [ deleted ]
>> Brett
>
>Finally! Here it is, the payoff for not upgrading! :^)
>
>Pi*Sqrt[Pi]/(2*3*Sqrt[2])
>
>    3/2
>  Pi
>----------
>6 Sqrt[2]
>
>Mathematica 1.0 on a NeXTCube '030. (What price progress?)
>
>----------------------------------------------------------------
> Dan Scott   me@ienext.unl.edu     NeXT mail welcome
>----------------------------------------------------------------


Mma 1.2 for Sun Sparc also has not had this improvement added.

Richard Clark
rclark@lpl.arizona.edu
Newsgroups: sci.math.symbolic
From: Ray Zimmerman <rz10@cornell.edu>
Subject: Re: mma big bad bug
X-Xxmessage-Id: <A76F173B9B03E0B5@ziklag.ee.cornell.edu>
X-Xxdate: Tue, 5 Jan 93 15: 45:15 GMT
Nntp-Posting-User: rz10@cornell.edu
Organization: Electrical Engineering, Cornell University
X-Useragent: Nuntius v1.1.1d16
Date: Tue, 5 Jan 1993 15:37:04 GMT

In article <1993Jan5.145612.11165@Arco.COM> , jrowney@arco.com writes:
>>Here is a bizzarre mma bug.  Try entering:
>>
>>Pi*Sqrt[Pi]/(2*3*Sqrt[2])
>>
>>This is very bad.  If anyone knows what is going on,
>>I would like to hear from them.
>>
>>Brett
>>
>
>Quite bizarre -- Mathematica just seems to stop dead in its tracks!
>
>Mac IIfx, MMA 2.102

Hmmm, me too!
Mac IIci, MMA 2.102

:::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
 Ray Zimmerman           \ 397 Theory Center, Electrical Engineering
                          \ Cornell University, Ithaca NY  14853
 Ray-Zimmerman@cornell.edu \ Phone: 607-254-8819  Fax: 607-255-9072
:::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
        "The number you have dialed is imaginary.
                    Rotate phone 90 degrees and try again."
Date: Tue, 12 Jan 1993 15:38:10 CET
Newsgroups: sci.math.symbolic
From: keichhor@risc.uni-linz.ac.at (Kurt Eichhorn)
Distribution: usa
Organization: RISC, J.K. University of Linz, Austria
Subject: Re: Maple problem

In article <1993Jan6.200956.8242@sifon.cc.mcgill.ca>, mefels@triples.math.mcgill.ca (Mark Fels) writes:
>
> Anyone know what's going on here...
>
>
>
> simplify(a^2*b^2,{a*b=sqrt(2),a^2=2+sqrt(2),b^2=2-sqrt(2)});
>
>                                        0
>
> Thanks,
>Mark Fels.

Maple V Release 2 gives a different answer:

      > simplify(a^2*b^2,{a*b=sqrt(2),a^2=2+sqrt(2),b^2=2-sqrt(2)});
      Error, (in simplify/siderels)
      invalid side relations:  Grobner basis contains the element 1

But all Versions do it correct, if one omits th last rule:

      > simplify(a^2*b^2,{a*b=sqrt(2),a^2=2+sqrt(2)});

                                       2


Probabbly the troubles come from the fact that if a^2=2+sqrt(2), a could
be positive or negative. This might lead to a contradiction (a*b = "-sqrt(2)")
in the rules. From a contradiction one can conlude everthing:

      > simplify(a*b,{a=1,b=2});

                                       2

but
      >  simplify(a*b,{a=1,b=2,a+b=4});

                                       0


Gruetzi, Kurt.

P.S.: There was a long discussion on this topic in this newsgroup
a few months ago. The real "funny" thing is the error message in V.2.
Newsgroups: sci.math.symbolic
From: ted@tau.ma.adfa.oz.au (Ted Catchpole)
Subject: Maple "subs" problem
Reply-To: e-catchpole@adfa.edu.au
Organization: Maths Dept. ADFA
Date: Mon, 4 Jan 1993 05:29:18 GMT

I'm a beginning maple user, stuck on what is probably a
trivial problem. It's to do with "subs". Here it is:

> with(linalg):

> f := proc(x,y) x[1]*x[2]/(y[1]^2+y[2]^2) end:

> g := proc(x,y) grad(f(x,y),y) end:

Now what I wnat is g([1,2],[3,4]).

> f([1,2],[3,4]);
                                      2/25
But . . . 

> g([1,2],[3,4]);
Error, (in grad) wrong number (or type) of parameters in function diff;

This works . . .

> subs(y[1]=3,y[2]=4,g([1,2],y)); 
                                     12     16
                                [ - ---, - --- ]
                                    625    625

but this doesn't . . . 

> y := vector(2):

> subs(y=[3,4],g([1,2],y)); 

                      [3, 4][1]                       [3, 4][2]
       [ - 4 --------------------------, - 4 -------------------------- ]
                       2            2 2                2            2 2
             ([3, 4][1]  + [3, 4][2] )       ([3, 4][1]  + [3, 4][2] )


                
I really need to use the second form, as my real example has (long) vectors of 
runtime-specified length, and it's horrible having to use the first form.
                                                                             
Can anyone help please?

-------------------
Dr E.A. (Ted) Catchpole		Phone	 : +61 6 268 8895
Dept. of Mathematics		Fax      : +61 6 268 8886
University College		Internet : e-catchpole@adfa.edu.au
Canberra  ACT 2600	
AUSTRALIA			
--------------------
Newsgroups: sci.math.symbolic
From: steve@ramsey.cs.laurentian.ca (Stephen R. Czapor)
Subject: Re: Maple problem
Keywords: Maple bug
Organization: Dept. of Computer Science, Laurentian University, Sudbury, ON
Date: Tue, 12 Jan 1993 20:26:48 GMT

In article <19930112.153810648363.NETNEWS@ALIJKU11> keichhor@risc.uni-linz.ac.at (Kurt Eichhorn) writes:
>In article <1993Jan6.200956.8242@sifon.cc.mcgill.ca>,
>mefels@triples.math.mcgill.ca (Mark Fels) writes:
> >
> > Anyone know what's going on here...
> >
> > simplify(a^2*b^2,{a*b=sqrt(2),a^2=2+sqrt(2),b^2=2-sqrt(2)});
> >
> >                                        0
>
>Maple V Release 2 gives a different answer:
>
>      > simplify(a^2*b^2,{a*b=sqrt(2),a^2=2+sqrt(2),b^2=2-sqrt(2)});
>      Error, (in simplify/siderels)
>      invalid side relations:  Grobner basis contains the element 1
>
>      [ rest of posting deleted ]

Actually, the problem is due to a bug in `simplify/siderels`:  it
computes a Groebner basis for the side relations with respect to
the wrong set of indeterminates, and produces a contradiction that
was not intended.  (As Kurt pointed out in his posting, from there
anything can happen - so simplify complains in the new release.)

This has been passed along to the appropriate folk(s).

-------------------------
Steve Czapor [ steve@ramsey.cs.laurentian.ca ]
Dept. of Math. & C.S., Laurentian University