Mdistancecomputes the distance betw

Mdistancecomputes the distance between the two moving points at all times and hence returns a time changing real number, a type that we call mreal (“moving real”; mreal = τ(real)), and visits returns the positions of the moving point given as a first argument at the times when it was inside the moving region provided as a second argument. Here it becomes clear that a value of type mpointmay also be a
partial function, in the extreme case a function where the point is undefined at all times.

Kết quả (Việt) 1:

Mdistancecomputes khoảng cách giữa hai di chuyển điểm ở tất cả thời gian và do đó trở lại một thời gian thay đổi số thực, một loại mà chúng tôi gọi mreal ("di chuyển thực sự"; mreal = τ(real)), và thăm trả về vị trí của di chuyển điểm đưa ra như là một đối số đầu tiên tại những thời điểm khi nó đang ở trong vùng di chuyển được cung cấp như một đối số thứ hai. Ở đây nó trở nên rõ ràng rằng một giá trị của loại mpointmay cũng là mộtchức năng một phần, trong trường hợp cực một chức năng mà vấn đề là không xác định mọi lúc.

Kết quả (Việt) 2:

Mdistancecomputes khoảng cách giữa hai điểm di chuyển ở mọi thời điểm và do đó trả về một thời gian thay đổi số thực, một loại mà chúng ta gọi mreal ("di chuyển thực sự"; mreal = τ (thực)), và thăm trả về vị trí của các điểm di chuyển được như là một đối số đầu tiên vào những thời điểm khi nó được bên trong khu vực di chuyển cung cấp như một tham số thứ hai. Ở đây nó trở nên rõ ràng rằng một giá trị kiểu mpointmay cũng là một
chức năng một phần, trong trường hợp cực đoan một chức năng mà điểm là không xác định ở tất cả các lần.