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. For questions about Mathematica please see the ...

learn more… | top users | synonyms

3
votes
2answers
265 views

Converting GAP groups into SAGE permutation groups.

I have been working with SAGE online, and have made some programs to test some hypothesis about finite groups. However, the pre-defined "named" groups in SAGE are quite limited (basically, the ...
3
votes
1answer
148 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$ ...
-1
votes
2answers
51 views

Regular vs Nonregular language [closed]

Let S be a language that is not regular? Suppose that T is a language such that T C S. Is T nonregular? This question is from textbook, can someone help me?
0
votes
1answer
41 views

Determining if language is regular?

Let $R$ be a regular language and $R_e := \{w\ |\ w \in R \text{ and the length of } w \text{ is even}\}$ Question: Is $R_e$ regular? Prove your answer. I am having trouble with these type of ...
0
votes
1answer
51 views

Math software to calculate in different rings.

I was doing computational experiment by using rings of polynomial like this let $f(x)=x^6+x\in\mathbb{Z_n[x]}$ for any given $n$. Is there any software which help me to calculate $f(a)$ where ...
6
votes
2answers
136 views

Computing a nasty integral (probably with computer algebra system)

I'm trying to do this integral, not sure if it is possible: $$ \int_{1}^{\infty}\int_{0}^{\infty} \exp\left(\, -\,{x^{2} \over y^{2}}\,\right) \exp\left(\,-\,{y^{2} \over z^{2}}\,\right) \exp\left(\, ...
1
vote
0answers
21 views

Is there any efficient progam or software to calculate the fractional chromatic number?

The fractional chromatic number $\chi_f(G)$ is a generation of the chromatic number of a graph $G$. It can be formulated as a linear programming question: Let $\mathcal{I}(G)$ be the set of all ...
1
vote
2answers
94 views

Nspire cx CAS - Laplace inverse fails

I'm trying to calculate that easy integral but I get undef. When I replaced $\infty$ with $1000$, I got the right answer. ($e^{-1000}$ is zero roughly). Although this calculator knows that ...
8
votes
2answers
228 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.
0
votes
0answers
33 views

What is the “cost” of computation of two special CAS algorithms

Suppose I have an integer $n$ with e.g. a large number of say decimal digits. I would like to get some information about the runtime "cost" of standard CAS algorithm which factors $n$ into primes ...
0
votes
0answers
20 views

Interpolating transformation matrices

I read not to interpolate transformation matrices by linearly interpolating. Can someone explain to me why interpolating transformation matrices by linearly interpolating the matrix components is a ...
0
votes
1answer
18 views

Get the closed form of Taylor series with Maple

Is it possible to get the closed form of Taylor series with Maple? The series command can give any given number of terms, but the question is about the closed form ...
2
votes
0answers
30 views

Tool for construction of graph with specified properties

Is there a tool (class of algorithms for graph generation) that can construct graph with specified properties. E.g. construct graph who is homeomorphic with both to K5 and K3,3. Construct planar graph ...
0
votes
1answer
59 views

Solve nolinear system of equaion with c/c++ [closed]

My system of equation is like this: (x-a1)^2 + (y-b1)^2 = c1 (x-a2)^2 + (y-b2)^2 = c2 I know it is simple using matlab: ...
5
votes
2answers
155 views

How do you compute group cohomology in practice?

If you have a finite group $G$ and a finite $G$-module $K$, and you need to know $H^1(G,K)$ or $H^2(G,K)$, how do you do it? Do you use a computer algebra system? (If so, which one?) Do you use a ...
-1
votes
1answer
16 views

Verification of $F(m)^{d} \pmod n \equiv m$ with very large inputs, where $F(m)=m^e$

Does anyone have the computational power to check whether or not $F(m)^{d} \pmod n \equiv m$, where the values of the variables are found below. According to Wolfram Alpha, I found the result of the ...
39
votes
14answers
3k views

'Linux' math program with interactive terminal?

Are there any open source math programs out there that have an interactive terminal and that work on linux? So for example you could enter two matrices and specify an operation such as multiply and ...
0
votes
1answer
55 views

Any algorithm or theorem to decide whether two functions are equivalent? [duplicate]

Any algorithm or theorem to decide whether two functions that are polynomials,rationals and analytic over $\mathbb{N}$ or $\mathbb{Q}$ or $\mathbb{R}$ or $\mathbb{C}$ are equivalent ?
2
votes
1answer
37 views

MuPAD - complicated solve() solutions

I am trying to solve an equation for one variable as shown in the picture: Judging from the output of the second command, I should be able to get an expression for $\ddot{\theta}$. I tried ...
1
vote
1answer
39 views

MuPAD - rearrange an equation

I have a huge expression, say $f(x_1,x_2,x_3) = 0,$ and I want MuPAD to try to express $x_1 $ in terms of $x_2$ and $x_3$ Is this possible?
1
vote
2answers
65 views

How can I plot $y^x$?

How can I plot $y^x$? To keep things simple and to not have another $z$ variable on the other end of the equation, let's assume $y^x=10$. As long as that value is not $0$, the curve we get should look ...
0
votes
0answers
18 views

defining an upper bound for n-tuple

Let we have $n-tuple ~~like ~ a=(a_1,...a_n) \in N_0^n ~and ~every ~a_j < (2^{m_j} -1). $ and let suppose we have another n-tuple like $b:=(b_1,...,b_n)$ such that $ b_i \leq (2^{m_j} -1)$. I ...
1
vote
1answer
26 views

Variance of discrete probability distribution

I was wondering how I should calculate the variance of the following discrete probability distribution: $$P(y = 0|X) = w + (1-w)e^{-\mu}$$ $$P(y = j|X) = (1-w)e^{-\mu}\mu^{y}/y! \qquad j=1,2...$$ ...
2
votes
0answers
22 views

Improvement of Buchberger's Algorithm (second part)

Suppose $S_j$ is a homogeneous syzygy of multidegree $\gamma_j$ in $S(G)$, where $G=\{g_1,\dots,g_t\}$. Show that $S_j G=\Sigma_{i=1}^{t} c_ix^{\alpha(i)}g_i$ has multidegree $< \gamma_j$. Now, I ...
0
votes
0answers
29 views

Improvement of Buchberger's Algorithm

1) Let $S(F)$ be the subset of $(k[x_1,\dots,x_n])^s$ consisting of all syzygies on the leading terms of $F=\{f_1,\dots,f_s\}$. Then every element of $S(F)$ can be written uniquely as a sum of ...
0
votes
0answers
164 views

