284

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 months 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 months 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.

2 months 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.

2 months 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.

2 months 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 months 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 months 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 months 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 months 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 months 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 months 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 months agodrdeca

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

2 months 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 months agoCGMthrowaway

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

7 = 2*3+1

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

etc...

2 months agoworldsayshi

Interesting idea

2 months 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 months 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 months agoashwinsundar
[deleted]
2 months ago

Note that 4 isn't prime

2 months agonroets

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 months 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 months 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 months agocoolcase

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

2 months agoimurray

8 isn't large enough to overcome randomness, alas!

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 :)

2 months agodang

And definitely re-post worthy!

2 months 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 months agokccqzy

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

2 months agoglaucon

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

2 months 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 months agojerf

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

2 months 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 months 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 months 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 months 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 months 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 months 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 months 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 months 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 months agoaaroninsf
[deleted]
2 months ago

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

2 months agodtjohnnymonkey

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 months agomousethatroared

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

2 months 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 months agoGrantMoyer

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

2 months agotocs3
[deleted]
2 months ago

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

2 months agosmusamashah

I think this was originally invented by Brent yorgey

2 months agocarterschonwald

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

2 months agoape4

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

2 months agoajjenkins

I found my new loading icon

2 months agocoolcase

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

2 months agochrsw

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

2 months 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 months 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 months agopona-a

Honestly I don't know. I am just starting to learn these technologies. I think there's a lot of potential in combining LLM structured output with web animation technologies.

One advantage of svg is that each element has a DOM node, making interactivity trivial. (but I say this not having tried mouse targetting in canvas so maybe that's not hard)

Thanks for the insight.

2 months agoandrewrn

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

2 months agovivzkestrel

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

2 months agosimojo
[deleted]
2 months 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 months agogus_massa
[deleted]
2 months ago

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

2 months agottoinou

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

2 months agoblueflow

It would function pretty well as a waiting animation too.

2 months agokccqzy

Waiting animation that ends after the last prime number

2 months agonurumaik
[deleted]
2 months ago

[dead]

2 months agogitroom

[dead]