Can Maple be used to see if propositional logic sentences with arbitary propositional constants are tautologies ? i.e. (if they are always true under every possible interpretation or arrangement of the truth values true and false).

Hi There, I am new to Maple and would appreciate some help on basic polynomial manipulation. I have the following type of equation that I need to simplify by factoring out the x^r component. How do I do this in Maple 10? Equation to manipulate x^(n+r)*(n+r-1)*c[n]+(n+r)*x^(1+n+r)*c[n] What maple commands do I use to get the following? x^r*[x^(n)*(n+r-1)*c[n]+(n+r)*x^(1+n)*c[n]] Thanks very much

I have the following points in R-2, (1,1) , (3,4), (1,5), (0-4), (-3,1). How may I obtain graphically the minimal convex set with contains all this points?. I found the commad convexhull.. but I am not sure how to use it. (I use Maple10) Thanks in advance, JJacques

I am trying to multiply a number in volts with a number in mV. the answer it gives me, though, is in [[V]]*[[mV]]. How do I make it convert the answer to [[V]] automatically?

Hello How do I make the font in Maple 9.5 smooth. The fonts look horrible. I think its due to java as java fonts are horrible. They aint smooth like Microsoft fonts. If you were to compare a MS Trembauchet font with a Java Trembauchet font, the MS Trembauchet puts the Java font at bottom of the Top 100 list. Anyone know how I can make it appear smoother? Ben

Hello,
I'm sorry for my poor English, my name is Arnaud, I'm 17 years old junior in a School (Laurent de Lavoisier) in France.
I have a probem, I'd like to develop a program for meteorology modelisation with Maple. How could you do it?
Thank you in advance.
MOTZ Arnaud

if I have a table of data of the form: A | 1 | 2 | 3 B | 5 | 2 | 5 C | 9 | 8 | 2 ... how can I reference the table? I am working in document mode and I cannot figure out how to name the table to access it (hopefully) like "table1[1,2]" if this is not possible, is there some other way to do what I am wanting? It has to not only be a functional solution, but a graphical one as well, because this is for a report to hand in (so I can't "table1:=...") thanks, patrick

Is it possible to change and save the default background color and pen settings for a sketch?

HIIIIIIIIIIIIIII! :)
I'm doin a problem on the restricted 3 body problem...What i want is to creat a proc "equilibria(mu)" which finds all five equilibria of (DE) when mu_1=mu and displays, in a neat table, the (x,y)-position of each equilibrium and the eigenvalues of the vector field's Jacobian at that equilibrium. In addition, the table should indicate if the equilibrium is hyperbolic (all eigenvalues are real and non-zero), elliptic (all eigenvalues are imaginary and non-zero), hyperbolic-elliptic (a mixture of non-zero real and imaginary eigenvalues), or otherwise..
Now the difficulty is this, i can find the equ's and get the evalues, but i have a proble with gettin them into a table...i've been told that prinf is a good one to use, but i have no idea at which bit to use it..this is how far i've got

When I plot y = (x^2 + 5x + 6)/(x^2 - 4)... where's the hole? That is, Maple provides the vertical asymptote when using the Student Tools-Precalculus library but why not the hole? Thanks, C.

Hello, I am in doubt with the following situation. It started with this: > f := signum(z)*infinity; > type(f,complex(extended_numeric)); # false > is(f,complex(extended_numeric)); # false Now I make an extra assumption on z, and do these checks again: > assume(z,real); > type(f,complex(extended_numeric)); # false > is(f,complex(extended_numeric)); # true I was wondering why the second time is results in true while type does not... I am just checking whether the expressions is an infinity (possibly in complex form), and so I don't see where the difference could come from.

Hi, I just bought Maple, and I'm really excited about it. I'm poking around in Maple, trying to get comfortable with it, by entering in a problem from my physics class. In this class, we use SI units, except that we express our angles in degrees.
I'm trying to find an easy way to have the trigonometric functions take degree arguments. I tried "with(Units); with(Units[Natural])", and entered an expression this way: "R_x = R*sin(15*deg)", and that almost worked. There were two problems, though:
1. R is apparently a unit in its own right...not *too* much of a problem (I can choose another letter), but annoying.

I feel a bit stupid asking this to be honest.. Here goes anyway.. I'm an 'early learner' regards math (certainly not early of years though :) and have recently taken a very keen interest in the physical sciences and wish to improve my math skills in order to allow me to explore ideas in this area. I have been looking for a PC based math package 'of some description?'that will allow me to interactively try out ideas and will give good visual feedback, graphing etc; I'd also like this 'study tool' to be comprehensive enough that it will not hinder me (probably through my clumsiness in honesty) and that has a very intuitive interface (ie, not overly strict with syntax and rules).

I just recently learned that the fourth operand of a maple procedure is it's memory table. However, I'm confused about being able to identify the other operands, primarily the first three, if I was to see a written procedure for example and determine what they are. For example is the first operand the argument used in the procedure ? The 2nd argument, any local or global declared variables ? The 3rd argument, any option settings ? Also if the procedure body is basically instructions for the procedure, then what is the description part of a procedure definition ? Da

How do i format numbers in maple output including comma separation and number of decimal points, etc
(i.e. 33,444.00)