Helper functions symbolname and symbolnames
authorVivien Maisonneuve <v.maisonneuve@gmail.com>
Wed, 2 Jul 2014 05:08:11 +0000 (07:08 +0200)
committerVivien Maisonneuve <v.maisonneuve@gmail.com>
Wed, 2 Jul 2014 05:09:27 +0000 (07:09 +0200)
commit556abe7f3b2c7e3985560f3e3cfb6f66bacc4122
treebc09a7c935cf2a1f6a168a4e63e2133dbed6b6a3
parentc3d305942999eeb429c6941184b47e7f1b55c499
Helper functions symbolname and symbolnames
pypol/domains.py
pypol/linexprs.py