Faces of polytope

[XLVII-47]

In Oscar.jl with

function getFaces(A,b,p,FD)
    NF = normal_fan(Oscar.Polyhedron(A,b))

    faces= []

    for d in 1:Oscar.dim(NF)
        for cone in Oscar.cones(NF,d)
            face = []

            for ray in Oscar.rays(cone)
                rayy = [-r.num for r in ray]
                push!(face,FD[rayy])
            end

            push!(faces,face)
        end
    end

    return faces
end

I can find the faces... But there is no function in Polyhedra.jl like normal_fan() is threre any function to find faces?

[lxvm]

@XLVII-47 The manual section on incidences has a variety of functions for finding points and rays in faces of polyhedra