333 questions

Factorization of polynomial with root

• polynomial
• factoring
• root

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

141

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

294

views

1

answer

1

vote

2025-04-26 13:20:46 +0100 Max Alekseyev

Sage cannot solve non-linear polynomial systems symbolically!

• non-linear-system

306

views

2

answers

no

votes

2025-02-16 15:34:30 +0100 Max Alekseyev

Example of matrices satisfying certain matrix equation

Solving a system by resultant computations

• resultant

Find algebraic solutions to system of polynomial equations

• equations
• polynomials

Change of Coords. in Symbolic Comp.

• cartesian
• spherical
• coordinates
• 3_variables

425

views

1

answer

no

votes

2024-09-11 20:37:29 +0100 Max Alekseyev

Splitting of a (1,-1) square matrix into (0,1) and (0,-1) summands satisfying certain conditions

• matrices
• linear-algebra

Finding integer solutions to systems of polynomial equations

• polynomials
• solve
• ring
• variable

plot circle using complex numbers

• complex-analysis
• analysis
• 2Dplot
• complexplot

Solving polynomial equations using Grobner basis technique

• grobner-basis

changing a variable in the ring of polynomials

• ideal_quotient
• quotient

Computing Grobner basis when the input is n polynomials

• grobner-basis

285

views

1

answer

no

votes

2024-05-01 04:04:53 +0100 Max Alekseyev

Convert solution set to vector notation?

Issue porting solve utility from sympy to sagemath

TypeError: x0 is not a valid variable trying to solve equation

737

views

1

answer

1

vote

2024-04-16 22:47:46 +0100 Max Alekseyev

Thue-Mahler equation

• number-theory
• diophantine

Lazily solving equations in powerseries rings over finite fields

• lazy
• formal-power-series

Modular Forms

• modular_forms
• hecke_operator
• eta_products
• p-adic

1k

views

2

answers

no

votes

2024-03-04 19:53:49 +0100 Max Alekseyev

How to solve system of equations in polynomial ring over GF with a different variables

• finite-fields
• algebraic_equations
• symbolic-expression
• InfPolynomialRing

Solving a linear system of equations depending of a parameter

• linear_systems
• equation-system
• parameter

if we know that the vectors are dependant i need to determine the relation between v9 = vector([0, 0, -2, 0, 4, -2, 12, 8, -18]) and the following vectors

How to define a manifold for representing PDEs in vectorial form?

• manifolds
• pde

How to compute in exterior powers of a ring

• Modules
• ExteriorAlgebra
• FreeModule
• SparseMatrix

Solving matrix equation over extension field with solutions in the base field

372

views

1

answer

no

votes

2023-10-26 14:14:17 +0100 Max Alekseyev

Solving a system of equations over finite fields with integer coefficients

• finite-fields

456

views

2

answers

2

votes

2023-07-29 08:40:13 +0100 rburing

sol = solve([x^2+y^2+z^2==2, x^3+y^3+z^3==2,x^4+y^4+z^4==2], x,y,z)

• system-of-equations
• complex_number

How to solve the following system of inequalities

• solve

solve function output function of variable for which to solve

• solve
• bug