我如何在julia中使用普遍和存在量化？

我想在Julia中编写支配定义<代码>x dom y。x，y是2个向量

---

b=all（x最简单的方法几乎可以像您指定的那样：

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

dom（x，y）=全部（x.yi）
返回错误
结束
结束
回报率为零
结束

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