After assigning all the verification tasks, Qiao Yu didn't have much to do these two months.
In these days, Qiao Yu has already developed some definitions of the base theorems. For instance, he has defined modal distance and established the geometric structure in modal space.
This includes the Euclidean modal distance needed for analyzing the absolute geometric positional relationships of points:
When different modal parameters have varying levels of importance, the weighted modal distance:
When the modal parameters are periodic, the periodic modal distance used:
And many other forms...
As for the correctness of these definitions, that was Senior Brother Chen's task; he would verify these elements.
Because these definitions of modal distances are deformations based on an axiomatized system.
For example, non-negativity, symmetry, and the triangle inequality.
