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

2
votes
2answers
132 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
72 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
1answer
187 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
228 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
82 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
56 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
40 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
88 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 -- ...
3
votes
1answer
346 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 ...
3
votes
1answer
120 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
189 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 ...
8
votes
1answer
198 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 ...
-1
votes
2answers
233 views

How are arrays defined with GAP? [closed]

Is it possible to define arrays in GAP ? If not what is the replacement ?
5
votes
1answer
157 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
293 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
70 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 \\ ...
8
votes
4answers
1k 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
94 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 ...
7
votes
2answers
572 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
5k 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
144 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
91 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
1answer
207 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
182 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
131 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 ...
4
votes
1answer
218 views

MAGMA question: SemidirectProduct using a homomorphism $f:G \rightarrow GL_n(\mathbb{F}_p)$.

Suppose I have a homomorphism $f:G\rightarrow GL_n(\mathbb{F}_p)$ and I wish to form the semidirect product $E\rtimes_f G$ with $E$ being the elementary abelian group of order $p^n$. The Semidirect ...
2
votes
2answers
215 views

How to solve generic algebraic problem using solver/library programmatically? Matlab, Mathematica, Wolfram etc?

I'm trying to build an algebra trainer for students. I want to construct a representative problem, define constraints and relationships on the parameters, and then generate a bunch of Latex formatted ...
2
votes
2answers
88 views

Coercion in MAGMA

In MAGMA, if you are dealing with an element $x\in H$ for some group $H$, and you know that $H<G$ for some group $G$, is there an easy way to coerce $x$ into $G$ (e.g. if $H=\text{Alt}(n)$ and ...
0
votes
0answers
183 views

A (contour?) integration (even if by using Mathematica!)

I need to be able to calculate integrals of this type where the sum over $R$ is the sum over representations of a Lie group $G$ on whom $dU$ is the Haar measure and $\chi _ R ()$ is the character of ...
3
votes
2answers
244 views

How do I break MAGMA? [closed]

Is there any way I can break and get back to the prompt in MAGMA when MAGMA is spending forever doing some computation? I don't wan't to Ctrl-D, because then I will lose all sorts of stored variables, ...
0
votes
1answer
99 views

How to iterate over power set in MAGMA?

I want do something for all subsets J of a certain cardinality of {1,2,...,n}, for a (previously declared) number n. It seems magma is not happy with: for J in PowerSet([1..n]) do To which MAGMA ...
2
votes
1answer
162 views

Prove $\log_bf(x)$ is big-theta $\log f(x)$

How can I prove that $\log_bf(x)$ is big-theta of $\log f(x)$ for any constant $b > 1$?
2
votes
3answers
92 views

Prove that $\log f(n)$ is $O(\log n)$.

If $f(n)$ is any polynomial in n with positive coefficients, how could I prove that $\log f(n)$ is $O(\log n)$? I've been having trouble how to do this for a while now.
1
vote
1answer
76 views

How to test a formula online?

I have an equation I have devised, it is: $$\frac{H+O}{25}+\frac{D}{12970}+\frac{E}{363}+110 = X$$ The equation doesn't matter, I just posted it as an example. I need to be able to plug in values ...
2
votes
0answers
66 views

Free software for expresing a resolvent as function of coefficients

This relates to question "Expressing a symmetric polynomial in terms of elementary symmetric polynomials using computer?" I would like to try absolute resolvent for group $C_5$ in $S_5$. For example ...
2
votes
1answer
96 views

Picking out columns from a matrix using MAGMA

How do I form a new matrix from a given one by picking out some of its columns, using MAGMA?
0
votes
2answers
71 views

solving a matrix equation $X-I=a \cdot (X\cdot U^T + U \cdot X)$

I am trying to solve the $n \times n$ diagonal matrix $X$ in the following equation: $$X-I=a \cdot (X\cdot U^T + U \cdot X)$$ where $0<a<1$ is a given scalar, $U$ is a $n \times n$ given ...
1
vote
0answers
41 views

CAS for counting points of varieties over finite fields

I am looking for a computer algebra system, which is able to some of the following (in theory equivalent) things for a smooth projective variety defined over a finite field: -Count the number of ...
3
votes
2answers
435 views

Software for differential geometry

What is the software for computations with tensor fields? I'm interested in computations with vector-valued differential forms on Riemannien manifolds. Wedge product, exterior derivative, likely Hodge ...
2
votes
1answer
228 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 ...
1
vote
1answer
804 views

Existence of non-trivial solution of Sylvester equation.

I'm trying to solve a special case of Sylvester equation in my case it looks like $$A*X=X*B$$ so it can be written in form $$A*X+X*(-B)=C$$ where C consist of all 0 items. I tried to solve it in ...
38
votes
14answers
2k 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 ...
6
votes
3answers
252 views

Computer Algebra Systems which implement Cylindrical Algebraic Decomposition

My understanding is that Mathematica's Reduce function is based on Cylindrical Algebraic Decomposition (CAD). The only other system I've seen which implements CAD ...
1
vote
0answers
725 views

Simple example application of Karush-Kuhn-Tucker conditions to minimization problem

I am wondering if there is a simple example application of the Karush-Kuhn-Tucker conditions to show that a minimum exists for a multivariate minimization/optimization problem. Could anyone suggest a ...
1
vote
1answer
306 views

Complex equation in maxima

I rested on this tutorial. After issuing the command with "solve" function: %i2 solve((a-b-sqrt(-c^2+2*c*y-y^2+r^2))^2+(d-y)^2=2*r^2*(1-cos(e)),y); The output ...
1
vote
1answer
43 views

Interpreting a chain of m's and o's from Macaulay2

This has been crossed referenced here as well in case a software developer understands this language. I am using Macaulay2 and does anyone know how to read the following? Example 1: -- ...
0
votes
1answer
147 views

The mathematics underlying this baroque expression of the double-factorial

On the OEIS page for the double factorial, there are three ways of getting the sequence in PARI. One of them is this curious bit of PARI code: ...
5
votes
1answer
171 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 ...
1
vote
1answer
248 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
2answers
109 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 ...