Assertion list for term "maximum point".

Results from Ascent++: 1
vertex (aspect of graph) IsAmaximum point 0.25