Java-Geometry-Expert icon indicating copy to clipboard operation
Java-Geometry-Expert copied to clipboard

Distinguish between trivial and non-trivial features

Open kovzol opened this issue 2 years ago • 0 comments

If there are several features found in the list of fix objects, it would be useful to make a difference between trivial and non-trivial properties. For example, if we defined two lines to be perpendicular, then it is a trivial thing that they are orthogonal, so this fact should be either hidden in the list, or by highlighted with a different color.

kovzol avatar Mar 31 '23 15:03 kovzol