parametric inequations

Messages in english

Modérateur : xcasadmin

compsystems
Messages : 562
Inscription : sam. févr. 04, 2017 11:34 pm
Localisation : Colombia
Contact :

parametric inequations

Message par compsystems » dim. juil. 23, 2017 1:36 pm

1:
solve(u *x < a,x) returns
Warning! Solving parametric inequation requires assumption on parameters otherwise solutions may be missed...
[]

2: assume(u<0 and a<0) returns
a // shows the last assigned value

3:
solve(u *x < a,x) returns
Warning! ...requires assumption ... // The warning has to be dissolved, if it finds at least one assumption or better warnings about the variables not found ... The variables 'a,u' has no assumption
list[x>(a/u)]

4:
purge(a);
assume(u>0)

5:
solve(u *x < a,x) returns
Warning! The variable 'a' has no assumption
list[x<(a/u)]

parisse
Messages : 5740
Inscription : mar. déc. 20, 2005 4:02 pm
Contact :

Re: parametric inequations

Message par parisse » lun. juil. 24, 2017 2:51 pm

You can not assume with and on two parameters, you must do 2 assume commands, one for each variable.
The warning is a generic warning, it means that solving parametric inequations is dangerous and not well supported, the user should verify the result.

Répondre