For questions about symbolic computation, as opposed to numerical computations.

learn more… | top users | synonyms

4
votes
0answers
68 views

Create an adequate 'training set' to train a ClassifierFunction which performs the role of the built-in `SubsetQ`

I am trying to "grow" my own SubsetQ function using Machine Learning methods. My cSubsetQ when given two lists (listA and listB)...
3
votes
1answer
121 views

The basic primitive recursive functions

How can the basic primitive recursive functions be expressed in the Wolfram Language? Apparently here's an example for primitive recursion: ...
0
votes
1answer
82 views

Calculate Dot product of a TensorProduct

Using this answer ...
0
votes
0answers
36 views

Symbolic root computation of a function that depens on parameters

I'm given list of real numbers $a_i, i=1,N$, where usually $N \le 100$. Consider a function $f_N = f_N(x,a_1,...,a_n)$. I need to find the roots of $f_N(x)$ on $[-1,1]$, assuming that $a_i \notin [-1,...
2
votes
2answers
72 views

Permuting symbols

Suppose I have a list like {a, b, a, c}. How can I apply a "symbolic permutation" of the symbols a, ...
8
votes
1answer
129 views

What should I learn from DSolve working better with a named constant than a number in this case?

I have an equation $$\bigl(r''(\phi)r(\phi) - r'(\phi)^2\bigr)\bigl(b + r(\phi)\bigr) = r(\phi)\bigl(r'(\phi)^2 + r(\phi)^2\bigr)$$ Here $b$ and $r$ are lengths, and $\phi$ is an angle (in radians, so ...
3
votes
2answers
55 views

How to avoid 0 OverVector[F] to be evaluated as 0?

I am fairly new in Mathematica and I am trying to work with scalars and vectors. I decided to denote vectors using OverVector (as example, ...
2
votes
1answer
62 views

Finding the expansion of $\sin(a_{1}+a_{2}+a_{3})$ on Mathematica [closed]

How to find the expansion of $\sin(a_{1}+a_{2}+a_{3})$ on Mathematica, using $$ \sin(a+b) = \sin a \cos b + \sin b \cos a$$ to the end? I tried FunctionExpand ...
33
votes
2answers
611 views

$\sum_{k=1}^{\infty }\left\lfloor\frac{5}{5^k}\right\rfloor$ giving wrong answer?

Bug introduced in 7.0 or earlier and persisting through 10.4 or later When I try to evaluate the following: $$\sum_{k=1}^{\infty }\Bigg\lfloor\frac{5}{5^k}\Bigg\rfloor$$ using ...
13
votes
5answers
256 views

Prevent Plus from threading

This is probably a very simple question, but I couldn't find a duplicate. As everybody knows, {x, y} + v gives {x + v, y + v}. ...
3
votes
2answers
105 views

How to make algebraic substitutions?

I would like to simplify complicated expressions by defining some variable that is a combination of other variables that appear in the expression, but without eliminating the original variables. As a ...
0
votes
0answers
35 views

Series Manipulation [duplicate]

How do I get Mathematica to realize that it should simplify the expression Sum[f[t],{t,1,Infinity}]-Sum[f[t],{t,2,Infinity}] to ...
5
votes
1answer
194 views

How to write polynomial expression as commutator form?

I want to write some polynomial expressions as commutator form. For example : $$ \frac{\text{BA}}{2}-\frac{\text{AB}}{2} = -\frac{1}{2}[A,B] $$ or $$ \frac{\text{AAB}}{6}-\frac{\text{ABA}}{3}-\frac{\...
7
votes
1answer
94 views

Non-commutative algebra (NCAlgebra): How to properly SetCommutingOperators

I am starting to work with non-commutative algebra in Mathematica and had a look at the NCAlgebra package. I installed it and can use its functions. However, what I am struggling with is the ...
3
votes
0answers
63 views

Simplifying between set theory and logical connectives

I'm trying to find out how to switch between set notation and logic, but am having difficulty. For instance, I know that the following two expressions are equivalent ...
1
vote
0answers
43 views

How to find symbolic greatest common divisor? [closed]

How can I use Mathematica to find the greatest common divisor of symbols? For example, is there some way that I could input $GCD[a,a+ba]$ and have Mathematica output $a$ as the greatest common divisor?...
2
votes
1answer
81 views

Simplify fractions and square roots

I would like to 'Simplify' Sqrt[5/6]/2 to Sqrt[5/24] I've tried to penalize Times and Rational using ComplexityFunction, ...
2
votes
1answer
107 views

Two different results for same symbolic integral

I am trying to compute the following integral $\int_0^\infty dk \frac{e^{i k a}}{k^2}[\sin(kb)-kb\cos(kb)]$ When computing it as-is, i.e, with the code ...
0
votes
1answer
61 views

Unexpected result from Sort with symbolic values

I think Sort should be able to sort symbolic values that are reducible to numerical values, but this example seems to get a wrong answer (here is a simplified ...
2
votes
0answers
66 views

Subscript vs. Brackets [duplicate]

I'm used to using Ctr+_ to create indexes for variables (which evaluates to something like Subscript[a,i,j]), but on this site I ...
19
votes
2answers
321 views

Derivative of a pure function with SlotSequence

I can live with this but I can't figure out why the following is 0: Derivative[1][f[##] &][x] 0 From documentation ...
1
vote
1answer
102 views

Find function tracing the maximum of a 2D function

I'd like to solve the following problem: Given MI[o_, n_] := Log2[1 + 4 o (Sqrt@n + Sqrt[1 + n])^2] Find a function f[n_] ...
9
votes
1answer
167 views

How can I make FourierCoefficient et al. handle the zero-order term correctly?

Say that I would like to use Mathematica to step through one of the most famous solutions to the Basel Problem, using Parseval's Identity, $$ \sum_{n = -\infty}^\infty \left|c_n\right|^2 = \frac{1}{2\...
0
votes
0answers
39 views

Manipulating a symbol via its name [duplicate]

I'm trying to change the entries of a list. The problem here is that I only know the symbolname of the list for example name="x" , where x is defined as ...
1
vote
0answers
91 views
4
votes
1answer
125 views

Is it possible to find the vectors that span the nullspace of a large, symbolic matrix

My problem is composed of two parts, a large sparse matrix $L$ ($m$x$n$ where $m=10^3$, and $n=10^5$, with $10^7$ non-zero complex numbers), and a dense, symbolic matrix $F$ ($m$x$m$ where $m=10^3$), ...
3
votes
0answers
131 views

Is it possible to simplify an expression in vector form, which involves crossproduct and dot product?

I often need to simplify expressions involving cross product and dot product, for example: f = Dot[Cross[Cross[p1 - p, e1], Cross[p2 - p, e2]], Cross[p3 - p, e3]] ...
1
vote
1answer
95 views

Help with singular integral

I'm new in Mathematica. I need solve a singular integral like $$\int_a^b \frac{A_0 + A_1 s + A_2 s^2 + A_3 s^3}{(B_0 + B_2 s^2 + B_4 s^4)(t-s)}ds$$ where $A's$ and $B's$ are reals and $0<a<t&...
2
votes
1answer
110 views

Boundary condition not fully taken into account in DEigensystem?

Context Mathematica 10.3 now has the very nice DEigensystem function. ...
6
votes
1answer
107 views

Relevant help page for: Sum`?

When I type Sum into Mathematica, it also offers Sum` in the autocomplete dropdown, but when I click the little menu button next ...
10
votes
1answer
149 views

How to predict the degree of the first series coefficient?

Given an expression f that is a function of x and a number x0, what is the least integer <...
3
votes
1answer
63 views

Need help understandig the output of `DSolve`

I give Mathematica (10) the following command: DSolve[I D[P[x], {x, 2}] f[x] - (P'[x])^2 f[x] + 2 I P'[x] f'[x] == 0, P, x] And I have the following output: <...
0
votes
2answers
126 views

Why does Integrate[] return an expression with 'True' in it?

I am running Mathematica 10 on Windows 10. I'm trying to analytically evaluate a definite, principal value integral: ...
2
votes
1answer
112 views
2
votes
1answer
107 views

Is there a good way to check, whether a small value produced numerically is a symbolic zero?

I have a complicated 4x4 matrix and need to know the eigenvalues. I expect a zero eigenvalue for physical reasons. Giving numerical values first gives me an eigenvalue of $\mathcal O(10^{-15})$. Now ...
14
votes
3answers
284 views

Symbolic sum of Stirling numbers gives wrong answer

Bug introduced in 9.0.1 or earlier and fixed in 10.4.1 This issue originated from my attempt to answer a question on MathOverflow: ...
2
votes
0answers
99 views

General suggestions to accelerate Simplify and FullSimplify

To my understanding, the function Simplify[] and FullSimplify[] work by applying a series of built-in transformation rules to ...
7
votes
0answers
136 views

Examples of using Mathematica to solve matrix equations symbolically

Suppose we want to solve a linear system like $$\left\lbrack\begin{array}{cc}M& S\\ -S^\mathrm{T}&0 \end{array} \right\rbrack \left\lbrack \begin{array}{c} x\\y\end{array}\right\rbrack = \...
2
votes
1answer
89 views

How does this code work to substract a set A from a set B?

In an answer to a question (as given here: code), the proposed function was to to subtract a set B from a Set A: ...
4
votes
2answers
186 views

symbolic summation involving kronecker delta

I have to perform symbolically summations of this kind $\sum_{ijkl} V_{ijkl} c_i c_j c_k \delta_{l,m}$ where $V_{ijkl}$ are quantities which depend on 4 indices and $\delta_{l,m}$ is the kronecker ...
1
vote
1answer
36 views

ReplaceAll - Position of list arguments not displayed properly [closed]

This code A[1, 2, 4, 5] /. A[a___] -> Position[{a}, 4] return {} Why this code not return 3 (a position of number 4) ? I ...
3
votes
1answer
53 views

How to get Mathematica to make further simplifications to conditional expressions than it has already made?

I have the following Mathematica result under the assumption that {ax, bx, px, ay, by, py} \[Element] Reals, and after refinement by ...
1
vote
1answer
95 views

Symbolic Integration gives wrong answer [closed]

I have tried to integrate the following expression in Mathematica 10.1 ...
5
votes
1answer
136 views

Define an operator with the distributive property

I would like to define the operator with distributive, associative, and commutative properties - so that Mathematica can symbolically simplify expressions I use ...
1
vote
0answers
83 views

Legendre expansion of functions [closed]

I am given the expansion for the Legendre function of the first kind. It is just $$f(x)=\sum_{n=0}^{\infty}A_{n}P_{n}(x).$$ I have found the expression for the coefficient $A_{n}$. However I would ...
0
votes
1answer
127 views

Integrating 2d exponential function symbolically with polynomials of 2nd order running for days

I'm trying to integrate this function by Mathematica ...
59
votes
5answers
2k views

Advice for Mathematica as Mathematician's Aid

I use Mathematica mainly as an aid in symbolic attacks on problems, usually intermediate or harder and often number theoretic. While Reduce, ...
3
votes
2answers
122 views

How to deduce the Ramanujan's summation of this series?

I have already asked a similar question about Ramanujan's summation in general but received no good answers. Now I am interested in this exact series: $$\sum _{n\ge1}^\Re (24 n + 12 n^2)$$
4
votes
0answers
106 views

Simplest identity that cannot be proved by FullSimplify [closed]

Apparently, FullSimplify is not able to prove all true identities, but usually it does pretty well when it comes to elementary functions. I'd like to know what are ...
6
votes
3answers
264 views

How to simplify symbolic expressions with KroneckerProduct

Having $X,Y$ being symbols for matrices, I was wondering if there is a way to simplify expressions like KroneckerProduct[X, X] + KroneckerProduct[-X, X] to ...