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
5 votes
0 answers
183 views

Is it decidable whether a statement about reals (in the language of ordered rings) is constructively provable?

The language of ordered rings is a first-order language with operators for $+$, $-$, and $\cdot$, constants for $0$ and $1$, and relations for $<$, $=$ and $>$. To decide whether such a ...
Christopher King's user avatar
2 votes
0 answers
116 views

How to find a single-variable polynomial in a zero-dimensional ideal?

Given finitely many multivariate polynomials with algebraic coefficients that generate a zero-dimensional ideal, is there an easy way to find a nonzero single-variable polynomial in this ideal? If we ...
Dustin G. Mixon's user avatar
1 vote
0 answers
28 views

Finite right-triple convex sets in planes

Let $\mathcal{S}$ be a set of points in $\mathbb{R}^2$. We say that $\mathcal{S}$ is right-angle convex, if for any two distinct points $P,Q\in \mathcal{S}$ there always exists another point $R\in \...
Joe Zhou's user avatar
  • 123
0 votes
0 answers
73 views

Potential typo in "Complete Systems of Two Addition Laws for Elliptic Curves" by Bosma and Lenstra

Here is a link to the article: https://www.sciencedirect.com/science/article/pii/S0022314X85710888?ref=cra_js_challenge&fr=RR-1. Pages 237-238 give polynomial expressions $X_3^{(2)}, Y_3^{(2)}, ...
Vik78's user avatar
  • 487
0 votes
1 answer
41 views

relations between non-negativity of multivariate polynomials and SOS over gradient ideal

We know there is a necessary condition for the non-negativity of multivariate polynomials in the paper "Sum of Squares Decompositions of Polynomials over their Gradient Ideals with Rational ...
Werther's user avatar
  • 59
1 vote
1 answer
123 views

Factorial series $j(D)=\sum_{n=1}^\infty \frac{1}{(n^D)!}$ and hypergeometric functions

For positive integer $D$, define $j(D)=\sum_{n=1}^\infty \frac{1}{(n^D)!}$. For $D \le 6$, sage finds closed form in terms of hypergeometric functions at algrebraic arguments and fails to find closed ...
joro's user avatar
  • 24.2k
2 votes
1 answer
107 views

Efficiency of Groebner basis for constraints of the form $(a_i x_i+b_i)(a_j x_j+b_j)$

This is based on numerical experiments in sage. Let $K$ be a ring and define the ideal where each polynomial is of the form $(a_i x_i+b_i)(a_j x_j+b_j)$ for constant $a_i,b_i,a_j,b_j$. Q1 Is it true ...
joro's user avatar
  • 24.2k
7 votes
1 answer
456 views

Computing homology groups with GAP

I’m studying the homology groups of arithmetic groups such as $SL(5,\mathbb{Z})$. I saw in the answer to this post that we can use GAP to compute some of the homology groups for $SL(3,\mathbb{Z})$. Is ...
Noah B's user avatar
  • 403
-5 votes
1 answer
69 views

Application of Resultant in Computer Algebra [closed]

Can you guys give me some application of resultant in Computer Algebra, it will be amazing if you guys can give me some paper or book to read more. Thanks so much
Luật Trần Văn's user avatar
5 votes
0 answers
129 views

Macaulay2 seems to have divergent behavior on rings with differently ordered variables

I noticed the following strange behavior which I cannot explain. I wanted to compute the integral closure of the following ring, $$ A = \mathbb{F}_5[x,t]/(t^2 (1 - x^4) - x^5) $$ Call the integral ...
Ben C's user avatar
  • 3,301
7 votes
1 answer
256 views

How to construct such a real algebraic curve

Suppose $L$ is a real line in $\mathbb{RP}^2$, my question is: for a given postive integer $n$, is it possible to find a real projective algebraic curve $C$ of degree $n$ with maximum connected ...
Super Sanae's user avatar
1 vote
0 answers
75 views

Hall-Littlewood polynomials with sage

I need to make some computations with Sage involving Hall-Littlewood polynomials. I couldn't find any satisfying information in the Sage manuals/tutorials that I found on the internet. What I found is ...
Paul Broussous's user avatar
3 votes
0 answers
87 views

Isomorphism and counting for tree quivers

Let $Q$ be a quiver which is a connected tree and let $A=KQ/I$ be a quiver algebra with $I$ an admissible ideal, meaning that $I$ is generated by paths of length $\geq 2$. Let $n$ be the number of ...
Mare's user avatar
  • 26k
2 votes
1 answer
250 views

Irreducibility of an explicit complex projective variety

Let $Y\subset \mathbb P^n_\mathbb C$ be a subvariety defined by a series of homogeneous polynomials $f_1, \ldots, f_t$. Is there an effective way to determine the irreducibility of $Y$ as an algebraic ...
Pène Papin's user avatar
3 votes
1 answer
293 views

The associated graded algebra of a finite dimensional algebra

$\DeclareMathOperator\rad{rad}$Let $A$ be a finite dimensional algebra (we can assume that $A \cong KQ/I$, for a quiver $Q$ and an admissible ideal $I$ if that helps). Denote by $A_G$ the associated ...
Mare's user avatar
  • 26k
