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
246 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
6k 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
471 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
179 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
274 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.
15
votes
1answer
380 views

Most wanted reproducible results in computational algebra

I am interested in suggestions for major computational results obtained with the help of mathematical software but not easily verifiable using computers. "Most wanted" could refer, for example, to ...
6
votes
1answer
764 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$. ...
10
votes
3answers
463 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 ...
6
votes
1answer
214 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 ...
7
votes
2answers
1k 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 ...
5
votes
1answer
253 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 ...
3
votes
2answers
594 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 ...
2
votes
1answer
101 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 ...
2
votes
1answer
82 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.
4
votes
1answer
125 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
478 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
336 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
187 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
303 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
2answers
127 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 ...
4
votes
1answer
60 views

What is sample variance of sample variance, and what is theoretical sampling distribution?

I am trying to work some things in R and I am having trouble understanding some of the instructions. I generated $1000$ samples of size $5$ from the standard normal distribution, and I calculated the ...
4
votes
1answer
68 views

GAP Most efficient way to check multiple properties of a group in the small group library

In GAP I would like to search the small groups library looking for groups with specific properties (I suppose this is the most common usage). If I have a list of properties I want to test, what is ...
4
votes
1answer
167 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 + ...
4
votes
1answer
323 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 ...
3
votes
1answer
591 views

How can I get Macaulay2 to tell me if this ideal is prime?

I am trying to get Macaulay2 to confirm if $(y+zi,x^2 - z^2 - 1)$ is a prime ideal in $\Bbb{C}[x,y,z]$. Now as a small test, I tried to compute its radical by doing ...
2
votes
2answers
102 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
2k 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
243 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
327 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
1answer
311 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) = ...
1
vote
1answer
129 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
121 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) = ...