Function validate_newKrausMapParams

quest/src/core/validation.cpp:2909–2936

}

void validate_newKrausMapParams(int numQubits, int numMatrices, const char* caller) {

    // some of the below validation involves getting distributed node consensus, which
    // can be an expensive synchronisation, which we avoid if validation is anyway disabled
    if (!global_isValidationEnabled)
        return;

    validate_envIsInit(caller);
    QuESTEnv env = getQuESTEnv();

    // first ensure that numQubits is >0 so below validation algebra is correct/safe
    assertKrausMapNonEmpty(numQubits, caller);
    
    // then ensure the Kraus map's superoperator has safe non-overflowing dimensions
    bool isInKrausMap = true;
    assertSuperOpTotalNumElemsDontExceedMaxIndex(numQubits, isInKrausMap, caller);
    assertSuperOpLocalMemDoesntExceedMaxSizeof(numQubits, isInKrausMap, caller);

    // ensure the superoperator can fit into current memory - we do NOT bother checking
    // whether the Kraus operator matrix list fits in memory since that's a very rare
    // scenario (the memory is linear with the user's numMatrices parameter, so they will 
    // not be asonisthed) and will be posteriori caught after memory allocation failure
    assertSuperOpFitsInCpuMem(numQubits, isInKrausMap, caller);
    assertSuperOpFitsInGpuMem(numQubits, env.isGpuAccelerated, isInKrausMap, caller);

    // ensure the number of Kraus operators isn't invalid, nor will cause overflows/seg-faults
    assertKrausMapValidNumMatrices(numQubits, numMatrices, caller);
}

void validate_newKrausMapAllocs(KrausMap map, const char* caller) {