Skip to content

Roadmap algorithm#125

Open
rprebet wants to merge 36 commits intoalgebraic-solving:mainfrom
rprebet:roadmap
Open

Roadmap algorithm#125
rprebet wants to merge 36 commits intoalgebraic-solving:mainfrom
rprebet:roadmap

Conversation

@rprebet
Copy link
Copy Markdown
Contributor

@rprebet rprebet commented Mar 3, 2026

This PR brings functions to compute a roadmap for a smooth and bounded real algebraic set, together with query points.
This comes with a new optimized data structure for roadmaps and associated functions.
Substantial additional documentation is also included.

@mohabsafey
Copy link
Copy Markdown
Collaborator

Many thanks for all of this. As far as I understand, the roadmap function fails when a change of variables is needed which might be restrictive. Do you confirm?

@rprebet
Copy link
Copy Markdown
Contributor Author

rprebet commented Mar 24, 2026

Do you suggest performing a random change of variables as soon/long as the roadmap function fails?
I'm ok with that.

@mohabsafey
Copy link
Copy Markdown
Collaborator

Sorry for the late reply. All apologies. Yes, I think that the change of variables should be done automatically. Also, note that this is needed only to ensure dimension properties. Hence, we could have these changes of variables chosen deterministically so that the function returns always the same roadmap for a given input (the output should not depend on the execution). This is how I do in raglib (you can have a look or I can show you).

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants