HDTenEightyP/NetNews huggingface dataset:
From: monagan@inf.ethz.ch (Michael)
Subject: Re: galois problem
Summary: galois routine in Maple
Organization: Dept. Informatik, Swiss Federal Institute of Technology (ETH), Zurich, CH
Date: Tue, 28 Jul 1992 09:47:47 GMT

In article <Bs2CE0.Cx7@cs.psu.edu>, sibley@math.psu.edu (David Sibley) writes:
> 
> In the following:  What does the error message mean?  Why won't maple
> find the Galois group?  A change of variables does work to allow the
> Galois group to be computed, but I don't think I should have to do
> that.  (Anyway, how would I know what change of variables would work?)
> 
> Environment: Sparcstation running SunOS 4.1.1.
> 
> David Sibley
> sibley@math.psu.edu
> -----------------------------------------------------
>     |\^/|      MAPLE V
> _|\|   |/|_.  Copyright (c) 1981-1990 by the University of Waterloo.
>  \  MAPLE  /   All rights reserved.  MAPLE is a registered trademark of
>  <____ ____>   Waterloo Maple Software.
>       |        Type ? for help.
> > f:=1+2*x+3*x^2+4*x^3+5*x^4+6*x^5+7*x^6;
>  
>                                   2      3      4      5      6
>                 f := 1 + 2 x + 3 x  + 4 x  + 5 x  + 6 x  + 7 x
>  
> > galois(f);
> Error, (in unknown) division by zero
> >
> 

Dear David,

It is a bug in the subroutine cyclepattern that was introduced
in Maple V by someone who was trying to speed up the code.
John Mckay pointed the bug out to me in June and we have fixed it.
I have put the correction in the share library -- but I haven't
distributed this yet.
Here is a correct version of the cyclepattern subroutine.


cyclepattern := proc(f, x, p) local g ;
    g := (f / lcoeff(f mod p, x)) mod p ;
    op( sort(
       map( proc(f) f[2] $ iquo(degree(f[1]),f[2]) end, DistDeg(g,x) mod p ),
         proc(x,y) evalb( x > y ) end ) )
end:


What you need to do is to read this code into Maple after loading the
galois code, so that the wrong routine is overwritten.
The output of your example appears below

Mike


    |\^/|      MAPLE V
._|\|   |/|_.  Copyright (c) 1981-1990 by the University of Waterloo.
 \  MAPLE  /   All rights reserved.  MAPLE is a registered trademark of
 <____ ____>   Waterloo Maple Software.
      |        Type ? for help.
> readlib(galois): # first read in the galois code
> read cyclepattern; # now read in the fix
> f:=1+2*x+3*x^2+4*x^3+5*x^4+6*x^5+7*x^6;

                                  2      3      4      5      6
                f := 1 + 2 x + 3 x  + 4 x  + 5 x  + 6 x  + 7 x

> galois(f);
bytes used=1001720, alloc=720764, time=5.116
bytes used=2001992, alloc=1048384, time=29.833
bytes used=3006404, alloc=1113908, time=46.666
bytes used=4012864, alloc=1310480, time=86.833
bytes used=5013376, alloc=1310480, time=170.416
bytes used=6013724, alloc=1507052, time=174.166
bytes used=7022460, alloc=1507052, time=203.950
bytes used=8047840, alloc=1507052, time=305.283
                  PGL2(5), 120, {(1 2 3 4 5), (1 6)(2 3)(4 5)}

> quit

Mike
Newsgroups: sci.math.symbolic
From: nash@ucselx.sdsu.edu (Ron Nash)
Subject: Macsyma for Sun
Keywords: macsyma sun
Organization: San Diego State University
Distribution: usa
Date: Thu, 30 Jul 1992 22:38:03 GMT


I'm looking for a version of Macsyma for Sun sparc systems.  Any pointers
would be appreciated.


