Diophantine linear system solving: Difference between revisions

Content added Content deleted
(Clarification added)
Line 210: Line 210:
4
4
-1 0041841 0175421 0554985| 7853982
-1 0041841 0175421 0554985| 7853982
'search for polynomial coefficients
'const sqrt(2) + i
'const sqrt(2) + i
'set precision and max. degree
4
4
4
4
Line 463: Line 463:




'search for polynomial coefficients
'const sqrt(2) + i
'const sqrt(2) + i
'set precision and max. degree
1.41421356 + 1*i
1.41421356 + 1*i
P | Hnf
P | Hnf
Line 512: Line 512:
To save server space, better not repeat full test results in your post.
To save server space, better not repeat full test results in your post.
Once your solution covers all cases, a selected example will suffice.
Once your solution covers all cases, a selected example will suffice.

;clarification.
The point of this task is not solving the above puzzles, it is implementing the LLLHnf algorithm.

You may regard the test set as just random input to validate your solution, no need to delve any deeper.
But to make the task a little nicer, and of course to demonstrate the power of the algorithm,
the examples aren't really random.<br/>
Many are classics, with online resources abound. Others are on Rosetta Code in a different guise;
some are copied from the HMM paper. Section headers like 'base cases' or 'polynomial coefficients'
should be self-explanatory.<br/>
The output is deliberately left somewhat 'raw', so there's plenty of room for implementation
dependent refinement. Also, to solve this task you're not obliged to click any wiki-links,
but please do if you want some background information.