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 http://mathematica....

learn more… | top users | synonyms

4
votes
0answers
65 views

Systems of linear modular equations with unknowns in the moduli

I am interested in systems of linear modular equations, where the unknowns also appear in the moduli. The general form would be: $A \vec{x}= \vec{b} \;\textrm{mod} \; (C \vec{x}+\vec{d})$ where A ...
4
votes
1answer
45 views

induced group actions in GAP

Suppose $G$ is a permutation group acting on some set (for example, $G$ could be the automorphism group of a graph, acting on its vertices). Suppose $G$ also acts on some collection $\Sigma$ of ...
2
votes
1answer
48 views

Computing group cohomology in magma?

I don't how to construct a group module in MAGMA. Can someone show me how to compute group cohomology using MAGMA? For example, I am interested in the action of finite p-groups on abelian p-groups, ...
0
votes
1answer
27 views

standard notation to handle representation of a real number on a computer

Is there a standard notation to handle the effective representation of some real number $x$ on a finite machine ? I have in mind some kind of braces, but I am not sure it is appropriate. Let me try to ...
2
votes
1answer
43 views

How to calculate the polynomial coefficients of a fraction of polynomials?

I have a polynomial fraction which results in a polynomial $$\frac{f(x)}{g(x)}=q(x)$$ with $f$ $g$ and $q$ being polynomials. I have formulas for the coefficients of $f(x)$ and $g(x)$ dependent on the ...
0
votes
1answer
123 views

Implement some actions in Gap

I would like to calculate, in GAP, certain permutation actions on matrices. Namely: Let $G=S_n$ be the symmetric group of degree $n$ and $\Omega=GL_n(q)$ (or a suitable subset). $G$ acts by ...
6
votes
2answers
310 views

Advantages to learning Sage?

I'm wondering if anyone can let me know advantages to installing/setting up Sage on my computer for doing computational math (work in groups, finite fields, and combinatorics, along with some search ...
1
vote
2answers
93 views

Real valued eigenvalues in GAP?

I have a matrix in GAP, and I want its real valued eigenvalues. (Or rational approximations of them, of course.) As far as I can tell Eigenvalues(Rationals,A) only gives me the rational eigenvalues. ...
1
vote
0answers
34 views

Determining equations for Lie symmetries

Am I right that using methods of the 1-forms (that usually implemented in system of computer algebra for Lie Symmetries), we can always generate determining equations for ODE, that solved for highest ...
2
votes
0answers
33 views

Can SAGE or othe software compute or guess growth rates of infinite discrete groups?

I am interested in the growth rate of some finitely generated (infinite, non-abelian) discrete groups. Knowing very little about geometric group theory, I am wondering if I can plug them into sage and ...
2
votes
0answers
38 views

signature function of Weyl group element in LieArt

I am currently using LieArt Mathematica package for some calculations in Lie algebra, I am wondering if there is a way to know what is the signature of a Weyl group element, it seems the package can ...
1
vote
1answer
54 views

Higher Level Group Actions beyond OnSets

Is there a way to produce an orbit of a chain in a poset (whose elements are sets of sets) (that is, the group action is a group acting on the order complex of a poset)? I really want something that ...
1
vote
0answers
64 views

Maxima CAS and programmatically defining a function with a variable number of arguments. -?

This is a very simplified question of what I had asked. In Maxima, how can I include a for-loop counter in the left-hand side of an assignment, e.g. ...
2
votes
1answer
64 views

Any mathematical software to verify no unique products.

Let $D^3= D \times D \times D$ where $D = D_\infty$ where we see $D$ as the group generated by $\mathbb{Z}$ and element $0^*$ of order $2$ such that $0^*n0^*=-n$ for all $n \in \mathbb{Z}$. Letting $...
2
votes
1answer
95 views

Help with Math software (macaulay 2)

I just started working with Macaulay 2 and need some help. I need to find the number of solutions of a system of equations. I am having difficulty imputing this into the software so please be specific ...
0
votes
1answer
32 views

factor out of an expression, a couple principal ideals, software?

I have an expression, $f$, consisting of a few rational fractions of large multivariate numerators, $n1,\,n2,\ldots \in \mathbb{Q}[a1,a2,b1,b2;Q]$ and large multivariate denominators, $d1,\,d2,\ldots \...
0
votes
1answer
66 views

How does GAP understand $SL_2(\mathbb{F}_3)$?

When one is asking for " IrreducibleRepresentations(SL(2,3))" it makes sense that the matrices it returns are over the complex field as thats the field on which the representations are. There GAP uses ...
3
votes
2answers
96 views

”lesser known” rules to calculate the derivative

