277

Animated Factorization (2012)

This is more of a "dirty high school algebra" trick, but factoring polynomials by hand at that level got a lot easier once I realized every composite number below 100 has to be divisible by 2, 3, 5, or 7. If none of those divide it, then it's prime and you can stop factoring right there.

It similarly turns out the only "non-obvious" composite under this rule is 7*13=91, all the rest can be pretty quickly tested using the normal rules. 49 is 7², so it's similarly easy to recognize. All the others are an easy primality test.

A few randomly generated numbers to show this off:

* 31? Not divisible by 2, 3, or 5 - below 7² so no risk of 7 division either. Prime. 31=31¹.

* 69? Divisible by 3. 69 = 3*23. 23? Not divisible by 2, 3, 5 - so you can stop factoring there. 69=3¹23¹.

* 92? Divisible by 2, to 2*46 - again, divisible by 2, to 2²23 - 23 isn't divisible by 2, 3 or 5, so 92 = 2²23¹.

* 68 = 2¹34 = 2²17, and 17 is not divisible by 2, 3 or 5, so you can stop there. 2²17¹.

High school textbooks generally don't use numbers higher than 100 to preclude students who don't have calculators, so this trick came in handy many times for me. It also happens to gesture at the notion that primes are surprisingly common at low numbers, and then thin out rapidly as you climb higher and higher.

2 days agohiAndrewQuinn

I assume you also know the trick of adding the columns to test divisibility by three: 387 becomes 3+8+7, which is 18, which becomes 1+8 = 9. This works because 10 % 3 = 1, so 100 = 99+1 (etc.), with the effect that each column can be counted as if it was units.

To apply the same trick to a multiple of 7, the tens column is worth 3 (10 % 7 = 3), so 91 -> 27 + 1 -> 6 + 8 -> 3 + 4 -> 7. The value is different in the next column (100 % 7 = 2). This trick is no help at all but I still like it.

(Finished editing out mistakes now.)

2 days agocard_zero

Hm...

14 => 1 (3^1) + 4 (3^0) => 7 => divisible by 7.

21 => 6 (3^1) + 1 (3^0) => 7 => also divisible by 7.

7 * 53 = 371 => 3 (3^2) + 7 (3^1) + 1 (3^0) => 27 + 21 + 1 => 49 => ALSO divisible by 7!

My word! This is the intuition I always suspected was possible after studying how bases worked, but I never took the time to investigate on my own.

a day agohiAndrewQuinn

Hmm, no. There's a hazard of false positives here (which is why I had mistakes to fix previously). It's not all about the number 3; you don't want to multiply columns by 3², 3¹, 3⁰. Instead you want the remainder of the division of (ten to the column number) by seven (or whatever divisor you're checking).

That's a repeating pattern. In the case of 3 the pattern has length 1, and it goes (1, 1, 1, ...). In the case of 7 the pattern has length 6, and it goes (1, 3, 2, 6, 4, 5), starting at the units column. If that looks a bit pseudorandom, there's a good reason, it's vaguely similar to an old-fashioned PRNG.

(The pattern starts again with 1 in the millions column, because 142857 * 7 = 999999. Hence 2 million divided by 7 has remainder 2, 3 million divided by 7 has remainder 3, and so on.)

So 371 should be understood as 3*2 + 7*3 + 1*1, which is 28.

Or as another example, 6993 => 6*6 + 9*2 + 9*3 + 3*1, which is 84.

14 hours agocard_zero

Waaait a minute though. The results for (10 to the n) % 7 and the results for (3 to the n) % 7 are the same, so your version works precisely. That's because the difference is 7.

11 hours agocard_zero

The diagrams for powers of three form the Sierpinski triangle. Makes total sense once you see it, but I hadn't seen it until today!

2 days agomath_dandy

Same. I loved this unique insight that the visualization provided. It definitely unlocked something in my brain for how I should think about that shape.

