Maxima Function
ordergreatp (expr_1, expr_2)
Returns true if expr_2 precedes expr_1 in the ordering set up with the ordergreat function.
true
ordergreat