search

RuleBasedIntegration / Rubi

Rubi for Mathematica
http://rulebasedintegration.org
MIT License
228 stars 23 forks source link

Fix incorrect usage messages on LtQ, GeQ and LeQ #3

Closed numbermaniac closed 6 years ago

numbermaniac commented 6 years ago

GtQ, LtQ, GeQ and LeQ all seem to have identical usage messages despite performing different checks. These edited messages match what is already commented on lines 409, 428, 447 and 466.