-- 
Ron Nash 	San Diego State University
Internet:  	nash@ucselx.sdsu.edu
Gin-N-Tonic	6 year old Arab/Saddlebred endurance horse
Luv on Fire	9 year old Arab, trusty trail horse
Newsgroups: sci.math.symbolic
From: mek@guinan.psu.edu (Mark E. Kotanchek)
Subject: Re: Mathematica -> Framemaker?
Organization: Penn State Center for Academic Computing
Distribution: comp,sci
Date: Thu, 30 Jul 92 18:19:53 GMT

In article <1992Jul30.105159.14113@vax5.cit.cornell.edu>  
sxh@vax5.cit.cornell.edu (Ray Zimmerman) writes:
> Anybody know of a way to get Mathematica expressions into Framemaker?
> I'm using Mathematica 2.0 (soon to have 2.1) and FrameMaker 3.0 on a
> Mac IIci.
> 
> Any help is greatly appreciated.

Included with FrameMaker on my NeXTstation under the directory  
LocalLibrary/FrameMakerDocs/FrameExtras is a Mma notebook to transfer  
equations between FrameMaker and Mathematica under the moniker  
Equations.ma:

  "This document gives a short tutorial on using the sample
   definitions for transferring  equations between FrameMaker &
   Mathematica. The definitions are not  complete, but allow
   simple equations to be sent between FrameMaker and 
   Mathematica. Users are encouraged to copy and complete the
   definitions. Frame Technology makes no guarantees as to the
   quality of the definitions, and does not support the
   definitions. The definitions were created by a rookie 
   Mathematica user, and have not yet been reviewed by a
   proficient user. There may be glaring inefficiencies."

Although I didn't find this with a quick scan of the FrameMaker files on  
my Powerbook, if you request such from comments@frame.com those kind souls  
should be able to send you the appropriate file.

If anybody has enhanced or knows of an improved version of this notebook,  
I'd appreciate it if they'd post a message to that effect.

Mark.
--
Mark Kotanchek
Guidance & Control Dept - 363 ASB
Applied Research Lab/Penn State
P.O. Box 30
State College, PA 16804

Newsgroups: sci.math.symbolic
From: branham@binah.cc.brandeis.edu (Tom Branham, Biophysics Grad. Brandeis)
Subject: Re: Review of Maple
Reply-To: branham@binah.cc.brandeis.edu
Organization: Brandeis University
Date: Sun, 26 Jul 1992 03:53:39 GMT

I do not know if this willl be of direct applicability to you, but there
is a comparative review of Mathematica, Maple, and several other symbolic
packages running on a PC platform in the latest PC Magazine (August I
believe).  As to the rigor and extent of the testing, I do not really know.
The description of their testing seemed a little sketchy to me, except where
there were specific failings of a program.  To very briefly summarize though
they recommended Maple and Mathematica for heavy duty symbolic duty and s
MathCad for light duty.
                              .......Tom Branham
Newsgroups: sci.math.symbolic
From: dcheenne@unlinfo.unl.edu (Dominique J. Cheenne)
Subject: Theorist for the mac. Also Maple question.
Keywords: theorist,mac
Organization: University of Nebraska - Lincoln
Date: Wed, 29 Jul 1992 22:14:06 GMT


Does anyone on this group have comments about the software called "Theorist"
by Prescience Inc.? It received a 5 mice rating from MacUser magazine a couple
of years ago but I cannot find much info on it...
Another question that I have concerns the quality of Maple on a mac.... How
good is the interface? 

Thanks for your comments!

Dominique J. Cheenne
dcheenne@unlinfo.unl.edu

Newsgroups: sci.math.symbolic
From: manuel@space.ualberta.ca  (John Manuel)
Subject: I need help with slow Mma code
Reply-To: manuel@space.ualberta.ca  (John Manuel)
Organization: University Of Alberta, Edmonton Canada
Date: Tue, 21 Jul 1992 22:50:45 GMT

I've got a particularly slow section of Mma code which I've GOT to speed up.  
Here's the offending section:

