def __init__(self, F0): self.F0 = F0 F = PosetProduct((F0, F0)) R = F0 M = PosetProduct((F0, F0)) # must be same as approximations PrimitiveDP.__init__(self, F=F, R=R, I=M)
def __init__(self, F, R): I = SpaceProduct(()) PrimitiveDP.__init__(self, F=F, R=R, I=I)
def __init__(self, F0): self.F0 = F0 F = F0 R = PosetProduct((F0, F0)) I = copy.copy(F0) PrimitiveDP.__init__(self, F=F, R=R, I=I)
def __init__(self, F, R): I = FiniteCollectionAsSpace(['*']) PrimitiveDP.__init__(self, F=F, R=R, I=I)
def __init__(self, dp): self.dp = dp F = dp.F R = dp.R I = dp.I PrimitiveDP.__init__(self, F, R, I)