When to use equivalence relations? How to write it in octave?

Click For Summary
SUMMARY

The discussion focuses on the concept of equivalence relations in Octave, specifically through the use of the 'rot90' function. It establishes that expressions such as rot90([1, 2; 3, 4], -1), rot90([1, 2; 3, 4], 3), and rot90([1, 2; 3, 4], 7) yield identical results, demonstrating their equivalence. The equivalence is defined mathematically, indicating that rotating a matrix by different multiples of 90 degrees results in the same orientation. This highlights the importance of understanding equivalence relations when working with matrix transformations in Octave.

PREREQUISITES
  • Understanding of matrix operations in Octave
  • Familiarity with the 'rot90' function in Octave
  • Basic knowledge of equivalence relations in mathematics
  • Concept of angle measurement in degrees
NEXT STEPS
  • Research the 'rot90' function in Octave documentation
  • Explore mathematical definitions of equivalence relations
  • Learn about matrix transformations and their properties
  • Investigate other functions in Octave that demonstrate equivalence
USEFUL FOR

This discussion is beneficial for mathematicians, Octave users, and anyone interested in understanding matrix transformations and equivalence relations in programming contexts.

WMDhamnekar
MHB
Messages
378
Reaction score
30
Sometimes to help describe one expression, another expression is shown that produces identical results. The exact equivalence of expressions is indicated with ‘ ≡’.

For example: rot90 ([1, 2; 3, 4], -1) ≡ rot90 ([1, 2; 3, 4], 3) ≡ rot90 ([1, 2; 3, 4], 7)

What is the meaning of 'rot90;?

What is the meaning of this example?

How to write equivalence relation in octave?

How does all of the above expressions have equivalence relation?
 
Physics news on Phys.org
I don't know Octave, but rot90(x, k) probably is the result of rotating x by $k\cdot90^\circ$. I am not sure what [1, 2; 3, 4] represents: a matrix, points coordinates or something else, but this may not be important in this example. The important point is that rotating by $3\cdot90^\circ$ is the same as rotating by $7\cdot90^\circ$, which is also the same as rotating by $90^\circ$ in the opposite direction. Therefore, expressions rot90 ([1, 2; 3, 4], -1), rot90 ([1, 2; 3, 4], 3) and rot90 ([1, 2; 3, 4], 7) are equivalent. The set of all pairs of equivalent expressions forms an equivalence relation.
 

Similar threads

  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 4 ·
Replies
4
Views
4K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
1
Views
2K
  • · Replies 17 ·
Replies
17
Views
2K