search

lubgr / tsym

Tiny symbolic library
GNU General Public License v3.0
6 stars 2 forks source link

pay attention to positive symbols in order functions #9

Closed lubgr closed 7 years ago

lubgr commented 7 years ago

When comparing two symbols with equal names, one created with a positive flag and one without, doPermute must return an appropiate order. currently, order::doPermute(aPositive, a) and order::doPermute(a, aPositive) will probably both return false, which is inconsistent.