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 = SpaceProduct(())
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)
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, F0):
self.F0 = F0
F = F0
R = PosetProduct((F0, F0))
I = copy.copy(F0)
PrimitiveDP.__init__(self, F=F, R=R, I=I)
