161 questions

How to extract a list from the result of Hrepresentation?

• polytope
• AlgebraicGeometry

Make SageMath allow for Error of Mathematica

• mathematica
• solve
• polynomials
• interface

why I get huge number in H-representation in sage?

• cocalc
• simplex
• polyhedra

Calculating large symbolic determinants is too slow

• symbolic-matrix
• determinant
• speed_up

Cylindrical Algebraic Decomposition and connected components

• qepcad
• semi-algebraic
• AlgebraicGeometry

Log concavity of the power partition function

StandardAlgorithm returns rays that are not extremal

• standardalgorithm
• cones
• extremalrays

multiple region_plots in one plot

• region_plot
• plot
• opacity
• zorder

257

views

no

answers

1

vote

2014-08-20 04:34:05 +0100 ron.bannon

Correct, but convoluted answer?

Plot all complex numbers, for which a predicate holds

Unwanted conversions by `function` wrapping ?

• symbolic-functions
• logic

Viewer 3D issues

• polyhedra
• 3D-plots
• threejs

402

views

1

answer

1

vote

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

Create polyhedron for given matrix A and vector b

• polyhedra
• combinatorics

929

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

p adic regulator on different Weierstrass models.

• heights
• EllipticCurve

Generating Tikz codes from Sage for drawing scattering points in 3D

• tikz
• polytope
• points

solving an iterated optimization problem

• minimize
• nonlinear
• optimization
• constraints

Seemingly false answer by bool()

• algebra

Defining a function with different symbolic expressions in different parts of its domain specified by conditional statements

Adding relations to a poset

• Poset

Redundant assumptions

• symbolic-expression
• symbolic
• logic

Polyhedra, facets and vertices

• polyhedra
• facets
• vertices
• automorphism

Problem understanding coercions.

• polynomial
• symbolic
• coercion

truncated output problem?

1k

views

1

answer

1

vote

2019-07-16 20:29:49 +0100 rburing

How to define polynomial p(x_i, x_j) while x_i, x_j runs over available variables?

• variables
• polynomials

Solve within assumptions

• assumptions
• solve

Wrong Answer?

Pedagogical Fourier Motzkin

• algebra

What does assume(x, "real")?

• assume

317

views

1

answer

2

votes

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

How to interpret Solve_ineq() result ?

• algebra