HDTenEightyP/NetNews huggingface dataset:
From: masjpf@gdr.bath.ac.uk (J P Fitch)
Newsgroups: sci.math.symbolic
Subject: Re: help ; High Energy Physics & Maple
Date: 27 Jan 93 12:00:23 GMT
Organization: School of Mathematical Sciences, University of Bath, UK

REDUCE of course has been in the business of doing traces of Gamma
matrices and that kind of thing for many years.  I believe that it is
available for at least the CRAY, and Fujitsu (aka Siemens)
supercomputers, as well as a number of other high performance machines
(and indeed low performance machines down to MAC and 80286 PCs)

You can get more information on REDUCE by mailing
reduce-netlib@rand.org or reduce-netlib@can.nl or
redlib@elib.zib-berlin.de with the single line
	send info-package

==John ffitch


PSI just noticed that lThere is also a library routine in the latest
release entitled  
{CVIT - Program for fast calculation of Dirac's $\gamma$-matrices traces}
which comes from Moscow State University
Newsgroups: sci.math.symbolic
From: M18117@mwvm.mitre.org
Subject: Re: Non-linear Systems of Equations
Organization: The MITRE Corporation, McLean VA 22102
Date: Tue, 26 Jan 1993 15:51:37 GMT

In article <fck=A6@engin.umich.edu>
Shawn D. Way <shiva@engin.umich.edu> writes:
 
>
>        I am trying top solve systems of Non-Linear algebra equations with
>Mathematica for Windows. The regular Solve[] command or the NSolve
>command will not work. How do you go about this?
 
The Mathematica commands Solve[], NSolve[], and FindRoot[] can all be used to
solve systems of nonlinear equations.  The breakdown is as follows:
Solve[] - attempts to find symbolic solutions
NSolve[] - Finds numerical solutions to polynomial equations
FindRoot[] - Finds numerical solutions to general equations
 
FindRoot[] uses a simple Newton's method, and may or may not work well in a
particular case.
 
The problem is that the normal convention for Mathematica was not used here.
Usually, the function beginning with N is a numerical version of the
symbolic function that does not begin with N.  This convention was not
followed in this case.
From: dlj0@ns1.cc.lehigh.edu (DAVID L. JOHNSON)
Newsgroups: sci.math.symbolic
Subject: Re: Maple for Windows..(Is that 3.x or NT?)
Date: 21 Jan 93 20:15:24 GMT
Organization: Lehigh University

In article <C1693w.7G4@watdragon.uwaterloo.ca>, jjcarett@daisy.uwaterloo.ca (Jacques Carette) writes:
>In article <15JAN199311110479@pavo.concordia.ca> p_bapti@pavo.concordia.ca (BAPTISTA, PAUL) writes:
>
>The windows version uses the Watcom C 9.0 compiler, and is a full 32-bit
>version.  Speed-wise, it is within 2% of the DOS version.
>
I will second that.  It is far closer to the DOS-version speed than is
Mma.

>>	I am quite pleased with my DOS version but a windows version would
>>satisfy a few of the following :
>
>
Once you use this, I don't think you'll want to bother with the DOS version
any more.  The separate graphics windows, rotation in space for 3d-graphics
as on a workstation, speed, interface are all very well done.  A nice job!

-- 
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)
Newsgroups: sci.math.symbolic
From: ivab015@chpc.utexas.edu (Albert Wu)
Subject: Where to Get Mma Signal Processing Packages
Organization: The University of Texas System - CHPC
Date: Wed, 27 Jan 93 05:30:31 GMT

Hi, all.  I need help.  Would you tell me where ( ftp sites ) I can get
some Mma signal processing packages on the Mac ?  Thanks a lot.
Newsgroups: sci.math.symbolic
From: somlo@swifty.dap.CSIRO.AU (Peter Somlo)
Subject: How to autoraise Mathematica graphics windows?
Organization: CSIRO, Division of Applied Physics, Sydney
Date: Thu, 28 Jan 1993 04:37:09 GMT

