Can Maple prove this simple identity  binomial(2*n, n)/2 = binomial(2*n-1, n-1) ,where n is integer and positive. Doing it manually is very easy. My attempt was unsuccessful:

is(binomial(2*n, n)/2=binomial(2*n-1, n-1)) assuming n::posint;

                                                       FAIL

In logic and computer science, the Boolean satisfiability problem (sometimes called propositional satisfiability problem and abbreviated SAT) is the problem of determining if there exists an interpretation that satisfies a given Boolean formula.

We can see that some graph problems such as the coloring problem and the problem of finding k-cliques can be transformed into SAT problem.  I am not familiar with how maple uses the sat solver. I am trying to use maple to solve the following game for a solution. The game is a good choice for understanding the SAT.

• http://www.cril.univ-artois.fr/~roussel/satgame/satgame.php?level=1&lang=eng

The game is won when at least one cell on each line is green. 

Clicking on a number will color each cell with the same number in green, and each cell with the opposite number in red. 

For example:

If we choose ``1" as green(i.e. be chosen), then -1 is red (not be chosen) in any cell.  I guss that the maple function Satisfy can do it. 

That is, we are looking for a set of solutions such that at least one number in any line is selected as green. 

Here is a solution for winning this game:

How to use the SAT solver Satisfy in maple to find a solution from a sat game?

File:

Solution_Methods.mw

Download Solution_Methods.mw

So i have an exam right around the corner, and maple decided to corrupt my file. I get the error "There was a problem in the loading process, you worksheet may be incomplete." I've tried the following troubleshooting:

Restart - No luck

Other computer - No luck

Checked the backupfolder. - 10 backups have been made, but they are all corupt aswell

I've Followed Can I repair a corrupted Maple document/worksheet file? (maplesoft.com) It didn't really do anything

Also tried the DeleteBadCharacters() proccess, but i get the error "Error, (in XMLTools:-ParseString) Element type "Equation" must be followed by either attribute specifications, ">" or "/>"."

Anyone who can help me out here? 

Please Help! I am a beginner in using maple, I am getting  error in theta(k+2).How to get  m1,m2,m3 values from theta(k+2) and how to plot a curve theta(eta) like,f(eta). pp_DTM.mw

Download pp_DTM.mw

Hi there,

I updated to Maple 2022 recently. One problem I am facing is how after I write the code and get the output, which can be text or equations or plots, etc, when I try to copy it to MS Word for example, I don't have the option of "Copy as Image" anymore. This option was available in previous versions. So was it taken out in this version? If yes, what's a subtitue for that?

I am using Maple for a school project and need to be able to copy the 2D output to MS Word just like the previous versions of Maples did.

Regards

I'm trying to get familiar with the Physics package. It's huge.  Since I know vector projection, I can guess what a projected vector might be. But what would a non-projected vector be in a physical context? 

A web search for non-projected vectors was unsuccessful.

My best guess is that non-projected vectors in Maple are those where no coordinate system is specified for vectors in an expression for a physical law. Like here in Maxwell equations. Am I correct?

To distinguish between these vectors the Physics[Vector] package uses an underscore “_”.

If my understanding is correct so far, I have three questions:

• Can I replace the unit vectors of implemented projected vectors to something else (e.g. _i to e__x)
• Is it possible to define projected vectors beyond what is implemented in Maple?
• Can I use the packages VectorCalculus and Physics[Vector] at the same time?

Hi friends

Could you please give hints to solve the integral

int(exp(I*k*x)*sech(x),x=-infinity..infinity)

Thanks

I am trying to run this procedure, but am getting an "Error, missing operation", highlighting the conditional break:

is_prime := proc()
     local i, x_check;
     printf(`Enter an integer to check if it is a prime number...`);
     x_check:=parse(readline(terminal));
     if x_check<=2 then
         printf(cat(x_check,` is a prime number.`));
     else
         for i from 2 to x_check-1 do
               if (irem(x_check,i)=0) then
                  printf(cat(x_check,` is not a prime number.`));
                  break 2;
             end if;
           end do;
         printf(cat(x_check,` is a prime number.`));
      end if;
end proc:

If I don't include the integer, I am able to run the procedure, but it does not function like I would like it to. I am running Maple 2022, and can sucessfully run the example conditional break code in the Help. What is wrong with my use of break?

Does Maple 2017 have cwmaple.exe?
                                                                                

GraphTheory/IsHamiltonian says that the method can be one of legacy, sat, or tsp. But why method = tsp brings about an error? 

GraphTheory:-IsHamiltonian(GraphTheory:-CompleteGraph(3, 3), method = tsp); # Maple 2022.2

Attachment: HamiltonianGraphQ.mws

I am trying to use the perpendicular symbol ⊥ as a superscript. Can this be done? For somereason the document will not displat?

Maple Worksheet - Error

Failed to load the worksheet /maplenet/convert/Q_10-12-22_Polar_point_line_symbol.mw .

Download Q_10-12-22_Polar_point_line_symbol.mw

I read the article "Approximate Symmetries and Infinite Series Symmetry Reduction Solutions to Perturbed Kuramoto–Sivashinsky Equation", and also searched out in Maplesoft website, but couldn't found. Does anyone have the package?

I have a problem in my document (MapletsDisplayError.mw) with the following four lines of code

with(Maplets[Elements]);
maplet3 := Maplet(MessageDialog(warning, "No file containing dissociation constants found.", 'onapprove' = Shutdown()));
with(Maplets[Elements]);
Maplets[Display](maplet3);

Attached are two documents.  The first contains just the lines above and works fine.  The second generates an error when run if you choose No to both dialogs, and the error appears to be with the same four lines of code (if I comment those lines I do not get an error).

ThisWorksWithoutError.mw

MapletsDisplayError.mw

Please help! How to solve this?

pp-velocity.mw

Hello.

I was wondering if it was possible for maple to automatically type in the values of the variables when calculating like

U:=50V

R:=10ohm

U/R=50V/10ohm=5A

instead of just typing

U/R=5A

hope my question makes sense :D