testing validity of an inequality misses a special case

Bugs

Modérateur : xcasadmin

lukamar
Messages : 294
Inscription : ven. juin 30, 2017 9:55 am
Localisation : Zagreb, Croatia

testing validity of an inequality misses a special case

Message par lukamar » sam. juil. 13, 2019 11:46 am

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.

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

Re: testing validity of an inequality misses a special case

Message par parisse » dim. juil. 14, 2019 11:45 am

Unfortunately, handling particular cases is too complicated...

Répondre