Questions tagged [symbolic-computation]

The tag has no usage guidance.

8 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
2
votes
0answers
83 views

Algorithm for computing inner products multiple times

I am taking a computational linear algebra course and i got stuck during a homework problem concerning the computation of inner products. I am supposed to compute the inner product:$$\mathrm{a}_{\...
2
votes
0answers
231 views

How to construct a subring of a polynomial ring in Magma

This is a question about the computer algebra system Magma. I have been looking for a place to ask this type of question on the SE network and scicomp.SE was suggested to me; hopefully it finds a home ...
2
votes
0answers
112 views

CAS to perform “simple” tensor operations in index notation

Heres a couple of questions, 1) Does a CAS exist that can manipulate Cartesian based tensors and produce a simplified output that is hopefully in index notation? 2) If not, is there some indirect ...
1
vote
0answers
36 views

Maple: patmatch does not identify patterns inside diff() operator

I understand that the function applyrule uses patmatch to identify patterns and apply transformations accordingly. Suppose, I ...
1
vote
0answers
192 views

Lambdify error when sympy array contains number

This example is a dummy example, but it describes exactly whats goes on in my problem. As a result from some sympy calculation and manipulation i got two arrays ...
1
vote
0answers
563 views

General algorithm to solve systems of symbolic equations

I want to simplify (solve) a system of linear + nonlinear symbolic equations as much as possible. the equations are of random orders, without differentiation. is there a general & well-known ...
0
votes
0answers
25 views

Negative binomial expansion of general symbolic polynomial

Using Sympy, I would like to compute the negative binomial expansion of a general symbolic polynomial, e.g., $(x_1 + x_2 + x_3 + 4 x_4)^{-1}$. I understand that I can go by recursively partitioning ...
0
votes
0answers
11 views

Sufficient conditions to ensure divergence of a sequence in Maxima

I am using Maxima to check whether a given sequence is diverging to $+\infty$. I know that this problem is undecidable and we note that Maxima is throwing an error: ...