160 questions

Redundant assumptions

• symbolic-expression
• symbolic
• logic

Can one use sagemath to prove an inequality?

• inequality
• proof

StandardAlgorithm returns rays that are not extremal

• standardalgorithm
• cones
• extremalrays

What is the algorithm used for polyhedra intersection?

• polyhedra
• polyhedron
• intersection

How to solve the following system of inequalities

• solve

solving one inequality with assumption

• inequality

Calculating large symbolic determinants is too slow

• symbolic-matrix
• determinant
• speed_up

215

views

1

answer

no

votes

2023-01-10 10:16:08 +0100 FrédéricC

Solve inequation composed of FractionFieldElement

• FractionFieldElement
• expression
• RealField

Cylindrical Algebraic Decomposition and connected components

• qepcad
• semi-algebraic
• AlgebraicGeometry

Log concavity of the power partition function

151

views

1

answer

no

votes

2022-12-13 12:17:27 +0100 Juanjo

How can I get solutions to this inequalities in sage?Or how I have to interpret the outcome

• solutions

390

views

1

answer

1

vote

2022-12-04 20:56:40 +0100 Max Alekseyev

How to write a p-adic exponent b^k as a Power series in k ?

• computations
• p-adic
• formal-power-series

How to get result - diophantines equation

• diophantine

p adic regulator on different Weierstrass models.

• heights
• EllipticCurve

How to extract a list from the result of Hrepresentation?

• polytopes
• AlgebraicGeometry

How to solve inequalities with parallel processing?

• inequalities
• parallel
• multiprocessing

Why, in any equation, are repeated solutions given by Sage only once?

1k

views

1

answer

no

votes

2022-06-07 12:23:08 +0100 Sébastien Palcoux

Fastest way to solve non-negative linear diophantine equations

• quick
• diophantine
• linear_equations
• positive
• partition

736

views

1

answer

1

vote

2022-04-30 23:12:44 +0100 Max Alekseyev

Solving linear inequality systems using Sage

• inequalities

Calling the length of a list of inequality strings result in an error

• list

785

views

2

answers

2

votes

2022-01-19 20:29:34 +0100 Max Alekseyev

Finding a unique integer solution to a set of inequalities [closed]

• equation-system
• integer
• inequalities

322

views

1

answer

1

vote

2022-01-17 21:22:50 +0100 rburing

Solve a system of equations for functions

• solve
• system_of_equations

202

views

1

answer

1

vote

2022-01-01 10:54:58 +0100 rburing

Create polyhedron for given matrix A and vector b

• polyhedra
• combinatorics

A parametric plot with branches for which restricting the range with xmin, xmax doesn't work

• parametric_plot
• manipulation

Solve within assumptions

• assumptions
• solve

Solving an inequality over the natural numbers

• inequalities

Problem with solve and solve_ineq

• inequalities

236

views

1

answer

2

votes

2021-06-09 23:15:17 +0100 rburing

How to interpret Solve_ineq() result ?

• algebra

How to transform a derived set of inequation in the good polyhedron format

• algebra

Inequation solution doesn't isolate the operational variable

• analysis