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.

Filter by
Sorted by
Tagged with
0 votes
0 answers
59 views

Testing whether the endomorphism ring of an $A$-module is isomorphic to $A$

Let $A=KQ/I$ be finite dimensional quiver algebra and $M$ an $A$-module. Question: Is there a good/fast test whether we have $A \cong End_A(M)$ (or $A^{op} \cong End_A(M)$) using for example the GAP-...
user avatar
  • 21.8k
1 vote
0 answers
31 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}}...
user avatar
  • 754
1 vote
1 answer
238 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 ...
user avatar
  • 323
6 votes
0 answers
122 views

Noncommutative algebra question inspired by Young-Jucys-Murphy elements

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 ...
user avatar
2 votes
3 answers
375 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^...
user avatar
  • 12.8k
4 votes
1 answer
193 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 ...
user avatar
1 vote
1 answer
150 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 ...
user avatar
1 vote
0 answers
33 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 ...
user avatar
  • 509
4 votes
0 answers
88 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 ...
user avatar
  • 21.8k
0 votes
0 answers
53 views

Solving a large system of equations when a large subset factors

I have a large (~1000 equations) overdetermined system of degree 3 polynomials with ~140 variables. I would like to find a complete solution set for this system, however, the Gröbner basis seems to be ...
user avatar
  • 1
3 votes
0 answers
90 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 ...
user avatar
  • 21.8k
0 votes
0 answers
82 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 ...
user avatar
  • 693
3 votes
0 answers
56 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,...,...
user avatar
  • 21.8k
5 votes
0 answers
66 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 ...
user avatar
1 vote
0 answers
107 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 ...
user avatar
  • 125
3 votes
0 answers
130 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 ...
user avatar
  • 5,613
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 ...
user avatar
11 votes
3 answers
507 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 ...
user avatar
3 votes
1 answer
396 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 ...
user avatar
  • 39
2 votes
0 answers
187 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 ...
user avatar
0 votes
0 answers
70 views

Linear differential equation hypergeometric series

I am studying the following series $$\sum_{d\geq 1}\left(\frac{x^d}{d \, h^d} \sum_{k=1}^d (-1)^{d-k} \frac{1}{(k-1)! \, (d-k)!}\prod_{i=1}^d G((k-i)h)\right).\tag{*} $$ It's proven that (*) satisfies ...
user avatar
  • 621
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 ...
user avatar
6 votes
0 answers
102 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} ...
user avatar
13 votes
3 answers
1k 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
138 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 ...
user avatar
4 votes
1 answer
103 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 ...
user avatar
  • 4,005
1 vote
1 answer
152 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 ...
user avatar
  • 61
3 votes
2 answers
165 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,...
user avatar
  • 18.8k
1 vote
0 answers
62 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 ...
user avatar
0 votes
0 answers
149 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 ...
user avatar
3 votes
1 answer
223 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? ...
user avatar
30 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 ...
user avatar
  • 417
7 votes
0 answers
231 views

Is it easy to certify whether a given set of solutions to a polynomial system is complete?

Given a system of complex polynomial equations, we seek the solution set. If we have more equations than variables, then we might expect a finite solution set. One may obtain the solution set by ...
user avatar
2 votes
0 answers
37 views

Transforming a symmetric matrix into pentadiagonal form

Given a symmetric matrix $A$, which has complex values in the diagonal, but whose all other entries are real, I am interested in finding an orthonormal transformation $Q$ such that $Q^tAQ$ is a ...
user avatar
  • 241
11 votes
1 answer
884 views

Where to publish a long classification?

Suppose that the classification of some mathematical (say algebraic) notions requires (say) 70 pages. Let clarify that (say) 90% of the pages are used to write the result itself, whereas only 10% are ...
2 votes
0 answers
64 views

Checking for norm-Euclidean with a computer

Let $K$ be a finite Galois extension of $\mathbb{Q}$ and $O$ the ring of integers in $K$. Question: Is there an algorithm to test whether $O$ is norm-euclidean? In case the question has a positive ...
user avatar
  • 21.8k
4 votes
1 answer
105 views

String compression algorithms for simplifying an expression by introducing variables

I have a very long algebraic expression computed with Maple, and when I inspect it visually, it is clear that it consists of a set of terms that appear over and over again. For purposes of human ...
user avatar
  • 3,668
1 vote
1 answer
77 views

Algorithms for Polynomials Over a Real Algebraic Number Field, a reference

