GEOMETRY application - user's comments

[parisse]

is_element is a CAS command, it is intended to work with exact equations and points, for approx equations or points, it may fail because of rounding errors. Maybe increasing the value of Epsilon (e.g. to 1e-6) in the 2nd page of the CAS settings will help is_element accepting that the approx point is on the curve.