4 votes
1 answer
328 views

GCD in $\mathbb{F}_3[T]$ with powers of linear polynomials

This is a continuation of my previous question on $\gcd$s of polynomials of type $f^n - f$. Let us call $n > 1$ simple at a prime $p$ when $p-1 \mid n-1$ but $p^k - 1 \not\mid n-1$ for all $k > ...
Martin Brandenburg's user avatar
6 votes
2 answers
133 views

Is every parametric function family, expressed as an elemetary function, a solution to an ODE with elementary functions?

When given an ODE of the form $F(x, y, y', \ldots, y^{(n)}) = 0$, where $F$ is an elementary function, chances are that it has no solution of the form $y = G(x, c_1, \ldots, c_n)$, where $G$ is also ...
Marios Koulakis's user avatar
2 votes
0 answers
159 views

Help with Macaulay2 computation of invariant ring

Consider the algebraic group $G:=\operatorname{SL}_{2}\times\operatorname{SL}_{2}$ acting on $V:=\operatorname{Mat}_{2\times 2}\oplus\operatorname{Mat}_{2\times 2}$ via the action $(A,B)\,\cdot\,(X,Y)=...
It'sMe's user avatar
  • 767
4 votes
2 answers
302 views

Algorithm for computing rational points if the rank of Jacobian is 0

Is there a general algorithm that can compute in finite time all rational points on any curve of genus $g\geq 2$ whose Jacobian has rank $0$? If not, for what special cases such algorithm is known? ...
Bogdan Grechuk's user avatar
5 votes
0 answers
106 views

Koszul algebras among finite dimensional commutative algebras

Given a local commutative artinian algebra $A$ of the form $K[x_1,...,x_n]/I$ with quadratic ideal $I$ and $K$ a field. Question 1: Is there a computer algebra system that can check whether such an ...
Mare's user avatar
  • 26k
2 votes
0 answers
76 views

Gröbner implicitization with relationships between the variables

I have the following parametric equations, where cost$=\cos t$, cos2t$=\cos 2t$, and $A^2+B^2=1$: ...
Stéphane Laurent's user avatar
3 votes
2 answers
187 views

What can be said about the cube-free part of $x^3 -3xy^2 +y^3$?

For $x$ and $y$ in $\mathbf{Z}$, not both zero, let $cfp(x,y)$ be the cube-free part of $x^3 -3xy^2 + y^3$ (normalized to be $> 0$). One sees: (#) $cfp(x,y)$ is either a product of primes $p$, with ...
paul Monsky's user avatar
  • 5,412
5 votes
0 answers
98 views

Size of minimal generating set of ideal over Laurent polynomial ring

Recently in attacking a problem in algebraic topology relating to the construction of stably-free non-free modules over integral group rings I’ve noticed that it is often fairly easy to reduce to ...
William Thomas's user avatar
7 votes
0 answers
97 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 ...
darij grinberg's user avatar
6 votes
2 answers
341 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)?...
Mare's user avatar
  • 26k
4 votes
0 answers
188 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 ...
amine's user avatar
  • 503
9 votes
2 answers
680 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 ...
Mare's user avatar
  • 26k
10 votes
2 answers
208 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 ...
Vladimir Dotsenko's user avatar
3 votes
1 answer
275 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\...
Holomaniac's user avatar
7 votes
2 answers
569 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,...
Pace Nielsen's user avatar
  • 18.1k
5 votes
0 answers
78 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$. ...
Maarten Derickx's user avatar
12 votes
1 answer
415 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 ...
Paul Taylor's user avatar
  • 8,006
1 vote
2 answers
251 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 ...
WARA's user avatar
  • 13
3 votes
0 answers
99 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 ...
Vladimir Dotsenko's user avatar
0 votes
1 answer
153 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\...
asv's user avatar
  • 21.1k
7 votes
1 answer
349 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 ...
crosscc's user avatar
  • 71
9 votes
0 answers
286 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 ...
bcp's user avatar
  • 165
0 votes
1 answer
117 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\}...
asv's user avatar
  • 21.1k
4 votes
0 answers
127 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?
Daniel Sebald's user avatar
4 votes
0 answers
112 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) ...
JoggingGrad's user avatar
0 votes
2 answers
399 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 \...
Sebastien Palcoux's user avatar
1 vote
0 answers
213 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 ...
ArminJR's user avatar
  • 21
1 vote
0 answers
43 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}}...
MAS's user avatar
  • 870
1 vote
1 answer
316 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 ...
Jiu's user avatar
  • 365
6 votes
0 answers
225 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 ...
darij grinberg's user avatar
2 votes
3 answers
521 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^...
Turbo's user avatar
  • 13.7k
5 votes
2 answers
329 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 ...
Max Alekseyev's user avatar
1 vote
1 answer
162 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 ...
Manfred Weis's user avatar
  • 12.7k
1 vote
0 answers
41 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 ...
user44172's user avatar
  • 541
5 votes
1 answer
213 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 ...
Mare's user avatar
  • 26k

1
2 3 4 5
8