12709 questions

Multivariate polynomial cannot be evaluated at vector despite length being correct

• multivariate
• polynomial
• TypeError

Check if a graph admits a separating 3-cycle.

• graph-theory

Action of symmetric group

• graphs
• symmetric_group
• group_action
• combinatorics

factorization of sum of fractions in the ring of Laurent polynomials

• LaurentPolynomial
• FractionFieldElement
• libSingular
• factorization
• gcd

Working with large finite fields of characteristic 2; how to coerce them?

• coercion
• finite-field

Get the small group id of the Heisenberg group over F_2[x]/(x^2)

• finite-group
• group_theory
• order

Does anyone enter a conjecture of mine about the topological game of Hex in the Langlands program by quoting me? [closed]

• topology
• hex
• computing

130

views

1

answer

no

votes

2025-06-25 16:34:43 +0100 Max Alekseyev

symbolic summation with integer division

• symbolic-expression

654

views

1

answer

2

votes

2025-06-26 01:56:03 +0100 Max Alekseyev

How to find the graphs from the following collection whose adjacency spectral radius is maximum?

139

views

1

answer

no

votes

2025-06-26 01:59:09 +0100 Max Alekseyev

Using the "solve" function in a field extension

• algebraic_equations
• extension-field
• variety

Elliptic curve over Z modulo composite N

• Elliptic-curves

Groebner basis computation extremely slow

• grobner-basis
• parallelization
• computation_time

140

views

1

answer

1

vote

2025-07-01 22:11:55 +0100 rburing

How to evaluate composed rational maps over finite fields?

• finite-field
• rational-function

In sagetex, how to avoid italic font for sagecommandline environment within an italic example environment?

• sagetex

intersection of fractional ideal with subfield

• number_theory

How to make these histogram bars symmetric around its value?

• histogram
• 2Dplot

143

views

1

answer

no

votes

2025-07-05 09:05:33 +0100 rburing

How do I declare a static finite field Element when modulus is a prime power ?

• finite-field
• finite-fields

592

views

1

answer

1

vote

2025-07-05 11:28:31 +0100 rburing

Coefficient overflow in PolynomialRing()

• polynomial
• PolynomialRing
• singular
• coefficient
• multivariate

What’s the equivalent of this py_ecc code for untwisting the bn128 curve in SageMath ?

• finite-fields
• finite-field
• Elliptic-curves
• Elliptic_curve
• twisted

For a given elliptic Weirestrass curve having a prime degree, how to create a Weil Descent ?

• Elliptic-curves
• hyperelliptic-curve

Initialize a new metric after a change of coordinates

• metrics
• riemanntensor
• general-relativity

Finding a spanning subgraph that satisfies a given condition

• graphtheory

Test if a graph is vertex pancyclic

• graph
• graphtheory

1k

views

1

answer

no

votes

2025-07-15 00:31:06 +0100 John Palmieri

frac is negative when argument is less than zero

1k

views

no

answers

no

votes

2025-07-15 20:49:32 +0100 Max Alekseyev

Does is_permutation_equivalent work well for nonbinary codes?

• Code
• equivalence
• codingtheory
• bug

Is there a simple way to deal with computing real nth roots for n a natural number?

• root
• function

Matroid.is_valid() returns True for invalid matroid

• bug
• matroid
• combinatorics

3k

views

1

answer

no

votes

2025-07-22 19:29:24 +0100 John Palmieri

How to extract coordinate tuples of homology generators from a simplicial complex?

• SimplicialComplex
• homology

160

views

1

answer

no

votes

2025-07-23 04:01:38 +0100 John Palmieri

Bug report: non-unit differential yields wrong homology when using generators=True and base_ring=QQ

• bug
• homology
• chaincomplex
• QQ
• generators

3k

views

1

answer

no

votes

2025-07-29 08:47:21 +0100 FrédéricC

Is there an easy way to carry out multivariate power series reversion in Sage?

• formal-power-series
• reversion