domain and about

Librairie C++ de calcul formel/ C++ symbolic computation library

Modérateur : xcasadmin

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

domain and about

Message par lukamar » mar. juin 18, 2019 8:35 pm

Hello,
I think that 'domain' command should intersect its result with the set obtained by 'about' command (the real case).
For example, when entering

Code : Tout sélectionner

assume(x<1);
domain(ln(x),x)
one obtains x>0, but shouldn't it be x>0 and x<1?
Also, by doing the intersection domain(x) would return x<1, i.e. the domain of x.

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

Re: domain and about

Message par parisse » mer. juin 19, 2019 8:42 am

Hi
I just checked, and I get ((x>0) and (x<1))

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

Re: domain and about

Message par lukamar » jeu. juin 20, 2019 4:17 pm

Indeed! Thanks!

Répondre