12735 questions

Groebner basis computation extremely slow

• grobner-basis
• parallelization
• computation_time

267

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

746

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?

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

• topology
• hex
• computing

223

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

219

views

1

answer

no

votes

2025-06-25 16:34:43 +0100 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

factorization of sum of fractions in the ring of Laurent polynomials

• LaurentPolynomial
• FractionFieldElement
• libSingular
• factorization
• gcd

Check if a graph admits a separating 3-cycle.

• graph-theory

285

views

no

answers

no

votes

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

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

• modular_forms
• EllipticCurve

Multivariate polynomial cannot be evaluated at vector despite length being correct

• multivariate
• polynomial
• TypeError

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

An issue with integrals involving absolute value

510

views

1

answer

1

vote

2025-06-02 12:42:18 +0100 Max Alekseyev

How to list weak compositions?

• compositions

424

views

1

answer

1

vote

2025-06-02 01:20:40 +0100 Max Alekseyev

How to handle a root of unity with symbolic exponents [closed]

• roots-of-unity
• CyclotomicField
• symbolic-variables

Find a minimum (A, B)-vertex separator

• graphtheory

representation of algebraic groups

• representation
• AlgebraicGeometry
• linear-algebra

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

• sagetex

Generating simplicial trees (equivalently, totally balanced hypergraphs) on $n$ vertices

• combinnatoric
• graph-theory
• hypergraphs
• algorithm
• SimplicialComplex

Is multiplication cached?

• algebra
• cached

261

views

1

answer

no

votes

2025-06-12 21:40:38 +0100 FrédéricC

Working with polynomials with non-commuting variables and symbolic rational coefficients

3d graphics not rendering in Jupyter notebook

• 3D-plots
• WSL
• jupyter-notebook
• threejs
• 3d_graphics

How to get coefficient of determination (r^2) in sagemath?

• rsquared
• regression
• linear_regression

knot theory alternatives to sage?

• knot
• theory
• skein
• plot

Obtaining Betti numbers in Sage

• CommutativeAlgebra

Uniqueness of an integer solution to a nonlinear polynomial system with integer coefficients

• nonlinear_system

512

views

2

answers

no

votes

2025-05-14 07:44:43 +0100 FrédéricC

Output of RootedTrees()

• OrderedTree
• combinatorics
• digraph
• output
• graph-algorithm