A computer algebra system (CAS) is a program which is able to carry out various symbolic manipulations with mathematical expressions. Some well-known computer-algebra systems: Mathematica, Maple, Wolfram Alpha, GAP, SAGE. For questions about Mathematica please see the ...

learn more… | top users | synonyms

4
votes
1answer
234 views

How do I substitute a value into a polynomial in GAP?

Question: How do I substitute a value into a polynomial in GAP? So, if I start off with the following: x:=Indeterminate(Integers,"x"); f:=x^2+3; I have $f$ ...
14
votes
7answers
5k views

symbolic computation program/software

What is your recommended symbolic computation program/software for free and commercial respectively? What are its strength and weakness? For example, efficiency, comprehensiveness, etc Thanks!
2
votes
1answer
409 views

Computing 2d radially symmetric Fourier transforms (with Wolfram Alpha)

Let's assume that I "know" $\mathcal{F}\{\operatorname{circ}(r)\}(\rho)=\frac{J_1(2\pi\rho)}{\rho}$ $\mathcal{F}\{(1-r^2)\operatorname{circ}(r)\}(\rho)=\frac{J_2(2\pi\rho)}{\pi\rho^2}$ because I ...
2
votes
1answer
1k views

Solving a matrix equation $AX=XB$ in a CAS

I have the following computational problem. Let $N$ be a positive integer and $A\in \mathbb{C}^{2N\times 2N}$, $X\in \mathbb{C}^{2N\times 4}$ and $B\in \mathbb{C}^{4\times 4}$. I want to solve the ...
1
vote
1answer
156 views

Resultant of Two Univariate Polynomials

I am trying to implement an algorithm for computing Res(f(x),g(x),x) where f(x) and g(x) uni variate polynomials with integer coefficients. Could any one list the various algorithms for computing ...
26
votes
22answers
2k views

Can you recommend a decent online or software calculator?

I'm looking for an online or software calculator that can show me the history of items I typed in, much like an expensive Ti calculator. Can you recommend any?
14
votes
10answers
7k views

What are some good iPhone/iPod Touch/iPad Apps for mathematicians? [closed]

There are lots of good apps for teaching mathematics to children but I would like to learn about apps for undergraduate/graduate/research levels. Helper questions Any algebra system (like ...
8
votes
2answers
265 views

What is the closed form of $\sum _{n=1}^{\infty }{\frac { {{\it J}_{0}\left(n\right)} ^2}{{n}^4}}$?

Using Maple I am obtaining the numerical approximation $$0.5902373619$$ Please, let me know what is the closed form. Many thanks.
6
votes
1answer
731 views

Semidirect Products with GAP

I'm wondering how to specify to GAP which homomorphism to use when constructing a semidirect product. I'm trying to have it construct $\left(\mathbb{Z}_p\times\mathbb{Z}_p\right)\rtimes_\varphi S_3$. ...
5
votes
1answer
210 views

Algorithms for symbolic definite integration?

What are the algorithms for symbolic definite integration? Apart from computing the antiderivative first. What are the basic ideas behind such algorithms? As far as I got it, the main idea behind ...
10
votes
3answers
461 views

Erroneous numerical approximations of $\zeta\left(\frac{1}{2}\right)$?

By definition of the Riemann Zeta Function, $$\zeta\left(\frac{1}{2}\right) = \sum_{n=1}^\infty \frac{1}{\sqrt{n}}.$$ Since $\forall n \geq 1 : \frac{1}{\sqrt{n}} \geq \frac{1}{n}$, we have that for ...
7
votes
2answers
996 views

Wisdom of using Sympy as a first CAS

I'm an undergrad. maths student and have been looking at a few different free maths programs (mainly CAS systems, I've been very impressed with Octave as a MATLAB clone.) I've been tossing up between ...
2
votes
1answer
80 views

What is the closed form of $\sum _{n=1}^{\infty }{\frac { {{\rm J_{0}}\left(2\,n\right)} ^{2}}{{n}^{2}}}$?

Using Maple I am obtaining $$\sum _{n=1}^{\infty }{\frac { {{\rm J_0}\left(2\,n\right)} ^{2}}{{n}^{2}}} = 0.09845497463 $$ Please check it. Many thanks.
2
votes
2answers
483 views

Galois group command for Magma online calculator?

I need to test if a family of 7th deg and 13 deg equations are solvable. I'm new to Magma, so my apologies, but what would I type in, http://magma.maths.usyd.edu.au/calc/ to determine the Galois ...
6
votes
1answer
233 views

Computer Algebra Systems for Experimental Mathematics (especially Integer Relations with PSLQ)

I would like to use a computer algebra system to do some experimental mathematics, particularly Integer Relation problems using the PSLQ algorithm. I know that Maple has a PSLQ implementation, but ...
4
votes
1answer
114 views

