On Thu, 28 May 2015, Travis Scrimshaw wrote:
But it will be reversed then. A.is_subgraph(B) means that B is bigger one, but here A.is_sublattice(B) would mean that A is bigger one and B is the subset.
Ah, yes; good point. How about is_superlattice() then?
As superlattice does not to seem used much, I decided to use has_sublattice. (And got a need for rebasing, but that is another story.)
-- Jori Mäntysalo