xyz = Select[xyz, ((MemberQ[xSubSampleA, #[[1,1]]]
                    &&
                    MemberQ[ySubSampleA, #[[1,2]]])
                   ||
                   (MemberQ[xSubSampleB, #[[1,1]]]
                    &&
                    MemberQ[ySubSampleB, #[[1,2]]])) &];

xyz is a 20,000 X 2 X 2 array of real numbers and the SubSample arrays are  
each <100 elements in length and are also composed of real numbers. The code  
extracts a subset of values from xyz (usually about 1,000 elements of the  
20,000) for later processing, but does so quite slowly (~4 minutes in 2.0 on  
a NeXT).

Does anyone know of a more efficient, but still concise, way to do this?

--
John R. Manuel                 Department of Physics, University of Alberta
manuel@space.ualberta.ca                 Edmonton, Alberta, CANADA, T6G 2J1
Office: (403) 492-2526          (NeXTMail OK)           Fax: (403) 492-0714
Newsgroups: sci.math.symbolic,comp.sys.next.software
From: smithw@hamblin.math.byu.edu (Dr. William V. Smith)
Subject: MapleV on NeXT Computers
Organization: Brigham Young University-Math. Dept
Date: 27 Jul 92 00:44:57

MapleV is about to be available on NeXT platforms.  It is a debugged
version of the earlier announced one.  I just finished running it
through its paces and it works great.  Some features were missing
from the frontend, such as conversion of "cell" contents from formatted
to unformatted and back (maple uses the term "prettyprint" for formatted
text) by menu selection, but I think this will be forthcoming.(This can
be done using the appropriate maple commands).  The (NeXT specific) 
kernel bugs and frontend bugs are mostly gone and this is an excellent
first version of maple on this platform.  The help files are the usual
ones for maple, on the NeXT they open in seperate windows as do plots. 
The only suggestion I have here is that the Maple people make the help files
available as ordinary text so they can be accessed under digital librarian.
That way, you don't have to start up another copy of maple to look at
a help file while the system is chugging along with a big compute.
Of course, you could always just launch two copies of maple, one for
"help" and the other for heavy computes, if you're into that like me.
As maple becomes more and more oriented as a "frontend" capable system
I think we will see perhaps the best commercial computer algebra system
available - in terms of all-around capability.  
 This system is generally very efficient for symbolic computation 
and the I have to say that in my experience, the Waterloo folks 
offer excellent support for their customers.  I recommend this first
version of maple on NeXT platforms as a great start.  I really look
forward to future versions.
I'm not connected with the developers of MapleV in any way, just a 
pleased customer.  
-Bill
--
EMail:  smithw@hamblin.math.byu.edu  or  uunet!hamblin.math.byu.edu!smithw
SMail:          Math Dept. -- 314 TMCB; BYU; Provo, UT 84602 (USA)
NeXTmail:                   bill@mathnx.math.byu.edu
Phone:            +1 801 378 2061         FAX:  +1 801 378 2800
Newsgroups: sci.math.symbolic
From: hshlswe1@w222zrz.zrz.tu-berlin.de (Hilmar Schlegel)
Subject: Re: Lie, Axiom, CoCoA
Reply-To: hshlswe1@w222zrz.zrz.tu-berlin.de (Hilmar Schlegel)
Organization: ZRZ/TU-Berlin
Date: Tue, 28 Jul 1992 09:57:47 GMT

In article <1992Jul28.083914.6071@nuscc.nus.sg>, mathelmr@nuscc.nus.sg
(Helmer Aslaksen) writes:
> Do anybody know any programs suitable for Lie theoretical problems?
> Where can I get Axiom or CoCoA?
> --
> Helmer Aslaksen
> Dept of Math
> National University of Singapore
> Republic of Singapore
For computations with Lie algebras I can recommend you the program Lie
(as the name says).
This is available from CAN (Computer Algebra Netherlands) : can@can.nl
I'm sure they are willing to support you at least with information.
Axiom is more general purpose and needs more resources (32 MB RAM and
approx.100MB disk).
Axiom is available on IBM-RS and distributed from NAG.
I hope this is of some service for you.
Hilmar Schlegel
 hshlswe1@w250zrz.zrz.tu-berlin.de
###
From: majid@nakano.me.tohoku.ac.jp (Majid Nili Ahmadaabaady)
Newsgroups: sci.math.symbolic
Subject: Question about Mathlink
Date: 28 Jul 92 04:15:09 GMT
Organization: Robotic Lab., Dept. of Machine intelligence & Sys. Eng., Tohoku
	Univ.,Japan



 I want to use Mathematica's functions in my C programs but I have a
problem . My problem is changing the  function's parameters  inside a loop.
On the other hand my problem is sending the
parameters , functions and symbols separately like NSolve[Pow[x,2]-a==1,x]
because if it is possible "a" can changes. Do you have any suggestion or
do you know any way ?

Thank you in advance.
--
Newsgroups: sci.math.symbolic
From: siegman@EE.Stanford.EDU (Anthony E. Siegman)
Subject: "Subroutines" in Mathematica?
Organization: Stanford University
Date: Sun, 26 Jul 92 17:58:10 GMT

I want to collect a bunch of commands (several pages long) into a
subroutine I can call repeatedly.  I could try a Package of course,
but they're complex and I have only global variables, don't need
context changes or arguments, and just want the simplest solution.  So
far I've been using

      mySub = Hold[expr1, expr2, expr3, ...]

all in one long cell, then later on

      x = 1; a = 3; ... ; ReleaseHold[mySub]

to evaluate with global variable values as shown.  Is there a simpler
way?
Newsgroups: sci.math.symbolic
From: barry@ramsey.cs.laurentian.ca (Barry G. Adams)
Subject: Postscript output with Maple V
Keywords: Maple, postscript, plotting
Organization: Dept. of Computer Science, Laurentian University, Sudbury, ON
Date: Tue, 28 Jul 1992 18:30:35 GMT

I have been using Maple to produce Postscript output for 3D
plots using an interface command such as

   interface(plotdevice=postscript,plotoutput=`temp.ps`);

Now I should be able to get gray scale shading for 3D plots
using plot3d and the style = PATCH option but the Postscript
output always sets each patch to white using a

    1.0 setgray fill

command. One of the nice features of Postscript is the ability
to do shading.  Is this not implemented yet in Maple V or am
I doing something wrong?

Barry Adams (barry@ramsey.cs.uwaterloo.ca)

Newsgroups: sci.math.symbolic
From: fred@wuee1.wustl.edu (Fred U. Rosenberger)
Subject: Naive questions on plotting with Mathematica
Organization: Washington University, St. Louis Mo.
Distribution: usa
Date: Tue, 28 Jul 1992 13:14:33 GMT

Sorry to ask these naive questions on plotting but I could not find the
answers myself.

Is there a good reference to plotting data with Mathematica?
Something better than the Wolfram book (and the Technical Report:
"Guide to Standard Mathematica Packages"?)

We are running Mathematica 2.1 on Sun Sparcstations


(* --------------------------------------------------------------- *)


(* How does one use ShowLegend?  I could get legends with Plot
   but not with ShowLegend *)

<<Graphics`Legend`

(* this does not show the legend, it generates a plot with no legend *)
ShowLegend[Plot[{Sin[x], Cos[x]},{x,-2 Pi, 2Pi}], PlotLegend -> {"S","C"}]

*( This draws the plot and the legend *)
Plot[{Sin[x], Cos[x]},{x,-2 Pi, 2 Pi}, PlotLegend -> {"S","C"}]


(* ---------------------------------------------------------------- *)
 (* TEST CASE FOR LABELING ALL FOUR FRAME EDGES, PUTS TICKS BUT DOES NOT
    LABEL TOP OR RIGHT EDGE OF FRAME.
    As I read description on page 422 of Wolfram's second edition (1991),
    I should be able to set labels for ticks on all four edges of frame.
    I want to do this to get two different scales.
    But, my attempts to label tick marks on the top or right side of
    the frame fail.  Ticks are placed as specified but
    no labels.  I can set labels on the bottom and left side of 
    the frame as the example shows.
 *)

  Plot[Np, {Np, 1, 32},
    FrameLabel -> {"Number of Processors" ,"Speedup",
       "","Time in hours"},
    Frame -> True,
    FrameTicks -> {{1,2,4,{8,"testbot"},16,32,64},
      {1,2,4,8,16,{32,"testleft"},64},
      { {16, "testtop"}, 32},
      { {1,"testright"}, 4, 8,16, 32}}
    ]


(* -------------------------------------------------------------- *)
  (* How do I change linewidth on plotting symbols?               *)
  (* I'd like to make the the linewidth used for triang and star  *)
  (* in the following example narrower, its too wide for my taste  *)

<<Graphics`MultipleListPlot`
triang = RegularPolygon[3, 0.013, {0, 0}, 0, 2]
star = RegularPolygon[5, 0.013, {0, 0}, 0, 2]
$DotShapes = { MakeSymbol[triang], MakeSymbol[star]}
p1 = Table[{y, y^2}, {y, 0, 6}]
p2 = Table[{x, x^1.5}, {x, 0, 6}]
  MultipleListPlot[p1, p2]
Display["plot.ps",%]

(* -------------------------------------------------------------- *)
(* Is there something like MultipleListLogPlot ?
   I found MultipleListPlot and ListLogPlot but I want multiple
   lists on one plot with a log scale                             *)

In[1]:= <<Graphics`Graphics`

In[2]:= <<Graphics`MultipleListPlot`

In[3]:= ?LogMultipleListPlot

Information::notfound: Symbol LogMultipleListPlot not found.

In[3]:= ?MultipleLogListPlot

Information::notfound: Symbol MultipleLogListPlot not found.
From: guyard@dollar.unice.fr (Frederic Guyard)
Newsgroups: sci.math.symbolic
Subject: Finding convex  hull ?
Date: 21 Jul 92 16:14:51 GMT
Organization: University of Nice Sophia-Antipolis, France

Hi;

Is there a fast algorithm to find the convex hull of a set of points, where  
each point is a point of a n dimensional vector space. 
If n=2, there is  the Graham algorithm... But for n>2 ?
Is there a generalisation for the Graham algorithm ?


Thank you 
Newsgroups: sci.math.symbolic
From: naras@cda.mrs.umn.edu (B. Narasimhan)
Subject: Need to evaluate an integral in Maple.
Organization: University of Minnesota - Morris
Date: Tue, 28 Jul 1992 19:56:17 GMT

Here is a maple session: (Maple V release 1.1, MSDOS 486 PC.)

> f:=proc(x) local y; y:=x; if y <= 0 then 0 elif y <= 1/2 then y;
else 1; fi; end;
> int('f(x)',x=0..1); 

******** Returns the integral expression without evaluating it ***

> evalf(int('f(x)',x=0..1));
Error, (in evalf/int) unable to handle singularity
>

Now, what is the singularity that evalf/int imagines?
A clue can be got by making the last piece of the function 1/2 instead
of 1. Maple gives the correct answer 0.375 then. So it is the 
discontinuity that throws evalf/int off.  Here is another funny thing:
After this, I redefined f to be a totally different function and
did the same evalf/int on it. It gave me the same answer .375.
Try this:

> f:=proc(x) 0 end;
> int('f(x)',x=0..1);
                     0
> f:=proc(x) if x < 1/2 then 0 else 1/2; fi; end;
> int('f(x)',x=0..1);
                     0                     # Still zero!


Of course, the main question is: How does one force Maple to evaluate 
an integral of the first kind? I am not interested in solutions
that add up the various pieces of the integral, since I need to
convolute such functions and plot them.

I looked and looked in my two new books from Springer on Maple.
No clue.


-- 
B. Narasimhan                             naras@cda.mrs.umn.edu
Division of Science and Math.
The University of Minnesota at Morris
Morris, MN 56267
Newsgroups: sci.math.symbolic
From: butscher@helios.physics.utoronto.ca (Adrian Butscher)
Subject: MMA on the Mac
Organization: University of Toronto Physics/Astronomy/CITA
Date: Thu, 30 Jul 1992 19:28:48 GMT

I use MMA on the Macintosh to handle statistical data (you know how well
MMA deals with 'list-like' objects), but I have to draw histograms.  I'm
finding that I don't have very much flexibility in how I present my graphs.
What I have to do involves some labelling and framing etc. which seems to be
beyond the scope of MMA.  I have tried doing this in Canvas and Superpaint,
but I lose the resolution and my graphs print out like bitmaps.

Are there any suggestions as to how to get around this problem?

Thanks

Adrian
Newsgroups: sci.math.symbolic
From: butscher@helios.physics.utoronto.ca (Adrian Butscher)
Subject: Gaussian Fitting
Organization: University of Toronto Physics/Astronomy/CITA
Date: Thu, 30 Jul 1992 19:16:10 GMT

Does anyone know how to get MMA to fit a list of data points of the form

data = {{x1,y1},{x2,y2},...}

to a Gaussian curve parametrized as a Exp[b(x-c)^2]?  The program should
find the coefficients a,b,c.

Thanks in advance.

Adrian
Newsgroups: sci.math.symbolic
From: jchrist@convex.com (Jeff Christenson)
Subject: Re: New class of functions found, impact of CAS on math
Organization: Engineering, CONVEX Computer Corp., Richardson, Tx., USA
Distribution: usa
Date: Thu, 23 Jul 1992 15:20:53 GMT
X-Disclaimer: This message was written by a user at CONVEX Computer
              Corp. The opinions expressed are those of the user and
              not necessarily those of CONVEX.

In article <2350@nic.cerf.net> jcbhrb@nic.cerf.net (Jacob Hirbawi) writes:
>In his post to sci.math.symbolic <1992Jul21.204630.2957@nntpd.lkg.dec.com>
>Nasser Abbasi <abbasi@star.enet.dec.com> writes:
>
>> there is an interesting article about how using computer algebra
>> systems (MAPLE), it helped in finding a new class of function, called
>> terminal summations.
>> look it up, it is on page 35 of July 20,1992 Electronics Engineering
>> Times magazine.
>
>Very interesting article! I'm not sure I beleive his claim: "I've shown that
>problems of divergence can be banished from math applications"; but the
>example about the "companion" function to exp(x) is worth a closer look.
>You have to admit that you don't expect this function to converge quickly
>(if at all):
>
>      B(x) = 1 + x + 2!x^2 + 3!x^3 + 4!x^4 + ... + n!x^n + ...
>  

Well, I'm only interested in this because it showed up in EE Times, and 
I'm only in sci.math.symbolic because that's where someone mentioned the 
problem; but could someone tell me what I'm missing about this.

The equation is accompanied by a graph that I assume is showing B(x) for
various values of x.  On the right side of the vertical axis (positive values
of x, right?), the line rises until about where x=1, then dips towards about 
-0.8 around x=90; then sorta heads back towards 0, but does not cross it.
(nice technical description, huh?).  

What I don't understand is why B(x) is ever negative when x is positive.
All of the terms are added, and n! seems like it would always be positive 
for n>0, and x^n seems like it would always be positive for x>0 and n>0.

Do n! and x^n do wierd things as n approaches infinity?  Or is that the whole
reason for the symbolic algebra and terminal summation?

Just seeking enlightenment, but not a headache...

Jeff Christenson

(a guy down the hall said maybe it was signed arithmetic overflow :-), or
 maybe it's the wrong picture?)
-- 
Disclaimer:  The above opinions are mine, not my employer's; etc., etc.
Quote:  "An orifice is an amusing thing, all right." - Hobbes, to Calvin
Newsgroups: sci.math.symbolic