def __init__(self):
amap = SquareNatMap()
N = Nat()
R = Rcomp()
maps = (PromoteToFloat(N, R), SqrtMap(R), FloorMap(R), CoerceToInt(R, N))
amap_dual = MapComposition(maps)
WrapAMap.__init__(self, amap, amap_dual)
def __init__(self):
amap = SquareNatMap()
N = Nat()
R = Rcomp()
maps = (PromoteToFloat(N,
R), SqrtMap(R), FloorMap(R), CoerceToInt(R, N))
amap_dual = MapComposition(maps)
WrapAMap.__init__(self, amap, amap_dual)
def __init__(self, F):
amap = SqrtMap(F)
amap_dual = SquareMap(F)
WrapAMap.__init__(self, amap, amap_dual)
def __init__(self, F, R):
amap = CoerceToInt(F, R)
amap_dual = PromoteToFloat(R, F)
WrapAMap.__init__(self, amap, amap_dual)
def __init__(self, F, num, den):
amap = RCompUnitsPowerMap(F, num=num, den=den)
amap_dual = RCompUnitsPowerMap(amap.get_codomain(), num=den, den=num) # swap
WrapAMap.__init__(self, amap, amap_dual)
def __init__(self, F, R):
check_isinstance(F, RcompBase)
check_isinstance(R, Nat)
h = CeilRNMap(F, R)
hd = PromoteToFloat(R, F)
WrapAMap.__init__(self, h, hd)
def __init__(self, F, R):
amap = CeilMap(F)
amap_dual = FloorMap(F)
WrapAMap.__init__(self, amap, amap_dual)
def __init__(self, F):
amap = Floor0Map(F)
amap_dual = CeilMap(F)
WrapAMap.__init__(self, amap, amap_dual)
def __init__(self, F):
amap = SqrtMap(F)
amap_dual = SquareMap(F)
WrapAMap.__init__(self, amap, amap_dual)
def __init__(self, F, R):
amap = CoerceToInt(F, R)
amap_dual = PromoteToFloat(R, F)
WrapAMap.__init__(self, amap, amap_dual)
def __init__(self, F, num, den):
amap = RCompUnitsPowerMap(F, num=num, den=den)
amap_dual = RCompUnitsPowerMap(amap.get_codomain(), num=den,
den=num) # swap
WrapAMap.__init__(self, amap, amap_dual)
def __init__(self, F, R):
check_isinstance(F, RcompBase)
check_isinstance(R, Nat)
h = CeilRNMap(F, R)
hd = PromoteToFloat(R, F)
WrapAMap.__init__(self, h, hd)
def __init__(self, F, R):
assert F == R
amap = CeilMap(F)
amap_dual = FloorMap(F)
WrapAMap.__init__(self, amap, amap_dual)
def __init__(self, F):
amap = Floor0Map(F)
amap_dual = CeilMap(F)
WrapAMap.__init__(self, amap, amap_dual)
