Le forum de XCAS • testing validity of an inequality misses a special case

Page 1 sur 1

testing validity of an inequality misses a special case

Publié : sam. juil. 13, 2019 11:46 am

par lukamar

Hello,

when one sets

Code : Tout sélectionner

assume(t>-1 and t<1)

then the command

Code : Tout sélectionner

abs(t)>0

returns "true". However, abs(t)=0 for t=0.

Re: testing validity of an inequality misses a special case

Publié : dim. juil. 14, 2019 11:45 am

par parisse

Unfortunately, handling particular cases is too complicated...