Is there a polyhedra package that will meet my need

New to Julia
, , ,
1

aa
aa882×877 123 KB

I need to implement this algorithm, but need exact same constructor of polyhedra. I don’t know julia, can someone help?
or for “I_s” , rigt kernel of matrix, power set … are there functions for these?

2

polyhedra in JuliaHub:
https://juliahub.com/ui/Search?q=polyhedra&type=packages