using wolfram alpha to solve a system of nonlinear differential equations

Will Wolfram Alpha solve a system of nonlinear differential equations with initial values and graph the solutions? Essentially, I want to hand Wolfram a first-order system with variables x_1, x_2, ...
2
votes
2answers
202 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 ...
25
votes
23answers
1k 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?
3
votes
2answers
315 views

Learning to use MAGMA

I'm trying to learn to use MAGMA for research in group theory, but it's been slow going. I've been using the MAGMA handbook provided online, but it's rather hard to learn with. I feel like it's hard ...
0
votes
1answer
28 views

Decomposition of a polynomial over generators of an ideal

Let $f$ be a polynomial in six variables, say, over complex numbers, and $l_1$, $l_2$ are some linear forms in the same variables. If I know that polynomial $f$ belong to the ideal generated by $l_1$ ...
2
votes
0answers
61 views

Algorithm to reduce expressions to canonical form

I'm writing a small computer algebra system that only knows rational numbers and all expressions that you can get from them by using basic arithmetic operations and powers. So the expressions are ...
4
votes
2answers
217 views

The J programming language: is it useful for mathematics?

I just stumbled upon the J programming language, which has the description: J is particularly strong in the mathematical, statistical, and logical analysis of data. It is a powerful tool in ...
1
vote
1answer
66 views

how to use hilbert function in gap system with loadpackage singular

how to calculate hilbert function as it do in singular code singular code ...
0
votes
0answers
30 views

Question about multiple solutions to a polynomial

Assume that $f(X,Y,Z,V,W)\in \mathbb{Z}[X,Y,Z,V,W]$ is some polynomial and assume that $f(x,y,z,v,w)=0$. I would like to know if there is some way to figure out if there are non-trivial constants in ...
2
votes
1answer
34 views

