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

6
votes
3answers
9k views

Tell Wolfram Alpha that a variable is a natural number

How can I tell Wolfram Alpha that some variables are natural numbers, when I want to solve a equation? An example of what I want to do: $\binom{n}{k}\cdot p^k \cdot (1-p)^{n-k} = ...
1
vote
0answers
143 views

Revealing output slowly in Magma

When working in Magma, is there a command to gradually reveal the output. For example, if you have a finite group $G$ and you want to calculate SubgroupLattice(G), then the output may be thousands of ...
3
votes
1answer
3k views

Using Wolfram Alpha to solve a system of linear equations

How do I input the below system of equations in Wolfram Alpha in order to solve for the unknowns? I'm wondering if there's some kind of code that can be written in order to make wolfram alpha ...
2
votes
1answer
112 views

Producing a set of matrices in MAGMA

As part of my work I need to define the set of all $n\times n$ matrices with entries in $\{0,1,\ldots,n\}$ (considered as a subset of $\mathbb{Z}$), such that each row and column of the matrix sums to ...
2
votes
1answer
123 views

How to extract the indeterminates from a set of polynomial?

I am a biologist and I am facing a huge problem. I would like to extract the indeterminates of a set of polynomials, for example, I have: $f_{1} = \{\\x_{3}^{2} + x_{1}*x_{2} + x_{1} + x_{1}*x_{3},\\ ...
0
votes
1answer
45 views

software with a routine for the vanishing ideal of a finite set of points

I am looking for an algebraic software package that provides a routine that computes the vanishing ideal of a finite set of points. So far i am working with Macaulay2 but i have not been able to find ...
2
votes
1answer
134 views

Using Janet Basis to solve a nonlinear polynomial system

I am trying to solve a nonlinear polynomial equation system using Janet basis, when they have finite many solutions. For example the solution of the system: $$xy^2-y^3-3x^2=0,x^2+y^2+xy=0.$$ There ...
2
votes
0answers
661 views

Solving large, sparse system of linear equations

I have a system of linear equations as follows: $$(A+I)x=B$$ where $I$ is the $n\times n$ identity matrix, $A$ is a $n\times n$ matrix such that the first and last rows are blank, and, for every ...
0
votes
1answer
67 views

Maple command for algebraic combinaiton of polynomial in $\mathbb{Z}_p[x]$

Let $F(x) , f_1(x),\ldots, f_r(x)$ be polynomials with coefficients in $\mathbb{Z}_p$ ($p$ is odd prime) Is there a Maple command to determine if$$ F(x) = a_1(x)f_1(x)+\dots+ a_r(x)f_r(x) \pmod{p} ...
0
votes
1answer
146 views

Vectorfields on Surfaces with MuPAD

i am working with MuPAD. I can make vectorfields in 3D and also Surfaces in 3D via plot::VectorField3D and plot::Surface. But now i want to draw a vectorfield ON a surface. If $X$ is a vectorfield ...
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 ...
5
votes
2answers
93 views

Extracting Information from Lists in GAP

If I have a list $L$ in GAP, and a certain list of properties $a,b,c$, how can I count the the number of elements in my list that have all three properties? I've searched the manual (chapter on ...
4
votes
1answer
350 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 ...
4
votes
0answers
287 views

Test for equivalence of algebraic expressions

We are looking for the most efficient (most recent, or best) techniques to check if two algebraic expressions (elementary, Calculus-type functions) are equivalent (or if an expression is equivalent to ...
5
votes
2answers
815 views

Computing Subgroup Lattices

Let $G$ be a finite group, and let $L(G)$ be the lattice of subgroups, partially ordered by inclusion. For example, below is $L(D_8)$. $\quad\qquad\quad\qquad\quad\quad\qquad$ I have two questions: ...
2
votes
0answers
63 views

Minimal set of algebraically independent numbers

Suppose we have a set of polynomials $f_1, f_2, \ldots, f_n \in \mathbb{Q}[x]$. Consider the set $$S := \{\alpha \in \mathbb{C} \; | \; f_i(\alpha) = 0 \text{ for some } i \}$$ of complex roots of ...
3
votes
2answers
195 views

Computer algebra system for category theory

There are many different computer algebra systems which allows to perform computer aided computation in symbolic object like polynomials and function and also ordinals. Now being a category theory ...
0
votes
1answer
86 views

Postfix notation in MAPLE

I usually use MATHEMATICA as a computer algebra system and there I heavily employ the postfix notation (achieved by "//" at the end of some command), e.g. ...
2
votes
1answer
181 views

Some questions about SAGE

I search a programmable calculator like PARI/GP. In the net, I came across SAGE. I have some questions about the download of SAGE Is it really absolutely free ? Is it faster than PARI/PG ? Has it ...
1
vote
0answers
16 views

Tools for optimizing asymptotic bounds.

Is there any tool for this task ? Given the asymptotic bound in term of $n$ and other paramaters $t_1,\dots,t_r$, then return the value for each $t_i$ which optimizes the expression in term of $n$, ...
1
vote
2answers
656 views

Plotting parametric equations in Maple

I have the following problem. Let $\alpha:=\alpha(v)$ and $\beta:=\beta(v)$, where $v\in\mathbb{R}$. Using MAPLE, I would like to plot $\alpha$ and $\beta$ in the $(\alpha,\beta)$ space as $v$ varies ...
1
vote
1answer
138 views

Computing Resultant

The resultant of two polynomials is defined as the determinant of the Sylvester matrix. If the polynomials are of degree $n$ and $m$, than the Sylvester matrix will be of dimension $(m+n)\times ...
5
votes
3answers
1k views

What free software can I use to solve a system of linear equations containing an unknown?

Question: What free software can I use to solve a system of linear equations $M\mathbf{x}=\mathbf{y}$ where the entries of $\mathbf{y}$ vary with an unknown quantity $n$? Presumably I could do ...
2
votes
1answer
280 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?
0
votes
0answers
125 views

How to solve an equation in three variables fixing two of the variables?

Also, I have the following equation, I want to solve it for $b$ keeping $a$ and $c$ fixed. $5b^5+(60-5a)b^4+(125+50c-80a)b^3+(594c-445a-775)b^2+(2324c-1005a-3270)b+3000c-750a-3000=0.$ Also how to ...
4
votes
2answers
223 views

How can I find the sum of the digits of a positive integer in GAP?

(I eventually found the answer to this question after writing it. But just in case anyone finds this useful, or has an alternative or better answer, I'll ask and answer my own question.) After ...
1
vote
1answer
80 views

Comparing expressions exactly

Suppose I have two expressions; call them $A$ and $B$. The following values of $A$ and $B$ are good examples for my question... $$ A = \pi e^2\\ B = \pi^2 e $$ Is there a method to determine the ...
4
votes
2answers
350 views

What is the fastest computational graph theory package?

What is the fastest computational graph theory package with respect to executing algorithms and computing graph theoretic data? I am aware of this related question, which requests graph theory ...
0
votes
1answer
358 views

Solving a nonlinear equation for one of variables with the help of a computer algebra system

Are there any solutions out there that can take a wide variety of equations with variables, like the one below, and transpose or isolate variables to other sides of the equation automatically? For ...
1
vote
1answer
101 views

How do I determine if two of my software's representation of algebraic numbers are equal?

I have software which stores information about algebraic numbers with absolute precision. If you build it up by creating instances of a Python representation of an integer, float, Decimal, or string, ...
1
vote
1answer
60 views

What are the explicit expression for this interpolation problem

We want to fit $f(x) = a_0 + a_1 *x + a_2 * x^2 + ... + a_n * x^n$ to the data $(x_i,f(x_i))$ for $i = 0 ... n.$ It will give rise to the following system $ A a = b $ Here $ a = [ a_1 a_2 a_3 ...
1
vote
1answer
43 views

Specifying if a function has an elementary integral

In Algorithms for Computer Algebra in the last chapter about Risch algorithm, the Rothstein-Trager method is applied to see if an elementary function has an elementary integral. For this, the ...
1
vote
0answers
101 views

Flatten kronecker product in CAS?

I am a new user of Maxima, and I need to trace the elements of a big messy kronecker product of symbolic matrices. I tried the following to get my feet wet, but I don't get a simple, flat matrix -- ...
2
votes
1answer
790 views

Computer Algebra: How does the TI-89 do it?

I've always been amazed with the TI-$89$'s ability to deal with symbolic expressions so effortlessly. I've attempted to build several CASs in the past (mostly for fun, they are one of the most ...
4
votes
1answer
235 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
1answer
304 views

Best graphing program for Mac or PC?

I just bought the highest end iMac, with a student discount, of course, and was wondering what is the best graphing program out there. A program that can graph any equation that I throw at it AND one ...
9
votes
1answer
247 views

Modular subgroup lattice in GAP

I want to know if one can ask GAP to decide whether the subgroup lattice of a specific finite group $G$ is modular, via a simple command. Many thanks. Update: relevant questions have been addressed ...
5
votes
1answer
254 views

Finding irreducible representations of the following group using GAP

Given the following group of order 24, $$ G = \langle a,b \mid a^2=b^3=(abab^2)^2=1\rangle$$ how can one find (all) the irreducible representations using GAP? Since I have not installed GAP yet, I ...
2
votes
1answer
507 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 ...
1
vote
0answers
95 views

Looking for a binomial system solver

I am interested in solving binomial systems of the form $$ \begin{cases} a_1 x_1^{d_{11}} x_2^{d_{12}} \cdots x_n^{d_{1n}} + b_1 x_1^{d_{11}} x_2^{d_{12}} \cdots x_n^{d_{1n}} &= 0 \\ ...
9
votes
5answers
4k views

Computer Algebra: Algorithms for solving equations symbolically

As a hobby, I have written a basic computer algebra system. My CAS handles expressions as trees. I have advanced it to the point where it can simplify expressions symbolically (i.e., sin(pi/2) ...
0
votes
1answer
100 views

Semi directProduct and Maximal subgroup in gap [closed]

Let $P$ be a quaternion of order 8 and $Q$ a cyclic group of order 9 and $G=[p]Q$, a semidirect product ($P$ is normal in $G$). Let $M$ be a maximal subgroup of $G$ such that $Q<M$. I want to ...
8
votes
2answers
1k views

Common Lisp for mathematicians?

I am interested in learning Common Lisp. There seems to be a lot of material either for (experienced) programmers, or for people with no background, in programming or in mathematics. I was wondering ...
1
vote
2answers
15k views

Wolfram Alpha: How to define constants in a system of equations?

I'd like to use WA to solve a small system of nonlinear equations, that involve both constants and the variables of interest. How do I "tell" WA which variables are the constants, and which are the ...
1
vote
2answers
200 views

wolfram mathematica, numerical integration, precision of a function/expression

I want to obtain the best numerical approximation (up to 10 decimal place would be ok for me) to an integral: $$ \int^{\infty}_{0} f(r)r^2dr $$ I am using the function $f(r)$, which is related to ...
0
votes
1answer
111 views

Symbolic manipulations of integral equations

I was trying to learn about solving integral equations using symbolic algorithms. After a quick web search, I mostly found items like this Mathematica journal article that mostly focuses on how to use ...
2
votes
2answers
242 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]$. ...
4
votes
5answers
212 views

Are CASs useful in mathematics?

I understand that computer-algebra systems are useful for physists, engineers, or other users of mathematics. But are they useful in mathematics itself? Specifically, Are they usually taught in ...
2
votes
1answer
210 views

Character table in MAGMA

Below is a character table created using the MAGMA computer algebra system. What is the meaning of the rows starting with $p=2$, $p=3$, etc.? I've tried looking in the documentation, but couldn't ...