I need to find "Algorithms for Polynomials Over a Real Algebraic Number Field Ph.D. thesis, University of Wisconsin, Madison (1974) by Rubald". However I cannot find it online nor in my ...
user avatar
1 vote
1 answer
194 views

Find basis for the set of torsion points E[m]

In paper "On the Cost of Computing Isogenies Between Supersingular Elliptic Curves" (source) reads Let ${P, Q}$ be a basis for $E[2^{e/2}]$. Let $R_0 = [2^{e/2}−1]P , R_1 = [2^{e/2}−1]Q, ...
user avatar
  • 11
1 vote
1 answer
264 views

Efficiently computing Gröbner basis to prove no solution to polynomial constraints

In a similar vein to these now quite old questions on advice for calculating a Gröbner basis: Fast computation of a Groebner basis. What is possible? What is the state of art in Groebner bases I am ...
user avatar
4 votes
0 answers
65 views

Finding all nice ideals for quiver algebras

Let $Q$ be a finite, connected and acyclic quiver which is simply-laced. Let $k$ be a field and $kQ$ the path algebra of $Q$ over $k$. Recall that an ideal $I$ of $kQ$ is called admissible if it is ...
user avatar
  • 21.8k
3 votes
0 answers
130 views

For which $n$ is this ring an euclidean domain?

Let $f_n(x)=x^n-\sum\limits_{i=0}^{n-1}{x^i}$ and $A_n$ the number field corresponding to $f_n$. Question: Is $A_n$ for all $n$ an euclidean domain? Is there a good choice for an euclidean function? ...
user avatar
  • 21.8k
1 vote
1 answer
115 views

Sufficient syntactic conditions for zero-dimensionality of polynomial systems

Consider a system $S$ of polynomial equations, $p_1=0,...,p_m=0$, for $p_i\in K[x_1,...,x_n]$, for a field $K$: the system $S$ is zero-dimensional if it has finitely many solutions. It is well-known ...
user avatar
  • 183
1 vote
0 answers
122 views

Polynomial systems and algebraic functions

An algebraic function $y(x)$ is defined as the solution of a polynomial equation of the form $p(x,y)=0$, that is one making the identity $p(x,y(x))=0$ true --- in either analytical or formal power ...
user avatar
  • 183
2 votes
0 answers
58 views

Computer program which computes the automorphism group of Gram Matrix of lattice?

$\DeclareMathOperator\GL{GL}\DeclareMathOperator\Aut{Aut}$Fixed $n \geq 2$, given $K \in \GL(n,Z)$. One can view $K$ is a Gram matrix of Lattice. I also imposed that $K$ is symmetric i.e $K^{T}=K$. We ...
user avatar
  • 155
5 votes
0 answers
130 views

Quiver and relations of $F\mathrm{SL}(2,q)$

$\DeclareMathOperator\SL{SL}$Let $q=p^n$ be a prime power and $F$ a field of characteristic two. Let $G=SL(2,q)$ the group of $2 \times 2$ special linear matrices over the field with $q$ elements with ...
user avatar
  • 21.8k
4 votes
2 answers
142 views

Using computer algebra to check if a family of algebras are pair-wise non-isomorphic

Given an infinite field $k$, consider a quiver $\Gamma$ with one vertex and two arrows $x,y$ and define $R=k\Gamma/(x,y)^2.$ This is a three-dimensional $k$-algebra. Now consider the additive group of ...
user avatar
1 vote
0 answers
195 views

How to solve special Diophantine equation systems (which one can solve by hand) with the computer?

I have a quadratic Diophantine equation system which is possibly not homogeneous and has some mixed and some linear terms. But I know that there are only finitely many solutions over the integers. One ...
user avatar
2 votes
1 answer
154 views

How to compute cup product of derived limits / presheaf cohomology

I have a finite category $\mathcal{C}$, along with a functor $F \colon \mathcal{C}^{\mathrm{op}} \to \mathsf{GradedCommRings}$. If $F_j$ is $j$-th graded piece of $F$, then I write $H^i(\mathcal{C},...
user avatar
4 votes
0 answers
194 views

Computing homology class of curve in product of elliptic curves

I have a smooth, projective curve $X/\mathbb{C}$ of genus $g$, embedded in a product of elliptic curves $A = \prod_{i=1}^g E_i$. Since $H_*(A; \mathbb{Z})$ with the Pontryagin product is isomorphic to ...
user avatar
  • 1,756

1
2 3 4 5
7