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, R): assert F == R amap = CeilMap(F) amap_dual = FloorMap(F) WrapAMap.__init__(self, amap, amap_dual)