Visual indication of redundant traits in list of properties for a space #232
Description
Right now, from the properties page for a given space, there is no immediate way to determine the "redundant traits" (i.e., the traits that are simultaneously asserted and derivable from other traits). The only way to do it is to click on each asserted trait, and the particular page for that trait does show when this is the case.
When we contributors work on a certain space, most of the time we do want to know which are the redundant traits, to see if some cleanup is possible. It would help us quite a bit to be able to know the redundant traits at a glance from the properties page itself. Some type of visual indication like a slightly different color maybe, or something else.
The need for this has been discussed a few times before, in zoom meetings, and also in pi-base/data#1338.
Implemention note: (I don't know the internals of the pi-base web engine, so take this with a grain of salt.)
We should avoid an impact on performance. So precomputing the redundant traits for all combinations of space + asserted property is probably not advisable. Maybe it could be done "on demand" for a space whenever a user navigates to the properties page/tab for that space. Alternatively, if that simplifies the implementation, one could possibly have a "check redundant traits" button on that page. When the button is clicked, the computation would be done.