I’m sure I learned this (the symbolic version) at some point as an undergrad. It didn’t stick until I had to teach it in algebra, however. Before that I always found the gcd through prime factorizations. But this is so powerful! You don’t need to know prime numbers! And it works for polynomials too!
