Beispiel #1
0
 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)
Beispiel #2
0
 def __init__(self, F, R):
     I = SpaceProduct(())
     PrimitiveDP.__init__(self, F=F, R=R, I=I)
Beispiel #3
0
 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)
Beispiel #4
0
 def __init__(self, F, R):
     I = SpaceProduct(())
     PrimitiveDP.__init__(self, F=F, R=R, I=I)
Beispiel #5
0
 def __init__(self, F, R):
     I = FiniteCollectionAsSpace(['*'])
     PrimitiveDP.__init__(self, F=F, R=R, I=I)
Beispiel #6
0
 def __init__(self, dp):
     self.dp = dp
     F = dp.F
     R = dp.R
     I = dp.I
     PrimitiveDP.__init__(self, F, R, I)
Beispiel #7
0
 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)
Beispiel #8
0
 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)