The CheckPositive item (menu Computations) intends to test the positivity of the current function mainly when its form is not.When the function appears to be positive, its presentation is updated.