## Predicate Logic Expressions...

Can Maple 10 be used to determine if the universal or existential closure of predicate logic sentences that may or may not contain quantifiers is valid ? For example, does the tautology, equivalent and other functions of the Logic package only apply to propositional sentences ? dc

## How much flexibility is there in v10 to format pag...

I am new to Maple 10, but have used other products for years. I tried v10 because the Maple website indicated that there was a great deal of flexibility in formatting pages. It seems to me, after a few days experimenting, that I cannot do more than put every thing in the middle of the page. Is this true? If not, is there a demo v10 sheet w/ instructions that shows how to do this? I can attach a pdf file of what I am interested in from Mathcad. Thanks much, Rich

## Two variables look the same but produce different ...

Here is a baffling puzzle! I have two variables that look exactly the same when I print them, have the same type, but return different results when I put them into a function! Here is the unadulterated output straight from my maple window (Opps! I notice that they didn't copy into the post quite as they should... the floating 3s are actually v[1]^3 and v[8]^3 respectively. Sorry! I hope the problem is clear): > f; 3 3 c[22] v[8] + v[1] c[11] - c[22] - c[11] > g; 3 3 c[22] v[8] + v[1] c[11] - c[22] - c[11]

Hi, Please help! I'm trying to calculate the norm of a vector (3,4). Working it out in my head I get 5. Maple gives me 4. Where is my mistake? with(LinearAlgebra); A := Vector[row]([3, 4]); C := Norm(A); print(C := 4); 4 Evan

## Stackmatrix precision by columns..??...

Can I display floating point numbers with a precision for inidivualy columns in a (for example) 3-column data table? How? Reply by email if you can...

## Jim Herod's Lectures on Hilbert Spaces for Science...

by: Maple
MaplePrimes own Jim Herod has a wonderful set of lecture notes—accompanied by a collection of Maple worksheets—which introduce linear operators on infinite-dimensional Hilbert spaces to beginning graduate students in science and engineering. Entitled Linear Algebra, Infinite Dimensions, and Maple, these notes were developed from a one quarter course which Prof. Herod taught many times at the Georgia Institute of Technology. The notes are very concise and have been refined and improved many times over the years in response to student feedback.

## Pesty bytes used messages?...

Hello! How can I repress those pesty: bytes used=19294939612, alloc=37348680, time=2193.37 messages from printing? words(0) doesn't seem to have any affect and gc(0) has been deprecated (that was what a book suggested). Any ideas would be appreciated. Thanks! Susan

## Bug with complex number equalities?...

I'm working on some basic complex number equalities in engineering class, and was practicing converting from cartesian to polar coordinates. Maple can help by telling me if my conversions are correct by telling me whether the equality is true. For example, for the complex number: 5 + 3*I maple will verify the following: is(5+3*I = polar(sqrt(5^2+3^2), arctan(3/5))) true it will also verify: is(polar(sqrt(5^2+3^2), arctan(3/5)) = sqrt(5^2+3^2)*exp(I*arctan(3/5))) true lastly, it will of course verify transitively: is(5+3*I = sqrt(5^2+3^2)*exp(I*arctan(3/5))) true

## 3 How do I's after over 30 hours of using the Help...

FIRST-- I can not figure out how to enter a problem containing Set-Builder Notation? Specifically the use of the symbol in my math book "|" which means "Such That" here is an example. (a,b)={x|a<x<b} it give me an error with this form of notation Second --How do you plot on a number line, also called real line, points, line segments, rays, or lines? Third(and final for today) -- is there any way to sketch regions on the Cartesian coordinate system for problems like absolute(y)<1, y=1, or x>0 these problems will fill in areas of the plot in the quadrants? Ok after some 30+hrs of research on my own and with my fellow students I turn to you for help now. . . . Please help, and thank you.

## How to export Maple graphics?...

Hi, I use maple 10.01 (and WinEdt 5.4) and I don't know how to import some graphics to Latex. Assuming that I want to have the output of plot(x^2, x=-2..3); appearing in my file (Dvi, ps or pdf).. How should I proceed? Thanks in advance for your help. JJ

## vec operator in LinearAlgebra...

I am struggling with the new LinearAlgebra package and I want a procedure for the vec operator (just stacking the colums of matrix r by c into a (r*c) by 1 columnvector. For only extracting two columns the following commands work well: A := Matrix(5, 5, symbol = a); Matrix([[Column(A, [1])], [Column(A, [1])]]); but there must be a simple procedure for doing this for a converting a large matrix into a column vector. Any help would be appreciated. kind regards, Harry Garst

## OpenMaple UI Access...

Hello, I am working on a program that creates symbolic algebraic expressions. I'd like to be able to "export" these to Maple. Ideally I'd like to have a menu option "Send to Maple" that would either start Maple or find an existing running version. It would then simply paste the expression in Maple syntax into the open UI. The OpenMaple API seems to only give access to the kernel which appears (and rightly so) to know nothing of the UI. Is this the case? Is there any API that would allow me to paste to an open Maple window? I tried enumerating all open Windows via MS Windows API functions. But since the Maple UI is Java based I couldn't get a pointer to the window...plus this seemed to be a pretty hacky solution to me.