Python shortLex 예제들

예제 #1

파일: test_knuth_bendix.py 프로젝트: dmishin/knuth_bendix

 def test_shortlex(self):
     
     self.assertTrue( shortLex( "", "a") )
     self.assertTrue( shortLex( "", "") )
     self.assertTrue( shortLex( "a", "a") )
     self.assertTrue( shortLex( "a", "a") )
     
     self.assertTrue( shortLex( "a", "bb") )
     self.assertTrue( shortLex( "a", "b") )
     self.assertFalse( shortLex( "bb", "a") )

예제 #2

파일: vondyck.py 프로젝트: dmishin/knuth_bendix

def groupedShortLex(s1, s2):
    p1 = tuple(groupPowers(s1))
    p2 = tuple(groupPowers(s2))
    print ("####", s1,p1," <> ", s2,p2)
    return shortLex( p1, p2)