SmtC: Show me the Code
Ole Peter Smith
Instituto de Matemática e Estatística
Universidade Federal de Goiás
http://www.olesmith.com.br

Eliminate
Quando eu dou de comer aos pobres
Me chamam de santo
Quando eu pergunto por que eles são pobres
Me chamam de comunista
Dom Helder Câmera
< Column | Box | Solve >
Eliminate in Cell Box.
Python Listing: ../../Eliminate.py. 
    def Topology_Eliminate_Element_In_Box(self,topology,r,s):
        value=self.S[r][s]

        br=r//self.N
        bs=s//self.N

        r0=br*self.N
        s0=bs*self.N
        
        for rr in range(self.N):
            r=r0+rr
            
            for ss in range(self.N):
                s=s0+ss
                if (self.S[r][s]==0):
                    if (value in topology[r][s]):
                        topology[r][s].remove(value)
< Column | Box | Solve >
Messages:
0 secs.