I find that Mathematica, when asked to plot, will open new graphics windows
each time, whos names include an ever increasing serial number. That means
in effect, that every time I plot, the graphics window has a new name.
In my (Unix-based) .twmrc file, I must specify the names of the windows I
wish to have the autoraise facility applied to. Does any one know how to 
(a) suppress this re-naming of subsequent windows or
(b) declare the autoraise facility to all: "Mathematica Graphics: Out[n]"
names?
-- 
Dr Peter I. Somlo FIEEE | CSIRO Div. Appl.Phys. | "Every coin has three
Head RF/Microwave Proj. | Natl. Meast. Lab.     |  sides - at least"
FAX: 61-2-413-7383	| POB 218 Lindfield 2070|  (Somlo, cca. 1985)
TEL: 61-2-413-7505      | NSW AUSTRALIA         |
From: heading@ccint1.rsre.mod.uk (Anthony J.R. Heading)
Newsgroups: sci.math.symbolic
Subject: Automatic Theorem Proving?
Date: 26 Jan 93 16:49:12 GMT
Organization: Defence Research Agency
NNTP-Posting-Host: amigos.dra.hmg.gb

I want to write a computer algebra/theorem proving system, basically
as a learning exercise and a testbed for any new ideas I might have.
I guess, though, that this has been done a million times in the past,
so I want to find out about important existing systems. 

I've done a literature search which has revealed singularly little, so
the next approach is to ask the people on the ground...I don't want to
buy any of the commercial packages - I'm interested in finding out about
the underlying principles.

Can anyone refer me to articles, papers, or even software, from which
I can infer the current wisdom? Also, are there any meetings or
conferences which discuss this sort of thing?

Thanks
Anthony Heading
From: chuckb@stein.u.washington.edu (Charles Bass)
Newsgroups: sci.math.symbolic
Subject: References to pattern matching?
Date: 24 Jan 1993 02:40:42 GMT
Organization: University of Washington
NNTP-Posting-Host: stein.u.washington.edu

We are writing some code that mimics the Mathematica pattern
matching paradigm.  Using Scheme (lisp like language) we have a
system running that is within a factor of 5 to 10 of Mathematica.
We have many references to classical pattern matching (ie regex,
grep etc) and the language Snobol which used a pattern matching
style.

Does anyone have a reference to a paper on modern pattern
matching in symbolic math types of applications.  We have been
fairly unsuccessful at finding good references on this topic...

Any insight would be appreciated.

chuckb

PS I don't usually follow this group so email would be nice but
I will check back for the next week or so (1/23/93)
From: ccaajrl@ucl.ac.uk (Jack Levy)
Newsgroups: sci.math.symbolic
Subject: Re: Is Wolfram Res. still alive???
Date: 27 Jan 93 10:40:02 GMT
Organization: Bloomsbury Computing Consortium

schoen@ghost.dsi.unimi.it writes:

>In the last few months I sent three e-mail messages to register@wri.com,
>as well as a fax with my registration form of the (BUGGY) Mathematica v
>2.0.4 and an order form for v. 2.1 for Windows.

>Never got any answer!

>Do you know what happened to Wolfram Research??

>Maybe they are out of e-mail and fax, or simply they disregard
>customers?

I've met a similar silence to queries to support@wri.com.  I'm new to
Mathematica, so don't know if this is a temporary lapse.  It would be
interesting to hear other people's experience.  I could use the telephone
support, but I can describe problems more precisely using e-mail.

Jack Levy,
Computer Centre,
University College London,
e-mail: ccaajrl@ucl.ac.uk
Newsgroups: sci.math.symbolic
From: physpuls2@wombat.newcastle.edu.au
Subject: Numerical Integration in MMA
Organization: University of Newcastle, AUSTRALIA
Date: Mon, 25 Jan 1993 03:54:04 GMT

Hi,
   Does anyone have a Mathematica code for performing the  Adams Moulton
predictor corrector numerical integration for solving differential equations. 
                 Thanks
                 Gavin Dowdell
                 Department of Physics
                 University of Newcastle  Australia
