Movatterモバイル変換

Question 1

2votes

1answer

65views

Birth definition in persistent homology theory

I have some confusion about the definition of birth time, and I hope someone can clarify a few things. I am reading "Computational Topology: An Introduction" by Edelsbrunner and Harer. They ...

compact

58

askedOct 14 at 11:58

Question 2

2votes

0answers

117views

How to algorithmically tell if two matrices are equivalent up to an invertible matrix on the left and a permutation matrix on the right?

Let’s fix some natural $0 < m < n$ and consider matrices $m \times n$ with rational coefficients. Let’s call such matrices $A$ and $B$ equivalent iff there are an invertible $m \times m$ matrix $...

Lounres

21

askedOct 4 at 21:59

Question 3

0votes

0answers

33views

Statements about dimension of singularity loci in families of polynomials

I am working with some homogeneous polynomials $f\in \mathbb C[x_1, \ldots, x_n]$ belonging to families $\mathcal F$ over $\mathbb C^k$, i.e. I am considering$$f=\sum a_Ix^I, \qquad\qquad a_I\in \...

geom123

83

askedSep 23 at 8:36

Question 4

6votes

0answers

136views

Extending proofs via computational algebra from $\mathbb Q$ to $\mathbb C$

Let $R=\mathbb Q[x_1, \ldots, x_n]<R'=\mathbb C[x_1, \ldots, x_n]$. I often can prove results for $R$ using computational algebra packages (e.g. Macaulay2) but I am never too sure if they extend to ...

geom123

83

askedSep 18 at 17:21

Question 5

4votes

2answers

329views

Is there any algorithm which can find a common divisor of two polynomials modulo $p^k$?

Let us consider two monic polynomials $f(X), g(X) \in \dfrac{\mathbb{Z}}{p^k\mathbb{Z}}[X]$. Now, we call $h(X)$ is a divisor of $f(X)$, if there exists a $l(X) \in \dfrac{\mathbb{Z}}{p^k\mathbb{Z}}[X]...

Afntu

4,285

askedSep 16 at 7:10

Question 6

1vote

0answers

150views

If resultant $T(y) = \mathrm{Res}_{x}(f(x), y - g(x))$ have a nontrivial factors then can $f(x)$ also have a nontrivial factors?

This is a follow-up question to this question. In that question, we learned that if, $T(y) = \mathrm{Res}_{x}(f(x), y - g(x))$ , then $T(g(z))$ is divisible by $f(z)$.Now, my question is:If $T(y) = ...

Afntu

4,285

askedAug 13 at 16:03

Question 7

0votes

2answers

64views

Problems with monomial orders and monomial divisibility

I have a doubt concerning monomial orderings. I'm reading Cox, Little, O'Shea book Ideals, Varieties and Algorithms. Well, they say that a monomial $x^\alpha$ divides a monomial $x^\beta$ if there ...

TheWanderer

5,417

askedJul 18 at 19:57

Question 8

3votes

1answer

101views

Toric arrangements and system of polynomial equations

I am working on some problem on toric arrangements at the crossroad between topology, combinatorics and algebraic geometry.$\textbf{Setting}$Let $m,n\geq1$ and let\begin{equation*}\mathcal{S}=\left\...

snaleimath

312

askedJul 18 at 17:10

Question 9

2votes

0answers

68views

What is the order of the torsion subgroup of $𝐻_1(\Gamma_1(193),\Bbb{Z})$?

I'm trying to compute the torsion subgroup of the first integral homology group $𝐻_1(\Gamma_1(193),\Bbb{Z})$This group arises from modular symbols associated to the congruence subgroup $\Gamma_1(193)...

RandomCoder

21

askedJul 17 at 0:23

Question 10

6votes

1answer

137views

Finding a presentation of the group generated by a translation and a rotation

In the group of isometries of the plane, let $r$ be a rotation by $\frac{2\pi}5$ radians and let $s$ be a translation. I'd like to find a finite presentation of the subgroup $G=\langle r,s\rangle$. ...

Karl

13.5k

askedJun 6 at 7:17

Question 11

0votes

0answers

65views

A-invariant subspaces of cyclic generalised linear eigenspaces

I wrote a proof for the following statement:Let $\mathbb{F}$ be a finite field and $V = \mathbb{F}^n$ for $n \in \mathbb{N}$. Furthermore let $A \in \mathrm{GL}(n,\mathbb{F})$ with $\mu_A = \chi_A = ...

vanadat

33

askedMay 6 at 21:34

Question 12

1vote

0answers

57views

What can be computed algorithmically on cohomology of higher-dimensional varieties?

There are algorithms for computing explicitly a basis of holomorphic differentials for algebraic curves given as the vanishing locus of a polynomial $f(x, y)$.Take for example a smooth hyperelliptic ...

Daniel Shapero

525

askedFeb 18 at 18:08

Question 13

1vote

1answer

143views

Cone of rank three between two cones of rank four?

Let $P$ be the nonnegative orthant in ${\mathbb R}^4$, $P={{\mathbb R}_+}^4$. Fora finite set of vectors $S \subseteq P$, the cone $Cone(S)$ generated by $S$ is the set of all linear combinations of ...

Ewan Delanoy

64.2k

askedFeb 13 at 13:52

Question 14

0votes

0answers

47views

Gröbner bases computation for not fully specified polynomials

Gröbner bases computation works on several computer systems. I have this question. Is it possible to compute (in any of the systems, eventually in which?) Gröbner basis for integer polynomials, in ...

Quiriacus

49

askedDec 5, 2024 at 15:00

Question 15

2votes

1answer

123views

How fast is taking the quotient of a group by a subset?

Let $G$ be a finite group, and assume you have some computational representation of $G$ that allows efficient iteration through its elements, constant-time checks for equality between elements, and ...

Dennis

2,709

askedDec 1, 2024 at 23:46

Movatterモバイル変換

Stack Exchange Network

Questions tagged [computational-algebra]

Birth definition in persistent homology theory

How to algorithmically tell if two matrices are equivalent up to an invertible matrix on the left and a permutation matrix on the right?

Statements about dimension of singularity loci in families of polynomials

Extending proofs via computational algebra from $\mathbb Q$ to $\mathbb C$

Is there any algorithm which can find a common divisor of two polynomials modulo $p^k$?

If resultant $T(y) = \mathrm{Res}_{x}(f(x), y - g(x))$ have a nontrivial factors then can $f(x)$ also have a nontrivial factors?

Problems with monomial orders and monomial divisibility

Toric arrangements and system of polynomial equations

What is the order of the torsion subgroup of $𝐻_1(\Gamma_1(193),\Bbb{Z})$?

Finding a presentation of the group generated by a translation and a rotation

A-invariant subspaces of cyclic generalised linear eigenspaces

What can be computed algorithmically on cohomology of higher-dimensional varieties?

Cone of rank three between two cones of rank four?

Gröbner bases computation for not fully specified polynomials

How fast is taking the quotient of a group by a subset?

Hot Network Questions

Subscribe to RSS