8347 questions

Sagemath in Docker cannot access host files

• Docker

How to get an echelon form of a matrix on any given column indices?

11k

views

1

answer

1

vote

2025-08-07 15:43:41 +0200 rburing

Knot Theory Gauss Code?

• knot-theory

polycyclic presentation

• abelian_group
• class_group

Equivalent of Mathematica's GraphicsComplex

• texture
• 3dplotting
• mathematica

Unable to access jupyter sagemath

• token
• login

Possible bug? Matroid contraction when creating a matroid from Matroid() by giving flats.

• matroid
• contraction
• bug

3k

views

1

answer

no

votes

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

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

• SimplicialComplex
• homology

Matroid.is_valid() returns True for invalid matroid

• bug
• matroid
• combinatorics

414

views

1

answer

no

votes

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

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

• bug
• homology
• chaincomplex
• QQ
• generators

1k

views

no

answers

no

votes

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

Does is_permutation_equivalent work well for nonbinary codes?

• Code
• equivalence
• codingtheory
• bug

Alternative to using ButtonBar in SageMath (interact)

• interact
• buttons
• selector
• jupyter-notebook

1k

views

1

answer

no

votes

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

frac is negative when argument is less than zero

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

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

• finite-fields
• finite-field
• EllipticCurve
• twisted

383

views

1

answer

no

votes

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

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

• finite-field
• finite-fields

779

views

1

answer

1

vote

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

Coefficient overflow in PolynomialRing()

• polynomial
• PolynomialRing
• singular
• coefficient
• multivariate

How to make these histogram bars symmetric around its value?

• histogram
• 2Dplot

intersection of fractional ideal with subfield

• number_theory

Elliptic curve over Z modulo composite N

• Elliptic-curves

Groebner basis computation extremely slow

• grobner-basis
• parallelization
• computation_time

359

views

1

answer

1

vote

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

How to evaluate composed rational maps over finite fields?

• finite-field
• rational-function

282

views

1

answer

no

votes

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

symbolic summation with integer division

• symbolic-expression

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

• coercion
• finite-field

Action of symmetric group

• graphs
• symmetric_group
• group_action
• combinatorics

364

views

no

answers

no

votes

2025-06-13 07:17:55 +0200 FrédéricC

modular_form() hangs in sage 9.5 but works in older sage version

• modular_forms
• EllipticCurve

Is this type of nonlinear system known to factorize N ? What is the best way (computationally speaking) to solve it ?

• nonlinear_system

total_space dimension?

• diff-geometry
• manifold

Restricted matchings in simplicial complexes or graphs

• combinatorics
• graphs