Newsgroups: sci.math.symbolic
From: jkodish@muskwa.ucs.ualberta.ca (Kodish Jason)
Subject: Completing the Square
Organization: University Of Alberta, Edmonton Canada
Distribution: sci
Date: Wed, 27 Jan 1993 05:20:01 GMT


Does anyone know a routine for completing the square symbolicaly for Mathematica version 1.2? If so the help would be much appreciated. Thanks,       







Jason
 
Newsgroups: sci.math.symbolic
From: schoen@ghost.dsi.unimi.it
Subject: Re: Is Wolfram Res. still alive???
Organization: Computer Science Dep. - Milan University
Date: Thu, 28 Jan 1993 09:32:16 GMT

ccaajrl@ucl.ac.uk (Jack Levy) writes:

>schoen@ghost.dsi.unimi.it writes:

>>In the last few months I sent three e-mail messages to register@wri.com,
>>as well as a fax with my registration form of the (BUGGY) Mathematica v
>>2.0.4 and an order form for v. 2.1 for Windows.

>>Do you know what happened to Wolfram Research??

>>Maybe they are out of e-mail and fax, or simply they disregard
>>customers?

>I've met a similar silence to queries to support@wri.com.  I'm new to
>Mathematica, so don't know if this is a temporary lapse.  It would be
>interesting to hear other people's experience.  I could use the telephone
>support, but I can describe problems more precisely using e-mail.

Maybe stimulated by this net-discussion, but I got now a very prompt
and nice reply from Wolfram reseaarch. Everything is ok now!
Hope it will continue...
-- 
| Fabio Schoen (assoc .prof. of Op.Res.)        e-mail:                     |
| Dipartimento di Scienze della Informazione    schoen@ghost.dsi.unimi.it   |
| via Comelico 39/41 - I20135 Milano ITALY                                  |
| fax: +39 (2) 55006.276 or 373                 Tel: +39 (2) 55006.319      |
Newsgroups: sci.math.symbolic
From: vdroddy@afit.af.mil (Vincent A Droddy)
Subject: Symbolic integration
Originator: vdroddy@whale
Organization: Air Force Institute of Technology
Date: Tue, 26 Jan 1993 19:48:21 GMT

I am currently doing research on symbolic integration/differentiation.  If anyone has knowledge of public domain or commercial source code for that sort of thing, please email me at vdroddy@afit.af.mil.  I thank you in advance.
From: t16@nikhefh.nikhef.nl (Kasper Peeters)
Newsgroups: sci.math.symbolic
Subject: Re: help ; High Energy Physics & Maple
Date: 25 Jan 93 22:55:56 GMT
Reply-To: t16@nikhefh.nikhef.nl (Kasper Peeters)
Organization: Nikhef-H, Amsterdam (the Netherlands).

You might want to give 'FORM' a try. It's especially designed to do 
calculations in High Energy Physics with loads of gamma's. A freeware
version is available by ftp from 'canb.can.nl' (might be 'cana.can.nl').

Kasper
From: lee@math.washington.edu (John M. Lee)
Newsgroups: sci.math.symbolic
Subject: Re: Tensors in Maple
Date: 25 Jan 93 17:43:43
Organization: Mathematics Dept., U. of Washington
	<LEE.93Jan22114425@pythagoras.math.washington.edu>
	<2185@nikhefh.nikhef.nl>
NNTP-Posting-Host: pythagoras.math.washington.edu
In-reply-to: t16@nikhefh.nikhef.nl's message of 23 Jan 93 20:28:12 GMT

In article <2185@nikhefh.nikhef.nl> t16@nikhefh.nikhef.nl (Kasper Peeters) writes:

> I was aware of the fact that 'RICCI' can do a lot of these things. However,
> I also need to be able to substitute specific things into the components of
> various tensors, and I do need a system that does automatic dummy relabeling,
> not like 'RICCI' where the only way (correct me if I'm wrong) seems to
> perform every substution after explicit relabeling by 'NewDummy'

>   DefineTensor(a,1,Variance->Con)
>   DefineTensor(b,1) 
>   c=a[U[i]] b[L[i]]
>   e=NewDummy[c] * Newdummy[c]

> This is too complicated for the types of formulea I want to process.

One minor correction.  For the specific computation you wrote above, Ricci
will accept the following:

    e = c^2

You don't have to explicitly call NewDummy to relabel the dummy indices in
this case: Ricci interprets c^2 correctly and will relabel the indices when
necessary (e.g. when differentiating e).  Ricci also calls NewDummy
whenever it automatically performs substitutions containing dummy indices
(for example, in response to a user's DefineRelation command).  However, if
you wanted to multiply together two DIFFERENT expressions that both already
contained i as a dummy index, you would indeed have to use NewDummy
explicitly.  The only way Ricci could save you this trouble would be if it
checked EVERY product to see if the factors had duplicate dummy index
names, which would cost far too much time.

In any case, you're right that Ricci doesn't support substitution of
specific values for components of tensors.  Some day, hopefully.

Jack Lee
--
Jack Lee
Dept. of Mathematics
University of Washington
Seattle, WA
Newsgroups: sci.math.symbolic
From: mathelmr@nuscc.nus.sg (Helmer Aslaksen)
Subject: Teaching calculus with computers
Organization: Department of Mathematics, National University of Singapore
X-Newsreader: TIN [version 1.1 PL8]
Date: Thu, 28 Jan 1993 06:31:18 GMT

We're interested in using symbolic algebra (Mathematica or Maple) in
our introductory calculus/analysis course. We would like to hear about
relevant books/articles, or to hear from people who have tried it.
--
Helmer Aslaksen
Department of Mathematics
National University of Singapore
Singapore 0511
Republic of Singapore
mathelmr@nuscc.nus.sg
From: t16@nikhefh.nikhef.nl (Kasper Peeters)
Newsgroups: sci.math.symbolic
Subject: Re: Tensors in Maple
Date: 23 Jan 93 20:28:12 GMT
Reply-To: t16@nikhefh.nikhef.nl (Kasper Peeters)
Organization: Nikhef-H, Amsterdam (the Netherlands).

I was aware of the fact that 'RICCI' can do a lot of these things. However,
I also need to be able to substitute specific things into the components of
various tensors, and I do need a system that does automatic dummy relabeling,
not like 'RICCI' where the only way (correct me if I'm wrong) seems to
perform every substution after explicit relabeling by 'NewDummy'

  DefineTensor(a,1,Variance->Con)
  DefineTensor(b,1) 
  c=a[U[i]] b[L[i]]
  e=NewDummy[c] * Newdummy[c]

This is too complicated for the types of formulea I want to process.

MathTensor seems to be able to do all these things, but as it is commercial
and has a lot of things I really don't need, I'd still like to see something
in PD.

Thanks for the tip anyway,

Kasper
From: pjbk@cs.hw.ac.uk (Peter JB King)
Newsgroups: sci.math.symbolic
Subject: Mathematica bug?
Date: 25 Jan 93 12:45:36 GMT
Organization: Dept of Computing & Electrical Engineering, Heriot-Watt University, Scotland

I have found what appears to be some form of bug in Mathematica (
Version 2.1 for SPARC).  The following program includes as part of its
output

 Simplify`Gamma`Private`SimpGamma1 
 
which appears to be some sort of internal definition.  I can find no
mention of SimpGamma1 in the documentation.  Intuitively, it looks like
some sort of rule to simplify Gamma fundtions, but it does not appear to
have any arguments.  Is the answer I get correct if I replace this by
'1'?

Here is the program that demonstrates the bug.

rstar[s_] := tau / (tau + s )
rbar = 1/tau

b[t_] := mu E^(-mu t )
bstar[s_] := mu / (mu + s )
bbar = 1/mu


pstar[s_] := ( s + gamma ) Integrate[ E^(-(s+gamma)t) b[t] /
		(s + gamma(1 - rstar[s](1-E^(-(s+gamma)t)))), { t, 0,
								Infinity}] 
Print[pstar[s]]


-- 
Peter King, Computing & Electrical Eng.	JANET:	pjbk@uk.ac.hw.cee
  Heriot-Watt University		ARPA:	pjbk@cee.hw.ac.uk
  Riccarton, Edinburgh EH14 4AS 	UUCP:	..!uknet!cee.hw.ac.uk!pjbk
Phone: (+44) 31 451 3433                Fax: (+44) 31 451 3431
From: hugh@dciem.dciem.dnd.ca (Hugh D. Gamble)
Newsgroups: sci.math.symbolic
Subject: Curve fitting with Maple?
Date: 26 Jan 93 22:13:32 GMT
Organization: NTT Systems, Inc., Toronto, Canada

I know there are lots of s/w packages specifically for curve fitting,
and I could whip up a least squares fit algorithm in C and use it, but
what I want to do should be easy to do from Maple, I think, if I knew
how.

I want to fit a set of x,y datapoints to a 2nd order polynomial.
There's the interp function that will fit n datapoints to an n-1th
degree polynomial, but I can't see how to tell it to fit to a 2nd
order equation except by just giving 3 datapoints. :-(

If I could extract the code from the interp routine, it would probably
be easy to change it to accept the degree as a parameter.

I looked at regress from the stats package, but it didn't seem very
useful for this. Maybe it is, but I don't understand the input data
formats?

Is interp actually useful for curve fitting, or is it just a freebie
that's there because it was needed internally when drawing pretty
pictures? 

Comments? Thanks.



-- 
# Hugh D. Gamble, NTT Systems Inc. (at DCIEM (416) 635-2156) Std. Disclaimers #
# hugh@dciem.dciem.dnd.ca, hugh@kink.PhaedraV.On.Ca                           #
# "automata da vida, honey" - CA Butterfly                                    #
From: t16@nikhefh.nikhef.nl (Kasper Peeters)
Newsgroups: sci.math.symbolic
Subject: Tensors in Maple
Date: 21 Jan 93 13:30:06 GMT
Organization: Nikhef-H, Amsterdam (the Netherlands).

Can anyone tell me if it is possible to perform the following tensor-
manipulations with Maple:

   - automatic Einstein summation convention,
   - convenient notation for partial derivatives (like g[a,b,c] for
       \partial_c g_{a,b} )
   - automatic relabeling of indices whenever a substitution is made
        (eg.  A=B(mu)*B(mu);  C=A*A;  MAPLE:  C=B(mu)*B(mu)*B(N1)*B(N1) )

Kasper Peeters
From: U54294@uicvm.uic.edu
Newsgroups: sci.math.symbolic
Subject: Re: Automatic Theorem Proving?
Date: 28 Jan 93 00:55:52 GMT
Article-I.D.: uicvm.93027.185552U54294
Organization: University of Illinois at Chicago

In article <1k3q28INN82l@signal.dra.hmg.gb>, heading@ccint1.rsre.mod.uk (Anthony
J.R. Heading) says:
>
>I want to write a computer algebra/theorem proving system, basically
>as a learning exercise and a testbed for any new ideas I might have.
>I guess, though, that this has been done a million times in the past,
>so I want to find out about important existing systems.
>
>Thanks
>Anthony Heading
>
The title "Automated Reasoning" by Ewing, Overbeek, Lusk, Boyle (did I
forget anyone?) just came out in an expanded second edition. It includes
a diskette containing the Otter 2.2 theorem proving system. The text is
something of a tutorial, but you can easily skip to the more "formal"
chapters if you prefer. There is also a reference chapter on Otter and
a chapter on Prolog as a theorem proving system.
The disk contains source, documentation and executables for DOS. Other
versions are available for Unix. I believe that the publisher is
Prentice-Hall. All the authors are at Argonne National Labs here in the
beautiful Chicago area. You can contact otter@mcs.anl.gov for further
information on Otter. If you can't locate the book, get ahold of me and
I'll provide a fuller citation. The tome's at home.
+----------------------------------+------------------------------------+
|                                  | I have noted in a Manchester       |
|   Nick Geovanis                  | newspaper that I have proved might |
|   U54294@uicvm.uic.edu  <--BEST  | is right and therefore that every  |
|   GEONI02@hera.cai.com           | cheating tradesman is also right.  |
|                                  |      -- Darwin to Lyell, 1860      |
+-----------------------------------------------------------------------+
Newsgroups: sci.math.symbolic
From: rvk@blink.att.com (Bob Kline)
Subject: unexpected result
Organization: AT&T
Distribution: usa
Date: Wed, 27 Jan 1993 17:10:27 GMT
Summary: did not obtain correct solutions
Keywords: roots mma


	Running mma 2.1 on a Sparc-2, I input the following:

	Solve[{Sqrt[x]+y==11,x+Sqrt[y]==7},{x,y}].



	this results in four roots.  substituting the result in
	Sqrt[x]+y (or Sqrt[y]+x), only two of the roots are
	correct.  the other two are numbers like 14.nnn and 17.nnn.


	if someone has time, please see if your setup has any
	difficulty here.

	thanks.

	-r. kline
	rvk@blink.att.com

Newsgroups: sci.math.symbolic
From: phr@telebit.com (Paul Rubin)
Subject: Re: gnu symbolic math?
Organization: Telebit Corporation; Sunnyvale, CA, USA
Date: Sat, 23 Jan 1993 07:53:27 GMT

In article <1jqsfjINNjpt@shelley.u.washington.edu> smedley@hardy.u.washington.edu (William Warner) writes:

   I read some time ago about a gnu package billed as "the poor man's
   Mathematica". It was called calc, I think. How much symbolic
   manipulation can this package perform? What's the shortest route
   to the source code?
	   Bill Warner
	   smedley@u.washington.edu

It's calc.el, an Emacs Lisp package.  It is -amazing-.
It can do mostly the same symbolic operations as Mathematica
though it expects you to apply more manual control.
Unlike Mathematica, it can display equations with superscripts,
drawing radical signs etc. out of ascii characters, etc.
It can differentiate, integrate, solve equations, do arithmetic
with bignums, ratnums, complex numbers, matrices,
etc. though the algorithms are not always as sophisiticated
as programs like Mathematica.  On the other hand, it is
mroe convenient to use for simple things once you get used to
it.  It is set up like an calculator: most of the operations
are bound to short keystroke combinations, there is an
operand stack displayed on the screen etc.  

You can ftp it from prep.ai.mit.edu:pub/gnu/calc-2.02.tar.Z.
You also need GNU Emacs, which you can get from the same place.

Newsgroups: sci.math.symbolic
From: knapp@spot.Colorado.EDU (David Knapp)
Subject: Re: What about MathCad...?
Organization: University of Colorado, Boulder
Date: Thu, 21 Jan 1993 20:08:16 GMT

In article <9610001@hpfcso.FC.HP.COM> wayne@hpfcso.FC.HP.COM (Wayne Covington) writes:
>digennar@fcs280s.ncifcrf.gov (Frank S. DiGennaro) asked for opinions
>on MathCad.  So in a further effort to provoke a response from any MathCad
>users out there ...
>
>The advertisement with the $79 offer tells a person very little about what
>it can and cannot do.  So I visited some computer bookstores yesterday in
>hopes of learning more, but none of them had any books on MathCad.  Nor do I
>recall many MathCad postings in this group, even after Frank posted his
>inquiry.  If they are on version 3.1, it must have been around long enough
>to acquire a following.  Perhaps MathCad is shunned because its capabilities
>fall short of those of Maple, Mathematica, and other commonly mentioned
>computer algebra systems?


MathCad is not 'shunned', sir.  I am very impressed with Mathcad. I use
it, Macsyma and Mathematica regularly and MathCad is the cheapest, 
easiest to use math package there is.  I agree it does not have
the amount of funtions and procedures that the other packages have but
it is also a tiny fraction of the cost. It's interface is *much* moer 
user friendly and it does the daily calculations and plotting in 
a straightforward way.

It is a 'helluva' calculator for 80 bucks.


-- 
David Knapp                                      University of Colorado, Boulder
Perpetual Student                                   knapp@spot.colorado.edu