Tagged Questions

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 ...

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 ...

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. ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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:
...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...