Current version 0.0.7: new function leq3