If anyone is curious, 6561 (3^8) is the highest pure Sierpinski available in the animation since it caps at 10K.

2 days agorobot_jesus

This is brilliant!

Now i want (to build) a drag and drop toy where i can multiply or summarize numbers that are represented in this way. To see how factors move (like boids).

Is this visualization algorithm called something? The explanation link from a previous HN post seems to be broken: http://mathlesstraveled.com/2012/10/05/factorization-diagram...

2 days agoworldsayshi

Kind of makes me wish that there were recognizable shapes for primes bigger 2 (pair), 3 (triangle), 4 (square) and 5 (pentagon) that didn't just look like circles. Because my favorite part about this is how you can see at a glance what the factors are. Except for primes 7 or greater I find myself cheating and looking at the top left for which prime it is.

Is there some non-regular polygon that would be more distinctly recognizable to use for 7, 11, etc?

2 days agoCGMthrowaway

I asked somewhere here about the algorithm for the position of the dots and got an answer (can I link directly to a post?) below. Putting things on a circle sounds like a good way to do it but it sort of precludes special arrangement for specific numbers. Not that it could not be done but what would the algorithm look like?

Edit: I looked more at the animation some more and maybe I am wrong. Anyway I may try to make one.

2 days agotocs3

In what is surely not a coincidence, 2012 is also the year in which a Stack Exchange question about how to generate these beautiful diagrams in Mathematica came up: https://mathematica.stackexchange.com/questions/11657/factor...

I wrote an answer there that produced these diagrams from fairly few lines of code.

The question there referred to same now-broken link mentioned above so the origin still unknown.

2 days agohhhAndrew

4 isn’t prime.

You could probably use the binary expansion to group the dots? So, 1 is • 2 is •• 3 is _• •_•

5 is

_• •_• •_•

7 is ____• _•_____• •_•___•_•

11 is ____• _•_____• •_•___•_• •_•___•_•

And so on.

(So, 2n is represented as n next to n, unless n is 2 in which case it is n above n, and 2n+1 is 1 above 2n )

Alternatively, using stars instead of n-gons could also be clearer?

2 days agodrdeca

Aren't 2 (pair), 3 (triangle), 4 (square) and 5 (pentagon) also "circles" with less resolution? The visualization is just consistent.

2 days agoGaggiX

Yes I dont disagree and it is elegant as is, but the way our eyes/ brain works it's much harder to ID septagon, nonagon, triacontahenagon etc at a glance. A non-regular shape would be better fit for purpose

2 days agoCGMthrowaway

Couldn't you draw it in a recognizable way using summation?

7 = 2*3+1

11 = (2*2+1)*2+1

etc...

2 days agoworldsayshi

Interesting idea

2 days agoCGMthrowaway

Agree. I watched for a while to see some larger primes and was a little disappointed.

Filled polygons would offer some more shapes. Filled hexagon = 7, etc etc...

2 days agoLiftyee

I believe it's called prime factorization. Each number is placed in a group of numbers (or group of groups, etc...)

E.g. 24 -> 2 * 3 * 4 = Two groups of (three groups of (four items))

Also try this for the archived version of that explanation -> https://web.archive.org/web/20130206023100/http://mathlesstr...

2 days agoashwinsundar

Note that 4 isn't prime

17 hours agonroets
[deleted]
2 days ago

Threads (with some explainy links) from a million and a million and a bit years ago

https://news.ycombinator.com/item?id=10776019

https://news.ycombinator.com/item?id=4788224

2 days agopvg

Thanks! Macroexpanded:

Factorizer - https://news.ycombinator.com/item?id=10776019 - Dec 2015 (30 comments)

Animated Factorisation Diagrams - https://news.ycombinator.com/item?id=4788224 - Nov 2012 (72 comments)

Animated Factorization Diagrams - https://news.ycombinator.com/item?id=4713048 - Oct 2012 (2 comments)

2 days agodang

