Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

crash and unstable number of solutions #72

Open
weibingrong opened this issue May 1, 2024 · 3 comments
Open

crash and unstable number of solutions #72

weibingrong opened this issue May 1, 2024 · 3 comments

Comments

@weibingrong
Copy link

weibingrong commented May 1, 2024

input.txt
18
2m11+0m12+0m13+0m21+0m22+0m23+0m31+0m32+0m33+0x+0y+0z-2+2a1m11+a4m21+a5m31;
0m11+2m12+1m13+0m21+0m22+0m23+0m31+0m32+0m33+0x+0y+0z-0+2a1m12+a4m22+a5m32;
0m11+1m12+8m13+0m21+0m22+0m23+0m31+0m32+0m33-6x+0y+0z-0+2a1m13+a4m23+a5m33;
0m11+0m12+0m13+2m21+0m22+0m23+0m31+0m32+0m33+0x+0y+0z-0+2a2m21+a4m11+a6m31;
0m11+0m12+0m13+0m21+2m22+1m23+0m31+0m32+0m33+0x+0y+0z-2+2a2m22+a4m12+a6m32;
0m11+0m12+0m13+0m21+1m22+8m23+0m31+0m32+0m33+0x-6y+0z-1+2a2m23+a4m13+a6m33;
0m11+0m12+0m13+0m21+0m22+0m23+2m31+0m32+0m33+0x+0y+0z-0+2a3m31+a5m11+a6m21;
0m11+0m12+0m13+0m21+0m22+0m23+0m31+2m32+1m33+0x+0y+0z-1+2a3m32+a5m12+a6m22;
0m11+0m12+0m13+0m21+0m22+0m23+0m31+1m32+8m33+0x+0y-6z-2+2a3m33+a5m13+a6m23;
0m11+0m12-6m13+0m21+0m22+0m23+0m31+0m32+0m33+5x+0y+0z-0;
0m11+0m12+0m13+0m21+0m22-6m23+0m31+0m32+0m33+0x+5y+0z-0;
0m11+0m12+0m13+0m21+0m22+0m23+0m31+0m32-6m33+0x+0y+5z+1;
m11^2+m12^2+m13^2-1;
m21^2+m22^2+m23^2-1;
m31^2+m32^2+m33^2-1;
m11m21+m12m22+m13m23;
m11
m31+m12m32+m13m33;
m21m31+m22m32+m23*m33;

1 save the above content as input.txt and use phc latest version
2 .\phc.exe -b -068717 input.txt output.txt
3.phc crashed

.\phc.exe -b -t8 -01 input.txt output.txt
it will give 1880 solutions

.\phc.exe -b -t8 -0100 input.txt output.txt
it will give 1876 solutions

Is there any way to provide stable and complete solutions? or provide warnings for unstable or random solutions.

Thanks!

@janverschelde
Copy link
Owner

Thanks for reporting this issue. The blackbox solver (phc -b) uses default values for tolerances and numerical parameters. Those defaults work well for small and medium sized examples, but no longer for larger problems.

Try to work with phc -u which offers a better path tracker.

@weibingrong
Copy link
Author

Hi professor,

I have tried -u option several times. But it requires a lot of mathematics and ultimately I failed.
Could you please give some samples or tips?

By the way, if we want to interoperate with C/C++, how should we do?

Thanks a lot and looking forward to your instructions!

@weibingrong
Copy link
Author

weibingrong commented May 6, 2024 via email

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

No branches or pull requests

2 participants