(dev)
Get current device used by MAGMA.
Get current device used by MAGMA.
Get current device used by MAGMA .
def magma_setdevice(dev):
    """
    Get current device used by MAGMA.
    """

    _libmagma.magma_setdevice(dev)
def magma_setdevice ( dev ) : _libmagma . magma_setdevice ( dev )