> Totally out of left field here, but I got some auditory synesthesia from watching this, especially on high speed. If any of you did as well and are interested why, it's probably the same phenomenon talked about here: https://www.newscientist.com/article/dn14459-screensaver-rev...

Second this old comment!

2 days agocoolcase

Heh. I submitted it in Oct 2012. I submitted a few things back then, none got traction and I stopped bothering :-).

a day agoimurray

8 isn't a large enough number to overcome randomness! Sad!

Edit: I actually looked through https://news.ycombinator.com/submitted?id=imurray yesterday to see if there was anything we could invite a repost of. (I do this sometimes when looking at which users were first to submit an interesting article.) I didn't see anything, but on a second look https://news.ycombinator.com/item?id=7984992 could be interesting, so you'll get an email inviting you to repost that one, if you want to :)

a day agodang

And definitely re-post worthy!

2 days agosherdil2022

I wish the animation could play at a slower pace so you have time to count the number of groups and the circles within each group. I also wish each time a new circle would animate from the edge of the screen and then arranged to show the addition of the new circle clearly. Otherwise, excellent visualization!

2 days agokccqzy

Really good. I would appreciate it if it could be slowed down, or allow the numbers to be stepped through.

2 days agoglaucon

The jumps between neighbors are sometimes so drastic—are we sure our numbers are in the right order?

2 days agogavmor

That's the difference between the additive view of the world and the multiplicative one. A lot of number theory involves trying to bridge that gap, and even this simplest view of numbers can rapidly fling you into the mathematical unknown. The "simplest hard problem", the Collatz conjecture, can be viewed as coming from this space. You either take a step in multiplicative space, or a step in multiplicative space and then additive space, and ask a very simple question about where those steps can take you.

And that's all it takes to end up at an unsolved problem in math.

You can spend a lifetime on this simple observation that "the jumps between neighbors are so dramatic", just trying to reconcile the complex relationships between the additive view of the world and the multiplicative one.

And we haven't even done anything like bring in complex numbers, or rationals, or introduce exponentiation!

2 days agojerf

How can a layperson approach and develop correct intuitions for "the multiplicative view" of numbers? Is it practical?

2 days agogavmor

The best way to get a multiplicitive view of numbers is to transform multiplication into a special form of addition.

One of the more general forms of this is the logarithm. The defining equation of the logarithm is that log(a*b) = log(a) + log(b). This turns multiplication into a nice linear addition problem.

A less general but more powerful transformation exists on the integers. You can factorize any integer into it's prime factors, then multiply by adding together the powers on matching primes. This may seem like more effort for a similar result, but the prime factors of an integer tell you a lot about that integers divisibility, so it's worth the effort.

If you're talking about the interplay between multiplication and addition: Get a degree in pure maths, learn lots of number theory, and cry at how inelegant it is. Trust me, I did it in a past life

2 days agoViscountPenguin

I am a layperson but...

You could try writing out an addition table and a multiplication table and see if you can find patterns and differences (you can).

The Sieve of Eratosthenes is good.

I asked ChatGPT what branch of mathematics high school algebra is and it suggested the field theory of real numbers. I have since been looking at groups and fields with some enjoyment.

I made a video that I thought of as a play on Ulam's Spiral [2][3] a while back. Instead of marking primes I marked points of the (square) spiral that were x mod n 0. It is sort of silly and maybe a bit confusing.

[1] https://en.wikipedia.org/wiki/Sieve_of_Eratosthenes

[2]https://en.wikipedia.org/wiki/Ulam_spiral

https://www.youtube.com/watch?v=fRzv1SXKCY8 (my video play it slowed down maybe)

2 days agotocs3

I don't know what you mean by that, but for an example, 16=2^4 and is therefore arranged as a grid, whereas 17 is prime, and must therefore be arranged as 17 dots on a circle.

2 days agojhanschoo

