We are using Giac v1.2.0 compiled from source. We have found some inconsistencies in handling compound inequations. Namely:
Input:
Code : Tout sélectionner
solve((y)^(2) - 3.5 < 5 < y + 9, y)
Code : Tout sélectionner
Inequation inside inequation not implemented (y^2-7/2-y-9)<(5-y-9) Error: Bad Argument Value
Input:
Code : Tout sélectionner
solve((y)^(2) - 3.5 < y < y + 9, y)
Code : Tout sélectionner
list[((y>((-sqrt(15)+1)/2)) and (y<((sqrt(15)+1)/2)))]
Code : Tout sélectionner
solve(list[(y)^(2) - 3.5 < y, y < y + 9], y)