]> matita.cs.unibo.it Git - helm.git/commitdiff
projects / helm.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: 5c10d40)
demodulate takes an extra argument 'all', if present it attempts to solve
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 22 Apr 2009 10:30:55 +0000 (10:30 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 22 Apr 2009 10:30:55 +0000 (10:30 +0000)
the goal demodulating it in any possible way. an extra steps argument may
be used to increase the default maximum number of demodulation steps (1).
pump may also affect the result.


No differences found
Unnamed repository; edit this file 'description' to name the repository.