def __init__(self, c_value): dom = Rcomp() dom.belongs(c_value) cod = dom Map.__init__(self, dom=dom, cod=cod) self.c = c_value self.top = dom.get_top()
def MinusValueRcompDP2(): U = Rcomp() v = U.get_top() return MinusValueRcompDP(v)