12714 questions

sage -n can't find jupyter sagemath kernel

• Jupyter

Solve command with assumptions

• solve
• inequality
• assumptions

problem using giac interface for integration in sagemath 10.6

• interface
• giac
• integral

How does sagemath solve X*a*b+Y*a+Y*b+Z mod N = 0 knowing X,Y,Z,N without factoring N? Is there a computationally efficient way to solve this?

• modular_equation

Error in building Sage from source

docker build implicitly assumes CPU features that I don't have

• Docker
• SIGILL

16k

views

1

answer

no

votes

2025-08-26 06:49:25 +0100 John Palmieri

How to check if a cycle in a simplicial complex is non-trivial?

• SimplicialComplex
• homology

Trying to install Sage on Mac OS, make stage failed

117

views

1

answer

no

votes

2025-08-23 21:19:57 +0100 Max Alekseyev

Branching on type

• type
• number
• output

17k

views

1

answer

no

votes

2025-08-22 19:04:49 +0100 Max Alekseyev

Recursive computation of a symbolic sum

• symbolic.expression
• summation
• recursion

formidable association Sagemath + IA Copilot In Edge explorer

• AI

Equivalent of Mathematica's GraphicsComplex

• texture
• 3dplotting
• mathematica

How big can be the multiprojective variety for which Macaulay2 can calculate irreducible components and check their smoothness?

• Algebraic-geometry
• commutative-algebra
• Macaulay2
• complexity
• projective-geometry

Cannot import name "Category"

• ImportError
• vscode
• python
• ubuntu
• errors

LLL reduced basis

• lattices

Clearing/creating a ring in a loop?

Alternative to using ButtonBar in SageMath (interact)

• interact
• buttons
• selector
• jupyter-notebook

17k

views

1

answer

no

votes

2025-08-11 07:22:34 +0100 John Palmieri

Multiplication in Polynomial Rings

• rings
• QuotientRing
• multiplication

Algorithm for listing minimal directed cuts and minimal dijoins

• directed-graphs
• algorithm

10k

views

1

answer

1

vote

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

Knot Theory Gauss Code?

• knot-theory

How to find the graph(s) with a perfect matching from the following collection whose adjacency spectral radius is maximum?

Sagemath in Docker cannot access host files

• Docker

polycyclic presentation

• abelian_group
• class_group

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

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-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

195

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-22 19:29:24 +0100 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