Complete fan (source code)

= Complete fan

A fan is complete when the union of all its cones is the whole ambient real vector space. A <toric variety> is proper exactly when its fan is complete.