Items tagged with symbolic symbolic Tagged Items Feed


I am using Maple Physics for symbolic tensor computations. However, I fail to simplify quite a simple expression.

Consider the following code:


    Setup(spacetimeindices = lowercaselatin):


    read "example2.txt"; 


Here is a file with expression: example2.txt.

The expression in the example2.txt is equal to zero. The following steps allow to obtain this result: expand, contract Kronecker deltas and metric tensors and collect similar terms. This also can be verified using another software (Cadabra, Mathematica xAct, etc.). As one can see, the result of Maple Simplify(%) contains terms like -462661905780*F[k]*F[~k] - 5856479820*F[m]*F[~m] which can be futher simplified, but Maple does not do this (even when I invoke Simplify(%) several times).

What is the right sequence of manipulations needed to obtain zero?

I use the latest Physics package (39.2, updated on November 30).



Hi everybody,

When doing calculations, I often run in the following problem.  I have the final solution wich I simplify symbolically so many terms are cancelling.  But I get this:


While I would like to regroup all the terms into the square root.  But look, even in this forum, Maple get sqrt(2) automatically out of the square root.


I know that it is the simple form.  But in some instances, I need the square root to stay together so I can show a property.  But is there a way to be able, sometimes, to tell Maple to leave all the terms under the square root?

Thank you in advance for your help.


Mario Lemelin
Maple 17.01 Ubuntu 13.10 - 64 bits
Maple 17 Win 7 - 64 bits messagerie : téléphone :  (819) 376-0987

I have a set of around 60 linear equations with symbolic coefficients. ie


a*x1 + b*x2 + ... + c*x60 = 1

x1 + (c-a)*x2 + ... + d*x60 = 0


c*x1 + d*x2 + ... + b*x60 = a


The coefficients a,b,c,d are functions of x1...x60. I am trying to find the values of these coefficients. When I had a smaller set of equations I was solving them symbolically to find x1...x60 in terms of a,b,c,d and then using this solution to solve for a,b,c,d. I can no longer solve the set of equations symbolically as it is too large. How do I find the coefficients? I had some sort of optimization routine in mind.

Hi guys,

I would like to solve a system of equations and inequalities with symbolic parameters (D, E, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z) for several variables (a, b, c, d, e, f, i, j, l, m, n, p, q, r, s, t, u, v).

Unfortunately the command below does not work. I get the message "Warning, solutions may have been lost".

"Solve({ l-u=0, m-v=0, n-u=0, p-v=0, Y+q-u=0, Y+r-v=0, Z+s-u=0, Z+t-v=0, (a-P*M)*l=0, (b-Q*M...


I would like to define my model with symbolic parameters. Consequently, i have to define the symbolic parameters and theirs values in main folder.

To illustrate, i define my parameters a1, a2 like this.

After, i need to define a frame by using the parameter a1. This frame is define like this :

I don't think the geom3d package can be used symbolically it needs specific values.  Maybe I'm wrong, am I?

Who knows what Maple does wrong on this one?

T:=Sum(1/(6*k+1)!, k=0..infinity); evalf(T); value(T); evalf(%);

Sum(1/factorial(6*k+1), k = 0 .. infinity)










Hello all,

I would like to use Maple to simplify an expresion of this form:

I am trying to evalute a double integral symbolically using Maple 15.  I have gotten it to work when some of the parameters are specific numbers, but it won't work if I use variables, even if I assume sufficient conditions on them for the integral to make sense.  I have tried to use AllSolutions but it didn't work.  Breaking it down into steps isn't working either. 

I am working on a file on a remote server and I don't think I can upload it here. ...

Dear Readers,

Given an expression for e.g. x^n+ y^3.5, how to extract the symbolic/floating point exponent, I tried with degree method but it fails whenvever there is symbolic or floating point exponent. Is there any alternative ?




Regards, Satya


I have a piecewise defined function alpha. Its functional directives are stored in a vector A. But when I call up the command

    x1 < 0 , A[1],

   0< x1<1 A[2], ...):,

the result (x1,x2,x3)->piecewise(.... , A[1], ...) remains symbolic. What can I do that the entries of A[i] appear in the functional directive?



Hello everyone, new member here. I've been working with Maple 16/Mathematica 8/Matlab to find the determinants of some symbolic nxn matrices (a1,1 a1,2 etc). Matlab is able to do them quite easily but when they start getting too large it starts truncating them down to 25000 terms. Mathematica works like a charm but I want to beable to verify the results with Maple. Maple does great up to 7x7  but at 8x8 it seems to also truncate results like Matlab and past that...

In it's recent edition of Mathematics Today (in print and online), the UK-based Institute of Mathematics and it's Applications, compared 4 symbolic solvers: Maple 15, Mathcad 15, the student edition of Matlab v5 and the Casio CFX-9970G calculator, concluding that "Maple would be the natural choice for research mathematicians, theortetical physicists, those working in any area where mathematics is demanding or for mathematics undergraduates for whom costs are lower"

I'm trying to create a matrix that mimcs the FFT equation as seen here. (Note that I don't want to do the transform, I just want the symbolic matrix of it.) I want to make the matrix in terms of the symbol omega, but I also want it to reduce correctly. Here's what I mean:

I used this post to figure out:

Does anyone know why the two integrations of a heaviside function (u1test and u2test) are not equal?  @Preben Alsholm said that the pure symbolic integration u was not correct so that the value of u2test is not correct either. Did I make any mistake in finding u? Is it possible for maple to find the pure symbolic expression of u correctly? Please help!

1 2 3 4 5 6 Page 3 of 6