search

marxin / cvise

Super-parallel Python port of the C-Reduce
Other
219 stars 25 forks source link

When are shortcuts taken into account? #115

Open rmonat opened 1 year ago

rmonat commented 1 year ago

Hi, I've been using cvise for a few weeks now and must say it's been extremely helpful, thanks a lot for developing it!

I have a question regarding the S and D shortcuts: when I press those during the reduction, they seem to be taken into account after a few more steps, or not at all. When are the shortcuts taken into account? Is this behavior expected?

I've encountered this behavior on cvise 2.4 (through ubuntu's packages), and cvise 2.8 (built and installed from source here). The commands are run through on a distant computer through ssh, with or without the use of screen in between.

marxin commented 1 year ago

Hello! Thanks for the feedback.

Yes, the shortcuts are limited to a certain time window and that's something @strimo378 knowns about and is probably working on a fix. Am I right Timo?

rmonat commented 10 months ago

Thank you @marxin for your answer! @strimo378 any update?

strimo378 commented 10 months ago

I am currently not working on a fix to the shortcuts problem. I am focusing more on improved transformations...

Please feel free to address it and provide a pull request. Maybe chatgpt can help you with python development, if you are not familiar with :)