Ask Your Question
2

How to interpret Solve_ineq() result ?

asked 2021-06-09 19:56:13 +0200

Cyrille gravatar image

For this code

R = PolynomialRing(QQ, 'x', 2)
X = vector(R.gens())
show(X)
A=matrix(QQ,[[1, 2], [-3, 4]])
b=vector(QQ,[[2], [-4]])
show(A,"....",  b)
Z=A*X+b
ZZ=[SR(y) for y in Z]
ZZZ=[eq<=0 for eq in ZZ]
Y=[SR(X[i]).variables()[0] for i in range(len(X))]
show(Y)
show(ZZZ)
sol=solve_ineq(ZZZ,[x[0]])
sol

sol[0] gives [x0 == -2*x1 - 2, 5*x1 + 1]. And here is the question what means 5*x1 + 1 (no equality, inequality ...)

edit retag flag offensive close merge delete

1 Answer

Sort by ยป oldest newest most voted
1

answered 2021-06-09 23:15:17 +0200

rburing gravatar image

This seems to be a bug in Maxima, now reported as #3799 fourier_elim returns non-(in)equations.

edit flag offensive delete link more

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

1 follower

Stats

Asked: 2021-06-09 19:56:13 +0200

Seen: 35 times

Last updated: Jun 09