Rename Constant into Rational
authorVivien Maisonneuve <v.maisonneuve@gmail.com>
Wed, 2 Jul 2014 20:30:43 +0000 (22:30 +0200)
committerVivien Maisonneuve <v.maisonneuve@gmail.com>
Wed, 2 Jul 2014 20:30:43 +0000 (22:30 +0200)
commitd06ab92943ec2e10a2bd798ca7c1b5cea395bf34
treef4073018417e6bdb1ab950b07d653f5061a1cf4e
parent29ed88d1a15d283ea6f3340a4dd97e8cc7c2d2d4
Rename Constant into Rational
pypol/__init__.py
pypol/domains.py
pypol/linexprs.py
pypol/polyhedra.py
pypol/tests/test_linexprs.py