Finding integer solutions to $y^2=x^3+7x+9$ using WolframAlpha

I am an unconditional admirer of WolframAlpha and for this reason I want to let the people of this error (or is it really the fault of mine?). If I'm not mistaken, I would be very happy to contribute, ...
4
votes
1answer
347 views

Computing Conjugacy Classes of Subgroups in GAP

GAP has the command ConjugacyClassesSubgroups which gives a list of the conjugacy classes of a finite group $G$. Is there a way I can specify further what types of subgroups GAP reports? For ...
3
votes
1answer
334 views

Proving $n^{97}\equiv n\text{ mod }4501770$

How do we show $$n^{97}\equiv n\text{ mod }4501770$$ for all integer $n$? First of all, I thought I could use Fermat's little theorem or Euler's theorem, but I'm not sure if they are applicable here.
2
votes
1answer
97 views

do we have any special algorithms or software to find all 2-sylow subgroups of a group?

I am working on a project that involves 2-sylow subgroups of groups,one thing that I need to do is to find all 2-sylow subgroups of a group and check that it is cyclic or not, now my question is that ...
4
votes
1answer
318 views

Computing with ideals: over $K$ or over $\mathbb{Q}\subseteq K$? does it matter?

I'm beginning to learn to use SINGULAR, the computer algebra system (CAS) for commutative algebra. NOTATION: If $K$ is a field of characteristic $0$, then $\mathbb{Q}\subseteq K$; otherwise ...
2
votes
1answer
176 views

Is there a computer programm or CAS (maybe GAP?) that can calculate with projective (indecomposable) A-modules (A is a finite dimensional k-algebra)?

I have the following question(s): I have an "Algebra-With-One" $R$ as a subalgebra of a full matrix algebra in GAP. Furthermore, I have 5 primitive orthogonal idempotents $e_1,...,e_5$, which sum up ...
2
votes
1answer
278 views

Computing Invariant Subspaces of Matrix Groups

Does anyone have a program written in Mathematica (or SAGE or GAP) that computes the invariant subspace lattice of a matrix group?
1
vote
1answer
248 views

In SAGE, what function factors a polynomial whose coefficients are parameters?

In SAGE the function "factor" will factorize elementary polynomials with coefficients in $\Bbb Q$. For example: x,y = var('x,y') poly = x^3-y^2*x factor(poly) SAGE: x*(x-y)*(x+y) ...
1
vote
2answers
126 views

Representing Elementary Functions in a CAS

I've looked through several books about computer algebra. They are surprisingly scarce about how to actually represent elementary functions. Basically, as far as I understood elementary functions are ...
1
vote
1answer
126 views

Is there CAS design wisdom regarding categorizing expressions?

Is there CAS design wisdom regarding categorizing expressions? For instance. A user types in the expression $X^2 + X + 1$. Would it be best to classify it as a member of $R[X]$ (for some R, yet to ...
0
votes
3answers
118 views

Does MAPLE not simplify correctly or am I goofing?

While attempting to answer this question with help of MAPLE, something very strange happened, at least according to me. We have the following function: $$ \phi(x,y) = ...
4
votes
1answer
161 views

How does the function CycleIndex work in GAP? ( undocumented in GAP )

Background: When I divide a hexagon in six triangles the group $D_6$ works on the triangles. The cycle index of the group action would be in this case $$p(x_1,x_2,x_3,x_6)=\frac{1}{12}(x_1^6 + ...
2
votes
2answers
99 views

Simple algebra in a differential equation.

I have the differential equation: $$\frac{dy}{dx}=\sin (x-y).$$ Substituting $v=x-y$ and $dy=dx-dv$, I got down to the equation:$$\frac{dv}{1-\sin(v)}=dx.$$ Multiplying the LHS by $\dfrac{1+\sin ...
2
votes
2answers
1k views

How to define a recurrence relation in Maple?

I'm new with Maple and want to define a recurrence relation. I want to 1) have Maple solve it to the explicit formula 2)have Maple output a few evaluations of it for various values of ...
2
votes
2answers
241 views

Simple generators with a complex Gröbner basis

It's known that finding a Gröbner basis of a polynomial ideal has a worst-case space complexity of $O(2^{2^{c\cdot n}})$, where c is constant and n is the number of variables $k[x_1,\ldots,x_n]$. ...
1
vote
1answer
308 views

How to effectively compute a periodic function?

I'm writing a program to compute a value of periodic function for any arbitrary large argument: $f(k) = (\sum_{n=1}^{2^k} n)\mod\ (10^9 + 7)$, where $n,k \in \mathbb{N} $ I know that $ f(k + P) = ...