diff options
| author | Pierre-Marie Pédrot | 2014-06-27 10:36:05 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2014-06-27 17:07:28 +0200 |
| commit | b2f9a315ceb3d9d2f0fca89722da20b8b061f24f (patch) | |
| tree | 6fdd3bdab208fa3c73060d50de1820852b78145f /dev | |
| parent | 4db867c45dafc7ed7b524a8d089cd57b7944feca (diff) | |
Fast path in Canonical structure detection. We do not always compute the normal
form of a potential canonical argument anymore, and we check that it may be part
of a canonical structure first.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions