A com­pu­ta­tion­al approach for the gen­er­a­tion of all par­tial lat­tices of two-dimen­sion­al shapes with an n‑fold sym­me­try axis is pre­sent­ed and an appli­ca­tion in for­mal analy­sis in archi­tec­tur­al design is pre­sent­ed in the end.