search

balqui / degais

Decomposing Gaifman Structures (again)
MIT License
0 stars 0 forks source link

What should be the base class for Clans now? #1

Closed balqui closed 1 day ago

balqui commented 3 weeks ago

Right now it is list but, then, splitting is as of today slow.

With set instead we do much faster splitting but the elements are expected to be clans so they are to be frozen.

Then, at splitting either we discard them with alternative inefficiencies, or thaw them somehow and freeze them again, unclear whether the whole thing is worth it.

Also, a list will enable easy extension to linear clans in the future, if convenient, but this is very fuzzy.

balqui commented 1 day ago

Decided not to change any clan along but keep creating new ones instead so that when one reappears (e.g. upon splitting) the color connections are remembered and not recomputed. However, even with this, at places it is more convenient to work with the positions of the subclans than with the subclans proper, so they must be lists and not sets.