如何在julia中使用通用和存在量化？

Question

我想用Julia编码统治定义。 x dom y。 x，y是2个向量。

b=all(x<=y) && any(x<y)

请你帮我一下。如何在Julia中编码此概念？

谢谢

Answer 1

最简单的方法几乎就像您已指定它一样：

dom(x, y) = all(x .<= y) && any(x .< y)

您还可以使用循环，例如像这样：

function dom(x::AbstractVector, y::AbstractVector)
    @assert length(x) == length(y)
    wasless = false
    for (xi, yi) in zip(x, y)
        if xi < yi
            wasless = true
        elseif xi > yi
            return false
        end
    end
    return wasless
end