On 2017-02-13 11:29, Jori Mäntysalo wrote: > For example https://groupprops.subwiki.org/wiki/Solvable_group contains > lists "Stronger properties" and "Weaker properties". > > What would you think about SEEALSO-blocks of is_* -functions having list > of nearest stronger and weaker properties? For example > is_sectionally_complemented() would have something like > > See also: > > - Stronger properties: is_relatively_complemented > - Weaker properties: is_complemented, is_regular > > or maybe > > - Implied by: is_relatively_complemented > - Implies: is_complemented, is_regular > > I do not mean the whole list, just those properties that covers or are > covered by the Boolean property in a poset of property implications.
+1 for crosslinks of any kind -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
