Questions tagged [computer-algebra]
Using computer-aid approach to solve algebraic problems. Questions with this tag should typically include at least one other tag indicating what sort of algebraic problem is involved, such as ac.commutative-algebra or rt.representation-theory or ag.algebraic-geometry.
349
questions
6
votes
0
answers
56
views
Optimizing computations with nilpotents in a group algebra
Of course, I have a very concrete problem at hand, which has been vexing me for about a year now. But let me start with a question that has a better chance of having been answered.
Let $G$ be a ...
- 32.1k
6
votes
2
answers
327
views
Checking for a normal p-complement with a computer
Let $G$ be a finite group.
Question 1: What are the fastest available programs to test whether $G$ has a normal $p$-complement (see https://en.wikipedia.org/wiki/Normal_p-complement for a definition)?...
- 24.4k
4
votes
0
answers
179
views
Is it possible to compute Lie bialgebra structures with SageMath?
Is it possible to use SageMath (or some Linux open source program) to compute the bialgebra structures on a given finite dimensional Lie algebra? I wonder if such program can compute all the ...
- 493
9
votes
2
answers
427
views
Finite subgroups of $\mathrm{SO}(n)$ and $\mathrm{O}(n)$
Question 1:Is there a reference that lists all possible finite subgroups and their orders of $\mathrm{SO}(n)$ and $\mathrm{O}(n)$ for $n=4$ or even higher $n$ over the real numbers?
I can only find ...
- 24.4k
10
votes
2
answers
172
views
Degree 8 multilinear operations on Jordan algebras
I am interested in the dimension, or, even better, in the $S_8$-module structure of the space of degree 8 multilinear operations on Jordan algebras.
Recall that a Jordan algebra is a commutative but ...
- 15.7k
3
votes
1
answer
231
views
Siegel modular forms in Mathematica
Is there a convenient way to work with Siegel modular forms in Mathematica? I am interested in doing analytic computations using the $\chi_{10}(\Omega)$ Siegel modular form, where $\Omega$ is the $2\...
- 133
7
votes
2
answers
551
views
Deriving consequences of identities
Suppose we are given a variety in the universal algebra sense.
For concreteness, suppose that we have two binary operations $+,\cdot$, three unary operations $-,\ast,'$, and two zeroary operations $0,...
- 17.3k
5
votes
0
answers
75
views
Compute the principal polarization on $J_0(N)$ in terms of modular symbols
If we consider the modular curve $X = X_0(N)$ as a curve over $\mathbb C$ then one can describe the jacobian $J(X)$ as $H^0(X,\Omega^1_X)^\vee/H_1(X,\mathbb Z)$ as one can do for any curve $X$. ...
- 2,045
11
votes
1
answer
328
views
Tarski-Seidenberg for strict inequalities and bounded quantification
This theorem says that quantifiers over real variables can be eliminated from classical first order formulae built from equations and inequalities between polynomials with rational coefficients, ie in ...
- 7,485
1
vote
2
answers
214
views
Method to solve system of exponential sums of the form $a^x+b^x=c$ given more equations than variables [closed]
Cross post with mse
For example, let's say I have the following equations.
\begin{gather*}
a^{x-1}+b^{x-1}=337 \\
a^{x}+b^{x}=1267 \\
a^{x+1}+b^{x+1}=4825 \\
a^{x+2}+b^{x+2}=18751.
\end{gather*}
What ...
- 13
3
votes
0
answers
80
views
Checking the generic rank of a matrix
Suppose that $A,B\in M_{p,q}(\mathbb{Z})$ are two rectangular integer matrices of the same size. Suppose that one has a conjecture stating that the rank of the matrix $A+tB$ for Zariski generic values ...
- 15.7k
0
votes
1
answer
73
views
Grobner basis of a submodule of a free module over polynomial ring
Let $A=\mathbb{Q} [x_1,\dots,x_n]$ be the ring of polynomials with rational coefficients. Let $T$ be an $m\times n$ matrix with entries from $A$. Consider it as a morphism of $A$-modules $T\colon A^n\...
- 20.3k
0
votes
0
answers
50
views
What commutative algebra is used in computer computation of kernel of polynomial matrix?
Let $A=\mathbb{Q}[x_1,\dots, x_n]$ be the polynomial ring with rational coefficients. Let $T$ be a matrix of size $m\times n$ with entries from $A$. It can be considered as a morphism of $A$-modules $...
- 20.3k
7
votes
1
answer
344
views
About the complexity of some operation involving integers
There are two integers: $A, B$. Given the below four allowed operations (and only them):
$A+1$, $A-1$, $\sqrt{A}$, $A^2$
Also, it is only allowed to take the square root of $A$ when this square root ...
- 71
1
vote
0
answers
89
views
Computer algebra tools for finding real dimension of an algebraic variety
I have a system of polynomial equations with the unknowns being real numbers. The set of solutions is infinite. What software can I use to compute the real dimension of the solution set?
The CAD-based ...
- 135
0
votes
1
answer
105
views
Software to compute generators of a module over polynomial ring
Let $A=\mathbb{R}[x_1,\dots,x_n]$ be the algebra of real polynomials in $n$ variables. Fix polynomials $p_1,\dots,p_k\in A$.
Consider the subset
$$M:=\{(q_1,\dots,q_k)\in A^k|\, p_1q_1+\dots+p_kq_k=0\}...
- 20.3k
4
votes
0
answers
121
views
7D simple Lie algebras over $\mathbb{F}_3$
Up to isomorphism, what are all the seven-dimensional simple Lie algebras over the field with three elements?
- 2,415
0
votes
0
answers
84
views
Runtime order of Groebner basis computations over prime field
While there seems to be few resources detailing explicit complexity bounds for computing Groebner Bases over the integers, I'm finding it even harder to search for such bounds for computations over ...
4
votes
0
answers
85
views
Recommendations for distributed calculations of Groebner Bases
There are many computer algebra systems available which can compute a Groebner basis, including:
Mathematica
Singular
Macaulay2
Magma
Maple
CoCoA
However (please correct me if I've missed something) ...
- 61
0
votes
2
answers
355
views
Fastest way to solve non-negative linear diophantine equations
Let $A$ be a matrix in $M_{n \times m}(\mathbb{Z}_{\ge 0})$ without zero column. Let $V$ be a vector in $\mathbb{Z}_{> 0}^m$.
Question: What is the fastest way to find all the solutions $X \in \...
- 24.7k
1
vote
0
answers
152
views
Computer algebra programs that can solve polynomial systems on algebraically closed fields besides MAGMA
I was wondering which computer algebra programs out there can solve polynomial systems on the algebraic closure of $\mathbb{Q}$ analytically and efficiently.
So far, I only found MAGMA with its ...
- 21
1
vote
0
answers
37
views
Is there a more efficient computer algebra system to solve the system of nonlinear equations in N-R method or other numerical methods?
Consider the system of infinite series
\begin{align}
&F=x+\frac{y^{3^2}}{3}+\frac{x^{3^5}}{3^2}+\frac{y^{3^7}}{3^3}+\frac{x^{3^{10}}}{3^4}+\frac{y^{3^{12}}}{3^5}+\cdots=0
\\
&G=y+\frac{x^{3^3}}...
- 776
1
vote
1
answer
284
views
Are algebraic power series in positive characteristics D-finite?
We know that in characteristic $0$, all algebraic series are differentiably finite.
Is this true in positive characteristic? I look at the proof, indeed we need to the
characteristic to be $0$ for the ...
- 365
6
votes
0
answers
190
views
Proving the spectrum of the Young-Jucys-Murphy elements by formal computation in the degenerate affine Hecke algebra
This is really a followup to Why are Jucys-Murphy elements' eigenvalues whole numbers? , specifically to Igor Makhlin's beautiful answer. I'm trying to make it even more beautiful by getting rid ...
- 32.1k
2
votes
3
answers
453
views
Useful software for variable elimination
I have three non-homogeneous trivariate polynomials in $\mathbb Z[x,y,z]$ and I want to eliminate the variables $y$ and $z$ to get a polynomial in $x$. The monomials of the polynomials are $\{1,x^4,x^...
- 13.4k
4
votes
1
answer
256
views
Reliability of ILP approach to number-theoretic optimization
This question is inspired by the recent answer, where @RobPratt proposed to use integer linear programming (ILP) for solving a number-theoretic optimization problem. I will consider a very similar ...
- 28.7k
1
vote
1
answer
158
views
Find $x$ that solves $x\left(e^{\frac{a}{x}}-1\right)-y=0$
When trying to solve the equation in the title with WA, it produced the following as the solution:
now, if you divide the numerator and denominator by $y$ and set $z:=-\frac{a}{y}$ the solution ...
- 12k
1
vote
0
answers
37
views
Computer verification for hyperbolic trigonometry
I am currently writing a paper that requires some lengthy computations using basic hyperbolic trigonometry. So, several hyperbolic figures appear, and we apply the law of sines and so on in order to ...
- 541
5
votes
1
answer
204
views
Classification of multiplicative lattices
Question 1:Is there a classification of finite lattices which admit a multiplication making them into a finite multiplicative lattices? (see https://encyclopediaofmath.org/wiki/Multiplicative_lattice ...
- 24.4k
3
votes
0
answers
99
views
Finite global dimension via the Cartan determinant
Let $A=T(KQ)$ be the trivial extension algebra of a path algebra of Dynkin type $KQ$.
The indecomposable module of $A$ correspond to the roots of $Q$ (and not just the positive roots as for $KQ$).
Let ...
- 24.4k
0
votes
0
answers
85
views
Computational tool for checking the existence of non-trivial rational zero of a cubic form
Suppose we consider a arbitrary cubic homogeneous form $f$ in in four or five variables over the rational field. Is there any computational tool or algorithm to check whether this cubic homogeneous ...
- 705
3
votes
0
answers
57
views
Finding generators and relations for special commutative algebras with a computer
Let $K[x_1,...,x_n]$ be the polynomial ring in $n$ variables and $a_1,...,a_m$ elements in the quotient field $K(x_1,...,x_n)$.
Let $A:=K[a_1,...,a_m]$ the ring generated by the $a_i$ in $K(x_1,...,...
- 24.4k
5
votes
0
answers
73
views
Conjugacy classes in normalized unit group of a group ring
Let $V(FA_4)$ be the normalized unit group of the group ring $FA_4$, where $F$ is the field containing 4 elements and $A_4$ is the alternating group on 4 symbols. How can I find conjugacy classes of ...
- 381
1
vote
0
answers
116
views
Can PARI compute class numbers without factoring the discriminant?
When calculating properties of algebraic number fields, one of the hardest steps is factorizing the discriminant of a defining polynomial. This is necessary in the Pohst-Zassenhaus algorithm for ...
- 125
3
votes
0
answers
158
views
Enumeration of stable graphs of genus $g$
Let $G=(V,E)$ be a connected undirected finite graph, let us call $G$ stable if each vertex has degree at least $3$.
Is there a computer algorithm to efficiently enumerate (repetition allowed) all ...
user39380
1
vote
0
answers
59
views
Finding multivariate binomials with a common zero [closed]
I have a problem for which I have to find binomials over a multivariate polynomial Ring which all have a common zero.
Let $\mathbb{F}[x_1,\dots,x_n]$ be some multivariate polynomial ring over some ...
11
votes
3
answers
608
views
An open triangle problem in plane geometry
Some years ago, I asked some 'famous' people in an advanced Plane Geometry forum about the following:
Let $ABC$ be arbitrary triangle, how can one construct a point $P$ in the plane such that $P$ is ...
- 1,014
3
votes
1
answer
417
views
Computing conjugacy between two elements of $\mathrm{SL}_2(\mathbb{Z})$
The conjugacy classes of $\mathrm{SL}_2(\mathbb{Z})$ are well characterized (see, e.g., this question). Assuming two matrices $A, B \in \mathrm{SL}_2(\mathbb{Z})$ are conjugate, is there a way to ...
- 39
2
votes
0
answers
205
views
Integer points on genus 1 curves using CAS
How can I practically find integer points on genus 1 curves with small coefficients using computer algebra systems (CAS), like Mathematica, Maple, SageMath, Magma, etc.?
As a specific example, do ...
- 3,477
20
votes
5
answers
2k
views
How can you find an integer coefficient polynomial knowing its values only at a few points (but requiring the coefficients be small)?
Example: How can you guess a polynomial $p$ if you know that $p(2) = 11$? It is simple: just write 11 in binary format: 1011 and it gives the coefficients: $p(x) = x^3+x+1$. Well, of course, this ...
- 22.6k
6
votes
0
answers
111
views
Softwares to determine semi-simple types of Lie algebras generated over $\mathbb{R}$ or $\mathbb{C}$ by a set of matrices
I wish to determine the type of a Lie algebra generated over $\mathbb{R}$ or $\mathbb{C}$ by a set of square matrices with irrational elements. For example,
\begin{align}
n^+ =
\begin{pmatrix}
...
- 483
13
votes
3
answers
2k
views
Is computer algebra or symbolic computation an active area of research?
I'm interested in doing PhD in computer algebra or symbolic computation, and was wondering if this is an active area of research? Would this area of research also help me in the transition to ...
2
votes
0
answers
142
views
How to decide if an algebraic number is a root of a given polynomial?
Let $p$ be a polynomial with rational coefficients and $\alpha = \sqrt[n]{q}e^{i2k\pi/m}$ for some natural numbers $n,m,k$ and a rational number $q > 0$. Is there an effective algorithm for ...
- 147
4
votes
1
answer
133
views
Link invariants from modular categories (strictification and computation)
By the theory of Reshetikhin and Turaev, a modular tensor category $C$ gives rise to a link invariant. While $C$ is strict as a monoidal category (e.g. $\mathbb{Fib}$), calculating the link can be ...
- 4,570
1
vote
1
answer
186
views
Primary decomposition of huge ideals using M2/Singular
I used to ask similar questions in other communities, but so far never received any feedback.
Given four Hermitian $n\times n$ matrices $A_1,A_2,B_1,B_2$ together with the constraints $[A_i,B_j]=0$, I ...
- 71
3
votes
2
answers
192
views
Finding the "Q-span" of vectors in Q(q)
Apologies if this question is quite basic.
Consider the $\mathbb{Q}(q)$-vector space $V = \mathbb{Q}(q)^n$ with standard ordered basis $\{e_1,\ldots,e_n\}$.
Suppose someone hands you some vectors $v_1,...
- 20.8k
1
vote
0
answers
68
views
Fitting point on a Quadric curve [closed]
I am working on research project. I am currently using CloudCompare for my project, which calculates the Gaussian curvature and mean curvature to extract the geometric features of the points. I have a ...
0
votes
0
answers
175
views
Algorithm to compute automorphism group of a finite group
Is there an algorithm to compute automorphism group of a finite group?
GAP has a function to do this, but while perusing their GitHub repo, I could not find an implementation. I'm struggling to find ...
3
votes
1
answer
234
views
Number of rings with additive group $(\mathbb{Z}_{16})^2$. A341547(16) in OEIS
I would like to know if somewhere the number of non-isomorphic rings with additive group $(\mathbb{Z}_{16})^2$ is mentioned. If not, is someone able to calculate it?
And (easier) the commutative case? ...
31
votes
4
answers
5k
views
How does Mathematica do symbolic integration?
I suppose there was at least once in our lifetime the point where we resorted to mathematica for help with an integral.-Unless you chose not to have the pleasure of using the continuum in your ...
- 476