Assertion list for term "linear complexity".

Results from Ascent++: 1
algorithm HasAlinear complexity 0.48