## First Order Logic...

I have a problem with a sentence that I have. I don't know whether it is a formatting problem or problem with the statement itself. I'm trying to say something like this (if it makes it less abstract, I'm trying to formally define a Sudoku puzzle). For any set S and function F that maps the ordinal set |S|^2 to |S|, there exists a set T which is a subset of S^|S||S||S| such that any element of T Tabc is equal to the empty set iff c !=F(a,b) First of all, theres a couple issues with this. |S| is the cardinal of S, but for convenience I also use it as an ordinal set. Second, as I started typing this I saw that I do not have the necessary statement for all Tabc which are members of T. How can I correctly input this statement into Maple?

## Text editor for Maple Programming...

I was wondering if anyone can recommend a good (free) text editor for writing Maple source code. I am writing some programs and thus far I have just been using Notepad, but automatic syntax highlighting and indentation would be nice to have. Thanks!

## limits of a subsequences...

I am trying to use maple to find the limit of a subsequence, but what I've tried hasn't worked

For example define . Then using maple = ## solving first order IMPLICIT ODEs...

Hi,
Can someone tell me how to solve an IMPLICIT first order ODE? That is, an eqn. of the form F(x,y,y')= 0 where we cannot seperate the term y'. An example will be helpful.
Thanks.
D.O.

## order of solutions to degree 4 polynomial...

I have the following code snippet which uses solve to get the 4 solutions to a quartic equation. In my application I must know which solution is which, for they each have a specific placement in later calculations. I know that most of Maple's datasets use memory address as their method of sorting, and therefore each run can give a different order to the results. Is this also true for solve? I need to know a way which the order of the solutions will always be constant. (sorting by returned value will not suffice) WaveEQDet := proc(layer,eV) local E1, E2; > E1:=Epp1(layerelementtable[layer], eV);

## Plotting function of more than one variable....

The plot function will not work with the following code:

> vatt:= (r,b,rc) -> -epsilon*(cos(Pi*(r-rc)/(2*wc)))^2;

> VattR := proc(r,b)
> rc:= evalf(b*2^(1/6));if r < rc then RETURN(-epsilon) elif rc <= r and r <= (rc+wc) then RETURN(vatt(r,b,rc)) else RETURN(0) end if;
> end proc;

> plot(VattR(r,1),r=1.1..1.2);
Error, (in VattR) cannot determine if this expression is true or false: r < 1.122462048
> VattR(1.1,1);
-1.0

The functions work fine on their own....

## 1D input...

I would like to set my sessions to show the 1D Maple sheets - however when trying the options in the menu - it still wont happen. What am I doing wrong? Help - the 2D version drives me nuts!

## Mr...

Please recommend a good introductory book for Maple. My math skills are very high & I have much programming experience, so a Maple for Dummies approach would be too simplistic.

## Help with SurfaceInt in VectorCalculus Package...

I have been messing with the various functions in the VectorCalculus package and have been getting some unexpected behavior w.r.t. some of the functions. My current issue is with the SurfaceInt function. Consider a sphere whose surface density increases linearly from one point on the sphere to the opposite pole. What is its overall mass. I set up the package... > restart; > with(VectorCalculus); > SetCoordinates(spherical[r, phi, theta]); and a density function... rho := proc (r, phi, theta) options operator, arrow; phi end proc; and perform the integration...

## Integrate Algebraic-Differential Expression...

I'm trying to integrate various expressions like f''(x)*g(x)+f'(x)*g'(x). In this case, the answer is obvious by inspection, f'(x)*g(x), but I can't coerce Maple to produce the result. Any ideas?

## Simplifying Vibration Equations...

I am looking into using Maple in an undergraduate Vibrations class and put together the attached worksheet as a sort of combination rough draft and feasibility study. The equation showing up after the algsubs command really bothers me; is there a way to remove the imaginary exponential terms and substitute trigonometric identities?

## evaluating problem...

From "t*x^3-q*x-2q^2=0" I got a complicated real solution. Then I want to evaluate "y= -x/2 -(x+2q)^2/(8t*x^2)" with the solution. But my Maple exited without results. I have tried many times. It was alway so. How can I evaluate it? Do I need some package? Or my memory (526M) is too small? Thanks