Juan M. Lazaro Ruiz
Results
1
issues of
Juan M. Lazaro Ruiz
Addresses #37937 (to enable checking if a graph in projective planar) by 1. creating a new module, `src/sage/graphs/projective_planarity.py`, that holds the relevant forbidden minors and a function to search for...
s: needs review
c: graph theory