# Questions tagged [computer-algebra-systems]

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 are Mathematica, Maple, Wolfram Alpha, GAP, SAGE. Questions on this site about computer algebra systems should be mathematical in nature, and not just about the syntax or the mechanics of the CAS. Otherwise the question would be better suited for a different Stack Exchange site.

462 questions
Filter by
Sorted by
Tagged with
29 views

### Division of two polynomial expressions

Is $$1/(X^n - 1), n \in N$$ a polynomial? Intuitively I would say yes, because 1 is a polynomial($X^0$) and so is $X^n - 1$. But Sage(The CAS) appears to disagree, when I type the expression in and ...
152 views

### GAP code related to supersoluble abnormal subgroups

The property I want to check is whether there exists a finite non-supersoluble group $G$ which admits a triple factorisation $G=AB=AC=BC$, where $A, B, C$ are abnormal supersoluble subgroups of $G$. (...
59 views

### Renaming variables in FriCAS sandbox output

I'm playing with FriCAS in sandbox and the problem is, When asked to find indefinite integral (as well as in many other cases), FriCAS outputs auto-generated variables in a rather unsightly manner, ...
20 views

### Desmos - Finding zeros (and storing them)

In Desmos, I frequently label my graphs in terms of parameters in the problem. For example, if a is a slider, I could write m = f'(a) and then in a label I could write "The slope of this tangent ...
67 views

### Computer algebra systems in logic and set theory

I am a big proponent of computer algebra systems (in particular Sage) and I know that I use sage a lot in my day to day research. When I'm learning a new branch of math, I like to see what packages ...
72 views

### Symmetric group irreducible representations

Given a symmetric group, I'd like to get explicit matrices for the Young natural irreducible representations. (These are different from the generic unitary/orthogonal irreps; the natural irreps are ...
47 views

### How to use GAP/magma to list all the elements of some order in a finite group? [closed]

How to use GAP/magma to list all the elements of some order in a finite group? For example, let $G\cong \mathbb{Z}_2\times \mathbb{Z}_{24}$, how to use GAP/magma to list all the elements of order $24$?...
32 views

### How to use GAP to cumpute $S=\{s|s=h^2, h\in H\}$ for every subgroup $H$ of $G$?

Let $G$ be a finite group, then how to use GAP to cumpute $S=\{s|s=h^2, h\in H\}$ for every subgroup $H$ of $G$?
34 views

### List of equations in MAGMA

I have some integer $n$, some ambient affine space $\mathbb{A}^n$, and a list $L$ of equations $f_{ij}$ cutting out a variety $X$ in the ambient space. I have problems defining the list $L$ correctly. ...
20 views

### lower bound the distance between two varieties

$\DeclareMathOperator{\complex}{\mathbb{C}}$ Let $X,Y \subseteq \complex^n$ be homogeneous, smooth, irreducible, closed algebraic sets with $X \cap Y=\{0\}$. I would like to numerically lower bound ...
15 views

15 views

### $\int \log(x+e^x) \mathbb{d}x$, or When every CAS fails
No computer algebra system -- at least to my knowledge -- managed to either compute the integral $\int \log(x+e^x)\space \mathbb{d}x$, in terms of any known functions, or even just prove that it is ...