I was reading through the online help of WolframAlpha (link) and found this statement: Wolfram|Alpha calls Mathematica's $D$ function, which uses a table of identities much larger than one would ...
3
votes
1answer
140 views

Practical applications of computer algebra systems

(Sorry if this is not the correct place for the question) Are there practical applications of symbolic computation systems like Mathematica, Sage, Maxima and the like in software development? To ...
2
votes
1answer
1k views

Given the graph below, use Dijkstra’s algorithm to find the shortest path (More details included)

So I've found out a few things and was wondering if someone could verify if I'm doing this correctly. So here is an example I've been given: Here is the solution to that example: Now here is the ...
0
votes
1answer
103 views

Coercing elements into a set in MAGMA

Suppose I had a permutation group $G$ for example, that corresponded to the intersection of some elements of a list $H$ where the elements are groups. Then, if I wanted to create a set or some ...
0
votes
1answer
331 views

Discrete Fourier Transform using WolframAlpha

I tried to verify a calculation with WolframAlpha. I want to compute the DFT of $[2,3,-3,1]$. So in particular one entry of the result vector should be $2+3-3+1=3$. I don't understand why I get {1.5+...
1
vote
1answer
57 views

Generating a 2D coordinate from a 1D Index

Imagine you have a 5x5 matrix (zero indexed), where only the upper right coordinates are valid. I am unsure if this is the terminology to use, so the following coordinates should be the valid ones: <...
3
votes
2answers
220 views

What is the difference between Set, and Class in object oriented languages?

What is the difference between Set in set theory, and Class in object oriented languages?
2
votes
0answers
111 views

Understanding BlowUp Computation in Singular

Many of us might know that "Singular" is a computer algebra system for Algebraic Geometry, Commutative Algebra and Non-commutative algebra. This is a procedure in "Singular" for computing blowups. ...
0
votes
1answer
51 views

Maple — Lattice Algorithms

Is there any place online where I can find the code for an algorithm which computes the shortest vector in a lattice? The library only includes the algorithm for LLL.
2
votes
1answer
47 views

Is there any Software package to confirm correctness of your derivation steps?

Suppose I made a very complicated (not necessarily difficult) derivations in which it is very likely for anyone to make some silly mistakes, e.g., incorrect sign, overlooking a term, and so on. I ...
0
votes
1answer
66 views

How to find a $k$-basis for a quotient space of a polynomial ring by a subspace?

My question is "How to find a $k$-basis for a quotient space of a polynomial ring $R$ over $k$ by a subspace $V$?" Here the point is quotient by a subspace, not by an ideal. In Singular, there is a ...
2
votes
1answer
82 views

Algorithms for generating $A_n$ and $S_n$ from specific generators

Is there a simple algorithm to generate the elements of the alternating group $A_n$ in terms of some small set of generators? For example, when $n = 4$, I'm looking for an algorithm whose output is a ...
0
votes
1answer
200 views

finding roots of polynomial in MAGMA or GAP

Please hint me. I want to find the roots of $x^3+(1-2n)x^2-(1+4n)x+8n^2-10n-1$ with Magma or GAP. In Magma: $P<x> := PolynomialRing(Rationals())$; $P<n>:= PolynomialRing(Rationals(...
2
votes
1answer
104 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
52 views

Is there some database or software to look for patterns in polynomials?

Like if I am looking at these polynomials, $$x^8-8x^6+20x^4-16x^2+3$$ $$x^{10}-12x^8+48x^6-72x^4+33x^2$$ $$x^{12}-16x^{10}+88x^8-192x^6+138x^4$$ And I want to know if they are members of some ...
1
vote
0answers
66 views

Lower bounds on possible integer relations from the PSLQ algorithm

For the equation: $$ \sum_{i=1}^na_ix_i=0 $$ where all $x_i$ are real numbers and all $a_i$ are integers, the PSLQ algorithm can either find an integer relation or give lower bounds on the norm of ...
7
votes
6answers
837 views

How to efficiently represent and manipulate polynomials in software?

I've started to work on a package (written in matlab for now) that among other things must be able to represent and manipulate (compare, add, multiply, differentiate, etc) polynomials in several ...
1
vote
1answer
74 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 $a\...
2
votes
0answers
81 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 ...
6
votes
2answers
158 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(\, ...
2
votes
2answers
3k 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 $e^{-\infty}...
0
votes
0answers
48 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
1answer
39 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 ...
3
votes
1answer
59 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 ...
-1
votes
1answer
18 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 ...
0
votes
1answer
77 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 ?
3
votes
1answer
294 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 ...
2
votes
1answer
401 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
68 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 ...
1
vote
1answer
50 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
30 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
1answer
38 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
156 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 ...