add examples for non-rational polyhedra#5386

benlorenz wants to merge 13 commits intomasteroscar-system/Oscar.jl:masterfrom

bl/scalarexoscar-system/Oscar.jl:bl/scalarexCopy head branch name to clipboard