The primes are some of the worst offenders, eg the transition from 647 (prime) to 648 (3×3×3×3×2×2×2), but as we approach infinity, the visualizations increasingly appear circular, and it's the least-primey (?) that break from the trend.

eg 854-856, & 857 (prime) are all virtually or perfectly circular. Or maybe I'm observing not mathematical but neuro-visual principles.

2 days agogavmor

Most large numbers are divisible by some large prime; so suppose that a number is divisible by some large number 11. Then what appears on your screen is some pattern repeated at least 11 times arranged into a circle, because the "largest" pattern is that of the largest prime in the factorization. The numbers that can be factored into primes at most, say, 5 are comparatively very rare.

2 days agojhanschoo

Neuro-visual I think. Hard to see 100s of dots in a circle as not a circle.

The same principle is why this looks like a circle/ellipse but it isn't:

O

2 days agocoolcase

Can you put them all on one page and zoom in/out? Might be interesting to see some patterns in the sequence. Maybe allow filters for different factors or number ranges or different groupings.

2 days agojderick

I wish that all the factors were shown,

e.g. when on 12, I'd like to see both 3x4 and 2x6, with a visual indicator of when the animation is showing the different factors... maybe the whole thing shrinks and additional factorizations fill in tiles subdividing the space

Knowing the number of different factorizations is an interesting and visually presentable quality that interacts in an interesting way with the factors themselves

2 days agoaaroninsf
[deleted]
2 days ago

Almost ten years ago I wanted to draw out the first thirty numbers in factored groups as shown here. It was to put in my baby daughters bedroom.

Never got around to it. This is timely, as she's factoring in school now.

2 days agomousethatroared

After some time I find myself waiting for highly composite numbers rather than primes.

2 days agodtjohnnymonkey

Does it let you put your own number and see what diagram it makes?

2 days agosmusamashah

It makes me wonder what the algorithm for arranging the dots looks like.

2 days agotocs3

1. Set var factors to the prime factors of the integer

2. Sort factors in ascending order

3. Set var diagram to a single dot

4. Foreach factor in factors

4.1. Set var diagram to factor copies of diagram aranged in a circle

2 days agoGrantMoyer

I was thinking about triangles and squares and the answer was circles.

2 days agotocs3
[deleted]
2 days ago

I think this was originally invented by Brent yorgey

2 days agocarterschonwald

I think the sum of the area of the circles should remain constant. ie be the number that's being factored.

2 days agoape4

This would make a cool progress bar replacement. Replace percentage with the number of dots (0-100).

2 days agoajjenkins

I found my new loading icon

2 days agocoolcase

This looks cool. Could also be a screensaver (do people still use those)?

2 days agochrsw

Macs now have them again. OLED screens made them create animated login screens. (At least I think that's what happened.)

2 days agoapples_oranges

This is very cool. It looks like you used the canvas api for this, but I had expected that you'd use D3.js since its so common for data visualizations. I am curious what your thinking was there?

2 days agoandrewrn

But it's not CRUD data visualization, it's a custom animation. Why use a heavy library if the browser draws circles just fine?

2 days agopona-a

sliders should be added on this page that control everything. colors and speed are starters

2 days agovivzkestrel

it took me a few seconds before I realized that it wasn't the page loading

2 days agosimojo
[deleted]
2 days ago

Slightly related: If you have small kids, I recommend https://www.youtube.com/@Numberblocks that is a cartoon that has characters that are numbers made by blocks, and they split to show sum and rearrange to show the factorization. It's fun for kids and the technical part is correct.

2 days agogus_massa
[deleted]
2 days ago

This is pure genius, congrats, and I’m disappointed at myself I didn’t think about that earlier (:

2 days agottoinou

I thought this was a waiting animation and the website is broken.

2 days agoblueflow

It would function pretty well as a waiting animation too.

2 days agokccqzy

Waiting animation that ends after the last prime number

2 days agonurumaik
[deleted]
2 days ago

[dead]

2 days agogitroom

[dead]