Computing intersection of vector spaces spanned by two lists

Assume that I'm given two lists of vectors $l_1$ and $l_2$, where all the vectors have equal dimension. I want to compute a basis for the intersection of their spans. What is the easiest setup for ...
2
votes
1answer
75 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
2answers
85 views

There is a closed form for $\sum _{n=1}^{\infty }{\frac {{{\it J}_{0}\left(\,\alpha\,n\right)} {{\it J}_{0}\left(\,\beta\,n\right)}}{{n}^{2}}}$?

Using the method showed here proposed by Olivier Oloa with simplifications proposed by Anastasiya-Romanova, it is possible to prove that $$\sum _{n=1}^{\infty }{\frac {{{\it ...
0
votes
1answer
50 views

Printing long lines in MAGMA without line break

In MAGMA, how do I print a long list of items to a file without automatic line breaks? It seems to me that there is an internal length limit and anything longer than it will result in a automatic ...
2
votes
2answers
228 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]$. ...
2
votes
1answer
50 views

Division by factorized polynomials in Macaulay2

I have this problem dividing by factorized polynomials, for example (x_1^4-x_2^4)//(factor(x_1^2-x_2^2)) does not work because the numerator is of "class R" (R is the ring kk[x_1..x_n]) and the ...
0
votes
1answer
77 views

How to expand quadratic equations in Octave/Matlab?

I have some column vectors, and I put them in a row, so I have $[a \, b \, c]$. Now I want to get a matrix of the form $[a^2 \, b^2 \, c^2 \, ab \, ac \, bc]$. It is like expanding $(a+b+c)^2$, but ...
3
votes
1answer
60 views

Square-free factorization of polynomials over finite fields

For any $f\in\mathbb{F}_q[X]$, I want to derive an algorithm which computes a factorization $$f=\prod_{i=1}^kf_i^i\tag{1}$$ with square-free polynomials $f_i$. My Ideas: If $f'=0$, we're done ...
4
votes
1answer
118 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 ...
0
votes
0answers
14 views

Gram-Schmidt-procedure with PARI/GP

Can the Gram-Schmidt-procedure to find an orthogonal basis of a vector space spanned by given linear independent vectors be easily done in PARI /GP or do I have to program the procedure ?
1
vote
1answer
57 views

Chinese remainder theorem for polynomial evaluation

Let $R$ be a euclidean domain, $m_0,\ldots ,m_{k-1}\in R$ be pairwise coprime and $m:=m_0\cdots m_{k-1}$. The Chinese remainder theorem states: $$\varphi:R\to R/(m_0)\times\cdots \times ...
0
votes
1answer
42 views

CAS expression - Solve equations with $\sum$ and $\infty$

Can a TI89 or other CAS calculators solve this? I tried it on my classpad 330 did not work solve for p $$p = \sum_{j=0}^\infty p^j \frac{2^je^{-2}}{j!}$$ solve for p $$p = \lim_{z \to \infty} ...
1
vote
1answer
79 views

Programming PARI/GP to do a sum

I'm trying to compute the following sum in PARI/GP $C=\sum_{n=1}^{\infty} \frac{g(n)}{n^2}$ where $g(n)$ defined as $$g(n)=(-1)^r, \qquad r=\text{number of even indexed prime factors of $n$}$$ By ...
1
vote
1answer
107 views

Implementing a function in PARI/GP

I want to define a function: $$g(n)= \begin{cases} +1 & \text{if $n=1$},\\ +1 & \text{if $n$ is an odd indexed prime}, \\ -1 & \text{if $n$ is an even indexed prime},\\ (-1)^r & ...
1
vote
1answer
63 views

How to detect carry and overflow?

Let's say that 0011 + 0111 = 1010 How to detect whether the operation generate carry and overflow?
0
votes
0answers
56 views

Can a Computer Algebra System 'experiment' with expressions?

I have recently been reading about software for symbolic manipulation, and I can see its use as a tool for performing large calculations that would be unfeasible otherwise. Given that these systems ...